SysML_To_HiLeS/Compare [ Modules ]

[ Top ] [ SysML_To_HiLeS ] [ Modules ]

SUMMARY

Match rules to comapre HiLeS models ($Rev: 133 $).

DESCRIPTION

The Match rules are intended for use when mergin a HiLeS model with structural information and a HiLeS model with behavior information.

SEE ALSO

SysML_To_HiLeS/Merge

INPUTS

          * hilesS The HiLeS Structural Model (conforms to https://hiles.uniandes.edu.co/1.0/HiLeS)
          * hilesB The HiLeS Behavior Model (conforms to https://hiles.uniandes.edu.co/1.0/HiLeS)

RESULT

An Epsilin match trace that can be used to merge the two models.

USAGE

    <target name="HilesComparision">
        <epsilon.ecl src="HilesCompare.ecl" exportMatchTrace="true">
            <model ref="hilesB"/>
            <model ref="hilesS"/>
        </epsilon.ecl>
    </target>

USES

MatchArchitectures.ecl MatchPorts.ecl MatchServices.ecl MatchStructuralBlocks.ecl