| <?xml version="1.0" encoding="UTF-8"?> |
| <uml:Profile xmi:version="20131001" xmlns:xmi="http://www.omg.org/spec/XMI/20131001" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmlns:uml="http://www.eclipse.org/uml2/5.0.0/UML" xmi:id="_N9HP0HQPEeqOfoT8vF1-1w" name="assertions" URI="http://www.eclipse.org/papyrus/robotics/assertions/1" metaclassReference="_5FnwoHQbEeqOfoT8vF1-1w _mHgIUHjSEeq2_NfICybrsA _imarQMEgEeqOn9KXP-HCew"> |
| <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_q_PwAHQUEeqOfoT8vF1-1w" source="http://www.eclipse.org/uml2/2.0.0/UML"> |
| <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_xc3PgHQbEeqOfoT8vF1-1w" source="PapyrusVersion"> |
| <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_xc3PgXQbEeqOfoT8vF1-1w" key="Version" value="0.0.0"/> |
| <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_xc3PgnQbEeqOfoT8vF1-1w" key="Comment" value="<undefined>"/> |
| <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_xc3Pg3QbEeqOfoT8vF1-1w" key="Copyright" value=""/> |
| <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_xc3PhHQbEeqOfoT8vF1-1w" key="Date" value=""/> |
| <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_xc3PhXQbEeqOfoT8vF1-1w" key="Author" value="<undefined>"/> |
| </eAnnotations> |
| </eAnnotations> |
| <elementImport xmi:type="uml:ElementImport" xmi:id="_5FnwoHQbEeqOfoT8vF1-1w" alias="Constraint"> |
| <importedElement xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#Constraint"/> |
| </elementImport> |
| <elementImport xmi:type="uml:ElementImport" xmi:id="_mHgIUHjSEeq2_NfICybrsA" alias="Comment"> |
| <importedElement xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#Comment"/> |
| </elementImport> |
| <elementImport xmi:type="uml:ElementImport" xmi:id="_imarQMEgEeqOn9KXP-HCew" alias="Property"> |
| <importedElement xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#Property"/> |
| </elementImport> |
| <packageImport xmi:type="uml:PackageImport" xmi:id="_OBCGgHQPEeqOfoT8vF1-1w"> |
| <importedPackage xmi:type="uml:Model" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#_0"/> |
| </packageImport> |
| <packageImport xmi:type="uml:PackageImport" xmi:id="_OBCtkHQPEeqOfoT8vF1-1w"> |
| <importedPackage xmi:type="uml:Model" href="pathmap://UML_METAMODELS/UML.metamodel.uml#_0"/> |
| </packageImport> |
| <packageImport xmi:type="uml:PackageImport" xmi:id="_BkXOIMD1EeqimKqROTAdog"> |
| <importedPackage xmi:type="uml:Profile" href="pathmap://ROBOTICS_BPC_PROFILES/bpc.profile.uml#__9qqMJZ1Eeeq1f8hGgKVzA"/> |
| </packageImport> |
| <packagedElement xmi:type="uml:Stereotype" xmi:id="_CCVQ8HjSEeq2_NfICybrsA" name="Assertion"> |
| <generalization xmi:type="uml:Generalization" xmi:id="_IuQpAMD1EeqimKqROTAdog"> |
| <general xmi:type="uml:Stereotype" href="pathmap://ROBOTICS_BPC_PROFILES/bpc.profile.uml#_SbJV57amEeeahOCq3xONIQ"/> |
| </generalization> |
| <ownedAttribute xmi:type="uml:Property" xmi:id="_EQhm0HjSEeq2_NfICybrsA" name="base_Constraint" association="_EQcuUHjSEeq2_NfICybrsA"> |
| <type xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#Constraint"/> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_EQhm0XjSEeq2_NfICybrsA"/> |
| </ownedAttribute> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Extension" xmi:id="_EQcuUHjSEeq2_NfICybrsA" name="E_Assertion_Constraint6" memberEnd="_EQgYsHjSEeq2_NfICybrsA _EQhm0HjSEeq2_NfICybrsA"> |
| <ownedEnd xmi:type="uml:ExtensionEnd" xmi:id="_EQgYsHjSEeq2_NfICybrsA" name="extension_Assertion" type="_CCVQ8HjSEeq2_NfICybrsA" aggregation="composite" association="_EQcuUHjSEeq2_NfICybrsA"/> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Stereotype" xmi:id="_J6A-4HjSEeq2_NfICybrsA" name="Contract"> |
| <generalization xmi:type="uml:Generalization" xmi:id="_KhfhMMD1EeqimKqROTAdog"> |
| <general xmi:type="uml:Stereotype" href="pathmap://ROBOTICS_BPC_PROFILES/bpc.profile.uml#_SbJV57amEeeahOCq3xONIQ"/> |
| </generalization> |
| <ownedAttribute xmi:type="uml:Property" xmi:id="_PrOIgHjSEeq2_NfICybrsA" name="name"> |
| <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/> |
| </ownedAttribute> |
| <ownedAttribute xmi:type="uml:Property" xmi:id="_VZ2fQHjSEeq2_NfICybrsA" name="assumptions" type="_CCVQ8HjSEeq2_NfICybrsA"> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_ilxG8HjSEeq2_NfICybrsA"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_il7fAHjSEeq2_NfICybrsA" value="*"/> |
| </ownedAttribute> |
| <ownedAttribute xmi:type="uml:Property" xmi:id="_YZBmIHjSEeq2_NfICybrsA" name="guarantees" type="_CCVQ8HjSEeq2_NfICybrsA"> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_e9xFgHjSEeq2_NfICybrsA"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_e98EoHjSEeq2_NfICybrsA" value="*"/> |
| </ownedAttribute> |
| <ownedAttribute xmi:type="uml:Property" xmi:id="_nnXYkHjSEeq2_NfICybrsA" name="base_Comment" association="_nnVjYHjSEeq2_NfICybrsA"> |
| <type xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#Comment"/> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_nnXYkXjSEeq2_NfICybrsA"/> |
| </ownedAttribute> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Extension" xmi:id="_nnVjYHjSEeq2_NfICybrsA" name="E_Contract_Comment9" memberEnd="_nnWxgHjSEeq2_NfICybrsA _nnXYkHjSEeq2_NfICybrsA"> |
| <ownedEnd xmi:type="uml:ExtensionEnd" xmi:id="_nnWxgHjSEeq2_NfICybrsA" name="extension_Contract" type="_J6A-4HjSEeq2_NfICybrsA" aggregation="composite" association="_nnVjYHjSEeq2_NfICybrsA"/> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Stereotype" xmi:id="_agM7wJ_nEeqlr5gsvzwGuw" name="Property"> |
| <generalization xmi:type="uml:Generalization" xmi:id="_Ju3KYMD1EeqimKqROTAdog"> |
| <general xmi:type="uml:Stereotype" href="pathmap://ROBOTICS_BPC_PROFILES/bpc.profile.uml#_SbJV57amEeeahOCq3xONIQ"/> |
| </generalization> |
| <ownedAttribute xmi:type="uml:Property" xmi:id="_lZeowMEgEeqOn9KXP-HCew" name="base_Property" association="_lZa-YMEgEeqOn9KXP-HCew"> |
| <type xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#Property"/> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_lZeowcEgEeqOn9KXP-HCew"/> |
| </ownedAttribute> |
| <ownedAttribute xmi:type="uml:Property" xmi:id="_9CrYMMgyEeq_dprmWVFttg" name="expression" visibility="public" isReadOnly="true" isDerived="true"> |
| <type xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#OpaqueExpression"/> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_JVMSsMgzEeq_dprmWVFttg"/> |
| </ownedAttribute> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Extension" xmi:id="_lZa-YMEgEeqOn9KXP-HCew" name="E_Property_Property1" memberEnd="_lZdaoMEgEeqOn9KXP-HCew _lZeowMEgEeqOn9KXP-HCew"> |
| <ownedEnd xmi:type="uml:ExtensionEnd" xmi:id="_lZdaoMEgEeqOn9KXP-HCew" name="extension_Property" type="_agM7wJ_nEeqlr5gsvzwGuw" aggregation="composite" association="_lZa-YMEgEeqOn9KXP-HCew"/> |
| </packagedElement> |
| </uml:Profile> |
