diff options
Diffstat (limited to 'extraplugins/soaml/org.eclipse.papyrus.soaml.profile/src/SoaML/ServicesArchitecture.java')
| -rw-r--r-- | extraplugins/soaml/org.eclipse.papyrus.soaml.profile/src/SoaML/ServicesArchitecture.java | 33 |
1 files changed, 10 insertions, 23 deletions
diff --git a/extraplugins/soaml/org.eclipse.papyrus.soaml.profile/src/SoaML/ServicesArchitecture.java b/extraplugins/soaml/org.eclipse.papyrus.soaml.profile/src/SoaML/ServicesArchitecture.java index 404bf8c1676..0d891c6b0da 100644 --- a/extraplugins/soaml/org.eclipse.papyrus.soaml.profile/src/SoaML/ServicesArchitecture.java +++ b/extraplugins/soaml/org.eclipse.papyrus.soaml.profile/src/SoaML/ServicesArchitecture.java @@ -33,26 +33,10 @@ public interface ServicesArchitecture extends Collaboration { * <!-- begin-user-doc -->
* <!-- end-user-doc -->
* <!-- begin-model-doc -->
- * let properties : Set (UML::ConnectableElement) = self.base_Collaboration.role,
- * collBUses: Set(UML::Element)= self.base_Collaboration.collaborationUse in
- * collBUses->notEmpty() implies
- * -- Each participant satisfying roles in a ServicesArchitecture shall have a port for each role binding attached to that participant.
- * --This port shall have a type compliant with the type of the role used in the ServiceContract.
- * collBUses.oclAsType(UML::CollaborationUse).roleBinding-> forAll(rb| let
- * portTypesOfSupplier= rb.oclAsType(UML::Dependency).supplier->select(s|s.oclIsTypeOf(UML::Property))->select(s|s.oclAsType(UML::Property).type.oclIsTypeOf(Class))->collect(oclAsType(UML::Property).type.oclAsType(Class).getAllAttributes())->select(att|att.oclIsTypeOf(UML::Port))->collect(oclAsType(UML::Port).type) , clientType=rb.oclAsType(UML::Dependency).client->select(s|s.oclIsTypeOf(UML::Property))->collect(t:UML::NamedElement|t.oclAsType(UML::Property).type)->asOrderedSet()->first()in
- * portTypesOfSupplier->includes(clientType)--1. The role correspond to a port type on the supplier.
- * --2. the supplier has a port type that specializes the type of the role.
- * or(clientType.oclAsType(Classifier).generalization.general->closure(general)->includes(portTypesOfSupplier))
- * --3. the supplier has a port type that realizes the type of the role.
- * or(clientType.oclAsType(Classifier).getRelationships().oclAsType(UML::Realization)->includes(portTypesOfSupplier))
- * --4. the supplier has a port type that contains at least the ownedAttributes and ownedOperations of the role.
- * or(portTypesOfSupplier.oclAsType(Classifier).getAllAttributes()->includesAll(clientType.oclAsType(Classifier).getAllAttributes())
- * and portTypesOfSupplier.oclAsType(Classifier).getAllOperations()->includesAll(clientType.oclAsType(Classifier).getAllOperations())
- * ) )
* @param diagnostics The chain of diagnostics to which problems are to be appended.
* @param context The cache of context-specific information.
* <!-- end-model-doc -->
- * @model
+ * @model annotation="http://www.eclipse.org/uml2/1.1.0/GenModel body='let properties : Set (UML::ConnectableElement) = self.base_Collaboration.role,\r\ncollBUses: Set(UML::Element)= self.base_Collaboration.collaborationUse in\r\ncollBUses->notEmpty() implies \r\n-- Each participant satisfying roles in a ServicesArchitecture shall have a port for each role binding attached to that participant. \r\n--This port shall have a type compliant with the type of the role used in the ServiceContract.\r\ncollBUses.oclAsType(UML::CollaborationUse).roleBinding-> forAll(rb| let \r\n\tportTypesOfSupplier=\trb.oclAsType(UML::Dependency).supplier->select(s|s.oclIsTypeOf(UML::Property))->select(s|s.oclAsType(UML::Property).type.oclIsTypeOf(Class))->collect(oclAsType(UML::Property).type.oclAsType(Class).getAllAttributes())->select(att|att.oclIsTypeOf(UML::Port))->collect(oclAsType(UML::Port).type) , clientType=rb.oclAsType(UML::Dependency).client->select(s|s.oclIsTypeOf(UML::Property))->collect(t:UML::NamedElement|t.oclAsType(UML::Property).type)->asOrderedSet()->first()in \t\r\nportTypesOfSupplier->includes(clientType)--1. The role correspond to a port type on the supplier.\r\n--2. the supplier has a port type that specializes the type of the role.\r\nor(clientType.oclAsType(Classifier).generalization.general->closure(general)->includes(portTypesOfSupplier)) \r\n--3. the supplier has a port type that realizes the type of the role.\r\nor(clientType.oclAsType(Classifier).getRelationships().oclAsType(UML::Realization)->includes(portTypesOfSupplier)) \r\n--4. the supplier has a port type that contains at least the ownedAttributes and ownedOperations of the role.\r\nor(portTypesOfSupplier.oclAsType(Classifier).getAllAttributes()->includesAll(clientType.oclAsType(Classifier).getAllAttributes()) \r\n\tand portTypesOfSupplier.oclAsType(Classifier).getAllOperations()->includesAll(clientType.oclAsType(Classifier).getAllOperations())\r\n) )'"
* @generated
*/
boolean participantsRoleCompatibility(DiagnosticChain diagnostics, Map<Object, Object> context);
@@ -61,17 +45,20 @@ public interface ServicesArchitecture extends Collaboration { * <!-- begin-user-doc -->
* <!-- end-user-doc -->
* <!-- begin-model-doc -->
- * let properties : Set (UML::ConnectableElement) = self.base_Collaboration.role,
- * collBUses: Set(UML::Element)= self.base_Collaboration.collaborationUse in
- * properties->notEmpty() implies
- * properties-> forAll(p|p.type->exists(p|p.getAppliedStereotypes()->select(s|s.name='Participant' or s.name='Capability')->size()=1) )
- *
* @param diagnostics The chain of diagnostics to which problems are to be appended.
* @param context The cache of context-specific information.
* <!-- end-model-doc -->
- * @model
+ * @model annotation="http://www.eclipse.org/uml2/1.1.0/GenModel body='let properties : Set (UML::ConnectableElement) = self.base_Collaboration.role,\r\ncollBUses: Set(UML::Element)= self.base_Collaboration.collaborationUse in\r\nproperties->notEmpty() implies \r\nproperties-> forAll(p|p.type->exists(p|p.getAppliedStereotypes()->select(s|s.name=\'Participant\' or s.name=\'Capability\' or s.name=\'Agent\' )->size()=1) )\r\n'"
* @generated
*/
boolean partsTypes(DiagnosticChain diagnostics, Map<Object, Object> context);
+
+ /**
+ * <!-- begin-user-doc -->
+ * <!-- end-user-doc -->
+ * @model imageRequired="true" imageOrdered="false"
+ * @generated
+ */
+ void getIcon(Image image);
} // ServicesArchitecture
|