Structure/ModelToSystem [ Rules ]

[ Top ] [ Structure ] [ Rules ]

SUMMARY

Transform a SysML:Model into a HiLeS:HilesSystem. ($Rev: 134 $)

DESCRIPTION

The HiLeS system's name will correspond to the model's name. The initialArchitecture is the first result of the transformation of the model's packages.

SEE ALSO

DOMAIN

SPECIFICATION

        relation ModelToSystem
        {
            checkonly domain SysML m:Model {
                name=mn,
                packagedElement = p:Package{}
            }
            enforce domain HiLeS s:HilesSystem {
                name=mn,
                initialArchitecture = ia:Architecture{}
            }
            where {
                InitialArchitecture(p, ia);
            }
        }