./co.edu.uniandes.hiles.m2m.sysml2hiles.topcased/src/co/edu/uniandes/hiles/m2m/sysml2hiles/topcased/epsilon/behavior/MainInitialPlace.etl

Behavior/InitialPlace [ Rules ]

[ Top ] [ Behavior ] [ Rules ]

SUMMARY

Transform a SysML InitialNode into a HiLeS Place and Arc. ($Rev: 189 $)

DESCRIPTION

Create a Place to represent the InitalNode and an Arc to connect it to the corresponding input Service

SEE ALSO

ActivityPetriNet
InitialPlaceService

DOMAIN

SysML - http://www.topcased.org/2.0/sysML
HiLeS - https://hiles.uniandes.edu.co/1.0/HiLeS

SPECIFICATION

        relation InitialPlace
        {
            checkonly domain SysML node:InitialNode {
                activity = a:Activity{},
            }
            enforce domain HiLeS p:Place {
                PetriNet = pn:PetriNet{},
                name = "InitialNode",
            }
            enforce domain HiLeS a:arc {
                PetriNet = pn:PetriNet{},
                from_point = ns:Point{},
                to_node = p;
            }
            when {
                ActivityPetriNet(a, pn, arch);
            }
            where {
                InitialPlaceService(node, ns)
            }
 *