MTC/SysML_Validation [ Modules ]

[ Top ] [ Modules ]

SUMMARY

Validate the SysML Model - Consolidation of rules that must be executed to validate the model ($Rev: 479 $).

INPUTS

    sysmlModel The SysML model (conforms to http://www.topcased.org/2.0/sysML)

RESULT

Validaton errors (constraint) or warnings (critique) for the input model.

USAGE

<project default="SysMLValidation">
    
    <property name="ModelName" value="SystemX"/>

    <target name="loadSysMLModel">
        <!-- Load the SysML mode using the TopCased SysML metamodel. 
             Do not save any changes done to it (store="false") -->         
        <epsilon.emf.loadModel
            name="sysmlModel"
            modelfile="../../../../models/sysml/${ModelName}.sysml"
            metamodeluri="http://www.topcased.org/2.0/sysML"
            read="true"
            store="false"
        />
    </target>
    
    <target name="SysMLValidation" depends="loadSysMLModel">
            <epsilon.evl src="SysMLModelValidation.evl">
                <model ref="sysmlModel"/>
            </epsilon.evl>
    </target>

</project>

USES

ModelContext.evl