Behavior/OutputPinService [ Rules ]
[ Top ] [ Behavior ] [ Rules ]
SUMMARY
Transform a SysML InputPin into a HiLeS Service. ($Rev: 443 $)
DESCRIPTION
InputPins of Activities are represented by Services which will be added to the Architecture that contains it.
SEE ALSO
DOMAIN
SPECIFICATION
relation OutputPinService { checkonly domain SysML pout:InputPin { action = a:CallOperationAction{}, name = nn, type = nt:Type{}, } enforce domain HiLeS service:Service { block = b:Structural, name = nn, id = nt.id, direction = PointDirection::to, } when { StrcuturalBlockBehavior(a.behavior.getParentBlock(), b, pin, pout); Activity->allInstances()->exists(a | a.nodes->includes(pout)) } *