./co.edu.uniandes.hiles.m2m.sysml2hiles.topcased/src/co/edu/uniandes/hiles/m2m/sysml2hiles/topcased/epsilon/structure/InitialArchitecture.etl

Structure/InitialArchitecture [ Rules ]

SUMMARY

Transfotrm a SysML:Package into a HiLeS:Architecture. ($Rev: 134 $)

DESCRIPTION

This rule creates the HiLeS:HilesSystem initial architecture, the architecture is created from the SysML model's "Logical Solution" package. Blocks are added to the architecture starting from the the root block in the system's bdd diagram.

SEE ALSO

StructuralBlock

DOMAIN

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

SPECIFICATION

        relation InitialArchitecture
        {
            checkonly domain SysML p:Package {
                model = m:Model,
                name = pn,
            }
            enforece domain HiLeS a:Architecture {
                sytem = s:HilesSystem{}
                name = pn,
                isDefault = false,
                services = ser:Service{},
                payloads = apl:Payload{},
                blocks = abl:Block{},
                petriNet = pn:PetriNet{},
            }
            when {
                ModelToSystem(m, s);
                pn = "LogicalSolution";
            }
            where {
                StructuralBlock(p.getMainBlock(), blk);
                abl->append(blk)
            }
        }