mira.ecore 67.1 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
    <eClassifiers xsi:type="ecore:EClass" name="InterfaceBehaviour" eSuperTypes="#//Requirement platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IHierarchicElementContainer #//interfacebehaviour/InterfaceBehaviourSpecification">
739
740
741
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="documentation" value="@deprecated"/>
      </eAnnotations>
742
743
744
      <eOperations name="getScopeSpecification" eType="#//interfacebehaviour/ScopeSpecification">
        <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
          <details key="body" value="return InterfaceBehaviourStaticImpl.getScopeSpecification(this);"/>
745
746
        </eAnnotations>
      </eOperations>
747
748
749
750
751
752
753
754
755
      <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>
756
757
758
759
760
761
762
763
764
765
    <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="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>
766
    <eClassifiers xsi:type="ecore:EClass" name="ICondition" abstract="true" eSuperTypes="platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//INamedElement"/>
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
    <eClassifiers xsi:type="ecore:EClass" name="ConditionBase" eSuperTypes="#//interfacebehaviour/ICondition">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="documentation" value="@deprecated"/>
      </eAnnotations>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EClass" name="ConditionType" eSuperTypes="#//interfacebehaviour/ICondition">
      <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="Response" 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>
787
788
789
790
    <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>
791
    <eClassifiers xsi:type="ecore:EClass" name="InterfaceBehaviourSpecification" eSuperTypes="platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IModelElementSpecification #//INonFunctionalRequirement">
792
793
794
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="documentation" value="@deprecated"/>
      </eAnnotations>
795
      <eStructuralFeatures xsi:type="ecore:EReference" name="trigger" eType="#//interfacebehaviour/Trigger"
Vincent Aravantinos's avatar
Vincent Aravantinos committed
796
          containment="true"/>
797
      <eStructuralFeatures xsi:type="ecore:EReference" name="precondition" eType="#//interfacebehaviour/ICondition"
Vincent Aravantinos's avatar
Vincent Aravantinos committed
798
          containment="true"/>
799
      <eStructuralFeatures xsi:type="ecore:EReference" name="response" eType="#//interfacebehaviour/Response"
Vincent Aravantinos's avatar
Vincent Aravantinos committed
800
          containment="true"/>
801
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="responseType" eType="#//interfacebehaviour/IBResponseType"
Vincent Aravantinos's avatar
Vincent Aravantinos committed
802
          defaultValueLiteral="Then always (state)"/>
803
      <eStructuralFeatures xsi:type="ecore:EAttribute" name="condition" eType="#//interfacebehaviour/IBConditionType"
Vincent Aravantinos's avatar
Vincent Aravantinos committed
804
805
          defaultValueLiteral="When (event)"/>
    </eClassifiers>
806
  </eSubpackages>
807
  <eSubpackages name="constraints" nsURI="http://www.fortiss.org/af3/mira/constraints"
Vincent Aravantinos's avatar
Vincent Aravantinos committed
808
      nsPrefix="org-fortiss-af3-mira-constraints">
809
810
811
812
    <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
813
814
        </eAnnotations>
      </eOperations>
815
816
817
      <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
818
        </eAnnotations>
819
        <eParameters name="req" eType="#//Requirement"/>
Vincent Aravantinos's avatar
Vincent Aravantinos committed
820
      </eOperations>
821
822
823
      <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
824
825
        </eAnnotations>
      </eOperations>
826
827
828
      <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
829
        </eAnnotations>
830
        <eParameters name="tracedElement" eType="ecore:EClass platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//constraints/IConstrained"/>
Vincent Aravantinos's avatar
Vincent Aravantinos committed
831
      </eOperations>
832
833
      <eStructuralFeatures xsi:type="ecore:EReference" name="log" upperBound="-1"
          eType="#//constraints/Review" containment="true"/>
Vincent Aravantinos's avatar
Vincent Aravantinos committed
834
    </eClassifiers>
835
836
837
838
839
    <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
840
    </eClassifiers>
Hernan Ponce de Leon's avatar
 
Hernan Ponce de Leon committed
841
842
843
844
    <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
845
  </eSubpackages>
846
  <eSubpackages name="timing" nsURI="http://www.fortiss.org/af3/mira/timing" nsPrefix="org-fortiss-af3-mira-timing">
847
    <eClassifiers xsi:type="ecore:EClass" name="TimingRequirement" eSuperTypes="platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IModelElementSpecification #//INonFunctionalRequirement">
848
849
      <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
850
          containment="true"/>
851
      <eStructuralFeatures xsi:type="ecore:EReference" name="comparison" eType="#//timing/TimeComparison"
Vincent Aravantinos's avatar
Vincent Aravantinos committed
852
853
          containment="true"/>
    </eClassifiers>
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
    <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
880
881
    </eClassifiers>
  </eSubpackages>
Ashmi Banerjee's avatar
Ashmi Banerjee committed
882
883
884
885
886
887
888
889
890
891
892
  <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
893
  <eSubpackages name="safety" nsURI="http://www.fortiss.org/af3/mira/safety" nsPrefix="org-fortiss-af3-mira-safety">
Vivek Nigam's avatar
Vivek Nigam committed
894
    <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
895
896
897
      <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
898
        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
899
900
901
902
903
904
905
906
907
908
909
910
911
912
      <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"
          eType="#//functional/Signal"/>
    </eClassifiers>
    <eClassifiers xsi:type="ecore:EEnum" name="HazardImpact">
      <eLiterals name="NA"/>
      <eLiterals name="NoEffect" value="1"/>
      <eLiterals name="Minor" value="2" literal=""/>
      <eLiterals name="Major" value="3"/>
      <eLiterals name="Hazardous" value="4"/>
      <eLiterals name="Catastrophic" value="5"/>
    </eClassifiers>
  </eSubpackages>
Florian Hölzl's avatar
Florian Hölzl committed
913
</ecore:EPackage>