| <?xml version="1.0" encoding="UTF-8"?> | |
| <ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" | |
| xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="OpenCertTraceLinkMetaModel" nsURI="org.eclipse.opencert.aida.tracemodel.OpenCertTraceLinkMetaModel" | |
| nsPrefix="OpenCertTraceLinkMetaModel"> | |
| <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel"> | |
| <details key="basePackage" value="org.eclipse.opencert.chess.tracemodel"/> | |
| </eAnnotations> | |
| <eClassifiers xsi:type="ecore:EClass" name="ContractClaimLink"> | |
| <eStructuralFeatures xsi:type="ecore:EReference" name="sources" lowerBound="1" | |
| eType="ecore:EClass ../../org.polarsys.chess.contracts.profile/model/chesscontract.ecore#//Contract"/> | |
| <eStructuralFeatures xsi:type="ecore:EReference" name="targets" lowerBound="1" | |
| upperBound="-1" eType="ecore:EClass ../../org.eclipse.opencert.sam.arg/model/arg.ecore#//Claim"/> | |
| </eClassifiers> | |
| <eClassifiers xsi:type="ecore:EClass" name="ContractArtefactLink"> | |
| <eStructuralFeatures xsi:type="ecore:EReference" name="sources" lowerBound="1" | |
| eType="ecore:EClass ../../org.polarsys.chess.contracts.profile/model/chesscontract.ecore#//Contract"/> | |
| <eStructuralFeatures xsi:type="ecore:EReference" name="targets" lowerBound="1" | |
| upperBound="-1" eType="ecore:EClass ../../org.eclipse.opencert.evm.evidspec/model/evidence.ecore#//Artefact"/> | |
| </eClassifiers> | |
| <eClassifiers xsi:type="ecore:EClass" name="FormalPropertyClaimLink"> | |
| <eStructuralFeatures xsi:type="ecore:EReference" name="sources" lowerBound="1" | |
| eType="ecore:EClass ../../org.polarsys.chess.contracts.profile/model/chesscontract.ecore#//FormalProperty"/> | |
| <eStructuralFeatures xsi:type="ecore:EReference" name="targets" lowerBound="1" | |
| upperBound="-1" eType="ecore:EClass ../../org.eclipse.opencert.sam.arg/model/arg.ecore#//Claim"/> | |
| </eClassifiers> | |
| <eClassifiers xsi:type="ecore:EClass" name="ContractAgreementLink"> | |
| <eStructuralFeatures xsi:type="ecore:EReference" name="sources" lowerBound="1" | |
| eType="ecore:EClass ../../org.polarsys.chess.contracts.profile/model/chesscontract.ecore#//Contract"/> | |
| <eStructuralFeatures xsi:type="ecore:EReference" name="targets" lowerBound="1" | |
| upperBound="-1" eType="ecore:EClass ../../org.eclipse.opencert.sam.arg/model/arg.ecore#//Agreement"/> | |
| </eClassifiers> | |
| <eClassifiers xsi:type="ecore:EClass" name="AnalysisContextArtefactLink"> | |
| <eStructuralFeatures xsi:type="ecore:EReference" name="sources" lowerBound="1" | |
| eType="ecore:EClass ../../org.eclipse.uml2.uml/model/UML.ecore#//Class"/> | |
| <eStructuralFeatures xsi:type="ecore:EReference" name="targets" lowerBound="1" | |
| upperBound="-1" eType="ecore:EClass ../../org.eclipse.opencert.evm.evidspec/model/evidence.ecore#//Artefact"/> | |
| </eClassifiers> | |
| <eClassifiers xsi:type="ecore:EClass" name="ComponentArgumentationElementLink"> | |
| <eStructuralFeatures xsi:type="ecore:EReference" name="sources" lowerBound="1" | |
| eType="ecore:EClass ../../org.eclipse.uml2.uml/model/UML.ecore#//Class"/> | |
| <eStructuralFeatures xsi:type="ecore:EReference" name="targets" lowerBound="1" | |
| upperBound="-1" eType="ecore:EClass ../../org.eclipse.opencert.sam.arg/model/arg.ecore#//ArgumentationElement"/> | |
| </eClassifiers> | |
| <eClassifiers xsi:type="ecore:EClass" name="RequirementClaimLink"> | |
| <eStructuralFeatures xsi:type="ecore:EReference" name="sources" lowerBound="1" | |
| eType="ecore:EClass ../../org.eclipse.papyrus.sysml/model/sysml.ecore#//requirements/Requirement"/> | |
| <eStructuralFeatures xsi:type="ecore:EReference" name="targets" lowerBound="1" | |
| upperBound="-1" eType="ecore:EClass ../../org.eclipse.opencert.sam.arg/model/arg.ecore#//Claim"/> | |
| </eClassifiers> | |
| </ecore:EPackage> |