| <?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="agreement" nsURI="http://www.opencert.org/sam/agree/Agreement" |
| nsPrefix="agreement"> |
| <eClassifiers xsi:type="ecore:EClass" name="Model"> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="contracts" upperBound="-1" |
| eType="#//Contract" containment="true"/> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="Contract"> |
| <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> |
| <eStructuralFeatures xsi:type="ecore:EAttribute" name="mod" unique="false" upperBound="-1" |
| eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> |
| <eStructuralFeatures xsi:type="ecore:EAttribute" name="code" unique="false" upperBound="-1" |
| eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="assertion" upperBound="-1" |
| eType="#//assertionDefinition" containment="true"/> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="guarantee" upperBound="-1" |
| eType="#//assertionDefinition" containment="true"/> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="strategy" upperBound="-1" |
| eType="#//strategyDefinition" containment="true"/> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="assertionDefinition"> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="assertion" upperBound="-1" |
| eType="#//viewpointId" containment="true"/> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="p" upperBound="-1" eType="#//assertionpattern" |
| containment="true"/> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="strategyDefinition"> |
| <eStructuralFeatures xsi:type="ecore:EAttribute" name="strategy" unique="false" |
| upperBound="-1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="viewpointId"> |
| <eStructuralFeatures xsi:type="ecore:EAttribute" name="view" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> |
| <eStructuralFeatures xsi:type="ecore:EAttribute" name="view1" unique="false" upperBound="-1" |
| eType="#//viewId"/> |
| <eStructuralFeatures xsi:type="ecore:EAttribute" name="view3" unique="false" upperBound="-1" |
| eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EEnum" name="viewId"> |
| <eLiterals name="inst" literal="installation"/> |
| <eLiterals name="saf" value="1" literal="safety"/> |
| <eLiterals name="func" value="2" literal="functionality"/> |
| <eLiterals name="per" value="3" literal="performance"/> |
| <eLiterals name="tim" value="4" literal="timing"/> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="assertionpattern"> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="assertionpattern" eType="#//Noun" |
| containment="true"/> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="v" eType="#//Verb" containment="true"/> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="f" eType="#//Fact" containment="true"/> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="view" upperBound="-1" eType="#//viewpointId" |
| containment="true"/> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="pattern" eType="#//Pattern" |
| containment="true"/> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="Noun"> |
| <eStructuralFeatures xsi:type="ecore:EAttribute" name="noun" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="Verb"> |
| <eStructuralFeatures xsi:type="ecore:EAttribute" name="verb" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="v" eType="#//simple" containment="true"/> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="simple"> |
| <eStructuralFeatures xsi:type="ecore:EAttribute" name="verb" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="Fact"> |
| <eStructuralFeatures xsi:type="ecore:EAttribute" name="fact" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="Pattern"> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="premise" eType="#//nonfunctional" |
| containment="true"/> |
| <eStructuralFeatures xsi:type="ecore:EAttribute" name="Event" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="nonfunctional"> |
| <eStructuralFeatures xsi:type="ecore:EReference" name="nonfunctional" upperBound="-1" |
| eType="#//memory" containment="true"/> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="memory"> |
| <eStructuralFeatures xsi:type="ecore:EAttribute" name="memory" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> |
| <eStructuralFeatures xsi:type="ecore:EAttribute" name="par" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> |
| <eStructuralFeatures xsi:type="ecore:EAttribute" name="def" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> |
| <eStructuralFeatures xsi:type="ecore:EAttribute" name="range" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> |
| <eStructuralFeatures xsi:type="ecore:EAttribute" name="type" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> |
| <eStructuralFeatures xsi:type="ecore:EAttribute" name="part" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> |
| <eStructuralFeatures xsi:type="ecore:EAttribute" name="constrain" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="timming" eSuperTypes="#//nonfunctional"> |
| <eStructuralFeatures xsi:type="ecore:EAttribute" name="time" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> |
| <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/> |
| <eStructuralFeatures xsi:type="ecore:EAttribute" name="unit" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> |
| <eStructuralFeatures xsi:type="ecore:EAttribute" name="method" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> |
| </eClassifiers> |
| <eClassifiers xsi:type="ecore:EClass" name="behave" eSuperTypes="#//Pattern"> |
| <eStructuralFeatures xsi:type="ecore:EAttribute" name="behave" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> |
| </eClassifiers> |
| </ecore:EPackage> |