Generated by the Meta2000 interpreter select(i | i.oclIsKindOf(Input))]]> select(i | i.oclIsKindOf(Input))]]> any(1=1) in if (somePortal.connectedFCOs(Duct)->any(1=1).memberOfSets(Interface)->size()>0) then self.members()->forAll( i,j :FCO| i.connectedFCOs(Duct)->any(1=1).memberOfSets(Interface)->any(1=1) = j.connectedFCOs(Duct)->any(1=1).memberOfSets(Interface)->any(1=1) ) else self.members()->forAll( i,j :FCO| i.connectedFCOs(Duct)->any(1=1).memberOfSets(Twoway)->any(1=1) = j.connectedFCOs(Duct)->any(1=1).memberOfSets(Twoway)->any(1=1) ) endif]]> any(1=1) in if (somePortal.connectedFCOs(Duct)->any(1=1).memberOfSets(Interface)->size()>0) then self.members()->forAll( i,j :FCO| i.connectedFCOs(Duct)->any(1=1).memberOfSets(Interface)->any(1=1) = j.connectedFCOs(Duct)->any(1=1).memberOfSets(Interface)->any(1=1)) else self.members()->forAll( i,j :FCO| i.connectedFCOs(Duct)->any(1=1).memberOfSets(Twoway)->any(1=1) = j.connectedFCOs(Duct)->any(1=1).memberOfSets(Twoway)->any(1=1)) endif]]> 0) then let inputMapped = inputPortals->forAll (i:Input | i.connectedFCOs(InputMapping)->select(p:Input| p.parent() = myParent.parent())->size()>0) in if(outputPortals.size()>0) then let outputMapped = outputPortals->forAll (o:Output | o.connectedFCOs(OutputMapping)->select(p:Output| p.parent() = myParent.parent())->size()>0) in inputMapped || outputMapped else inputMapped endif else let outputMapped = outputPortals->forAll (o:Output | o.connectedFCOs(OutputMapping)->select(p:Output| p.parent() = myParent.parent())->size()>0) in outputMapped endif ]]> 0) then let inputMapped = inputPortals->forAll (i:Input | i.connectedFCOs(InputMapping)->select(p:Input| p.parent() = myParent.parent())->size()>0) in if(outputPortals.size()>0) then let outputMapped = outputPortals->forAll (o:Output | o.connectedFCOs(OutputMapping)->select(p:Output| p.parent() = myParent.parent())->size()>0) in inputMapped || outputMapped else inputMapped endif else let outputMapped = outputPortals->forAll (o:Output | o.connectedFCOs(OutputMapping)->select(p:Output| p.parent() = myParent.parent())->size()>0) in outputMapped endif ]]> select(i | i.oclIsKindOf(Output))]]> select(i | i.oclIsKindOf(Output))]]> AlloyDataConstraint AlloyDefinition AlloyStructuralConstraint AlloyTopologyConstraint CoLaBehavioralConstraint CoLaConcreteBehavior Datum Input size = 1 or self.memberOfSets(Twoway) -> size = 1]]> Every Portal should be a part of exactly one Interface or Twoway. size in (dstCount <= 1)]]> Multiplicity of objects, which are associated to Input as "dst" over InputMapping, has to match 0..1. size in (srcCount <= 1)]]> Multiplicity of objects, which are associated to Input as "src" over InputMapping, has to match 0..1. Output size = 1 or self.memberOfSets(Twoway) -> size = 1]]> Every Portal should be a part of exactly one Interface or Twoway. size in (dstCount <= 1)]]> Multiplicity of objects, which are associated to Output as "dst" over OutputMapping, has to match 0..1. size in (srcCount <= 1)]]> Multiplicity of objects, which are associated to Output as "src" over OutputMapping, has to match 0..1. DatumReference select(m:Model | m.referenceParts(DatumReference).includes(self))->size()>0 else let arch = self.refersTo().parent().oclAsType(Architecture) in let models = arch.models() in models->select(m:Model | m.referenceParts(DatumReference).includes(self))->size()>0 endif]]> All the datum references declared in the style must be to valid datums defined in the style or architecture Interface notEmpty()]]> Interface or twoway must have member portals All Interfaces in a constituent must either be mapped or connected forAll(p1,p2: Portal | p1 != p2 implies p1.name <> p2.name)]]> Portal names must be unique within an Interface or a Twoway Twoway notEmpty()]]> Interface or twoway must have member portals select( i | i.oclIsKindOf(Input))->size = 1 && self.members()->select( i | i.oclIsKindOf(Output))->size = 1]]> Each TwoWay should contain exactly one Input and one Output All Interfaces in a constituent must either be mapped or connected forAll(p1,p2: Portal | p1 != p2 implies p1.name <> p2.name)]]> Portal names must be unique within an Interface or a Twoway Allows Duct forAll( outDatRef:DatumReference | let outDat = outDatRef.refersTo() in inp.connectedFCOs(Allows)->exists(inDatRef:DatumReference | let inDat = inDatRef.refersTo() in COMPAT(inDat,outDat))) ]]> The portal ends of the duct must allow compatible datums InputMapping notEmpty() ]]> External portals can only be mapped to internal unsatisfied portals OutputMapping notEmpty() ]]> External portals can only be mapped to internal unsatisfied portals Architecture forAll(c:Constituent| c.setParts(Interface)->forAll(i:Interface | i.isConnected()) && c.setParts(Twoway)->forAll(i:Twoway | i.isConnected()))]]> All interfaces and twoways should be satisfied forAll(at1,at2: FCO | at1 != at2 implies at1.name <>at2.name)]]> Names of parts in a constituent must be unique Birelay Datum Duct Particle Relay Birelay forAll(at1,at2: FCO | at1 != at2 implies at1.name <>at2.name)]]> Names of parts in a constituent must be unique size in (partCount >= 1)]]> Multiplicity of parts, which are contained by Birelay, has to match 0..*. size + self.parts( "Output" ) -> size in (partCount >= 1)]]> Multiplicity of parts, which are contained by Birelay, has to match 0..*. Allows AlloyDefinition AlloyStructuralConstraint DatumReference Input InputMapping Output OutputMapping Twoway Particle isEmpty() or constraintExps->isEmpty()) and behaviorExps->isEmpty() else (parts->isEmpty() or behaviorExps->isEmpty()) and constraintExps->isEmpty() endif]]> Composite Particle cannot have concrete behavior or behavioral constraints. Other particles should have behavioral constraints if they are templates or behavior if they are instances forAll(at1,at2: FCO | at1 != at2 implies at1.name <>at2.name)]]> Names of parts in a constituent must be unique size + self.parts( "Output" ) -> size in (partCount >= 1)]]> Multiplicity of parts, which are contained by Particle, has to match 1..*. size in (partCount >= 1)]]> Multiplicity of parts, which are contained by Particle, has to match 1..*. Allows AlloyDefinition AlloyStructuralConstraint Birelay CoLaBehavioralConstraint CoLaConcreteBehavior DatumReference Duct Input InputMapping Interface Output OutputMapping Particle Relay Relay forAll(at1,at2: FCO | at1 != at2 implies at1.name <>at2.name)]]> Names of parts in a constituent must be unique size + self.parts( "Output" ) -> size in (partCount >= 1)]]> Multiplicity of parts, which are contained by Relay, has to match 1..*. size in (partCount >= 1)]]> Multiplicity of parts, which are contained by Relay, has to match 1..*. Allows AlloyDefinition AlloyStructuralConstraint DatumReference Input InputMapping Interface Output OutputMapping Style forAll(c:Model | c.setParts(Interface)->forAll(i:Interface | i.isConnected()) && c.setParts(Twoway)->forAll(i:Twoway | i.isConnected()) )]]> All the interface and twoway templates must be satisfied forAll(at1,at2: FCO | at1 != at2 implies at1.name <>at2.name)]]> Names of parts in a constituent must be unique AlloyDataConstraint AlloyTopologyConstraint Birelay Datum Duct Particle Relay