mira.ecore 64.2 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="interfacebehaviour" nsURI="http://www.fortiss.org/af3/mira/interfacebehaviour"
737
      nsPrefix="org-fortiss-af3-mira-interfacebehaviour">
738
739
740
741
    <eClassifiers xsi:type="ecore:EClass" name="InterfaceBehaviour" eSuperTypes="#//Requirement platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IHierarchicElementContainer #//interfacebehaviour/InterfaceBehaviourSpecification">
      <eOperations name="getScopeSpecification" eType="#//interfacebehaviour/ScopeSpecification">
        <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
          <details key="body" value="return InterfaceBehaviourStaticImpl.getScopeSpecification(this);"/>
742
743
        </eAnnotations>
      </eOperations>
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
      <eStructuralFeatures xsi:type="ecore:EReference" name="scope" lowerBound="1"
          eType="#//interfacebehaviour/Scope" containment="true"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EEnum" name="IBConditionType">
      <eLiterals name="When" value="1" literal="When (event)"/>
      <eLiterals name="If" value="2" literal="If (undesired behaviour)"/>
      <eLiterals name="While" value="3" literal="While (state)"/>
      <eLiterals name="Always" value="4" literal="Always (ubiquitous)"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="Scope" eSuperTypes="platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//INamedElement"/>
    <eClassifiers xsi:type="ecore:EClass" name="Trigger" eSuperTypes="platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//INamedElement"/>
    <eClassifiers xsi:type="ecore:EClass" name="ICondition" abstract="true" eSuperTypes="platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//INamedElement"/>
    <eClassifiers xsi:type="ecore:EClass" name="ConditionBase" eSuperTypes="#//interfacebehaviour/ICondition"/>
    <eClassifiers xsi:type="ecore:EClass" name="ConditionType" eSuperTypes="#//interfacebehaviour/ICondition"/>
    <eClassifiers xsi:type="ecore:EClass" name="ScopeSpecification" eSuperTypes="#//RequirementSpecification"/>
    <eClassifiers xsi:type="ecore:EClass" name="Response" eSuperTypes="platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//INamedElement"/>
    <eClassifiers xsi:type="ecore:EEnum" name="IBResponseType">
      <eLiterals name="ThenAlways" value="1" literal="Then always (state)"/>
      <eLiterals name="ThenOnce" value="2" literal="Then once (event)"/>
    </eClassifiers>
764
    <eClassifiers xsi:type="ecore:EClass" name="InterfaceBehaviourSpecification" eSuperTypes="platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IModelElementSpecification #//INonFunctionalRequirement">
765
      <eStructuralFeatures xsi:type="ecore:EReference" name="trigger" eType="#//interfacebehaviour/Trigger"
Vincent Aravantinos's avatar
Vincent Aravantinos committed
766
          containment="true"/>
767
      <eStructuralFeatures xsi:type="ecore:EReference" name="precondition" eType="#//interfacebehaviour/ICondition"
Vincent Aravantinos's avatar
Vincent Aravantinos committed
768
          containment="true"/>
769
      <eStructuralFeatures xsi:type="ecore:EReference" name="response" eType="#//interfacebehaviour/Response"
Vincent Aravantinos's avatar
Vincent Aravantinos committed
770
          containment="true"/>
771
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="responseType" eType="#//interfacebehaviour/IBResponseType"
Vincent Aravantinos's avatar
Vincent Aravantinos committed
772
          defaultValueLiteral="Then always (state)"/>
773
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="condition" eType="#//interfacebehaviour/IBConditionType"
Vincent Aravantinos's avatar
Vincent Aravantinos committed
774
775
          defaultValueLiteral="When (event)"/>
    </eClassifiers>
776
  </eSubpackages>
777
  <eSubpackages name="constraints" nsURI="http://www.fortiss.org/af3/mira/constraints"
Vincent Aravantinos's avatar
Vincent Aravantinos committed
778
      nsPrefix="org-fortiss-af3-mira-constraints">
779
780
781
782
    <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
783
784
        </eAnnotations>
      </eOperations>
785
786
787
      <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
788
        </eAnnotations>
789
        <eParameters name="req" eType="#//Requirement"/>
Vincent Aravantinos's avatar
Vincent Aravantinos committed
790
      </eOperations>
791
792
793
      <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
794
795
        </eAnnotations>
      </eOperations>
796
797
798
      <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
799
        </eAnnotations>
800
        <eParameters name="tracedElement" eType="ecore:EClass platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//constraints/IConstrained"/>
Vincent Aravantinos's avatar
Vincent Aravantinos committed
801
      </eOperations>
802
803
      <eStructuralFeatures xsi:type="ecore:EReference" name="log" upperBound="-1"
          eType="#//constraints/Review" containment="true"/>
Vincent Aravantinos's avatar
Vincent Aravantinos committed
804
    </eClassifiers>
805
806
807
808
809
    <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
810
    </eClassifiers>
Hernan Ponce de Leon's avatar
   
Hernan Ponce de Leon committed
811
812
813
814
    <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
815
  </eSubpackages>
816
  <eSubpackages name="timing" nsURI="http://www.fortiss.org/af3/mira/timing" nsPrefix="org-fortiss-af3-mira-timing">
817
    <eClassifiers xsi:type="ecore:EClass" name="TimingRequirement" eSuperTypes="platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IModelElementSpecification #//INonFunctionalRequirement">
818
819
      <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
820
          containment="true"/>
821
      <eStructuralFeatures xsi:type="ecore:EReference" name="comparison" eType="#//timing/TimeComparison"
Vincent Aravantinos's avatar
Vincent Aravantinos committed
822
823
          containment="true"/>
    </eClassifiers>
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
    <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
850
851
    </eClassifiers>
  </eSubpackages>
Ashmi Banerjee's avatar
Ashmi Banerjee committed
852
853
854
855
856
857
858
859
860
861
862
  <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>
Florian Hölzl's avatar
Florian Hölzl committed
863
</ecore:EPackage>