HiLeS MTC Rules Documentation

A - B - C - D - E - F - G - H - I - J - K - L - M - N - O - P - Q - R - S - T - U - V - W - X - Y - Z - 0 - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9

A

ActivityPetriNet ActivityPetriNet ActivityPetriNet.etl ArcFrom_Functional ArcFrom_Funtional.etl ArcToArc ArcToArc.etl

B

Behavior

C

CallBehaviorPN CallBehaviorPN.etl CallOperation CallOperation.evl CallOperationPN CallOperationPN.etl Compare

D

DecisionControlFlowPN DecisionControlFlowPN DecisionControlFlowPN.etl DecisionNodePN DecisionNodePN.etl

F

FinalPlace FinalPlace FinalPlace.etl FinalPlaceService FinalPlaceService.etl ForkNodePN ForkNodePN.etl FunctionalBlock FunctionalBlock.etl

G

GeneralControlFlowPN GeneralControlFlowPN.etl getActivityPins getChildrenBlocks getFlowPorts getLogicalSolutionPackage getMainBlock getParentActivity getParentActivity getParentBlock Guard Guard.etl

H

hasChildrenBlocks HasLogicalRequirementPackage HasLogicalSolutionPackage HiLeS_To_TimePetriNet HiLeS_Validation HiLeSArc HiLeSArc.evl HilesCompare.ecl HiLeSFunctional HiLeSFunctional.evl HiLeSHilesSystem HiLeSHilesSystem.evl HilesMerge.eml HiLeSModelValidation.evl HiLeSPetriNet HiLeSPetriNet.evl HiLeSStructural HiLeSStructural.evl HiLeSToTimePetriNet.etl

I

InitialArchitecture InitialArchitecture.etl InitialPlace InitialPlace InitialPlace.etl InitialPlaceService InitialPlaceService.etl InputPinPort InputPinPort.etl InputPinService InputPinService.etl

J

JoinForkSourceControlFlow JoinForkSourceControlFlow.etl JoinForkTargetControlFlow JoinForkTargetControlFlow.etl JoinForkTargetDecisionControlFlowPN.etl JoinNodePN JoinNodePN.etl

M

MainActivityPetriNet.etl MainFinalPlace.etl MainInitialPlace.etl MatchArchitectures MatchArchitectures MatchArchitectures.ecl MatchPorts MatchPorts.ecl MatchServices MatchServices.ecl MatchStructuralBlocks MatchStructuralBlocks.ecl Merge MergeArchitecture.eml MergeNodePN MergeNodePN.etl MergePorts MergePorts.eml MergeServices MergeServices.eml MergeStructuralBlocks MergeStructuralBlocks.eml MergeUnmatched.eml ModelToSystem ModelToSystem.etl

O

ObjectFlowPN ObjectFlowPN.etl OutputPinPort OutputPinPort.etl OutputPinService OutputPinService.etl

P

Payloads Payloads.etl PlaceToPlace PlaceToPlace.etl Ports Ports.etl

S

Services Services.etl StrcuturalBlockBehavior StrcuturalBlockBehavior Structural StructuralBlock StructuralBlock.etl StructuralBlockBehavior.etl StructuralMainBlockBehavior.etl Structure SysML2HilesBehavior.etl SysML2HilesStructure.etl SysML_To_HiLeS SysML_Validation SysMLActivity SysMLActivity.evl SysMLBlock SysMLBlock.evl SysMLDecisionNode.evl SysMLForkNode SysMLForkNode.evl SysMLJoinNode SysMLJoinNode SysMLJoinNode.evl SysMLMergeNode SysMLMergeNode.evl SysMLModel SysMLModel.evl SysMLModelQueries SysMLModelQueries.eol SysMLModelValidation.evl SysMLToHiLeS.etl SystemToPetriNet SystemToPetriNet.etl

T

TransitionToTransition TransitionToTransition.etl

U

Unmatched UnmatchedArc UnmatchedArchitecture UnmatchedFunctional UnmatchedPayload UnmatchedPetriNet UnmatchedPlace UnmatchedPort UnmatchedService UnmatchedSystem UnmatchedTransition

A - B - C - D - E - F - G - H - I - J - K - L - M - N - O - P - Q - R - S - T - U - V - W - X - Y - Z - 0 - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9