mira.ecore 63.3 KB
Newer Older
Florian Hölzl's avatar
Florian Hölzl committed
1
<?xml version="1.0" encoding="UTF-8"?>
2 3 4 5 6 7
<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="model" nsURI="http://www.fortiss.org/af3/mira" nsPrefix="org-fortiss-af3-mira">
  <eClassifiers xsi:type="ecore:EClass" name="Analysis" eSuperTypes="platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//INamedCommentedElement platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//IProjectRootElement platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IHierarchicElement platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//constraints/IConstrained platform:/resource/org.fortiss.af3.project/model/project.ecore#//typesystem/IFunctionScope">
    <eOperations name="getRequirementsList">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="body" value="return AnalysisStaticImpl.getRequirementsList(this);"/>
8
      </eAnnotations>
9 10
      <eGenericType eClassifier="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EEList">
        <eTypeArguments eClassifier="#//Requirement"/>
11 12
      </eGenericType>
    </eOperations>
13 14 15
    <eOperations name="getGlossariesList">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="body" value="return AnalysisStaticImpl.getGlossariesList(this);"/>
Kisslinger's avatar
Kisslinger committed
16
      </eAnnotations>
17 18
      <eGenericType eClassifier="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EEList">
        <eTypeArguments eClassifier="#//glossary/Glossary"/>
Kisslinger's avatar
Kisslinger committed
19 20
      </eGenericType>
    </eOperations>
21 22 23
    <eOperations name="getRequirementSourceList">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="body" value="return AnalysisStaticImpl.getRequirementSourceList(this);"/>
Chen Wenwen's avatar
Chen Wenwen committed
24
      </eAnnotations>
25 26
      <eGenericType eClassifier="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EEList">
        <eTypeArguments eClassifier="#//requirementSource/RequirementSource"/>
Chen Wenwen's avatar
Chen Wenwen committed
27 28
      </eGenericType>
    </eOperations>
29 30 31
    <eOperations name="getRequirementsContainersList">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="body" value="return AnalysisStaticImpl.getRequirementsContainersList(this);"/>
Chen Wenwen's avatar
YELLOW  
Chen Wenwen committed
32
      </eAnnotations>
33 34
      <eGenericType eClassifier="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EEList">
        <eTypeArguments eClassifier="#//RequirementsContainer"/>
Chen Wenwen's avatar
YELLOW  
Chen Wenwen committed
35 36
      </eGenericType>
    </eOperations>
37 38 39
    <eOperations name="getAssociatedComponentArchitectures" upperBound="-1" eType="ecore:EClass platform:/resource/org.fortiss.af3.component/model/component.ecore#//ComponentArchitecture">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="body" value="return AnalysisStaticImpl.getAssociatedComponentArchitectures(this);"/>
40 41
      </eAnnotations>
    </eOperations>
42 43 44
    <eOperations name="computeReqID" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="body" value="return AnalysisStaticImpl.computeReqID(this);"/>
Sabine Teufl's avatar
Sabine Teufl committed
45 46
      </eAnnotations>
    </eOperations>
47 48 49
    <eOperations name="initializeRequirementRelationStatus">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="body" value="AnalysisStaticImpl.initializeRequirementRelationStatus(this);"/>
Sabine Teufl's avatar
Sabine Teufl committed
50 51
      </eAnnotations>
    </eOperations>
52 53 54
    <eOperations name="getDefinitionElement" eType="ecore:EClass platform:/resource/org.fortiss.af3.project/model/project.ecore#//typesystem/IFunctionDefinition">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="body" value="return AnalysisStaticImpl.getDefinitionElement(this,call);"/>
55
      </eAnnotations>
56
      <eParameters name="call" eType="ecore:EClass platform:/resource/org.fortiss.af3.project/model/project.ecore#//typesystem/FunctionCallBase"/>
57
    </eOperations>
58 59 60
    <eOperations name="getIFunctionDefinitions" upperBound="-1" eType="ecore:EClass platform:/resource/org.fortiss.af3.project/model/project.ecore#//typesystem/IFunctionDefinition">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="body" value="return AnalysisStaticImpl.getIFunctionDefinitions(this);"/>
61 62
      </eAnnotations>
    </eOperations>
63 64 65 66 67 68
    <eStructuralFeatures xsi:type="ecore:EReference" name="requirementRelation" upperBound="-1"
        eType="#//RequirementRelation" containment="true" eOpposite="#//RequirementRelation/analysis"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="requirementRelationStatus"
        upperBound="-1" eType="#//relations/RequirementRelationStatus" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="externalRelation" upperBound="-1"
        eType="#//ExternalRelation" containment="true" eOpposite="#//ExternalRelation/analysis"/>
69
  </eClassifiers>
70 71 72 73
  <eClassifiers xsi:type="ecore:EClass" name="Requirement" eSuperTypes="platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//INamedCommentedElement platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IHierarchicElement #//IImageContainer platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//constraints/IConstrained">
    <eOperations name="getAnalysis" eType="#//Analysis">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="body" value="return RequirementStaticImpl.getAnalysis(this);"/>
74 75
      </eAnnotations>
    </eOperations>
76 77 78
    <eOperations name="getFormalSpecifications">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="body" value="return RequirementStaticImpl.getFormalSpecifications(this);"/>
Chen Wenwen's avatar
Chen Wenwen committed
79
      </eAnnotations>
80 81
      <eGenericType eClassifier="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EEList">
        <eTypeArguments eClassifier="#//functional/FormalSpecification"/>
Chen Wenwen's avatar
Chen Wenwen committed
82 83
      </eGenericType>
    </eOperations>
84 85 86
    <eOperations name="getRequirementsContainer" eType="#//RequirementsContainer">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="body" value="return RequirementStaticImpl.getRequirementsContainer(this);"/>
Chen Wenwen's avatar
YELLOW  
Chen Wenwen committed
87 88
      </eAnnotations>
    </eOperations>
89 90 91
    <eOperations name="getRequirementsPackage" eType="#//RequirementsPackage">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="body" value="return RequirementStaticImpl.getRequirementsPackage(this);"/>
Chen Wenwen's avatar
YELLOW  
Chen Wenwen committed
92 93
      </eAnnotations>
    </eOperations>
94 95 96
    <eOperations name="getRequirementShortInfo" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="body" value="return RequirementStaticImpl.getRequirementShortInfo(this);"/>
97 98
      </eAnnotations>
    </eOperations>
99 100 101
    <eOperations name="getRequirementName" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="body" value="return RequirementStaticImpl.getRequirementName(this);"/>
Sabine Teufl's avatar
Sabine Teufl committed
102 103
      </eAnnotations>
    </eOperations>
104 105 106
    <eOperations name="getRequirementsPackageName" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="body" value="return RequirementStaticImpl.getRequirementsPackageName(this);"/>
Sabine Teufl's avatar
Sabine Teufl committed
107 108
      </eAnnotations>
    </eOperations>
109 110 111
    <eOperations name="hasSafetyInformation" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="body" value="return RequirementStaticImpl.hasSafetyInformation(this);"/>
Sabine Teufl's avatar
Sabine Teufl committed
112 113
      </eAnnotations>
    </eOperations>
114 115 116
    <eOperations name="isSafetyRelevant" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="body" value="return RequirementStaticImpl.isSafetyRelevant(this);"/>
Sabine Teufl's avatar
Sabine Teufl committed
117 118
      </eAnnotations>
    </eOperations>
119 120 121 122 123
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="description" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="rationale" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="author" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="sources" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="status" eType="#//RequirementStatus"
Florian Hölzl's avatar
Florian Hölzl committed
124
        defaultValueLiteral="Identified"/>
125
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="priority" eType="#//RequirementPriority"
Florian Hölzl's avatar
Florian Hölzl committed
126
        defaultValueLiteral="High - Must-be"/>
127 128
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="todo" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="reqId" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"
Dongyue Mou's avatar
Dongyue Mou committed
129
        defaultValueLiteral=""/>
130 131 132 133 134 135 136
    <eStructuralFeatures xsi:type="ecore:EReference" name="outgoingRequirementRelation"
        upperBound="-1" eType="#//RequirementRelation" eOpposite="#//RequirementRelation/sourceRequirement"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="incomingRequirementRelation"
        upperBound="-1" eType="#//RequirementRelation" eOpposite="#//RequirementRelation/targetRequirement"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="externalRelation" upperBound="-1"
        eType="#//ExternalRelation" eOpposite="#//ExternalRelation/sourceRequirement"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="document" eType="#//DocumentReference"
137
        containment="true"/>
138
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="safetyRequirementType"
139
        eType="#//SafetyRequirementType"/>
140
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="safetyRequirement" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
141
  </eClassifiers>
142 143 144 145 146 147 148 149 150 151
  <eClassifiers xsi:type="ecore:EClass" name="RequirementConnector" eSuperTypes="platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IConnector"/>
  <eClassifiers xsi:type="ecore:EEnum" name="RequirementStatus">
    <eLiterals name="Identified"/>
    <eLiterals name="InAnalysis" value="1" literal="In Analysis"/>
    <eLiterals name="Analyzed" value="2"/>
    <eLiterals name="Reviewed" value="3"/>
    <eLiterals name="Frozen" value="4"/>
    <eLiterals name="Declined" value="5"/>
    <eLiterals name="Validated" value="6" literal="Validated"/>
    <eLiterals name="Verified" value="7" literal="Verified"/>
Florian Hölzl's avatar
Florian Hölzl committed
152
  </eClassifiers>
153 154 155 156
  <eClassifiers xsi:type="ecore:EEnum" name="RequirementPriority">
    <eLiterals name="High" value="1" literal="High - Must-be"/>
    <eLiterals name="Normal" value="2" literal="Normal - Satisfier"/>
    <eLiterals name="Low" value="3" literal="Low - Delighter"/>
Florian Hölzl's avatar
Florian Hölzl committed
157
  </eClassifiers>
158 159 160 161
  <eClassifiers xsi:type="ecore:EClass" name="RequirementSpecification" eSuperTypes="platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IModelElementReference platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//INamedCommentedElement platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IHiddenSpecification">
    <eOperations name="getRequirement" eType="#//Requirement">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="body" value="return RequirementSpecificationStaticImpl.getRequirement(this);"/>
162 163 164
      </eAnnotations>
    </eOperations>
  </eClassifiers>
165 166
  <eClassifiers xsi:type="ecore:EClass" name="ImageItem" eSuperTypes="platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//INamedElement platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//IExternalDocumentReference">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="path" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
167
  </eClassifiers>
168 169 170
  <eClassifiers xsi:type="ecore:EClass" name="IImageContainer">
    <eStructuralFeatures xsi:type="ecore:EReference" name="images" upperBound="-1"
        eType="#//ImageItem" containment="true"/>
171
  </eClassifiers>
172 173 174 175
  <eClassifiers xsi:type="ecore:EEnum" name="ContextElementStatus">
    <eLiterals name="New"/>
    <eLiterals name="InConsolidation" value="1" literal="In consolidation"/>
    <eLiterals name="Consolidated" value="2"/>
Chen Wenwen's avatar
 
Chen Wenwen committed
176
  </eClassifiers>
177 178 179 180 181 182 183
  <eClassifiers xsi:type="ecore:EClass" name="ContextElement" abstract="true" eSuperTypes="platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//INamedCommentedElement platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IHierarchicElement">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="definition" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="status" eType="#//ContextElementStatus"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="abbreviations" upperBound="-1"
        eType="#//WordElement" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="synonyms" upperBound="-1"
        eType="#//WordElement" containment="true"/>
Chen Wenwen's avatar
 
Chen Wenwen committed
184
  </eClassifiers>
185 186 187 188
  <eClassifiers xsi:type="ecore:EClass" name="WordElement" eSuperTypes="platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IHierarchicElement">
    <eOperations name="toString" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="body" value="return WordElementStaticImpl.toString(this);"/>
Chen Wenwen's avatar
 
Chen Wenwen committed
189 190
      </eAnnotations>
    </eOperations>
191
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="text" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
Chen Wenwen's avatar
 
Chen Wenwen committed
192
  </eClassifiers>
193
  <eClassifiers xsi:type="ecore:EClass" name="RequirementsPackage" eSuperTypes="platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//INamedCommentedElement platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IHierarchicElement platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//constraints/IConstrained">
194 195 196
    <eOperations name="getRequirementsList">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="body" value="return RequirementsPackageStaticImpl.getRequirementsList(this);"/>
Chen Wenwen's avatar
YELLOW  
Chen Wenwen committed
197
      </eAnnotations>
198 199
      <eGenericType eClassifier="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EEList">
        <eTypeArguments eClassifier="#//Requirement"/>
Chen Wenwen's avatar
YELLOW  
Chen Wenwen committed
200 201
      </eGenericType>
    </eOperations>
202 203 204
    <eOperations name="getRequirementsContainer" eType="#//RequirementsContainer">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="body" value="return RequirementsPackageStaticImpl.getRequirementsContainer(this);"/>
Chen Wenwen's avatar
YELLOW  
Chen Wenwen committed
205 206
      </eAnnotations>
    </eOperations>
207 208 209
    <eOperations name="getSubPackage">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="body" value="return RequirementsPackageStaticImpl.getSubPackage(this);"/>
Chen Wenwen's avatar
YELLOW  
Chen Wenwen committed
210
      </eAnnotations>
211 212
      <eGenericType eClassifier="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EEList">
        <eTypeArguments eClassifier="#//RequirementsPackage"/>
Chen Wenwen's avatar
YELLOW  
Chen Wenwen committed
213 214 215
      </eGenericType>
    </eOperations>
  </eClassifiers>
216
  <eClassifiers xsi:type="ecore:EClass" name="RequirementsContainer" eSuperTypes="platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//INamedCommentedElement platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IHierarchicElement platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//constraints/IConstrained">
217 218 219
    <eOperations name="getRequirementsPackagesList">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="body" value="return RequirementsContainerStaticImpl.getRequirementsPackagesList(this);"/>
Chen Wenwen's avatar
YELLOW  
Chen Wenwen committed
220
      </eAnnotations>
221 222
      <eGenericType eClassifier="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EEList">
        <eTypeArguments eClassifier="#//RequirementsPackage"/>
Chen Wenwen's avatar
YELLOW  
Chen Wenwen committed
223 224
      </eGenericType>
    </eOperations>
225 226 227
    <eOperations name="getAnalysis" eType="#//Analysis">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="body" value="return RequirementsContainerStaticImpl.getAnalysis(this);"/>
Chen Wenwen's avatar
YELLOW  
Chen Wenwen committed
228 229
      </eAnnotations>
    </eOperations>
230 231 232
    <eOperations name="getRequirementsList">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="body" value="return RequirementsContainerStaticImpl.getRequirementsList(this);"/>
Chen Wenwen's avatar
YELLOW  
Chen Wenwen committed
233
      </eAnnotations>
234 235
      <eGenericType eClassifier="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EEList">
        <eTypeArguments eClassifier="#//Requirement"/>
Chen Wenwen's avatar
YELLOW  
Chen Wenwen committed
236 237 238
      </eGenericType>
    </eOperations>
  </eClassifiers>
239 240 241 242 243 244
  <eClassifiers xsi:type="ecore:EClass" name="RequirementRelation" eSuperTypes="platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IHierarchicElement platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//INamedCommentedElement platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IConnection">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="author" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="analysis" lowerBound="1"
        eType="#//Analysis" eOpposite="#//Analysis/requirementRelation"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="requirementRelationType"
        lowerBound="1" eType="#//relations/RequirementRelationType" containment="true"
245
        eOpposite="#//relations/RequirementRelationType/requirementRelation"/>
246 247 248 249 250 251
    <eStructuralFeatures xsi:type="ecore:EReference" name="sourceRequirement" upperBound="-1"
        eType="#//Requirement" eOpposite="#//Requirement/outgoingRequirementRelation"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="targetRequirement" upperBound="-1"
        eType="#//Requirement" eOpposite="#//Requirement/incomingRequirementRelation"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="requirementRelationStatus"
        lowerBound="1" eType="#//relations/RequirementRelationStatus"/>
252
  </eClassifiers>
253 254 255 256 257 258 259
  <eClassifiers xsi:type="ecore:EClass" name="ExternalRelation" eSuperTypes="platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IHierarchicElement platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//INamedCommentedElement platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IConnection">
    <eStructuralFeatures xsi:type="ecore:EReference" name="analysis" lowerBound="1"
        eType="#//Analysis" eOpposite="#//Analysis/externalRelation"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="author" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="externalRelationStatus"
        lowerBound="1" eType="#//relations/RequirementRelationStatus"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="sourceRequirement" eType="#//Requirement"
260
        eOpposite="#//Requirement/externalRelation"/>
261 262 263
    <eStructuralFeatures xsi:type="ecore:EReference" name="externalRelationSpecification"
        eType="#//ExternalRelationSpecification" eOpposite="#//ExternalRelationSpecification/externalRelation"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="safetyRelatedTrace" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
264
  </eClassifiers>
265 266
  <eClassifiers xsi:type="ecore:EClass" name="ExternalRelationSpecification" eSuperTypes="#//RequirementSpecification">
    <eStructuralFeatures xsi:type="ecore:EReference" name="externalRelation" eType="#//ExternalRelation"
267
        eOpposite="#//ExternalRelation/externalRelationSpecification"/>
268 269
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="requirementImplementedCorrectly"
        eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
270
  </eClassifiers>
271 272 273
  <eClassifiers xsi:type="ecore:EClass" name="DocumentReference">
    <eStructuralFeatures xsi:type="ecore:EReference" name="document" eType="#//requirementSource/FileItem"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="page" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
274
  </eClassifiers>
275 276 277 278
  <eClassifiers xsi:type="ecore:EEnum" name="SafetyStandards">
    <eLiterals name="notassigned" literal="N/A"/>
    <eLiterals name="ISO26262" value="1" literal="ISO 26262"/>
    <eLiterals name="IEC61508" value="2" literal="IEC 61508"/>
279
  </eClassifiers>
280 281 282 283 284 285 286 287 288
  <eClassifiers xsi:type="ecore:EEnum" name="SafetyLevel">
    <eLiterals name="notassigned" literal="N/A"/>
    <eLiterals name="SIL1" value="1" literal="SIL 1"/>
    <eLiterals name="SIL2" value="2" literal="SIL 2"/>
    <eLiterals name="SIL3" value="3" literal="SIL 3"/>
    <eLiterals name="ASILA" value="4" literal="ASIL A"/>
    <eLiterals name="ASILB" value="5" literal="ASIL B"/>
    <eLiterals name="ASILC" value="6" literal="ASIL C"/>
    <eLiterals name="SIL4" value="7" literal="SIL 4"/>
289
  </eClassifiers>
290 291 292 293 294
  <eClassifiers xsi:type="ecore:EEnum" name="SafetyRequirementType">
    <eLiterals name="notassigned" literal="N/A"/>
    <eLiterals name="Software" value="1" literal="Software"/>
    <eLiterals name="Functional" value="2"/>
    <eLiterals name="Hardware" value="3" literal="Hardware"/>
295
  </eClassifiers>
296
  <eClassifiers xsi:type="ecore:EClass" name="SafetyLevelRequirementSpecification"
297 298
      eSuperTypes="platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IModelElementSpecification platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IModelElement #//INonFunctionalRequirement"/>
  <eClassifiers xsi:type="ecore:EClass" name="ModeSpecification" eSuperTypes="platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IModelElementSpecification #//INonFunctionalRequirement">
299 300
    <eStructuralFeatures xsi:type="ecore:EReference" name="modes" upperBound="-1"
        eType="#//Mode" containment="true"/>
Vincent Aravantinos's avatar
Vincent Aravantinos committed
301
  </eClassifiers>
302
  <eClassifiers xsi:type="ecore:EClass" name="DerivedRequirementSpecification" eSuperTypes="platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IModelElementSpecification #//INonFunctionalRequirement"/>
303 304
  <eClassifiers xsi:type="ecore:EClass" name="Trace" eSuperTypes="platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IHiddenSpecification platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//constraints/IConstrained">
    <eStructuralFeatures xsi:type="ecore:EReference" name="targets" upperBound="-1"
305 306
        eType="#//Requirement"/>
  </eClassifiers>
307
  <eClassifiers xsi:type="ecore:EClass" name="Mode" eSuperTypes="platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//INamedCommentedElement"/>
308
  <eClassifiers xsi:type="ecore:EClass" name="IFunctionalRequirement" abstract="true"
309
      interface="true" eSuperTypes="#//relations/AspectRelationship"/>
310
  <eClassifiers xsi:type="ecore:EClass" name="INonFunctionalRequirement" abstract="true"
311
      interface="true" eSuperTypes="#//relations/AspectRelationship"/>
Simon Barner's avatar
Simon Barner committed
312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409 410 411 412 413 414 415 416 417 418 419 420 421 422 423 424 425 426 427 428 429 430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453 454 455 456 457 458 459 460 461 462 463 464 465 466 467 468 469 470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486 487 488 489 490 491 492 493 494 495 496
  <eSubpackages name="usecase" nsURI="http://www.fortiss.org/af3/mira/usecase" nsPrefix="org-fortiss-af3-mira-usecase">
    <eClassifiers xsi:type="ecore:EClass" name="UseCase" eSuperTypes="#//Requirement platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IHierarchicElementContainer #//usecase/UseCaseSpecification">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="documentation" value="@deprecated"/>
      </eAnnotations>
      <eOperations name="getScopeSpecification" eType="#//usecase/ScopeSpecification">
        <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
          <details key="body" value="return UseCaseStaticImpl.getScopeSpecification(this);"/>
          <details key="documentation" value="TODO: write documentation (in the model!)"/>
        </eAnnotations>
      </eOperations>
      <eOperations name="getScenariosList">
        <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
          <details key="body" value="return UseCaseStaticImpl.getScenariosList(this);"/>
          <details key="documentation" value="TODO: write documentation (in the model!)"/>
        </eAnnotations>
        <eGenericType eClassifier="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EEList">
          <eTypeArguments eClassifier="#//usecase/Scenario"/>
        </eGenericType>
      </eOperations>
      <eOperations name="getTriggerSpecification" eType="#//usecase/TriggerSpecification">
        <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
          <details key="body" value="return UseCaseStaticImpl.getTriggerSpecification(this);"/>
          <details key="documentation" value="TODO: write documentation (in the model!)"/>
        </eAnnotations>
      </eOperations>
      <eOperations name="getInputSpecification">
        <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
          <details key="body" value="return UseCaseStaticImpl.getInputSpecification(this);"/>
          <details key="documentation" value="TODO: write documentation (in the model!)"/>
        </eAnnotations>
        <eGenericType eClassifier="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EEList">
          <eTypeArguments eClassifier="#//usecase/InputSpecification"/>
        </eGenericType>
      </eOperations>
      <eOperations name="getOutputSpecification">
        <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
          <details key="body" value="return UseCaseStaticImpl.getOutputSpecification(this);"/>
          <details key="documentation" value="TODO: write documentation (in the model!)"/>
        </eAnnotations>
        <eGenericType eClassifier="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EEList">
          <eTypeArguments eClassifier="#//usecase/OutputSpecification"/>
        </eGenericType>
      </eOperations>
      <eStructuralFeatures xsi:type="ecore:EReference" name="scope" lowerBound="1"
          eType="#//usecase/Scope" containment="true">
        <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
          <details key="documentation" value="TODO: write documentation (in the model!)"/>
        </eAnnotations>
      </eStructuralFeatures>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="Scenario" eSuperTypes="platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IHierarchicElement platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//INamedCommentedElement">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="documentation" value="@deprecated"/>
      </eAnnotations>
      <eOperations name="getUseCase" eType="#//usecase/UseCase">
        <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
          <details key="body" value="return ScenarioStaticImpl.getUseCase(this);"/>
        </eAnnotations>
      </eOperations>
      <eOperations name="getScenarioStepsList">
        <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
          <details key="body" value="return ScenarioStaticImpl.getScenarioStepsList(this);"/>
        </eAnnotations>
        <eGenericType eClassifier="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EEList">
          <eTypeArguments eClassifier="#//usecase/ScenarioStep"/>
        </eGenericType>
      </eOperations>
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="successScenario" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="ScenarioStep" eSuperTypes="platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IHierarchicElement">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="documentation" value="@deprecated"/>
      </eAnnotations>
      <eOperations name="getScenario" eType="#//usecase/Scenario">
        <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
          <details key="body" value="return ScenarioStepStaticImpl.getScenario(this);"/>
        </eAnnotations>
      </eOperations>
      <eStructuralFeatures xsi:type="ecore:EReference" name="actor" eType="#//usecase/Actor"/>
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="action" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="actionType" eType="#//usecase/ScenarioStepActionType"/>
      <eStructuralFeatures xsi:type="ecore:EReference" name="branch" eType="#//usecase/ScenarioStep"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="Scope" eSuperTypes="platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//INamedElement">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="documentation" value="@deprecated"/>
      </eAnnotations>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="Actor" eSuperTypes="platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//INamedCommentedElement">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="documentation" value="@deprecated"/>
      </eAnnotations>
      <eStructuralFeatures xsi:type="ecore:EReference" name="usecase" eType="#//usecase/UseCase"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="Trigger" eSuperTypes="platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//INamedElement">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="documentation" value="@deprecated"/>
      </eAnnotations>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EEnum" name="ScenarioStepActionType">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="documentation" value="@deprecated"/>
      </eAnnotations>
      <eLiterals name="NotClassified" literal=""/>
      <eLiterals name="Input" value="1"/>
      <eLiterals name="Output" value="2"/>
      <eLiterals name="Internal" value="3"/>
      <eLiterals name="External" value="4"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="ICondition" abstract="true" eSuperTypes="platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//INamedElement">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="documentation" value="@deprecated"/>
      </eAnnotations>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="ConditionBase" eSuperTypes="#//usecase/ICondition">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="documentation" value="@deprecated"/>
      </eAnnotations>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="PreconditionSpecification" eSuperTypes="#//RequirementSpecification">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="documentation" value="@deprecated"/>
      </eAnnotations>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="SuccessgaranteeSpecification" eSuperTypes="#//RequirementSpecification">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="documentation" value="@deprecated"/>
      </eAnnotations>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="MinimumgaranteeSpecification" eSuperTypes="#//RequirementSpecification">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="documentation" value="@deprecated"/>
      </eAnnotations>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="ScopeSpecification" eSuperTypes="#//RequirementSpecification">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="documentation" value="@deprecated"/>
      </eAnnotations>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="TriggerSpecification" eSuperTypes="#//RequirementSpecification">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="documentation" value="@deprecated"/>
      </eAnnotations>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="OutputSpecification" eSuperTypes="#//RequirementSpecification">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="documentation" value="@deprecated"/>
      </eAnnotations>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="InputSpecification" eSuperTypes="#//RequirementSpecification">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="documentation" value="@deprecated"/>
      </eAnnotations>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="Inputs" eSuperTypes="platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//INamedElement">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="documentation" value="@deprecated"/>
      </eAnnotations>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="Outputs" eSuperTypes="platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//INamedElement">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="documentation" value="@deprecated"/>
      </eAnnotations>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="UseCaseSpecification" eSuperTypes="platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IModelElementSpecification #//INonFunctionalRequirement">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="documentation" value="@deprecated"/>
      </eAnnotations>
      <eStructuralFeatures xsi:type="ecore:EReference" name="actor" lowerBound="1"
          upperBound="-1" eType="#//usecase/Actor" containment="true"/>
      <eStructuralFeatures xsi:type="ecore:EReference" name="trigger" eType="#//usecase/Trigger"
          containment="true"/>
      <eStructuralFeatures xsi:type="ecore:EReference" name="precondition" eType="#//usecase/ICondition"
          containment="true"/>
      <eStructuralFeatures xsi:type="ecore:EReference" name="minimalGuarantee" eType="#//usecase/ICondition"
          containment="true"/>
      <eStructuralFeatures xsi:type="ecore:EReference" name="successGuarantee" eType="#//usecase/ICondition"
          containment="true"/>
      <eStructuralFeatures xsi:type="ecore:EReference" name="inputs" eType="#//usecase/Inputs"
          containment="true"/>
      <eStructuralFeatures xsi:type="ecore:EReference" name="outputs" eType="#//usecase/Outputs"
          containment="true"/>
    </eClassifiers>
  </eSubpackages>
497
  <eSubpackages name="relations" nsURI="http://www.fortiss.org/af3/mira/relations"
Florian Hölzl's avatar
Florian Hölzl committed
498
      nsPrefix="org-fortiss-af3-mira-relations">
499
    <eClassifiers xsi:type="ecore:EClass" name="ConflictedRequirementRelationType"
Chen Wenwen's avatar
Chen Wenwen committed
500
        eSuperTypes="#//relations/UndirectedRequirementRelationType"/>
501
    <eClassifiers xsi:type="ecore:EClass" name="ContradictingRequirementRelationType"
Chen Wenwen's avatar
Chen Wenwen committed
502
        eSuperTypes="#//relations/UndirectedRequirementRelationType"/>
503
    <eClassifiers xsi:type="ecore:EClass" name="RefinementRequirementRelationType"
Chen Wenwen's avatar
Chen Wenwen committed
504
        eSuperTypes="#//relations/DirectedRequirementRelationType"/>
505
    <eClassifiers xsi:type="ecore:EClass" name="OverridingRequirementRelationType"
Chen Wenwen's avatar
Chen Wenwen committed
506
        eSuperTypes="#//relations/DirectedRequirementRelationType"/>
507
    <eClassifiers xsi:type="ecore:EClass" name="DirectedRequirementRelationType" abstract="true"
Chen Wenwen's avatar
Chen Wenwen committed
508
        eSuperTypes="#//relations/RequirementRelationType"/>
509 510 511
    <eClassifiers xsi:type="ecore:EClass" name="UndirectedRequirementRelationType"
        abstract="true" eSuperTypes="#//relations/RequirementRelationType"/>
    <eClassifiers xsi:type="ecore:EClass" name="DefinedDirectedRequirementRelationType"
Chen Wenwen's avatar
Chen Wenwen committed
512
        eSuperTypes="#//relations/DirectedRequirementRelationType #//relations/DefinedRequirementRelationType"/>
513
    <eClassifiers xsi:type="ecore:EClass" name="DefinedUndirectedRequirementRelationType"
Chen Wenwen's avatar
Chen Wenwen committed
514
        eSuperTypes="#//relations/UndirectedRequirementRelationType #//relations/DefinedRequirementRelationType"/>
515
    <eClassifiers xsi:type="ecore:EClass" name="DefinedRequirementRelationType" abstract="true"
516
        eSuperTypes="platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//INamedCommentedElement #//relations/RequirementRelationType"/>
517 518 519
    <eClassifiers xsi:type="ecore:EClass" name="RequirementRelationType" abstract="true">
      <eStructuralFeatures xsi:type="ecore:EReference" name="requirementRelation"
          lowerBound="1" eType="#//RequirementRelation" eOpposite="#//RequirementRelation/requirementRelationType"/>
Chen Wenwen's avatar
Chen Wenwen committed
520
    </eClassifiers>
521
    <eClassifiers xsi:type="ecore:EClass" name="RequirementRelationStatus" eSuperTypes="platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//INamedCommentedElement platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IModelElementReference"/>
522 523 524 525
    <eClassifiers xsi:type="ecore:EClass" name="AspectRelationship" abstract="true">
      <eStructuralFeatures xsi:type="ecore:EReference" name="relatedTo" upperBound="-1"
          eType="#//Requirement"/>
    </eClassifiers>
Florian Hölzl's avatar
Florian Hölzl committed
526
  </eSubpackages>
527
  <eSubpackages name="verification" nsURI="http://www.fortiss.org/af3/mira/verification"
Florian Hölzl's avatar
Florian Hölzl committed
528
      nsPrefix="org-fortiss-af3-mira-verification">
529 530 531 532
    <eClassifiers xsi:type="ecore:EEnum" name="CheckStatus">
      <eLiterals name="ToBeChecked" literal="To be checked"/>
      <eLiterals name="Approved"/>
      <eLiterals name="Error" value="1"/>
Florian Hölzl's avatar
Florian Hölzl committed
533
    </eClassifiers>
534 535 536
    <eClassifiers xsi:type="ecore:EClass" name="CheckList" eSuperTypes="platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IModelElementSpecification platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//INamedCommentedElement">
      <eStructuralFeatures xsi:type="ecore:EReference" name="items" upperBound="-1"
          eType="#//verification/CheckItem" containment="true"/>
Florian Hölzl's avatar
Florian Hölzl committed
537
    </eClassifiers>
538 539 540 541
    <eClassifiers xsi:type="ecore:EClass" name="CheckItem" eSuperTypes="platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//INamedCommentedElement">
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="category" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="status" eType="#//verification/CheckStatus"/>
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="lastUpdate" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EDate"/>
Florian Hölzl's avatar
Florian Hölzl committed
542 543
    </eClassifiers>
  </eSubpackages>
544
  <eSubpackages name="functional" nsURI="http://www.fortiss.org/af3/mira/functional"
Chen Wenwen's avatar
 
Chen Wenwen committed
545
      nsPrefix="org-fortiss-af3-mira-functional">
546
    <eClassifiers xsi:type="ecore:EClass" name="FormalSpecification" eSuperTypes="platform:/resource/org.fortiss.tooling.base/model/base.ecore#//base/HierarchicElementBase platform:/resource/org.fortiss.af3.project/model/project.ecore#//typesystem/IFunctionScope platform:/resource/org.fortiss.af3.project/model/project.ecore#//typesystem/ITypeScope platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IModelElementSpecification #//IFunctionalRequirement">
547 548 549
      <eOperations name="getTopComponent" eType="ecore:EClass platform:/resource/org.fortiss.af3.component/model/component.ecore#//Component">
        <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
          <details key="body" value="return FormalSpecificationStaticImpl.getTopComponent(this);"/>
Chen Wenwen's avatar
 
Chen Wenwen committed
550 551
        </eAnnotations>
      </eOperations>
552 553 554
      <eOperations name="getDefinitionElement" eType="ecore:EClass platform:/resource/org.fortiss.af3.project/model/project.ecore#//typesystem/IFunctionDefinition">
        <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
          <details key="body" value="return FormalSpecificationStaticImpl.getDefinitionElement(this, type);"/>
Chen Wenwen's avatar
 
Chen Wenwen committed
555
        </eAnnotations>
556
        <eParameters name="type" eType="ecore:EClass platform:/resource/org.fortiss.af3.project/model/project.ecore#//typesystem/FunctionCallBase"/>
Chen Wenwen's avatar
 
Chen Wenwen committed
557
      </eOperations>
558 559 560
      <eOperations name="getDefinitionElement" eType="ecore:EClass platform:/resource/org.fortiss.af3.project/model/project.ecore#//typesystem/ITypeDefinition">
        <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
          <details key="body" value="return FormalSpecificationStaticImpl.getDefinitionElement(this, type);"/>
Chen Wenwen's avatar
 
Chen Wenwen committed
561
        </eAnnotations>
562
        <eParameters name="type" eType="ecore:EClass platform:/resource/org.fortiss.af3.project/model/project.ecore#//typesystem/IType"/>
Chen Wenwen's avatar
 
Chen Wenwen committed
563
      </eOperations>
564 565 566
      <eOperations name="getITypeDefinitions" upperBound="-1" eType="ecore:EClass platform:/resource/org.fortiss.af3.project/model/project.ecore#//typesystem/ITypeDefinition">
        <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
          <details key="body" value="return FormalSpecificationStaticImpl.getITypeDefinitions(this);"/>
567 568
        </eAnnotations>
      </eOperations>
569 570 571
      <eOperations name="getIFunctionDefinitions" upperBound="-1" eType="ecore:EClass platform:/resource/org.fortiss.af3.project/model/project.ecore#//typesystem/IFunctionDefinition">
        <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
          <details key="body" value="return FormalSpecificationStaticImpl.getIFunctionDefinitions(this);"/>
572 573
        </eAnnotations>
      </eOperations>
574 575 576
      <eOperations name="getTopVisibleComponent" eType="ecore:EClass platform:/resource/org.fortiss.af3.component/model/component.ecore#//Component">
        <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
          <details key="body" value="return FormalSpecificationStaticImpl.getTopVisibleComponent(this);"/>
577 578
        </eAnnotations>
      </eOperations>
Chen Wenwen's avatar
 
Chen Wenwen committed
579
    </eClassifiers>
580 581
    <eClassifiers xsi:type="ecore:EClass" name="Signal" eSuperTypes="platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//INamedCommentedElement platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IHierarchicElement">
      <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="ecore:EClass platform:/resource/org.fortiss.af3.project/model/project.ecore#//typesystem/IType"
582
          containment="true"/>
583 584 585 586
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="input" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="updateRate" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="unit" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="initialValue" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"
587
          defaultValueLiteral=""/>
588
      <eStructuralFeatures xsi:type="ecore:EReference" name="range" eType="#//functional/ValueRange"
589 590
          containment="true"/>
    </eClassifiers>
591 592 593
    <eClassifiers xsi:type="ecore:EClass" name="ValueRange">
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="min" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="max" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
594
    </eClassifiers>
595 596 597 598
    <eClassifiers xsi:type="ecore:EClass" name="ISignalsContainer" abstract="true"
        interface="true" eSuperTypes="platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//constraints/IConstrained">
      <eStructuralFeatures xsi:type="ecore:EReference" name="signals" upperBound="-1"
          eType="#//functional/Signal" containment="true"/>
599
    </eClassifiers>
600 601 602 603
    <eClassifiers xsi:type="ecore:EClass" name="SignalRequirement" eSuperTypes="#//Requirement #//functional/ISignalsContainer"/>
    <eClassifiers xsi:type="ecore:EClass" name="DuplicatedSignalsStatus" eSuperTypes="platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//constraints/FailedConstraintInstanceStatus">
      <eStructuralFeatures xsi:type="ecore:EReference" name="duplicatedSignals" upperBound="-1"
          eType="#//functional/SignalDuplicates" containment="true"/>
Vincent Aravantinos's avatar
Vincent Aravantinos committed
604
    </eClassifiers>
605 606
    <eClassifiers xsi:type="ecore:EClass" name="SignalDuplicates">
      <eStructuralFeatures xsi:type="ecore:EReference" name="signals" upperBound="-1"
Vincent Aravantinos's avatar
Vincent Aravantinos committed
607 608
          eType="#//functional/Signal"/>
    </eClassifiers>
609 610
    <eClassifiers xsi:type="ecore:EClass" name="SignalsWithoutTypesStatus" eSuperTypes="platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//constraints/FailedConstraintInstanceStatus">
      <eStructuralFeatures xsi:type="ecore:EReference" name="signals" upperBound="-1"
611 612
          eType="#//functional/Signal"/>
    </eClassifiers>
613 614
    <eClassifiers xsi:type="ecore:EClass" name="SignalContainerSpecification" eSuperTypes="#//functional/ISignalsContainer platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IModelElementSpecification #//INonFunctionalRequirement"/>
    <eClassifiers xsi:type="ecore:EClass" name="FunctionalSpecification" eSuperTypes="platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IModelElementSpecification #//IFunctionalRequirement">
615 616 617 618
      <eStructuralFeatures xsi:type="ecore:EReference" name="functionalComponent"
          upperBound="-1" eType="#//functional/FunctionalComponent" containment="true"/>
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="codeSpecification" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
      <eStructuralFeatures xsi:type="ecore:EReference" name="statementSequence" eType="ecore:EClass platform:/resource/org.fortiss.af3.expression/model/expression.ecore#//terms/imperative/StatementSequence"
619 620
          containment="true"/>
    </eClassifiers>
621 622
    <eClassifiers xsi:type="ecore:EClass" name="FunctionalComponent" eSuperTypes="platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//INamedCommentedElement">
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="output" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
623
    </eClassifiers>
Chen Wenwen's avatar
 
Chen Wenwen committed
624
  </eSubpackages>
625 626 627 628 629
  <eSubpackages name="glossary" nsURI="http://www.fortiss.org/af3/mira/glossary" nsPrefix="org-fortiss-af3-mira-glossary">
    <eClassifiers xsi:type="ecore:EClass" name="Glossary" eSuperTypes="platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//INamedCommentedElement platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IHierarchicElement">
      <eOperations name="getAnalysis" eType="#//Analysis">
        <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
          <details key="body" value="return GlossaryStaticImpl.getAnalysis(this);"/>
Kisslinger's avatar
Kisslinger committed
630 631
        </eAnnotations>
      </eOperations>
632 633 634
      <eOperations name="getGlossaryEntryList">
        <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
          <details key="body" value="return GlossaryStaticImpl.getGlossaryEntryList(this);"/>
Kisslinger's avatar
Kisslinger committed
635
        </eAnnotations>
636 637
        <eGenericType eClassifier="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EEList">
          <eTypeArguments eClassifier="#//glossary/GlossaryEntry"/>
Kisslinger's avatar
Kisslinger committed
638 639 640
        </eGenericType>
      </eOperations>
    </eClassifiers>
641 642 643 644
    <eClassifiers xsi:type="ecore:EClass" name="GlossaryEntry" eSuperTypes="#//IImageContainer #//ContextElement">
      <eOperations name="getGlossary" eType="#//glossary/Glossary">
        <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
          <details key="body" value="return GlossaryEntryStaticImpl.getGlossary(this);"/>
Kisslinger's avatar
Kisslinger committed
645 646
        </eAnnotations>
      </eOperations>
647
    </eClassifiers>
648
  </eSubpackages>
649
  <eSubpackages name="requirementSource" nsURI="http://www.fortiss.org/af3/mira/requirementSource"
Chen Wenwen's avatar
Chen Wenwen committed
650
      nsPrefix="org-fortiss-af3-mira-requirementSource">
651 652 653 654
    <eClassifiers xsi:type="ecore:EClass" name="RequirementSource" eSuperTypes="platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//INamedCommentedElement platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IHierarchicElement">
      <eOperations name="getAnalysis" eType="#//Analysis">
        <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
          <details key="body" value="return RequirementSourceStaticImpl.getAnalysis(this);"/>
Chen Wenwen's avatar
Chen Wenwen committed
655 656
        </eAnnotations>
      </eOperations>
657 658 659
      <eOperations name="getStakeholder">
        <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
          <details key="body" value="return RequirementSourceStaticImpl.getStakeholder(this);"/>
Chen Wenwen's avatar
Chen Wenwen committed
660
        </eAnnotations>
661 662
        <eGenericType eClassifier="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EEList">
          <eTypeArguments eClassifier="#//requirementSource/Stakeholder"/>
Chen Wenwen's avatar
Chen Wenwen committed
663 664
        </eGenericType>
      </eOperations>
665 666 667
      <eOperations name="getRequirementDocument">
        <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
          <details key="body" value="return RequirementSourceStaticImpl.getRequirementDocument(this);"/>
Chen Wenwen's avatar
Chen Wenwen committed
668
        </eAnnotations>
669 670
        <eGenericType eClassifier="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EEList">
          <eTypeArguments eClassifier="#//requirementSource/RequirementDocument"/>
Chen Wenwen's avatar
Chen Wenwen committed
671 672
        </eGenericType>
      </eOperations>
673 674 675
      <eOperations name="getExternalSystem">
        <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
          <details key="body" value="return RequirementSourceStaticImpl.getExternalSystem(this);"/>
Chen Wenwen's avatar
Chen Wenwen committed
676
        </eAnnotations>
677 678
        <eGenericType eClassifier="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EEList">
          <eTypeArguments eClassifier="#//requirementSource/ExternalSystem"/>
Chen Wenwen's avatar
Chen Wenwen committed
679 680
        </eGenericType>
      </eOperations>
681 682 683
      <eOperations name="getRequirementSourceElement">
        <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
          <details key="body" value="return RequirementSourceStaticImpl.getRequirementSourceElement(this);"/>
Chen Wenwen's avatar
Chen Wenwen committed
684
        </eAnnotations>
685 686
        <eGenericType eClassifier="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EEList">
          <eTypeArguments eClassifier="#//requirementSource/RequirementSourceElement"/>
Chen Wenwen's avatar
Chen Wenwen committed
687 688 689
        </eGenericType>
      </eOperations>
    </eClassifiers>
690 691 692 693
    <eClassifiers xsi:type="ecore:EClass" name="Stakeholder" eSuperTypes="#//requirementSource/RequirementSourceElement">
      <eOperations name="getContactList">
        <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
          <details key="body" value="return StakeholderStaticImpl.getParticipantList(this);"/>
Chen Wenwen's avatar
Chen Wenwen committed
694
        </eAnnotations>
695 696
        <eGenericType eClassifier="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EEList">
          <eTypeArguments eClassifier="#//requirementSource/Person"/>
Chen Wenwen's avatar
Chen Wenwen committed
697 698 699
        </eGenericType>
      </eOperations>
    </eClassifiers>
700 701 702 703
    <eClassifiers xsi:type="ecore:EClass" name="RequirementDocument" eSuperTypes="#//requirementSource/RequirementSourceElement">
      <eOperations name="getFileList">
        <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
          <details key="body" value="return RequirementDocumentStaticImpl.getFileList(this);"/>
Chen Wenwen's avatar
Chen Wenwen committed
704
        </eAnnotations>
705 706
        <eGenericType eClassifier="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EEList">
          <eTypeArguments eClassifier="#//requirementSource/FileItem"/>
Chen Wenwen's avatar
Chen Wenwen committed
707 708 709
        </eGenericType>
      </eOperations>
    </eClassifiers>
710 711 712 713
    <eClassifiers xsi:type="ecore:EClass" name="Person" eSuperTypes="platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IHierarchicElement platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//INamedCommentedElement">
      <eOperations name="getStakeholder" eType="#//requirementSource/Stakeholder">
        <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
          <details key="body" value="return PersonStaticImpl.getStakeholder(this);"/>
Chen Wenwen's avatar
Chen Wenwen committed
714 715
        </eAnnotations>
      </eOperations>
716 717 718 719 720 721 722 723 724 725 726 727
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="eMailAddress" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="telephoneNr" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="mobileNr" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="ExternalSystem" eSuperTypes="#//requirementSource/RequirementSourceElement #//functional/ISignalsContainer"/>
    <eClassifiers xsi:type="ecore:EClass" name="FileItem" eSuperTypes="platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IHierarchicElement platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//INamedElement platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//IExternalDocumentReference">
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="version" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="isLocal" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="description" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="url" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="RequirementSourceElement" abstract="true"
Chen Wenwen's avatar
 
Chen Wenwen committed
728
        eSuperTypes="#//ContextElement">
729 730 731
      <eOperations name="getRequirementSource" eType="#//requirementSource/RequirementSource">
        <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
          <details key="body" value="return RequirementSourceElementStaticImpl.getRequirementSource(this);"/>
Chen Wenwen's avatar
Chen Wenwen committed
732 733 734 735
        </eAnnotations>
      </eOperations>
    </eClassifiers>
  </eSubpackages>
736
  <eSubpackages name="constraints" nsURI="http://www.fortiss.org/af3/mira/constraints"
Vincent Aravantinos's avatar
Vincent Aravantinos committed
737
      nsPrefix="org-fortiss-af3-mira-constraints">
738 739 740 741
    <eClassifiers xsi:type="ecore:EClass" name="TraceConstraintInstance" eSuperTypes="platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//constraints/ConstraintInstance">
      <eOperations name="getRequirement" eType="#//Requirement">
        <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
          <details key="body" value="return org.fortiss.af3.mira.model.constraints.impl.TraceConstraintStaticImpl.getRequirement(this);"/>
Vincent Aravantinos's avatar
Vincent Aravantinos committed
742 743
        </eAnnotations>
      </eOperations>
744 745 746
      <eOperations name="setRequirement">
        <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
          <details key="body" value="org.fortiss.af3.mira.model.constraints.impl.TraceConstraintStaticImpl.setRequirement(this,req);"/>
Vincent Aravantinos's avatar
Vincent Aravantinos committed
747
        </eAnnotations>
748
        <eParameters name="req" eType="#//Requirement"/>
Vincent Aravantinos's avatar
Vincent Aravantinos committed
749
      </eOperations>
750 751 752
      <eOperations name="getTracedElement" eType="ecore:EClass platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//constraints/IConstrained">
        <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
          <details key="body" value="return org.fortiss.af3.mira.model.constraints.impl.TraceConstraintStaticImpl.getTracedElement(this);"/>
Vincent Aravantinos's avatar
Vincent Aravantinos committed
753 754
        </eAnnotations>
      </eOperations>
755 756 757
      <eOperations name="setTracedElement">
        <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
          <details key="body" value="org.fortiss.af3.mira.model.constraints.impl.TraceConstraintStaticImpl.setTracedElement(this,tracedElement);"/>
Vincent Aravantinos's avatar
Vincent Aravantinos committed
758
        </eAnnotations>
759
        <eParameters name="tracedElement" eType="ecore:EClass platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//constraints/IConstrained"/>
Vincent Aravantinos's avatar
Vincent Aravantinos committed
760
      </eOperations>
761 762
      <eStructuralFeatures xsi:type="ecore:EReference" name="log" upperBound="-1"
          eType="#//constraints/Review" containment="true"/>
Vincent Aravantinos's avatar
Vincent Aravantinos committed
763
    </eClassifiers>
764 765 766 767 768
    <eClassifiers xsi:type="ecore:EClass" name="Review">
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="content" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="author" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="date" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EDate"/>
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="ok" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
Vincent Aravantinos's avatar
Vincent Aravantinos committed
769
    </eClassifiers>
Hernan Ponce de Leon's avatar
 
Hernan Ponce de Leon committed
770 771 772 773
    <eClassifiers xsi:type="ecore:EClass" name="ReviewConstraintInstance" eSuperTypes="platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//constraints/ConstraintInstance">
      <eStructuralFeatures xsi:type="ecore:EReference" name="log" upperBound="-1"
          eType="#//constraints/Review" containment="true"/>
    </eClassifiers>
Vincent Aravantinos's avatar
Vincent Aravantinos committed
774
  </eSubpackages>
775
  <eSubpackages name="timing" nsURI="http://www.fortiss.org/af3/mira/timing" nsPrefix="org-fortiss-af3-mira-timing">
776
    <eClassifiers xsi:type="ecore:EClass" name="TimingRequirement" eSuperTypes="platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IModelElementSpecification #//INonFunctionalRequirement">
777 778
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="propertyType" eType="#//timing/TimePropertyType"/>
      <eStructuralFeatures xsi:type="ecore:EReference" name="timeFrame" eType="#//timing/TimeFrame"
Vincent Aravantinos's avatar
Vincent Aravantinos committed
779
          containment="true"/>
780
      <eStructuralFeatures xsi:type="ecore:EReference" name="comparison" eType="#//timing/TimeComparison"
Vincent Aravantinos's avatar
Vincent Aravantinos committed
781 782
          containment="true"/>
    </eClassifiers>
783 784 785 786 787 788 789 790 791 792 793 794 795 796 797 798 799 800 801 802 803 804 805 806 807 808
    <eClassifiers xsi:type="ecore:EClass" name="TimeFrame">
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="startEvent" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="endEvent" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EEnum" name="TimePropertyType">
      <eLiterals name="RESPONSETIME"/>
      <eLiterals name="PROCESSINGTIME" value="1"/>
      <eLiterals name="LATENCY" value="2"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EEnum" name="TimeComparisonOperator">
      <eLiterals name="EQUAL"/>
      <eLiterals name="LOWERTHAN" value="1"/>
      <eLiterals name="LOWEREQUAL" value="2"/>
      <eLiterals name="GREATERTHAN" value="3"/>
      <eLiterals name="GREATEREQUAL" value="4"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EEnum" name="TimeUnit">
      <eLiterals name="SECOND"/>
      <eLiterals name="MILLISECOND" value="1"/>
      <eLiterals name="MINUTE" value="2"/>
      <eLiterals name="HOUR" value="3"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="TimeComparison">
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="operator" eType="#//timing/TimeComparisonOperator"/>
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="unit" eType="#//timing/TimeUnit"/>
Vincent Aravantinos's avatar
Vincent Aravantinos committed
809 810
    </eClassifiers>
  </eSubpackages>
Ashmi Banerjee's avatar
Ashmi Banerjee committed
811 812 813 814 815 816 817 818 819 820 821
  <eSubpackages name="security" nsURI="http://www.fortiss.org/af3/mira/security" nsPrefix="org-fortiss-af3-mira-security">
    <eClassifiers xsi:type="ecore:EClass" name="Assets" eSuperTypes="#//security/SecurityRequirementSpecification platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IModelElementReference"/>
    <eClassifiers xsi:type="ecore:EClass" name="SecurityRequirementSpecification"
        eSuperTypes="platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IModelElementSpecification #//INonFunctionalRequirement"/>
    <eClassifiers xsi:type="ecore:EClass" name="Security" eSuperTypes="#//Requirement platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IHierarchicElementContainer #//security/SecurityRequirementSpecification"/>
    <eClassifiers xsi:type="ecore:EClass" name="VulnerabilitiesRequirementSpecification"
        eSuperTypes="#//security/SecurityRequirementSpecification platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IModelElementReference"/>
    <eClassifiers xsi:type="ecore:EClass" name="CounterMeasuresRequirementSpecification"
        eSuperTypes="#//security/SecurityRequirementSpecification platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IModelElementReference"/>
    <eClassifiers xsi:type="ecore:EClass" name="ThreatsRequirementSpecification" eSuperTypes="#//security/SecurityRequirementSpecification platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IModelElementReference"/>
  </eSubpackages>
Vivek Nigam's avatar
Vivek Nigam committed
822
  <eSubpackages name="safety" nsURI="http://www.fortiss.org/af3/mira/safety" nsPrefix="org-fortiss-af3-mira-safety">
Vivek Nigam's avatar
Vivek Nigam committed
823
    <eClassifiers xsi:type="ecore:EClass" name="HazardRequirementSpecification" eSuperTypes="platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IModelElementSpecification #//INonFunctionalRequirement platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//INamedElement">
Vivek Nigam's avatar
Vivek Nigam committed
824 825 826
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="hazardImpact" eType="#//safety/HazardImpact"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="MooNSolutionRequirementSpecification"
Vivek Nigam's avatar
Vivek Nigam committed
827
        eSuperTypes="platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IModelElementSpecification #//INonFunctionalRequirement platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//INamedElement">
Vivek Nigam's avatar
Vivek Nigam committed
828 829 830
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="sameChannel" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="voterThreshold" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
      <eStructuralFeatures xsi:type="ecore:EReference" name="inputSignals" upperBound="-1"
Vivek Nigam's avatar
Vivek Nigam committed
831
          eType="#//functional/Signal" containment="true"/>
Vivek Nigam's avatar
Vivek Nigam committed
832 833 834 835
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EEnum" name="HazardImpact">
      <eLiterals name="NA"/>
      <eLiterals name="NoEffect" value="1"/>
Vivek Nigam's avatar
Vivek Nigam committed
836
      <eLiterals name="Minor" value="2" literal="Minor"/>
Vivek Nigam's avatar
Vivek Nigam committed
837 838 839 840
      <eLiterals name="Major" value="3"/>
      <eLiterals name="Hazardous" value="4"/>
      <eLiterals name="Catastrophic" value="5"/>
    </eClassifiers>
841 842 843
    <eClassifiers xsi:type="ecore:EClass" name="FTASolutionRequirementSpecification"
        eSuperTypes="platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IModelElementSpecification #//INonFunctionalRequirement platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//INamedElement">
      <eStructuralFeatures xsi:type="ecore:EReference" name="minCutSet" upperBound="-1"
Ashmi Banerjee's avatar
Ashmi Banerjee committed
844 845 846 847 848 849
          eType="#//safety/MinCutSets" containment="true"/>
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="mainEvent" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="MinCutSets">
      <eStructuralFeatures xsi:type="ecore:EReference" name="cutSet" upperBound="-1"
          eType="ecore:EClass platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IModelElement"/>
850
    </eClassifiers>
Vivek Nigam's avatar
Vivek Nigam committed
851
  </eSubpackages>
Florian Hölzl's avatar
Florian Hölzl committed
852
</ecore:EPackage>