Let REQUIREDPackages:Set(Package)=importedPackage_nstrainedElement->excluding(importedPackage).oclAsType(Package)->asSet() in ) OCL2.0 let importedPackage_REQUIRESconstraint:Set(Constraint)=Constraint.allInstances()->select(oclIsKindOf(SYSMOD::VAMOS::REQUIRES))->select(constrainedElement->includes(importedPackage)) in V.oclAsType(SYSMOD::VAMOS::Variation).minVariants intersection(->select(oclIsTypeOf(SYSMOD::VAMOS::Variant)))->size() OCL2.0 nstrainedElement->size()=2 and nstrainedElement->asSet()->forAll(oclIsTypeOf(SYSMOD::VAMOS::Variant)) OCL2.0 (SYSMOD::VAMOS::Variation) OCL2.0 ->select(oclIsTypeOf(SYSMOD::VAMOS::Variant)).owner Let XORedPackages:Set(Package)=importedPackage_nstrainedElement->excluding(importedPackage).oclAsType(Package)->asSet() in V.oclAsType(Package).ownedElement->intersection(->select(oclIsTypeOf(SYSMOD::VAMOS::Variant)))->size() select(oclIsKindOf(SYSMOD::VAMOS::XOR))->select(constrainedElement->includes(importedPackage)) in Self.minVariants select(oclIsTypeOf(SYSMOD::VAMOS::Variant)).owner
0 Comments
Leave a Reply. |
Details
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |