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

Behavior/FinalPlaceService [ Rules ]

SUMMARY

Transfotrm a SysML ActivityFinalNode into its HiLeS Service to connect the Petri Net to the Architecture ($Rev: 443 $)

DESCRIPTION

Create a Service to represent the final node. The Service is used to connect the Petri Net of an Archtitecture to the upper hierarchy level.

SEE ALSO

ActivityPetriNet
FinalPlace

DOMAIN

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

SPECIFICATION

        relation FinalPlaceService
        {
            checkonly domain SysML node:ActivityFinalNode {
                activity = a:Activity{},
                name = nn,
            }
            enforce domain HiLeS s:Service {
                architecture = arch:Architecture{},
                name = nn,
                direction = PointDirection::to,
            }
            when {
                ActivityPetriNet(a, pn, arch);
            }
 *