SysML_To_HiLeS/Behavior [ Modules ]

[ Top ] [ SysML_To_HiLeS ] [ Modules ]

DESCRIPTION

Imports each of the source files that contain etl rules to perform the model-to-model transformation of the behavior elements. Behavior information is contained in Activities in the SysML model, and these activities are related to Structural blocks (SysML blocks).

SEE ALSO

SysML_To_HiLeS/Structure, SysML_To_HiLeS/Merge

INPUTS

          * sysmlModel The SysML model (conforms to http://www.topcased.org/2.0/sysML)
          * hilesB The HiLeS Behavior Model (conforms to https://hiles.uniandes.edu.co/1.0/HiLeS)

RESULT

A HiLeS model containing behavior elements. Some structural elements are created in order to facilitate the merge process.

USAGE

    <target name="SysML2HilesBehavior">
      <epsilon.etl src="SysML2HilesBehavior.etl">
        <model ref="sysmlModel"/>
        <model ref="hilesB"/>
    <\target>

USES

SysMLModelQueries.eol CallBehaviorPN.etl CallOperationPN.etl DecisionControlFlowPN.etl DecisionNodePN.etl FinalPlace.etl FinalPlaceService.etl ForkNodePN.etl FunctionalBlock.etl GeneralControlFlowPN.etl Guard.etl InitialPlace.etl InitialPlaceService.etl InputPinPort.etl InputPinService.etl JoinForkSourceControlFlow.etl JoinForkTargetControlFlow.etl JoinNodePN.etl MergeNodePN.etl ObjectFlowPN.etl OutputPinPort.etl OutputPinService.etl ActivityPetriNet.etl StrcuturalBlockBehavior.etl