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

Behavior/ActivityPetriNet [ Rules ]

SUMMARY

Transform a SysML Activity into its HiLeS Petri Net representation. ($Rev: 457 $)

DESCRIPTION

Create a HiLeS Architecture to hold the Petri Net elemnts and blocks that represent a SysML Activity. The behavior transforamtion follows the rules presented in the Tech Manual.

SEE ALSO

DOMAIN

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

SPECIFICATION

        relation ActivityPetriNet
        {
            checkonly domain SysML a:Activity {
                block = blk:Block{},
                
            }
            enforce domain HiLeS pn:PetriNet {
                parentArchitecture = arch,
            }
            enforce domain HiLeS arch:Architecture {
                name = blk.name,
                isDefault = true,
            }
            when {
                //TODO: Validar que el bloque padre sea diferente al bloque principal
            }
            where {
                
            }
 *