blob: 14eb8c75b7dcc094a4176c009c0280be047d51c7 [file] [log] [blame]
<?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>