<?xml version="1.0" encoding="UTF-8"?> | |
<xmi:XMI xmi:version="20131001" xmlns:xmi="http://www.omg.org/spec/XMI/20131001" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:Blocks="http://www.eclipse.org/papyrus/0.7.0/SysML/Blocks" xmlns:CHESSContract="http:///CHESSContract.ecore" xmlns:CHESSViews="http://CHESS/Core/Views" xmlns:Core="http://CHESS/Core" xmlns:PortAndFlows="http://www.eclipse.org/papyrus/0.7.0/SysML/PortAndFlows" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmlns:uml="http://www.eclipse.org/uml2/5.0.0/UML" xsi:schemaLocation="http://www.eclipse.org/papyrus/0.7.0/SysML/Blocks http://www.eclipse.org/papyrus/0.7.0/SysML#//blocks http://CHESS/Core/Views http://CHESS#//Core/CHESSViews http://CHESS/Core http://CHESS#//Core http://www.eclipse.org/papyrus/0.7.0/SysML/PortAndFlows http://www.eclipse.org/papyrus/0.7.0/SysML#//portandflows"> | |
<uml:Model xmi:id="_kKQs4IlXEeqYO7ujEOOyyw" name="model"> | |
<packagedElement xmi:type="uml:Package" xmi:id="_kZjtIYlXEeqYO7ujEOOyyw" name="modelRequirementView"> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kbe_wIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kbe_wYlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/0.7.0/SysML#//requirements"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://SysML_PROFILES/SysML.profile.uml#_OOJC4LX8EduFmqQsrNB9lw"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kbfm0IlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kbfm0YlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/0.7.0/SysML#//blocks"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://SysML_PROFILES/SysML.profile.uml#_fSw28LX7EduFmqQsrNB9lw"/> | |
</profileApplication> | |
</packagedElement> | |
<packagedElement xmi:type="uml:Package" xmi:id="_kZro8IlXEeqYO7ujEOOyyw" name="modelSystemView"> | |
<packagedElement xmi:type="uml:Class" xmi:id="_gUO5sIlbEeqYO7ujEOOyyw" name="System1"> | |
<ownedRule xmi:type="uml:Constraint" xmi:id="_gbMdUIlbEeqYO7ujEOOyyw" name="DelegConstr_block_1[i].inputPort"> | |
<specification xmi:type="uml:LiteralString" xmi:id="_gbNrcYlbEeqYO7ujEOOyyw" name="constraintSpec" value="block_1[i].inputPort := block_1[i - 1].outputPort for 1<=i<n_sub_comp"/> | |
</ownedRule> | |
<ownedRule xmi:type="uml:Constraint" xmi:id="_gdDegIlbEeqYO7ujEOOyyw" name="DelegConstr_block_1[0].inputPort"> | |
<specification xmi:type="uml:LiteralString" xmi:id="_gdEFkYlbEeqYO7ujEOOyyw" name="constraintSpec" value="block_1[0].inputPort := block_1[n_sub_comp -1].outputPort"/> | |
</ownedRule> | |
<ownedRule xmi:type="uml:Constraint" xmi:id="_gdVLUIlbEeqYO7ujEOOyyw" name="DelegConstr_output"> | |
<specification xmi:type="uml:LiteralString" xmi:id="_gdVyYYlbEeqYO7ujEOOyyw" name="constraintSpec" value="output := count ( for 0 <= i < n_sub_comp , block_1[i].output )"/> | |
</ownedRule> | |
<ownedAttribute xmi:type="uml:Port" xmi:id="_gUW1gIlbEeqYO7ujEOOyyw" name="output" aggregation="composite"> | |
<type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> | |
</ownedAttribute> | |
<ownedAttribute xmi:type="uml:Port" xmi:id="_gUZ40IlbEeqYO7ujEOOyyw" name="n_sub_comp" isStatic="true" aggregation="composite"> | |
<type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/> | |
</ownedAttribute> | |
<ownedAttribute xmi:type="uml:Property" xmi:id="_gVcaoIlbEeqYO7ujEOOyyw" name="contract1type" type="_gUta0IlbEeqYO7ujEOOyyw"/> | |
<ownedAttribute xmi:type="uml:Property" xmi:id="_gWVLcIlbEeqYO7ujEOOyyw" name="contract2type" type="_gVtgYIlbEeqYO7ujEOOyyw"/> | |
<ownedAttribute xmi:type="uml:Property" xmi:id="_gW_50IlbEeqYO7ujEOOyyw" name="contract3type" type="_gWlqIIlbEeqYO7ujEOOyyw"/> | |
<ownedAttribute xmi:type="uml:Property" xmi:id="_gXu5oIlbEeqYO7ujEOOyyw" name="contract4type" type="_gXPKYIlbEeqYO7ujEOOyyw"/> | |
<ownedAttribute xmi:type="uml:Property" xmi:id="_gaiWAIlbEeqYO7ujEOOyyw" name="block_1" type="_gUTLIIlbEeqYO7ujEOOyyw" aggregation="composite" association="_gahu8IlbEeqYO7ujEOOyyw"> | |
<lowerValue xmi:type="uml:LiteralString" xmi:id="_gamAYIlbEeqYO7ujEOOyyw" value="n_sub_comp"/> | |
<upperValue xmi:type="uml:LiteralString" xmi:id="_gamAYYlbEeqYO7ujEOOyyw" value="n_sub_comp"/> | |
</ownedAttribute> | |
<nestedClassifier xmi:type="uml:Class" xmi:id="_gUta0IlbEeqYO7ujEOOyyw" name="Contract1Type"> | |
<ownedRule xmi:type="uml:Constraint" xmi:id="_gUv3EIlbEeqYO7ujEOOyyw" name="Assumption_Contract1Type"> | |
<specification xmi:type="uml:LiteralString" xmi:id="_gU-gkIlbEeqYO7ujEOOyyw" name="ConstraintSpec" value="TRUE"/> | |
</ownedRule> | |
<ownedRule xmi:type="uml:Constraint" xmi:id="_gVCK8IlbEeqYO7ujEOOyyw" name="Guarantee_Contract1Type"> | |
<specification xmi:type="uml:LiteralString" xmi:id="_gVZXUYlbEeqYO7ujEOOyyw" name="ConstraintSpec" value="TRUE"/> | |
</ownedRule> | |
</nestedClassifier> | |
<nestedClassifier xmi:type="uml:Class" xmi:id="_gVtgYIlbEeqYO7ujEOOyyw" name="Contract2Type"> | |
<ownedRule xmi:type="uml:Constraint" xmi:id="_gVv8oIlbEeqYO7ujEOOyyw" name="Assumption_Contract2Type"> | |
<specification xmi:type="uml:LiteralString" xmi:id="_gV9_EYlbEeqYO7ujEOOyyw" name="ConstraintSpec" value="TRUE"/> | |
</ownedRule> | |
<ownedRule xmi:type="uml:Constraint" xmi:id="_gWBCYIlbEeqYO7ujEOOyyw" name="Guarantee_Contract2Type"> | |
<specification xmi:type="uml:LiteralString" xmi:id="_gWSIIYlbEeqYO7ujEOOyyw" name="ConstraintSpec" value="TRUE"/> | |
</ownedRule> | |
</nestedClassifier> | |
<nestedClassifier xmi:type="uml:Class" xmi:id="_gWlqIIlbEeqYO7ujEOOyyw" name="Contract3Type"> | |
<ownedRule xmi:type="uml:Constraint" xmi:id="_gWm4QIlbEeqYO7ujEOOyyw" name="Assumption_Contract3Type"> | |
<specification xmi:type="uml:LiteralString" xmi:id="_gWu0EIlbEeqYO7ujEOOyyw" name="ConstraintSpec" value="TRUE"/> | |
</ownedRule> | |
<ownedRule xmi:type="uml:Constraint" xmi:id="_gWx3YIlbEeqYO7ujEOOyyw" name="Guarantee_Contract3Type"> | |
<specification xmi:type="uml:LiteralString" xmi:id="_gW-EoYlbEeqYO7ujEOOyyw" name="ConstraintSpec" value="TRUE"/> | |
</ownedRule> | |
</nestedClassifier> | |
<nestedClassifier xmi:type="uml:Class" xmi:id="_gXPKYIlbEeqYO7ujEOOyyw" name="Contract4Type"> | |
<ownedRule xmi:type="uml:Constraint" xmi:id="_gXQ_kIlbEeqYO7ujEOOyyw" name="Assumption_Contract4Type"> | |
<specification xmi:type="uml:LiteralString" xmi:id="_gXclwIlbEeqYO7ujEOOyyw" name="ConstraintSpec" value="TRUE"/> | |
</ownedRule> | |
<ownedRule xmi:type="uml:Constraint" xmi:id="_gXdz4IlbEeqYO7ujEOOyyw" name="Guarantee_Contract4Type"> | |
<specification xmi:type="uml:LiteralString" xmi:id="_gXr2UIlbEeqYO7ujEOOyyw" name="ConstraintSpec" value="always ( output > 5 )"/> | |
</ownedRule> | |
</nestedClassifier> | |
<nestedClassifier xmi:type="uml:DataType" xmi:id="_geC9AIlbEeqYO7ujEOOyyw" name="block_1.contract1type.0.( n_sub_comp - 1 )"/> | |
<nestedClassifier xmi:type="uml:DataType" xmi:id="_geqBAIlbEeqYO7ujEOOyyw" name="block_1.contract2type.0.( n_sub_comp - 1 )"/> | |
<nestedClassifier xmi:type="uml:DataType" xmi:id="_gfZA0IlbEeqYO7ujEOOyyw" name="block_1.contract3type.0.( n_sub_comp - 1 )"/> | |
<nestedClassifier xmi:type="uml:DataType" xmi:id="_gf5-MIlbEeqYO7ujEOOyyw" name="block_1.contract4type.0.( n_sub_comp - 1 )"/> | |
</packagedElement> | |
<packagedElement xmi:type="uml:Class" xmi:id="_gUTLIIlbEeqYO7ujEOOyyw" name="Block"> | |
<ownedAttribute xmi:type="uml:Port" xmi:id="_gXx88IlbEeqYO7ujEOOyyw" name="inputPort" aggregation="composite"> | |
<type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> | |
</ownedAttribute> | |
<ownedAttribute xmi:type="uml:Port" xmi:id="_gX0ZMIlbEeqYO7ujEOOyyw" name="outputPort" aggregation="composite"> | |
<type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> | |
</ownedAttribute> | |
<ownedAttribute xmi:type="uml:Port" xmi:id="_gX2OYIlbEeqYO7ujEOOyyw" name="output" aggregation="composite"> | |
<type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Boolean"/> | |
</ownedAttribute> | |
<ownedAttribute xmi:type="uml:Property" xmi:id="_gYfHkIlbEeqYO7ujEOOyyw" name="contract1type" type="_gYGGAIlbEeqYO7ujEOOyyw"/> | |
<ownedAttribute xmi:type="uml:Property" xmi:id="_gZE9cIlbEeqYO7ujEOOyyw" name="contract2type" type="_gYwNUIlbEeqYO7ujEOOyyw"/> | |
<ownedAttribute xmi:type="uml:Property" xmi:id="_gZvr0IlbEeqYO7ujEOOyyw" name="contract3type" type="_gZUOAIlbEeqYO7ujEOOyyw"/> | |
<ownedAttribute xmi:type="uml:Property" xmi:id="_gaX98IlbEeqYO7ujEOOyyw" name="contract4type" type="_gaAKgIlbEeqYO7ujEOOyyw"/> | |
<nestedClassifier xmi:type="uml:Class" xmi:id="_gYGGAIlbEeqYO7ujEOOyyw" name="Contract1Type"> | |
<ownedRule xmi:type="uml:Constraint" xmi:id="_gYH7MIlbEeqYO7ujEOOyyw" name="Assumption_Contract1Type"> | |
<specification xmi:type="uml:LiteralString" xmi:id="_gYP3AYlbEeqYO7ujEOOyyw" name="ConstraintSpec" value="TRUE"/> | |
</ownedRule> | |
<ownedRule xmi:type="uml:Constraint" xmi:id="_gYSTQIlbEeqYO7ujEOOyyw" name="Guarantee_Contract1Type"> | |
<specification xmi:type="uml:LiteralString" xmi:id="_gYcrUYlbEeqYO7ujEOOyyw" name="ConstraintSpec" value="TRUE"/> | |
</ownedRule> | |
</nestedClassifier> | |
<nestedClassifier xmi:type="uml:Class" xmi:id="_gYwNUIlbEeqYO7ujEOOyyw" name="Contract2Type"> | |
<ownedRule xmi:type="uml:Constraint" xmi:id="_gYxbcIlbEeqYO7ujEOOyyw" name="Assumption_Contract2Type"> | |
<specification xmi:type="uml:LiteralString" xmi:id="_gY6lYIlbEeqYO7ujEOOyyw" name="ConstraintSpec" value="TRUE"/> | |
</ownedRule> | |
<ownedRule xmi:type="uml:Constraint" xmi:id="_gY8akIlbEeqYO7ujEOOyyw" name="Guarantee_Contract2Type"> | |
<specification xmi:type="uml:LiteralString" xmi:id="_gZDvUIlbEeqYO7ujEOOyyw" name="ConstraintSpec" value="TRUE"/> | |
</ownedRule> | |
</nestedClassifier> | |
<nestedClassifier xmi:type="uml:Class" xmi:id="_gZUOAIlbEeqYO7ujEOOyyw" name="Contract3Type"> | |
<ownedRule xmi:type="uml:Constraint" xmi:id="_gZVcIIlbEeqYO7ujEOOyyw" name="Assumption_Contract3Type"> | |
<specification xmi:type="uml:LiteralString" xmi:id="_gZd_AYlbEeqYO7ujEOOyyw" name="ConstraintSpec" value="TRUE"/> | |
</ownedRule> | |
<ownedRule xmi:type="uml:Constraint" xmi:id="_gZf0MIlbEeqYO7ujEOOyyw" name="Guarantee_Contract3Type"> | |
<specification xmi:type="uml:LiteralString" xmi:id="_gZsogIlbEeqYO7ujEOOyyw" name="ConstraintSpec" value="TRUE"/> | |
</ownedRule> | |
</nestedClassifier> | |
<nestedClassifier xmi:type="uml:Class" xmi:id="_gaAKgIlbEeqYO7ujEOOyyw" name="Contract4Type"> | |
<ownedRule xmi:type="uml:Constraint" xmi:id="_gaB_sIlbEeqYO7ujEOOyyw" name="Assumption_Contract4Type"> | |
<specification xmi:type="uml:LiteralString" xmi:id="_gaLwsYlbEeqYO7ujEOOyyw" name="ConstraintSpec" value="TRUE"/> | |
</ownedRule> | |
<ownedRule xmi:type="uml:Constraint" xmi:id="_gaOM8IlbEeqYO7ujEOOyyw" name="Guarantee_Contract4Type"> | |
<specification xmi:type="uml:LiteralString" xmi:id="_gaWIwYlbEeqYO7ujEOOyyw" name="ConstraintSpec" value="always ( output = true )"/> | |
</ownedRule> | |
</nestedClassifier> | |
</packagedElement> | |
<packagedElement xmi:type="uml:Association" xmi:id="_gahu8IlbEeqYO7ujEOOyyw" name="association1" memberEnd="_gaiWAIlbEeqYO7ujEOOyyw _gajkIIlbEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_gamncIlbEeqYO7ujEOOyyw" source="org.eclipse.papyrus"> | |
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_gamncYlbEeqYO7ujEOOyyw" key="nature" value="SysML_Nature"/> | |
</eAnnotations> | |
<ownedEnd xmi:type="uml:Property" xmi:id="_gajkIIlbEeqYO7ujEOOyyw" name="system1" type="_gUO5sIlbEeqYO7ujEOOyyw" association="_gahu8IlbEeqYO7ujEOOyyw"/> | |
</packagedElement> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kZyWoIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kZy9sIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://CHESS#//StateBasedComponents"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://CHESSML_PROFILE/CHESS.profile.uml#_d50lQL86Ed-TL8tpOyViyA"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kZzkwIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kZzkwYlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://CHESS#//FaultTolerance"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://CHESSML_PROFILE/CHESS.profile.uml#_mbqqgL86Ed-TL8tpOyViyA"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kZ0L0IlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kZ0y4IlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://CHESS#//MaintenanceMonitoring"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://CHESSML_PROFILE/CHESS.profile.uml#_oUVxcL88Ed-TL8tpOyViyA"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kZ1Z8IlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kZ2BAIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://CHESS#//FailurePropagation"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://CHESSML_PROFILE/CHESS.profile.uml#_hdOrwLwzEd-CDNLmLgazUQ"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kZ2oEIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kZ3PIIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://CHESS#//ThreatsPropagation"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://CHESSML_PROFILE/CHESS.profile.uml#_5g4wEDQ3EeC0ueejuetpgA"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kZ32MIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kZ4dQIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://CHESS#//DependableComponent"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://CHESSML_PROFILE/CHESS.profile.uml#_uNKOgDQ2EeC0ueejuetpgA"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kZ4dQYlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kZ5EUIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://CHESS#//MitigationMeans"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://CHESSML_PROFILE/CHESS.profile.uml#_kJICMFiIEeGbwa2cK55fPQ"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kZ5rYIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kZ6ScIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://CHESS#//STS"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://CHESSML_PROFILE/CHESS.profile.uml#_-aQIUKbREeSHP5PnCeTneg"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kbRkYIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kbRkYYlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/MARTE/1#//GRM"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://Papyrus_PROFILES/MARTE.profile.uml#_XVWGUAPMEdyuUt-4qHuVvQ"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kbSLcIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kbSygIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/MARTE/1#//GQAM"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://Papyrus_PROFILES/MARTE.profile.uml#_4bV20APMEdyuUt-4qHuVvQ"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kbgN4IlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kbgN4YlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/0.7.0/SysML#/"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://SysML_PROFILES/SysML.profile.uml#_TZ_nULU5EduiKqCzJMWbGw"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kbr0EIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kbsbIIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/0.7.0/SysML#//modelelements"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://SysML_PROFILES/SysML.profile.uml#_Gx8MgLX7EduFmqQsrNB9lw"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kbtCMIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kbtpQIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/0.7.0/SysML#//blocks"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://SysML_PROFILES/SysML.profile.uml#_fSw28LX7EduFmqQsrNB9lw"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kbuQUIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kbu3YIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/0.7.0/SysML#//portandflows"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://SysML_PROFILES/SysML.profile.uml#_rpx28LX7EduFmqQsrNB9lw"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kbvecIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kbvecYlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/0.7.0/SysML#//constraints"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://SysML_PROFILES/SysML.profile.uml#_5WYJ0LX7EduFmqQsrNB9lw"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kbwskIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kbxToIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/0.7.0/SysML#//activities"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://SysML_PROFILES/SysML.profile.uml#_C2zXMLX8EduFmqQsrNB9lw"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kbx6sIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kbyhwIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/0.7.0/SysML#//allocations"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://SysML_PROFILES/SysML.profile.uml#_NxdG4LX8EduFmqQsrNB9lw"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kbzI0IlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kbzI0YlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/0.7.0/SysML#//requirements"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://SysML_PROFILES/SysML.profile.uml#_OOJC4LX8EduFmqQsrNB9lw"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kbzv4IlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kb0W8IlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/0.7.0/SysML#//interactions"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://SysML_PROFILES/SysML.profile.uml#_meOioLX8EduFmqQsrNB9lw"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kb0-AIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kb1lEIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/0.7.0/SysML#//statemachines"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://SysML_PROFILES/SysML.profile.uml#_nAF5kLX8EduFmqQsrNB9lw"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kb2MIIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kb2zMIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/0.7.0/SysML#//usecases"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://SysML_PROFILES/SysML.profile.uml#_neZmMLX8EduFmqQsrNB9lw"/> | |
</profileApplication> | |
</packagedElement> | |
<packagedElement xmi:type="uml:Package" xmi:id="_kZ65gIlXEeqYO7ujEOOyyw" name="modelComponentView"> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kaAZEIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kaAZEYlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://CHESS#//ComponentModel"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://CHESSML_PROFILE/CHESS.profile.uml#_MftccDQ2EeC0ueejuetpgA"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kaBAIIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kaBnMIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://CHESS#//RTComponentModel"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://CHESSML_PROFILE/CHESS.profile.uml#_WgatoDgVEd-68Z_bhNRGsA"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kaCOQIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kaC1UIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://CHESS#//StateBasedComponents"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://CHESSML_PROFILE/CHESS.profile.uml#_d50lQL86Ed-TL8tpOyViyA"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kaC1UYlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kaDcYIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://CHESS#//FaultTolerance"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://CHESSML_PROFILE/CHESS.profile.uml#_mbqqgL86Ed-TL8tpOyViyA"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kaEDcIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kaEqgIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://CHESS#//MaintenanceMonitoring"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://CHESSML_PROFILE/CHESS.profile.uml#_oUVxcL88Ed-TL8tpOyViyA"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kaFRkIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kaFRkYlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://CHESS#//FailurePropagation"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://CHESSML_PROFILE/CHESS.profile.uml#_hdOrwLwzEd-CDNLmLgazUQ"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kaF4oIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kaGfsIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://CHESS#//ThreatsPropagation"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://CHESSML_PROFILE/CHESS.profile.uml#_5g4wEDQ3EeC0ueejuetpgA"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kaHGwIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kaHt0IlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://CHESS#//DependableComponent"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://CHESSML_PROFILE/CHESS.profile.uml#_uNKOgDQ2EeC0ueejuetpgA"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kaIU4IlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kaIU4YlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://CHESS#//MitigationMeans"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://CHESSML_PROFILE/CHESS.profile.uml#_kJICMFiIEeGbwa2cK55fPQ"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kaycMIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kazDQIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/MARTE/1#//GCM"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://Papyrus_PROFILES/MARTE.profile.uml#_YgAioAPMEdyuUt-4qHuVvQ"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kazqUIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_ka0RYIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/MARTE/1#//Alloc"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://Papyrus_PROFILES/MARTE.profile.uml#_ar8OsAPMEdyuUt-4qHuVvQ"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kbPIIIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kbPIIYlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/MARTE/1#//GRM"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://Papyrus_PROFILES/MARTE.profile.uml#_XVWGUAPMEdyuUt-4qHuVvQ"/> | |
</profileApplication> | |
</packagedElement> | |
<packagedElement xmi:type="uml:Package" xmi:id="_kaI78IlXEeqYO7ujEOOyyw" name="modelDeploymentView"> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kaObgIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kaObgYlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://CHESS#//HardwareBaseline"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://CHESSML_PROFILE/CHESS.profile.uml#_1TsX8MCpEd-RT45s8cwWMg"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kaPCkIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kaPpoIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://CHESS#//RTComponentModel"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://CHESSML_PROFILE/CHESS.profile.uml#_WgatoDgVEd-68Z_bhNRGsA"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kaQQsIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kaQ3wIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://CHESS#//StateBasedComponents"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://CHESSML_PROFILE/CHESS.profile.uml#_d50lQL86Ed-TL8tpOyViyA"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kaRe0IlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kaRe0YlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://CHESS#//FaultTolerance"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://CHESSML_PROFILE/CHESS.profile.uml#_mbqqgL86Ed-TL8tpOyViyA"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kaSF4IlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kaSs8IlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://CHESS#//MaintenanceMonitoring"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://CHESSML_PROFILE/CHESS.profile.uml#_oUVxcL88Ed-TL8tpOyViyA"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kaTUAIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kaT7EIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://CHESS#//FailurePropagation"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://CHESSML_PROFILE/CHESS.profile.uml#_hdOrwLwzEd-CDNLmLgazUQ"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kaUiIIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kaUiIYlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://CHESS#//ThreatsPropagation"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://CHESSML_PROFILE/CHESS.profile.uml#_5g4wEDQ3EeC0ueejuetpgA"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kaVJMIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kaVwQIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://CHESS#//DependableComponent"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://CHESSML_PROFILE/CHESS.profile.uml#_uNKOgDQ2EeC0ueejuetpgA"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_ka04cIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_ka04cYlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/MARTE/1#//HRM"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://Papyrus_PROFILES/MARTE.profile.uml#_2dtsgAPMEdyuUt-4qHuVvQ"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_ka1fgIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_ka2GkIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/MARTE/1#//HRM/HwLogical"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://Papyrus_PROFILES/MARTE.profile.uml#_P80EcBJwEdygQ5HMNSpiZw"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_ka2toIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_ka2toYlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/MARTE/1#//HRM/HwLogical/HwComputing"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://Papyrus_PROFILES/MARTE.profile.uml#_aMhZsBJwEdygQ5HMNSpiZw"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_ka3UsIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_ka3UsYlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/MARTE/1#//HRM/HwLogical/HwCommunication"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://Papyrus_PROFILES/MARTE.profile.uml#_bmL7UBJwEdygQ5HMNSpiZw"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_ka37wIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_ka4i0IlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/MARTE/1#//HRM/HwLogical/HwTiming"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://Papyrus_PROFILES/MARTE.profile.uml#_dG2c0BJwEdygQ5HMNSpiZw"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_ka4i0YlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_ka5J4IlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/MARTE/1#//HRM/HwLogical/HwDevice"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://Papyrus_PROFILES/MARTE.profile.uml#_ja8REBJwEdygQ5HMNSpiZw"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_ka6YAIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_ka6YAYlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/MARTE/1#//HRM/HwLogical/HwStorage"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://Papyrus_PROFILES/MARTE.profile.uml#_ZJjPoEIbEd6dmI2dd6jVFQ"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_ka6_EIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_ka7mIIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/MARTE/1#//HRM/HwLogical/HwStorage/HwMemory"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://Papyrus_PROFILES/MARTE.profile.uml#_gHI-ABJwEdygQ5HMNSpiZw"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_ka8NMIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_ka8NMYlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/MARTE/1#//HRM/HwLogical/HwStorage/HwStorageManager"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://Papyrus_PROFILES/MARTE.profile.uml#_hst0sBJwEdygQ5HMNSpiZw"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_ka80QIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_ka9bUIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/MARTE/1#//HRM/HwPhysical"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://Papyrus_PROFILES/MARTE.profile.uml#_R7sL8BJwEdygQ5HMNSpiZw"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_ka-CYIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_ka-CYYlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/MARTE/1#//HRM/HwPhysical/HwLayout"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://Papyrus_PROFILES/MARTE.profile.uml#_uAf6gBJwEdygQ5HMNSpiZw"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_ka-pcIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_ka_QgIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/MARTE/1#//HRM/HwPhysical/HwPower"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://Papyrus_PROFILES/MARTE.profile.uml#_vrbyUBJwEdygQ5HMNSpiZw"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_ka_3kIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kbAeoIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/MARTE/1#//HRM/HwGeneral"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://Papyrus_PROFILES/MARTE.profile.uml#_WGZ44BJwEdygQ5HMNSpiZw"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kbBFsIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kbBFsYlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/MARTE/1#//Alloc"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://Papyrus_PROFILES/MARTE.profile.uml#_ar8OsAPMEdyuUt-4qHuVvQ"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kbBswIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kbCT0IlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/MARTE/1#//SRM/SW_Concurrency"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://Papyrus_PROFILES/MARTE.profile.uml#_A_vtYBJeEdy3Td9UhuLFPg"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kbC64IlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kbC64YlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/MARTE/1#//GCM"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://Papyrus_PROFILES/MARTE.profile.uml#_YgAioAPMEdyuUt-4qHuVvQ"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kbDh8IlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kbEJAIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/MARTE/1#//GQAM"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://Papyrus_PROFILES/MARTE.profile.uml#_4bV20APMEdyuUt-4qHuVvQ"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kbPvMIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kbQWQIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/MARTE/1#//GRM"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://Papyrus_PROFILES/MARTE.profile.uml#_XVWGUAPMEdyuUt-4qHuVvQ"/> | |
</profileApplication> | |
</packagedElement> | |
<packagedElement xmi:type="uml:Package" xmi:id="_kaWXUIlXEeqYO7ujEOOyyw" name="modelAnalysisView"> | |
<packagedElement xmi:type="uml:Package" xmi:id="_kafhQIlXEeqYO7ujEOOyyw" name="modelDependabilityAnalysisView"> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kafhQYlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kagIUIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://CHESS#//StateBasedAnalysis"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://CHESSML_PROFILE/CHESS.profile.uml#_Wgxh0L8_Ed-TL8tpOyViyA"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kagIUYlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kagvYIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://CHESS#//FailurePropagation"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://CHESSML_PROFILE/CHESS.profile.uml#_hdOrwLwzEd-CDNLmLgazUQ"/> | |
</profileApplication> | |
</packagedElement> | |
<packagedElement xmi:type="uml:Package" xmi:id="_kapSQIlXEeqYO7ujEOOyyw" name="modelRTAnalysisView"> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kbHMUIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kbHzYIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/MARTE/1#//SAM"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://Papyrus_PROFILES/MARTE.profile.uml#_5ZCOIAPMEdyuUt-4qHuVvQ"/> | |
</profileApplication> | |
</packagedElement> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kbIacIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kbIacYlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/MARTE/1#//GQAM"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://Papyrus_PROFILES/MARTE.profile.uml#_4bV20APMEdyuUt-4qHuVvQ"/> | |
</profileApplication> | |
</packagedElement> | |
<packagedElement xmi:type="uml:Package" xmi:id="_katjsIlXEeqYO7ujEOOyyw" name="modelPSMView"> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kbJBgIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kbJokIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/MARTE/1#//SAM"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://Papyrus_PROFILES/MARTE.profile.uml#_5ZCOIAPMEdyuUt-4qHuVvQ"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kbKPoIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kbKPoYlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/MARTE/1#//SRM/SW_Concurrency"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://Papyrus_PROFILES/MARTE.profile.uml#_A_vtYBJeEdy3Td9UhuLFPg"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kbK2sIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kbK2sYlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/MARTE/1#//SRM/SW_Interaction"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://Papyrus_PROFILES/MARTE.profile.uml#_EIfnABJeEdy3Td9UhuLFPg"/> | |
</profileApplication> | |
</packagedElement> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kNtpgIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kNtpgYlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://CHESS#/"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://CHESSML_PROFILE/CHESS.profile.uml#_EA6IcDcwEd-mWLzcI61s7Q"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kZD94IlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kZEk8IlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://CHESS#//Core"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://CHESSML_PROFILE/CHESS.profile.uml#_ad4owDgVEd-68Z_bhNRGsA"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kZFMAIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kZFzEIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://CHESS#//Core/CHESSViews"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://CHESSML_PROFILE/CHESS.profile.uml#_FttqgMJDEd-0jpzjleFnug"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kZGaIIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kZHBMIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://CHESS#//FailurePropagation"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://CHESSML_PROFILE/CHESS.profile.uml#_hdOrwLwzEd-CDNLmLgazUQ"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kZHoQIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kZIPUIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="pathmap://CHESSML_PROFILE/CHESS.profile.uml#_QgRZcMe6Ed-7etIj5eTw0Q"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://CHESSML_PROFILE/CHESS.profile.uml#_cE_bwLwzEd-CDNLmLgazUQ"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kZI2YIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kZJdcIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://CHESS#//StateBasedComponents"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://CHESSML_PROFILE/CHESS.profile.uml#_d50lQL86Ed-TL8tpOyViyA"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kZKEgIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kZKEgYlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://CHESS#//FaultTolerance"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://CHESSML_PROFILE/CHESS.profile.uml#_mbqqgL86Ed-TL8tpOyViyA"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kZKrkIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kZLSoIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://CHESS#//MaintenanceMonitoring"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://CHESSML_PROFILE/CHESS.profile.uml#_oUVxcL88Ed-TL8tpOyViyA"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kZL5sIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kZMgwIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://CHESS#//StateBasedAnalysis"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://CHESSML_PROFILE/CHESS.profile.uml#_Wgxh0L8_Ed-TL8tpOyViyA"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kZNH0IlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kZNH0YlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://CHESS#//DependableComponent"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://CHESSML_PROFILE/CHESS.profile.uml#_uNKOgDQ2EeC0ueejuetpgA"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kZNu4IlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kZOV8IlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://CHESS#//ThreatsPropagation"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://CHESSML_PROFILE/CHESS.profile.uml#_5g4wEDQ3EeC0ueejuetpgA"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kZO9AIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kZO9AYlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://CHESS#//MitigationMeans"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://CHESSML_PROFILE/CHESS.profile.uml#_kJICMFiIEeGbwa2cK55fPQ"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kZPkEIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kZQLIIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="pathmap://CHESSML_PROFILE/CHESS.profile.uml#_S2Uq0ce6Ed-7etIj5eTw0Q"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://CHESSML_PROFILE/CHESS.profile.uml#_nyQ7MLwzEd-CDNLmLgazUQ"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kZQLIYlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kZQLIolXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://CHESS#//HardwareBaseline"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://CHESSML_PROFILE/CHESS.profile.uml#_1TsX8MCpEd-RT45s8cwWMg"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kZQyMIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kZRZQIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://CHESS#//RTComponentModel"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://CHESSML_PROFILE/CHESS.profile.uml#_WgatoDgVEd-68Z_bhNRGsA"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kZRZQYlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kZSAUIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://CHESS#//ARINCComponentModel"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://CHESSML_PROFILE/CHESS.profile.uml#_GMlQEGwuEeWvYIaEJT1qow"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kZSAUYlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kZSnYIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://CHESS#//ComponentModel"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://CHESSML_PROFILE/CHESS.profile.uml#_MftccDQ2EeC0ueejuetpgA"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kZSnYYlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kZTOcIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://CHESS#//STS"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://CHESSML_PROFILE/CHESS.profile.uml#_-aQIUKbREeSHP5PnCeTneg"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kZTOcYlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kZT1gIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://CHESS#//Safety"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://CHESSML_PROFILE/CHESS.profile.uml#_f-f6oMvrEeSajLw6mg2A8Q"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kZT1gYlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kZUckIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://CHESS#//Expressions"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://CHESSML_PROFILE/CHESS.profile.uml#_wx4LQOi5EeiVjJ5o5etgeg"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kZUckYlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kZVDoIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://CHESS#//StateMachines"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://CHESSML_PROFILE/CHESS.profile.uml#_uzJoEAUxEemysu13G3QsXA"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kbEwEIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kbFXIIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/MARTE/1#//NFPs"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://Papyrus_PROFILES/MARTE.profile.uml#_U_GAoAPMEdyuUt-4qHuVvQ"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kbLdwIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kbME0IlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/MARTE/1#//CoreElements"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://Papyrus_PROFILES/MARTE.profile.uml#_-wEewECLEd6UTJZnztgOLw"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kbNS8IlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kbN6AIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/MARTE/1#//VSL/DataTypes"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://Papyrus_PROFILES/MARTE.profile.uml#_9FdqwA-MEdyLh7muGbCqMw"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kb3aQIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kb4BUIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/0.7.0/SysML#/"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://SysML_PROFILES/SysML.profile.uml#_TZ_nULU5EduiKqCzJMWbGw"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kb52gIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kb52gYlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/0.7.0/SysML#//modelelements"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://SysML_PROFILES/SysML.profile.uml#_Gx8MgLX7EduFmqQsrNB9lw"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kb7EoIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kb7rsIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/0.7.0/SysML#//blocks"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://SysML_PROFILES/SysML.profile.uml#_fSw28LX7EduFmqQsrNB9lw"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kb850IlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kb9g4IlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/0.7.0/SysML#//portandflows"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://SysML_PROFILES/SysML.profile.uml#_rpx28LX7EduFmqQsrNB9lw"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kb-vAIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kb_WEIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/0.7.0/SysML#//constraints"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://SysML_PROFILES/SysML.profile.uml#_5WYJ0LX7EduFmqQsrNB9lw"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kb_9IIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kcAkMIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/0.7.0/SysML#//activities"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://SysML_PROFILES/SysML.profile.uml#_C2zXMLX8EduFmqQsrNB9lw"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kcByUIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kcCZYIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/0.7.0/SysML#//allocations"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://SysML_PROFILES/SysML.profile.uml#_NxdG4LX8EduFmqQsrNB9lw"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kcEOkIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kcE1oIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/0.7.0/SysML#//requirements"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://SysML_PROFILES/SysML.profile.uml#_OOJC4LX8EduFmqQsrNB9lw"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kcGDwIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kcGq0IlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/0.7.0/SysML#//interactions"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://SysML_PROFILES/SysML.profile.uml#_meOioLX8EduFmqQsrNB9lw"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kcJHEIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kcJuIIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/0.7.0/SysML#//statemachines"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://SysML_PROFILES/SysML.profile.uml#_nAF5kLX8EduFmqQsrNB9lw"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kcLjUIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kcMKYIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/0.7.0/SysML#//usecases"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://SysML_PROFILES/SysML.profile.uml#_neZmMLX8EduFmqQsrNB9lw"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kccpEIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kcdQIIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http://RFI-ACC#/"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://RFI-ACC_PROFILE/rfiacc.profile.uml#_LL370BTCEemW1fIkJDjBiQ"/> | |
</profileApplication> | |
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_kc58EIlXEeqYO7ujEOOyyw"> | |
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kc6jIIlXEeqYO7ujEOOyyw" source="http://www.eclipse.org/uml2/2.0.0/UML"> | |
<references xmi:type="ecore:EPackage" href="http:///CHESSContract.ecore#/"/> | |
</eAnnotations> | |
<appliedProfile xmi:type="uml:Profile" href="pathmap://CHESSContract/CHESSContract.profile.uml#_Hmdm0NDVEeG5E52m3d5H1g"/> | |
</profileApplication> | |
</uml:Model> | |
<Core:CHESS xmi:id="_kZjtIIlXEeqYO7ujEOOyyw" base_Model="_kKQs4IlXEeqYO7ujEOOyyw" psmView="_kax1IIlXEeqYO7ujEOOyyw"> | |
<analysisView xmi:type="CHESSViews:AnalysisView" xmi:id="_kab24IlXEeqYO7ujEOOyyw" base_Package="_kaWXUIlXEeqYO7ujEOOyyw" depanalysisview="_kakZwIlXEeqYO7ujEOOyyw"> | |
<rtanalysisview xmi:type="CHESSViews:RTAnalysisView" xmi:id="_kas8oIlXEeqYO7ujEOOyyw" base_Package="_kapSQIlXEeqYO7ujEOOyyw"/> | |
</analysisView> | |
<deploymentView xmi:type="CHESSViews:DeploymentView" xmi:id="_kaN0cIlXEeqYO7ujEOOyyw" base_Package="_kaI78IlXEeqYO7ujEOOyyw"/> | |
<requirementView xmi:type="CHESSViews:RequirementView" xmi:id="_kZqa0IlXEeqYO7ujEOOyyw" base_Package="_kZjtIYlXEeqYO7ujEOOyyw"/> | |
<componentView xmi:type="CHESSViews:ComponentView" xmi:id="_kZ_yAIlXEeqYO7ujEOOyyw" base_Package="_kZ65gIlXEeqYO7ujEOOyyw"/> | |
<systemView xmi:type="CHESSViews:SystemView" xmi:id="_kZxIgIlXEeqYO7ujEOOyyw" base_Package="_kZro8IlXEeqYO7ujEOOyyw"/> | |
</Core:CHESS> | |
<CHESSViews:DependabilityAnalysisView xmi:id="_kakZwIlXEeqYO7ujEOOyyw" base_Package="_kafhQIlXEeqYO7ujEOOyyw"/> | |
<CHESSViews:PSMView xmi:id="_kax1IIlXEeqYO7ujEOOyyw" base_Package="_katjsIlXEeqYO7ujEOOyyw"/> | |
<Blocks:Block xmi:id="_gUQu4IlbEeqYO7ujEOOyyw" base_Class="_gUO5sIlbEeqYO7ujEOOyyw"/> | |
<CHESSContract:System xmi:id="_gUR9AIlbEeqYO7ujEOOyyw" base_Class="_gUO5sIlbEeqYO7ujEOOyyw"/> | |
<Blocks:Block xmi:id="_gUUZQIlbEeqYO7ujEOOyyw" base_Class="_gUTLIIlbEeqYO7ujEOOyyw"/> | |
<PortAndFlows:FlowPort xmi:id="_gUXckIlbEeqYO7ujEOOyyw" base_Port="_gUW1gIlbEeqYO7ujEOOyyw" direction="out"/> | |
<PortAndFlows:FlowPort xmi:id="_gUaf4IlbEeqYO7ujEOOyyw" base_Port="_gUZ40IlbEeqYO7ujEOOyyw"/> | |
<CHESSContract:Contract xmi:id="_gUuo8IlbEeqYO7ujEOOyyw" base_Class="_gUta0IlbEeqYO7ujEOOyyw" Assume="_gU95gIlbEeqYO7ujEOOyyw" Guarantee="_gVZXUIlbEeqYO7ujEOOyyw"/> | |
<CHESSContract:FormalProperty xmi:id="_gU95gIlbEeqYO7ujEOOyyw" base_Constraint="_gUv3EIlbEeqYO7ujEOOyyw"/> | |
<CHESSContract:FormalProperty xmi:id="_gVZXUIlbEeqYO7ujEOOyyw" base_Constraint="_gVCK8IlbEeqYO7ujEOOyyw"/> | |
<CHESSContract:ContractProperty xmi:id="_gVdowIlbEeqYO7ujEOOyyw" base_Property="_gVcaoIlbEeqYO7ujEOOyyw" RefinedBy="_geELIIlbEeqYO7ujEOOyyw"/> | |
<CHESSContract:Contract xmi:id="_gVuugIlbEeqYO7ujEOOyyw" base_Class="_gVtgYIlbEeqYO7ujEOOyyw" Assume="_gV9_EIlbEeqYO7ujEOOyyw" Guarantee="_gWSIIIlbEeqYO7ujEOOyyw"/> | |
<CHESSContract:FormalProperty xmi:id="_gV9_EIlbEeqYO7ujEOOyyw" base_Constraint="_gVv8oIlbEeqYO7ujEOOyyw"/> | |
<CHESSContract:FormalProperty xmi:id="_gWSIIIlbEeqYO7ujEOOyyw" base_Constraint="_gWBCYIlbEeqYO7ujEOOyyw"/> | |
<CHESSContract:ContractProperty xmi:id="_gWVygIlbEeqYO7ujEOOyyw" base_Property="_gWVLcIlbEeqYO7ujEOOyyw" RefinedBy="_geqoEIlbEeqYO7ujEOOyyw"/> | |
<CHESSContract:Contract xmi:id="_gWmRMIlbEeqYO7ujEOOyyw" base_Class="_gWlqIIlbEeqYO7ujEOOyyw" Assume="_gWuNAIlbEeqYO7ujEOOyyw" Guarantee="_gW-EoIlbEeqYO7ujEOOyyw"/> | |
<CHESSContract:FormalProperty xmi:id="_gWuNAIlbEeqYO7ujEOOyyw" base_Constraint="_gWm4QIlbEeqYO7ujEOOyyw"/> | |
<CHESSContract:FormalProperty xmi:id="_gW-EoIlbEeqYO7ujEOOyyw" base_Constraint="_gWx3YIlbEeqYO7ujEOOyyw"/> | |
<CHESSContract:ContractProperty xmi:id="_gXAg4IlbEeqYO7ujEOOyyw" base_Property="_gW_50IlbEeqYO7ujEOOyyw" RefinedBy="_gfZn4IlbEeqYO7ujEOOyyw"/> | |
<CHESSContract:Contract xmi:id="_gXPxcIlbEeqYO7ujEOOyyw" base_Class="_gXPKYIlbEeqYO7ujEOOyyw" Assume="_gXb-sIlbEeqYO7ujEOOyyw" Guarantee="_gXrPQIlbEeqYO7ujEOOyyw"/> | |
<CHESSContract:FormalProperty xmi:id="_gXb-sIlbEeqYO7ujEOOyyw" base_Constraint="_gXQ_kIlbEeqYO7ujEOOyyw"/> | |
<CHESSContract:FormalProperty xmi:id="_gXrPQIlbEeqYO7ujEOOyyw" base_Constraint="_gXdz4IlbEeqYO7ujEOOyyw"/> | |
<CHESSContract:ContractProperty xmi:id="_gXwu0IlbEeqYO7ujEOOyyw" base_Property="_gXu5oIlbEeqYO7ujEOOyyw" RefinedBy="_gf7MUIlbEeqYO7ujEOOyyw"/> | |
<PortAndFlows:FlowPort xmi:id="_gXykAIlbEeqYO7ujEOOyyw" base_Port="_gXx88IlbEeqYO7ujEOOyyw" direction="in"/> | |
<PortAndFlows:FlowPort xmi:id="_gX1AQIlbEeqYO7ujEOOyyw" base_Port="_gX0ZMIlbEeqYO7ujEOOyyw" direction="out"/> | |
<PortAndFlows:FlowPort xmi:id="_gX21cIlbEeqYO7ujEOOyyw" base_Port="_gX2OYIlbEeqYO7ujEOOyyw" direction="out"/> | |
<CHESSContract:Contract xmi:id="_gYHUIIlbEeqYO7ujEOOyyw" base_Class="_gYGGAIlbEeqYO7ujEOOyyw" Assume="_gYP3AIlbEeqYO7ujEOOyyw" Guarantee="_gYcrUIlbEeqYO7ujEOOyyw"/> | |
<CHESSContract:FormalProperty xmi:id="_gYP3AIlbEeqYO7ujEOOyyw" base_Constraint="_gYH7MIlbEeqYO7ujEOOyyw"/> | |
<CHESSContract:FormalProperty xmi:id="_gYcrUIlbEeqYO7ujEOOyyw" base_Constraint="_gYSTQIlbEeqYO7ujEOOyyw"/> | |
<CHESSContract:ContractProperty xmi:id="_gYfuoIlbEeqYO7ujEOOyyw" base_Property="_gYfHkIlbEeqYO7ujEOOyyw"/> | |
<CHESSContract:Contract xmi:id="_gYw0YIlbEeqYO7ujEOOyyw" base_Class="_gYwNUIlbEeqYO7ujEOOyyw" Assume="_gY5-UIlbEeqYO7ujEOOyyw" Guarantee="_gZDIQIlbEeqYO7ujEOOyyw"/> | |
<CHESSContract:FormalProperty xmi:id="_gY5-UIlbEeqYO7ujEOOyyw" base_Constraint="_gYxbcIlbEeqYO7ujEOOyyw"/> | |
<CHESSContract:FormalProperty xmi:id="_gZDIQIlbEeqYO7ujEOOyyw" base_Constraint="_gY8akIlbEeqYO7ujEOOyyw"/> | |
<CHESSContract:ContractProperty xmi:id="_gZGLkIlbEeqYO7ujEOOyyw" base_Property="_gZE9cIlbEeqYO7ujEOOyyw"/> | |
<CHESSContract:Contract xmi:id="_gZU1EIlbEeqYO7ujEOOyyw" base_Class="_gZUOAIlbEeqYO7ujEOOyyw" Assume="_gZd_AIlbEeqYO7ujEOOyyw" Guarantee="_gZsBcIlbEeqYO7ujEOOyyw"/> | |
<CHESSContract:FormalProperty xmi:id="_gZd_AIlbEeqYO7ujEOOyyw" base_Constraint="_gZVcIIlbEeqYO7ujEOOyyw"/> | |
<CHESSContract:FormalProperty xmi:id="_gZsBcIlbEeqYO7ujEOOyyw" base_Constraint="_gZf0MIlbEeqYO7ujEOOyyw"/> | |
<CHESSContract:ContractProperty xmi:id="_gZxhAIlbEeqYO7ujEOOyyw" base_Property="_gZvr0IlbEeqYO7ujEOOyyw"/> | |
<CHESSContract:Contract xmi:id="_gaBYoIlbEeqYO7ujEOOyyw" base_Class="_gaAKgIlbEeqYO7ujEOOyyw" Assume="_gaLwsIlbEeqYO7ujEOOyyw" Guarantee="_gaWIwIlbEeqYO7ujEOOyyw"/> | |
<CHESSContract:FormalProperty xmi:id="_gaLwsIlbEeqYO7ujEOOyyw" base_Constraint="_gaB_sIlbEeqYO7ujEOOyyw"/> | |
<CHESSContract:FormalProperty xmi:id="_gaWIwIlbEeqYO7ujEOOyyw" base_Constraint="_gaOM8IlbEeqYO7ujEOOyyw"/> | |
<CHESSContract:ContractProperty xmi:id="_gaZMEIlbEeqYO7ujEOOyyw" base_Property="_gaX98IlbEeqYO7ujEOOyyw"/> | |
<CHESSContract:DelegationConstraint xmi:id="_gbNrcIlbEeqYO7ujEOOyyw" base_Constraint="_gbMdUIlbEeqYO7ujEOOyyw"/> | |
<CHESSContract:DelegationConstraint xmi:id="_gdEFkIlbEeqYO7ujEOOyyw" base_Constraint="_gdDegIlbEeqYO7ujEOOyyw"/> | |
<CHESSContract:DelegationConstraint xmi:id="_gdVyYIlbEeqYO7ujEOOyyw" base_Constraint="_gdVLUIlbEeqYO7ujEOOyyw"/> | |
<CHESSContract:ContractRefinement xmi:id="_geELIIlbEeqYO7ujEOOyyw" base_DataType="_geC9AIlbEeqYO7ujEOOyyw" Instance="_gaiWAIlbEeqYO7ujEOOyyw" Contract="_gYfuoIlbEeqYO7ujEOOyyw" UpperIndexOfInstance="( n_sub_comp - 1 )" LowerIndexOfInstance="0"/> | |
<CHESSContract:ContractRefinement xmi:id="_geqoEIlbEeqYO7ujEOOyyw" base_DataType="_geqBAIlbEeqYO7ujEOOyyw" Instance="_gaiWAIlbEeqYO7ujEOOyyw" Contract="_gZGLkIlbEeqYO7ujEOOyyw" UpperIndexOfInstance="( n_sub_comp - 1 )" LowerIndexOfInstance="0"/> | |
<CHESSContract:ContractRefinement xmi:id="_gfZn4IlbEeqYO7ujEOOyyw" base_DataType="_gfZA0IlbEeqYO7ujEOOyyw" Instance="_gaiWAIlbEeqYO7ujEOOyyw" Contract="_gZxhAIlbEeqYO7ujEOOyyw" UpperIndexOfInstance="( n_sub_comp - 1 )" LowerIndexOfInstance="0"/> | |
<CHESSContract:ContractRefinement xmi:id="_gf7MUIlbEeqYO7ujEOOyyw" base_DataType="_gf5-MIlbEeqYO7ujEOOyyw" Instance="_gaiWAIlbEeqYO7ujEOOyyw" Contract="_gaZMEIlbEeqYO7ujEOOyyw" UpperIndexOfInstance="( n_sub_comp - 1 )" LowerIndexOfInstance="0"/> | |
</xmi:XMI> |