Skip to content
Snippets Groups Projects
Commit e25d1458 authored by Fabian Brosig's avatar Fabian Brosig
Browse files

renamed CorrelationshipRelationship to DependencyPropagationRelationship 

git-svn-id: https://se1.informatik.uni-wuerzburg.de/usvn/svn/code/DMM/trunk@16312 9e42b895-fcda-4063-8a3b-11be15eb1bbd
parent f3228072
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
edu.kit.ipd.descartes.mm.applicationlevel/model/parameterdependency.ecore
+ 15
− 15
View file @ e25d1458
......@@ -3,11 +3,11 @@
xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="parameterdependencies" nsURI="http://www.descartes-research.net/metamodel/parameterdependencies/0.1"
nsPrefix="parameterdependencies">
<eAnnotations source="http://www.eclipse.org/OCL/Import">
<details key="ecore_0" value="http://www.eclipse.org/emf/2002/Ecore#/"/>
<details key="core_0" value="../../edu.kit.ipd.descartes.core/model/core.ecore#/"/>
<details key="ecore_0" value="http://www.eclipse.org/emf/2002/Ecore"/>
<details key="functions_0" value="functions.ecore#/"/>
<details key="repository_0" value="repository.ecore#/"/>
<details key="servicebehavior_0" value="servicebehavior.ecore#/"/>
<details key="functions_0" value="functions.ecore#/"/>
<details key="core_0" value="/resource/edu.kit.ipd.descartes.core/model/core.ecore#/"/>
</eAnnotations>
<eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
<details key="invocationDelegates" value="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot"/>
......@@ -88,29 +88,29 @@
<details key="constraints" value="DelegationOnlyAllowedWithSingleSource"/>
</eAnnotations>
<eAnnotations source="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot">
<details key="DelegationOnlyAllowedWithSingleSource" value="&#xA;&#x9;&#x9;&#x9;self.characterization = RelationshipCharacterizationType::IDENTITY implies sources->size() = 1"/>
<details key="DelegationOnlyAllowedWithSingleSource" value="&#xA;&#x9;&#x9;&#x9;self.characterization = RelationshipCharacterizationType::IDENTITY implies independent->size() = 1"/>
</eAnnotations>
<eStructuralFeatures xsi:type="ecore:EReference" name="destination" lowerBound="1"
<eStructuralFeatures xsi:type="ecore:EReference" name="dependent" lowerBound="1"
eType="#//InfluencedVariableReference"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="sources" lowerBound="1"
<eStructuralFeatures xsi:type="ecore:EReference" name="independent" lowerBound="1"
upperBound="-1" eType="#//InfluencingParameter"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="CorrelationRelationship" eSuperTypes="#//Relationship">
<eClassifiers xsi:type="ecore:EClass" name="DependencyPropagationRelationship" eSuperTypes="#//Relationship">
<eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
<details key="constraints" value="NumberOfSourceInfluencingParametersEqualToSourceComponentInstanceReferences DelegationOnlyAllowedWithSingleSource"/>
<details key="constraints" value="NumberOfIndependentInfluencingParametersEqualToIndependentComponentInstanceReferences DelegationOnlyAllowedWithSingleSource"/>
</eAnnotations>
<eAnnotations source="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot">
<details key="NumberOfSourceInfluencingParametersEqualToSourceComponentInstanceReferences"
value="&#xA;&#x9;&#x9;&#x9;sources->size() = destination->size()"/>
<details key="DelegationOnlyAllowedWithSingleSource" value="&#xA;&#x9;&#x9;&#x9;self.characterization = RelationshipCharacterizationType::IDENTITY implies sources->size() = 1"/>
<details key="NumberOfIndependentInfluencingParametersEqualToIndependentComponentInstanceReferences"
value="&#xA;&#x9;&#x9;&#x9;independent->size() = independentComponentInstanceReferences->size()"/>
<details key="DelegationOnlyAllowedWithSingleSource" value="&#xA;&#x9;&#x9;&#x9;self.characterization = RelationshipCharacterizationType::IDENTITY implies independent->size() = 1"/>
</eAnnotations>
<eStructuralFeatures xsi:type="ecore:EReference" name="sources" lowerBound="1"
<eStructuralFeatures xsi:type="ecore:EReference" name="independent" lowerBound="1"
upperBound="-1" eType="#//InfluencingParameter"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="destination" lowerBound="1"
<eStructuralFeatures xsi:type="ecore:EReference" name="dependent" lowerBound="1"
eType="#//InfluencingParameter"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="sourceComponentInstanceReferences"
<eStructuralFeatures xsi:type="ecore:EReference" name="independentComponentInstanceReferences"
lowerBound="1" upperBound="-1" eType="#//ComponentInstanceReference" containment="true"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="destinationComponentInstanceReference"
<eStructuralFeatures xsi:type="ecore:EReference" name="dependentComponentInstanceReference"
lowerBound="1" eType="#//ComponentInstanceReference" containment="true"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="ComponentInstanceReference">
......
edu.kit.ipd.descartes.mm.applicationlevel/model/parameterdependency.ecore.oclinecore
+ 11
− 11
View file @ e25d1458
......@@ -70,21 +70,21 @@ package parameterdependencies : parameterdependencies = 'http://www.descartes-re
}
class DependencyRelationship extends Relationship {
property destination : InfluencedVariableReference[1] {ordered};
property sources : InfluencingParameter[1..*] {ordered};
property dependent : InfluencedVariableReference[1] {ordered};
property independent : InfluencingParameter[1..*] {ordered};
invariant DelegationOnlyAllowedWithSingleSource :
self.characterization = RelationshipCharacterizationType::IDENTITY implies sources->size() = 1;
self.characterization = RelationshipCharacterizationType::IDENTITY implies independent->size() = 1;
}
class CorrelationRelationship extends Relationship {
property sources : InfluencingParameter[1..*] {ordered};
property destination : InfluencingParameter[1];
property sourceComponentInstanceReferences : ComponentInstanceReference[1..*] { composes, ordered };
property destinationComponentInstanceReference : ComponentInstanceReference[1] { composes };
invariant NumberOfSourceInfluencingParametersEqualToSourceComponentInstanceReferences :
sources->size() = destination->size();
class DependencyPropagationRelationship extends Relationship {
property independent : InfluencingParameter[1..*] {ordered};
property dependent : InfluencingParameter[1];
property independentComponentInstanceReferences : ComponentInstanceReference[1..*] { composes, ordered };
property dependentComponentInstanceReference : ComponentInstanceReference[1] { composes };
invariant NumberOfIndependentInfluencingParametersEqualToIndependentComponentInstanceReferences :
independent->size() = independentComponentInstanceReferences->size();
invariant DelegationOnlyAllowedWithSingleSource :
self.characterization = RelationshipCharacterizationType::IDENTITY implies sources->size() = 1;
self.characterization = RelationshipCharacterizationType::IDENTITY implies independent->size() = 1;
}
class ComponentInstanceReference {
......
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