Commit 2f349166 authored by Levi Lucio's avatar Levi Lucio
Browse files

updated metamodel and conqat ratings

parent 4293a925
......@@ -302,20 +302,20 @@
<eLiterals name="Hardware" value="3" literal="Hardware"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="SafetyLevelRequirementSpecification"
eSuperTypes="platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IModelElementSpecification platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IModelElement #//NonFunctionalRequirement"/>
<eClassifiers xsi:type="ecore:EClass" name="ModeSpecification" eSuperTypes="platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IModelElementSpecification #//NonFunctionalRequirement">
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">
<eStructuralFeatures xsi:type="ecore:EReference" name="modes" upperBound="-1"
eType="#//Mode" containment="true"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="DerivedRequirementSpecification" eSuperTypes="platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IModelElementSpecification #//NonFunctionalRequirement"/>
<eClassifiers xsi:type="ecore:EClass" name="DerivedRequirementSpecification" eSuperTypes="platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IModelElementSpecification #//INonFunctionalRequirement"/>
<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"
eType="#//Requirement"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="Mode" eSuperTypes="platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//INamedCommentedElement"/>
<eClassifiers xsi:type="ecore:EClass" name="FunctionalRequirement" abstract="true"
<eClassifiers xsi:type="ecore:EClass" name="IFunctionalRequirement" abstract="true"
interface="true"/>
<eClassifiers xsi:type="ecore:EClass" name="NonFunctionalRequirement" abstract="true"
<eClassifiers xsi:type="ecore:EClass" name="INonFunctionalRequirement" abstract="true"
interface="true"/>
<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">
......@@ -406,7 +406,7 @@
<eClassifiers xsi:type="ecore:EClass" name="InputSpecification" eSuperTypes="#//RequirementSpecification"/>
<eClassifiers xsi:type="ecore:EClass" name="Inputs" eSuperTypes="platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//INamedElement"/>
<eClassifiers xsi:type="ecore:EClass" name="Outputs" eSuperTypes="platform:/resource/org.fortiss.tooling.kernel/model/kernel.ecore#//INamedElement"/>
<eClassifiers xsi:type="ecore:EClass" name="UseCaseSpecification" eSuperTypes="platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IModelElementSpecification #//NonFunctionalRequirement">
<eClassifiers xsi:type="ecore:EClass" name="UseCaseSpecification" eSuperTypes="platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IModelElementSpecification #//INonFunctionalRequirement">
<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"
......@@ -468,7 +468,7 @@
</eSubpackages>
<eSubpackages name="functional" nsURI="http://www.fortiss.org/af3/mira/functional"
nsPrefix="org-fortiss-af3-mira-functional">
<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 #//FunctionalRequirement">
<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">
<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);"/>
......@@ -535,8 +535,8 @@
<eStructuralFeatures xsi:type="ecore:EReference" name="signals" upperBound="-1"
eType="#//functional/Signal"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="SignalContainerSpecification" eSuperTypes="#//functional/ISignalsContainer platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IModelElementSpecification #//NonFunctionalRequirement"/>
<eClassifiers xsi:type="ecore:EClass" name="FunctionalSpecification" eSuperTypes="platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IModelElementSpecification #//FunctionalRequirement">
<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">
<eStructuralFeatures xsi:type="ecore:EReference" name="functionalComponent"
upperBound="-1" eType="#//functional/FunctionalComponent" containment="true"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="relatedTo" upperBound="-1"
......@@ -689,7 +689,7 @@
<eLiterals name="ThenAlways" value="1" literal="Then always (state)"/>
<eLiterals name="ThenOnce" value="2" literal="Then once (event)"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="InterfaceBehaviourSpecification" eSuperTypes="platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IModelElementSpecification #//NonFunctionalRequirement">
<eClassifiers xsi:type="ecore:EClass" name="InterfaceBehaviourSpecification" eSuperTypes="platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IModelElementSpecification #//INonFunctionalRequirement">
<eStructuralFeatures xsi:type="ecore:EReference" name="trigger" eType="#//interfacebehaviour/Trigger"
containment="true"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="precondition" eType="#//interfacebehaviour/ICondition"
......@@ -738,7 +738,7 @@
</eClassifiers>
</eSubpackages>
<eSubpackages name="timing" nsURI="http://www.fortiss.org/af3/mira/timing" nsPrefix="org-fortiss-af3-mira-timing">
<eClassifiers xsi:type="ecore:EClass" name="TimingRequirement" eSuperTypes="platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IModelElementSpecification #//NonFunctionalRequirement">
<eClassifiers xsi:type="ecore:EClass" name="TimingRequirement" eSuperTypes="platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IModelElementSpecification #//INonFunctionalRequirement">
<eStructuralFeatures xsi:type="ecore:EAttribute" name="propertyType" eType="#//timing/TimePropertyType"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="timeFrame" eType="#//timing/TimeFrame"
containment="true"/>
......
......@@ -154,8 +154,8 @@
<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference mira.ecore#//Trace/targets"/>
</genClasses>
<genClasses ecoreClass="mira.ecore#//Mode"/>
<genClasses image="false" ecoreClass="mira.ecore#//FunctionalRequirement"/>
<genClasses image="false" ecoreClass="mira.ecore#//NonFunctionalRequirement"/>
<genClasses image="false" ecoreClass="mira.ecore#//IFunctionalRequirement"/>
<genClasses image="false" ecoreClass="mira.ecore#//INonFunctionalRequirement"/>
<nestedGenPackages prefix="Usecase" basePackage="org.fortiss.af3.mira.model" disposableProviderFactory="true"
ecorePackage="mira.ecore#//usecase">
<genEnums typeSafeEnumCompatible="false" ecoreEnum="mira.ecore#//usecase/ScenarioStepActionType">
......
......@@ -19,72 +19,63 @@
<!-- @generated mira -->
<package
uri="http://www.fortiss.org/af3/mira/usecase"
class="org.fortiss.af3.mira.model.usecase.UsecasePackage"
genModel="model/mira.genmodel"/>
class="org.fortiss.af3.mira.model.usecase.UsecasePackage"/>
</extension>
<extension point="org.eclipse.emf.ecore.generated_package">
<!-- @generated mira -->
<package
uri="http://www.fortiss.org/af3/mira/relations"
class="org.fortiss.af3.mira.model.relations.RelationsPackage"
genModel="model/mira.genmodel"/>
class="org.fortiss.af3.mira.model.relations.RelationsPackage"/>
</extension>
<extension point="org.eclipse.emf.ecore.generated_package">
<!-- @generated mira -->
<package
uri="http://www.fortiss.org/af3/mira/verification"
class="org.fortiss.af3.mira.model.verification.VerificationPackage"
genModel="model/mira.genmodel"/>
class="org.fortiss.af3.mira.model.verification.VerificationPackage"/>
</extension>
<extension point="org.eclipse.emf.ecore.generated_package">
<!-- @generated mira -->
<package
uri="http://www.fortiss.org/af3/mira/functional"
class="org.fortiss.af3.mira.model.functional.FunctionalPackage"
genModel="model/mira.genmodel"/>
class="org.fortiss.af3.mira.model.functional.FunctionalPackage"/>
</extension>
<extension point="org.eclipse.emf.ecore.generated_package">
<!-- @generated mira -->
<package
uri="http://www.fortiss.org/af3/mira/glossary"
class="org.fortiss.af3.mira.model.glossary.GlossaryPackage"
genModel="model/mira.genmodel"/>
class="org.fortiss.af3.mira.model.glossary.GlossaryPackage"/>
</extension>
<extension point="org.eclipse.emf.ecore.generated_package">
<!-- @generated mira -->
<package
uri="http://www.fortiss.org/af3/mira/requirementSource"
class="org.fortiss.af3.mira.model.requirementSource.RequirementSourcePackage"
genModel="model/mira.genmodel"/>
class="org.fortiss.af3.mira.model.requirementSource.RequirementSourcePackage"/>
</extension>
<extension point="org.eclipse.emf.ecore.generated_package">
<!-- @generated mira -->
<package
uri="http://www.fortiss.org/af3/mira/interfacebehaviour"
class="org.fortiss.af3.mira.model.interfacebehaviour.InterfacebehaviourPackage"
genModel="model/mira.genmodel"/>
class="org.fortiss.af3.mira.model.interfacebehaviour.InterfacebehaviourPackage"/>
</extension>
<extension point="org.eclipse.emf.ecore.generated_package">
<!-- @generated mira -->
<package
uri="http://www.fortiss.org/af3/mira/constraints"
class="org.fortiss.af3.mira.model.constraints.ConstraintsPackage"
genModel="model/mira.genmodel"/>
class="org.fortiss.af3.mira.model.constraints.ConstraintsPackage"/>
</extension>
<extension point="org.eclipse.emf.ecore.generated_package">
<!-- @generated mira -->
<package
uri="http://www.fortiss.org/af3/mira/timing"
class="org.fortiss.af3.mira.model.timing.TimingPackage"
genModel="model/mira.genmodel"/>
class="org.fortiss.af3.mira.model.timing.TimingPackage"/>
</extension>
<extension
......
......@@ -34,7 +34,7 @@ import org.fortiss.tooling.kernel.model.constraints.IConstraintInstanceStatus;
* @author levilucio
* @author $Author$
* @version $Rev$
* @ConQAT.Rating YELLOW Hash: 1F707E947281E1DB208F6286632F39B1
* @ConQAT.Rating YELLOW Hash: 149884770F6D8D4CBD0A3F02DCBE35EA
*/
public class FunctionalReqsHaveOneNonFunctionalReq extends AF3ProjectConstraintCheckerBase
implements RequirementConstraintsGroup {
......
......@@ -35,7 +35,7 @@ import org.fortiss.tooling.kernel.model.constraints.IConstraintInstanceStatus;
* @author abid
* @author $Author$
* @version $Rev$
* @ConQAT.Rating YELLOW Hash: 212537DA1A7338E3BC2D6302A3C6E2AF
* @ConQAT.Rating YELLOW Hash: E28E9378DC5038EE02926EB4BE56536A
*/
public class MultipleAspectsConstraint extends AF3ProjectConstraintCheckerBase implements
RequirementConstraintsGroup {
......
......@@ -34,7 +34,7 @@ import org.fortiss.tooling.kernel.model.constraints.IConstraintInstanceStatus;
* @author levilucio
* @author $Author$
* @version $Rev$
* @ConQAT.Rating YELLOW Hash: AA1359107306FDECAECD95AFA78BAC95
* @ConQAT.Rating YELLOW Hash: 7DC11926842090F1CB658A4FC50AC3E8
*/
public class NonFunctionalReqsHaveExactlyOneFunctionalReq extends AF3ProjectConstraintCheckerBase
implements RequirementConstraintsGroup {
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment