Behavior/InitialPlaceService [ Rules ]
[ Top ] [ Behavior ] [ Rules ]
SUMMARY
Transform a SysML InitialNode into a HiLeS Service. ($Rev: 443 $)
DESCRIPTION
Create a Service to represent the connection form the InitialNode to the block that contains the Activity.
SEE ALSO
DOMAIN
SPECIFICATION
relation InitialPlace { checkonly domain SysML node:InitialNode { activity = a:Activity{}, name = nn, } enforce domain HiLeS s:Service { PetriNet = pn:PetriNet{}, name = nn, direction = PointDirection::from, } when { ActivityPetriNet(a, pn, arch); } *