Constant Field Values
Contents
org.palladiosimulator.*
-
Modifier and TypeConstant FieldValue
public static final String
"Copyright 2005-2017 by palladiosimulator.org"
public static final int
2
public static final int
0
public static final String
"pcm"
public static final String
"pcm"
public static final String
"http://palladiosimulator.org/PalladioComponentModel/5.2"
public static final int
0
public static final int
0
public static final int
1
public static final int
0
-
Modifier and TypeConstant FieldValue
public static final int
1
public static final int
4
public static final int
1
public static final int
0
public static final int
3
public static final int
2
public static final int
0
public static final int
4
public static final int
3
public static final int
1
public static final int
5
public static final int
0
public static final int
2
public static final int
6
public static final int
5
public static final String
"Copyright 2005-2017 by palladiosimulator.org"
public static final String
"allocation"
public static final String
"allocation"
public static final String
"http://palladiosimulator.org/PalladioComponentModel/Allocation/5.2"
-
Modifier and TypeConstant FieldValue
protected static final String
"self.allocationContexts_Allocation->forAll(a | self.allocationContexts_Allocation->forAll(b | \r\n --- if a and b are not on the same server\r\n (a.resourceContainer_AllocationContext <> b.resourceContainer_AllocationContext \r\n and\r\n -- and if the assembly contexts of a and b are connected\r\n self.system_Allocation.connectors__ComposedStructure->select(conn | conn.oclIsTypeOf(pcm::core::composition::AssemblyConnector)).oclAsType(pcm::core::composition::AssemblyConnector)->exists(conn | \r\n (conn.providingAssemblyContext_AssemblyConnector = a.assemblyContext_AllocationContext \r\n and \r\n conn.requiringAssemblyContext_AssemblyConnector = b.assemblyContext_AllocationContext )\r\n or \r\n (conn.providingAssemblyContext_AssemblyConnector = b.assemblyContext_AllocationContext \r\n and \r\n conn.requiringAssemblyContext_AssemblyConnector = a.assemblyContext_AllocationContext )\r\n )\r\n )\r\n -- then the servers have to be connected by a linking resource\r\n implies \r\n self.targetResourceEnvironment_Allocation.linkingResources__ResourceEnvironment->exists(l | \r\n -- l connects the two\r\n l.connectedResourceContainers_LinkingResource->includes(a.resourceContainer_AllocationContext)\r\n and \r\n l.connectedResourceContainers_LinkingResource->includes(b.resourceContainer_AllocationContext)\r\n )\r\n ))"
public static final int
1
protected static final String
"not(self.assemblyContext_AllocationContext.oclIsUndefined()) xor not(self.eventChannel__AllocationContext.oclIsUndefined())"
public static final String
"Copyright 2005-2017 by palladiosimulator.org"
protected static final int
1
public static final String
"org.palladiosimulator.pcm.allocation"
-
Modifier and TypeConstant FieldValue
public static final String
"Copyright 2005-2017 by palladiosimulator.org"
public static final String
"core"
public static final String
"core"
public static final String
"http://palladiosimulator.org/PalladioComponentModel/Core/5.2"
public static final int
0
public static final int
12
public static final int
2
public static final int
16
public static final int
18
public static final int
15
public static final int
11
public static final int
1
public static final int
9
public static final int
5
public static final int
8
public static final int
13
public static final int
14
public static final int
7
public static final int
3
public static final int
17
public static final int
6
public static final int
0
public static final int
10
public static final int
4
public static final int
19
-
Modifier and TypeConstant FieldValue
public static final int
9
public static final int
1
public static final int
0
public static final int
2
public static final int
5
public static final int
4
public static final int
6
public static final int
3
public static final int
7
public static final int
17
public static final int
4
public static final int
3
public static final int
1
public static final int
0
public static final int
2
public static final int
5
public static final int
10
public static final int
1
public static final int
7
public static final int
0
public static final int
2
public static final int
5
public static final int
3
public static final int
6
public static final int
4
public static final int
8
public static final int
13
public static final int
1
public static final int
0
public static final int
2
public static final int
3
public static final int
5
public static final int
4
public static final int
6
public static final int
7
public static final int
2
public static final int
2
public static final int
5
public static final int
1
public static final int
4
public static final int
0
public static final int
3
public static final int
6
public static final int
1
public static final int
1
public static final int
0
public static final int
2
public static final int
3
public static final String
"Copyright 2005-2017 by palladiosimulator.org"
public static final int
0
public static final int
1
public static final int
0
public static final int
2
public static final int
3
public static final String
"composition"
public static final String
"composition"
public static final String
"http://palladiosimulator.org/PalladioComponentModel/Core/Composition/5.2"
public static final int
4
public static final int
1
public static final int
4
public static final int
3
public static final int
2
public static final int
0
public static final int
5
public static final int
6
public static final int
6
public static final int
5
public static final int
1
public static final int
6
public static final int
4
public static final int
0
public static final int
2
public static final int
3
public static final int
7
public static final int
5
public static final int
4
public static final int
1
public static final int
5
public static final int
0
public static final int
2
public static final int
3
public static final int
6
public static final int
7
public static final int
5
public static final int
1
public static final int
0
public static final int
3
public static final int
4
public static final int
2
public static final int
6
public static final int
14
public static final int
5
public static final int
1
public static final int
0
public static final int
3
public static final int
4
public static final int
2
public static final int
6
public static final int
8
public static final int
5
public static final int
1
public static final int
0
public static final int
3
public static final int
4
public static final int
2
public static final int
6
public static final int
15
public static final int
5
public static final int
1
public static final int
0
public static final int
3
public static final int
4
public static final int
2
public static final int
6
public static final int
16
public static final int
3
public static final int
1
public static final int
0
public static final int
4
public static final int
5
public static final int
2
public static final int
6
public static final int
3
public static final int
0
public static final int
1
public static final int
2
public static final int
3
public static final int
12
public static final int
3
public static final int
1
public static final int
0
public static final int
4
public static final int
5
public static final int
2
public static final int
6
public static final int
11
public static final int
5
public static final int
1
public static final int
0
public static final int
3
public static final int
4
public static final int
2
public static final int
6
-
Modifier and TypeConstant FieldValue
protected static final String
"self.providedRole_AssemblyConnector.providedInterface__OperationProvidedRole = self.requiredRole_AssemblyConnector.requiredInterface__OperationRequiredRole"
protected static final String
"self.providingAssemblyContext_AssemblyConnector.encapsulatedComponent__AssemblyContext.providedRoles_InterfaceProvidingEntity->includes(self.providedRole_AssemblyConnector)\r\n\r\n"
protected static final String
"self.requiringAssemblyContext_AssemblyConnector.encapsulatedComponent__AssemblyContext.requiredRoles_InterfaceRequiringEntity->includes(self.requiredRole_AssemblyConnector)\r\n\r\n"
protected static final String
"\tself.providedRole__AssemblyInfrastructureConnector.providedInterface__InfrastructureProvidedRole = self.requiredRole__AssemblyInfrastructureConnector.requiredInterface__InfrastructureRequiredRole or self.providedRole__AssemblyInfrastructureConnector.providedInterface__InfrastructureProvidedRole.parentInterfaces__Interface->includes(self.requiredRole__AssemblyInfrastructureConnector.requiredInterface__InfrastructureRequiredRole)"
protected static final String
"self.providingAssemblyContext__AssemblyInfrastructureConnector.encapsulatedComponent__AssemblyContext.providedRoles_InterfaceProvidingEntity->includes(self.providedRole__AssemblyInfrastructureConnector)\n"
protected static final String
"self.requiringAssemblyContext__AssemblyInfrastructureConnector.encapsulatedComponent__AssemblyContext.requiredRoles_InterfaceRequiringEntity->includes(self.requiredRole__AssemblyInfrastructureConnector)"
protected static final String
"self.connectors__ComposedStructure->select(conn | conn.oclIsTypeOf(pcm::core::composition::ProvidedDelegationConnector)).oclAsType(pcm::core::composition::ProvidedDelegationConnector)->forAll( c1, c2 | c1 <> c2 implies c1.outerProvidedRole_ProvidedDelegationConnector <> c2.outerProvidedRole_ProvidedDelegationConnector)\r\n"
protected static final String
"self.connectors__ComposedStructure->select(conn | conn.oclIsTypeOf(pcm::core::composition::AssemblyConnector)).oclAsType(AssemblyConnector)->forAll( c1, c2 | ( (c1 <> c2) and ( c1.requiringAssemblyContext_AssemblyConnector = c2.requiringAssemblyContext_AssemblyConnector ) ) implies c1.requiredRole_AssemblyConnector <> c2.requiredRole_AssemblyConnector )\r\n"
public static final int
1
public static final String
"Copyright 2005-2017 by palladiosimulator.org"
protected static final int
1
public static final String
"org.palladiosimulator.pcm.core.composition"
protected static final String
"self.innerProvidedRole_ProvidedDelegationConnector.providingEntity_ProvidedRole = self.assemblyContext_ProvidedDelegationConnector.encapsulatedComponent__AssemblyContext"
protected static final String
"self.parentStructure__Connector = self.assemblyContext_ProvidedDelegationConnector.parentStructure__AssemblyContext"
protected static final String
"self.innerRequiredRole_RequiredDelegationConnector.requiringEntity_RequiredRole = self.assemblyContext_RequiredDelegationConnector.encapsulatedComponent__AssemblyContext"
protected static final String
"self.parentStructure__Connector = self.assemblyContext_RequiredDelegationConnector.parentStructure__AssemblyContext"
protected static final String
"self.outerRequiredRole_RequiredDelegationConnector.requiringEntity_RequiredRole=self.parentStructure__Connector"
-
Modifier and TypeConstant FieldValue
public static final int
7
public static final int
2
public static final int
5
public static final int
1
public static final int
4
public static final int
0
public static final int
6
public static final int
8
public static final int
3
public static final int
7
public static final int
9
public static final String
"Copyright 2005-2017 by palladiosimulator.org"
public static final String
"entity"
public static final String
"entity"
public static final String
"http://palladiosimulator.org/PalladioComponentModel/Core/Entity/5.2"
public static final int
10
public static final int
1
public static final int
0
public static final int
2
public static final int
2
public static final int
1
public static final int
0
public static final int
2
public static final int
3
public static final int
1
public static final int
1
public static final int
0
public static final int
2
public static final int
4
public static final int
3
public static final int
5
public static final int
3
public static final int
1
public static final int
0
public static final int
3
public static final int
2
public static final int
4
public static final int
8
public static final int
0
public static final int
1
public static final int
6
public static final int
1
public static final int
0
public static final int
2
public static final int
3
public static final int
9
public static final int
1
public static final int
0
public static final int
3
public static final int
2
public static final int
4
public static final int
4
public static final int
1
public static final int
0
public static final int
2
public static final int
3
public static final int
0
public static final int
1
public static final int
0
public static final int
3
public static final int
2
public static final int
4
public static final int
5
public static final int
1
public static final int
0
public static final int
2
public static final int
3
public static final int
4
-
Modifier and TypeConstant FieldValue
protected static final String
"self.providedRoles_InterfaceProvidingEntity->selectByKind(pcm::repository::OperationProvidedRole)->forAll(role|self.connectors__ComposedStructure->select(conn | conn.oclIsTypeOf(pcm::core::composition::ProvidedDelegationConnector)).oclAsType(pcm::core::composition::ProvidedDelegationConnector)->exists(connector|connector.outerProvidedRole_ProvidedDelegationConnector = role))"
public static final String
"Copyright 2005-2017 by palladiosimulator.org"
protected static final int
0
public static final String
"org.palladiosimulator.pcm.core.entity"
protected static final String
"self.id<>null and not (self.id=\'\')"
-
Modifier and TypeConstant FieldValue
public static final String
"Copyright 2005-2017 by palladiosimulator.org"
protected static final int
0
public static final String
"org.palladiosimulator.pcm.core"
protected static final String
"not self.specification.oclIsUndefined() and self.specification <> \'\'"
-
Modifier and TypeConstant FieldValue
public static final int
2
public static final int
1
public static final int
0
public static final int
2
public static final String
"Copyright 2005-2017 by palladiosimulator.org"
public static final String
"parameter"
public static final String
"parameter"
public static final String
"http://palladiosimulator.org/PalladioComponentModel/Parameter/5.2"
public static final int
1
public static final int
1
public static final int
0
public static final int
2
public static final int
3
public static final int
3
public static final int
0
public static final int
7
public static final int
2
public static final int
4
public static final int
8
public static final int
9
public static final int
10
public static final int
5
public static final int
6
public static final int
3
public static final int
1
public static final int
0
public static final int
11
-
Modifier and TypeConstant FieldValue
public static final int
3
public static final String
"Copyright 2005-2017 by palladiosimulator.org"
public static final int
1
public static final int
0
public static final int
4
public static final int
2
-
Modifier and TypeConstant FieldValue
public static final String
"Copyright 2005-2017 by palladiosimulator.org"
public static final String
"protocol"
public static final String
"protocol"
public static final String
"http://palladiosimulator.org/PalladioComponentModel/Protocol/5.2"
public static final int
0
public static final int
0
public static final int
1
-
Modifier and TypeConstant FieldValue
public static final String
"Copyright 2005-2017 by palladiosimulator.org"
public static final String
"qosannotations"
public static final String
"qosannotations"
public static final String
"http://palladiosimulator.org/PalladioComponentModel/QoSAnnotations/5.2"
public static final int
1
public static final int
1
public static final int
0
public static final int
2
public static final int
4
public static final int
3
public static final int
5
public static final int
2
public static final int
2
public static final int
3
public static final int
1
public static final int
0
public static final int
4
public static final int
0
public static final int
2
public static final int
1
public static final int
0
public static final int
3
-
Modifier and TypeConstant FieldValue
public static final int
2
public static final int
4
public static final int
2
public static final int
1
public static final int
0
public static final int
3
public static final int
5
public static final String
"Copyright 2005-2017 by palladiosimulator.org"
public static final String
"qos_performance"
public static final String
"qos_performance"
public static final String
"http://palladiosimulator.org/PalladioComponentModel/QoSAnnotations/QoS_Performance/5.2"
public static final int
1
public static final int
2
public static final int
1
public static final int
0
public static final int
3
public static final int
4
public static final int
0
public static final int
2
public static final int
1
public static final int
0
public static final int
3
public static final int
4
-
Modifier and TypeConstant FieldValue
public static final String
"Copyright 2005-2017 by palladiosimulator.org"
protected static final int
0
public static final String
"org.palladiosimulator.pcm.qosannotations.qos_performance"
protected static final String
"(self.role_SpecifiedQoSAnnotation.oclIsTypeOf(pcm::repository::OperationRequiredRole)) and (self.role_SpecifiedQoSAnnotation.oclAsType(pcm::repository::OperationRequiredRole).requiringEntity_RequiredRole.oclIsTypeOf(pcm::system::System))\r\n"
-
Modifier and TypeConstant FieldValue
public static final String
"Copyright 2005-2017 by palladiosimulator.org"
public static final String
"qos_reliability"
public static final String
"qos_reliability"
public static final String
"http://palladiosimulator.org/PalladioComponentModel/QoSAnnotations/QoS_Reliability/5.2"
public static final int
0
public static final int
3
public static final int
2
public static final int
1
public static final int
0
public static final int
4
-
Modifier and TypeConstant FieldValue
public static final String
"Copyright 2005-2017 by palladiosimulator.org"
protected static final int
0
public static final String
"org.palladiosimulator.pcm.qosannotations.qos_reliability"
protected static final String
"self.externalFailureOccurrenceDescriptions__SpecifiedReliabilityAnnotation->forAll(x:pcm::reliability::ExternalFailureOccurrenceDescription,y:pcm::reliability::ExternalFailureOccurrenceDescription | x<>y implies x.failureType__ExternalFailureOccurrenceDescription <> y.failureType__ExternalFailureOccurrenceDescription )"
protected static final String
"(self.role_SpecifiedQoSAnnotation.oclIsTypeOf(pcm::repository::OperationRequiredRole)) and (self.role_SpecifiedQoSAnnotation.oclAsType(pcm::repository::OperationRequiredRole).requiringEntity_RequiredRole.oclIsTypeOf(pcm::system::System))\r\n\r\n\r\n"
protected static final String
"self.externalFailureOccurrenceDescriptions__SpecifiedReliabilityAnnotation.failureProbability.oclAsType(Real)->sum()<=1.0"
-
Modifier and TypeConstant FieldValue
public static final String
"Copyright 2005-2017 by palladiosimulator.org"
protected static final int
0
public static final String
"org.palladiosimulator.pcm.qosannotations"
protected static final String
"self.specifiedQoSAnnotations_QoSAnnotations->select(oclIsTypeOf(pcm::qosannotations::qos_reliability::SpecifiedReliabilityAnnotation))->forAll( x, y | ( x<>y ) implies ( ( x.role_SpecifiedQoSAnnotation <> y.role_SpecifiedQoSAnnotation ) or ( x.signature_SpecifiedQoSAnnation <> y.signature_SpecifiedQoSAnnation ) ) )"
-
Modifier and TypeConstant FieldValue
public static final String
"Copyright 2005-2017 by palladiosimulator.org"
public static final String
"reliability"
public static final String
"reliability"
public static final String
"http://palladiosimulator.org/PalladioComponentModel/Reliability/5.2"
public static final int
5
public static final int
0
public static final int
2
public static final int
1
public static final int
3
public static final int
0
public static final int
0
public static final int
1
public static final int
7
public static final int
1
public static final int
0
public static final int
2
public static final int
3
public static final int
1
public static final int
1
public static final int
0
public static final int
3
public static final int
2
public static final int
4
public static final int
3
public static final int
0
public static final int
1
public static final int
2
public static final int
3
public static final int
4
public static final int
3
public static final int
1
public static final int
0
public static final int
2
public static final int
4
public static final int
6
public static final int
1
public static final int
0
public static final int
3
public static final int
4
public static final int
2
public static final int
5
public static final int
2
public static final int
1
public static final int
0
public static final int
3
public static final int
2
public static final int
4
-
Modifier and TypeConstant FieldValue
public static final String
"Copyright 2005-2017 by palladiosimulator.org"
protected static final double
0.0
-
Modifier and TypeConstant FieldValue
public static final String
"Copyright 2005-2017 by palladiosimulator.org"
protected static final int
0
public static final String
"org.palladiosimulator.pcm.reliability"
protected static final String
"not self.failureType__ExternalFailureOccurrenceDescription.oclIsTypeOf(ResourceTimeoutFailureType)"
protected static final String
"(self.failureProbability.oclAsType(Real) <= 1.0) and (self.failureProbability.oclAsType(Real) >= 0.0)"
protected static final String
"( self.processingResourceType__HardwareInducedFailureType <> null ) and ( not ( self.processingResourceType__HardwareInducedFailureType.oclIsTypeOf( pcm::resourcetype::CommunicationLinkResourceType ) ) )"
protected static final String
"not self.softwareInducedFailureType__InternalFailureOccurrenceDescription.oclIsTypeOf(ResourceTimeoutFailureType)"
protected static final String
"self.communicationLinkResourceType__NetworkInducedFailureType <> null"
-
Modifier and TypeConstant FieldValue
public static final int
0
public static final String
"Copyright 2005-2017 by palladiosimulator.org"
public static final int
1
-
Modifier and TypeConstant FieldValue
public static final String
"Copyright 2005-2017 by palladiosimulator.org"
public static final int
1
public static final int
3
public static final int
0
public static final int
2
-
Modifier and TypeConstant FieldValue
public static final int
2
public static final int
5
public static final int
4
public static final String
"Copyright 2005-2017 by palladiosimulator.org"
public static final int
3
public static final int
0
public static final int
6
public static final int
1
-
Modifier and TypeConstant FieldValue
public static final int
1
public static final int
7
public static final int
8
public static final int
1
public static final int
0
public static final int
6
public static final int
10
public static final int
2
public static final int
5
public static final int
4
public static final int
3
public static final int
9
public static final int
11
public static final int
29
public static final int
1
public static final int
0
public static final int
3
public static final int
2
public static final int
4
public static final int
25
public static final int
1
public static final int
0
public static final int
6
public static final int
2
public static final int
5
public static final int
4
public static final int
3
public static final int
7
public static final int
34
public static final int
27
public static final int
2
public static final int
11
public static final int
12
public static final int
5
public static final int
1
public static final int
4
public static final int
0
public static final int
10
public static final int
6
public static final int
9
public static final int
8
public static final int
3
public static final int
7
public static final int
13
public static final int
30
public static final int
1
public static final int
0
public static final int
4
public static final int
3
public static final int
2
public static final int
5
public static final String
"Copyright 2005-2017 by palladiosimulator.org"
public static final int
6
public static final int
0
public static final int
1
public static final String
"repository"
public static final String
"repository"
public static final String
"http://palladiosimulator.org/PalladioComponentModel/Repository/5.2"
public static final int
10
public static final int
1
public static final int
6
public static final int
0
public static final int
2
public static final int
3
public static final int
5
public static final int
4
public static final int
7
public static final int
11
public static final int
1
public static final int
5
public static final int
2
public static final int
3
public static final int
0
public static final int
4
public static final int
6
public static final int
13
public static final int
1
public static final int
0
public static final int
2
public static final int
2
public static final int
7
public static final int
8
public static final int
1
public static final int
0
public static final int
6
public static final int
2
public static final int
5
public static final int
4
public static final int
3
public static final int
9
public static final int
15
public static final int
1
public static final int
0
public static final int
6
public static final int
2
public static final int
3
public static final int
5
public static final int
4
public static final int
7
public static final int
24
public static final int
1
public static final int
0
public static final int
3
public static final int
2
public static final int
4
public static final int
16
public static final int
1
public static final int
0
public static final int
3
public static final int
2
public static final int
4
public static final int
14
public static final int
1
public static final int
2
public static final int
3
public static final int
0
public static final int
5
public static final int
4
public static final int
6
public static final int
31
public static final int
2
public static final int
1
public static final int
0
public static final int
3
public static final int
8
public static final int
1
public static final int
0
public static final int
2
public static final int
3
public static final int
5
public static final int
4
public static final int
6
public static final int
19
public static final int
1
public static final int
0
public static final int
2
public static final int
3
public static final int
5
public static final int
4
public static final int
6
public static final int
7
public static final int
23
public static final int
1
public static final int
0
public static final int
3
public static final int
2
public static final int
4
public static final int
20
public static final int
1
public static final int
0
public static final int
3
public static final int
2
public static final int
4
public static final int
18
public static final int
1
public static final int
2
public static final int
3
public static final int
0
public static final int
4
public static final int
5
public static final int
6
public static final int
7
public static final int
5
public static final int
0
public static final int
3
public static final int
1
public static final int
5
public static final int
2
public static final int
4
public static final int
6
public static final int
7
public static final int
33
public static final int
0
public static final int
3
public static final int
2
public static final int
1
public static final int
0
public static final int
4
public static final int
5
public static final int
28
public static final int
0
public static final int
1
public static final int
2
public static final int
35
public static final int
4
public static final int
1
public static final int
0
public static final int
2
public static final int
3
public static final int
26
public static final int
1
public static final int
0
public static final int
2
public static final int
5
public static final int
4
public static final int
3
public static final int
6
public static final int
7
public static final int
3
public static final int
6
public static final int
1
public static final int
5
public static final int
0
public static final int
4
public static final int
2
public static final int
3
public static final int
1
public static final int
0
public static final int
2
public static final int
5
public static final int
4
public static final int
3
public static final int
6
public static final int
7
public static final int
9
public static final int
2
public static final int
1
public static final int
0
public static final int
3
public static final int
17
public static final int
1
public static final int
0
public static final int
2
public static final int
3
public static final int
32
public static final int
1
public static final int
0
public static final int
2
public static final int
12
public static final int
1
public static final int
2
public static final int
3
public static final int
0
public static final int
4
public static final int
22
public static final int
1
public static final int
3
public static final int
0
public static final int
2
public static final int
4
public static final int
21
public static final int
1
public static final int
3
public static final int
0
public static final int
2
public static final int
4
-
Modifier and TypeConstant FieldValue
protected static final String
"self.providedRoles_InterfaceProvidingEntity->selectByType(InfrastructureProvidedRole).providedInterface__InfrastructureProvidedRole.infrastructureSignatures__InfrastructureInterface->forAll(s | self.serviceEffectSpecifications__BasicComponent->select(service | service.describedService__SEFF=s)->size()>0)"
protected static final String
"self.providedRoles_InterfaceProvidingEntity->selectByType(OperationProvidedRole).providedInterface__OperationProvidedRole.signatures__OperationInterface->forAll(s | self.serviceEffectSpecifications__BasicComponent->select(service | service.describedService__SEFF=s)->size()>0)"
protected static final String
"self.serviceEffectSpecifications__BasicComponent->forAll(p1, p2 |\r\n p1 <> p2 implies (p1.describedService__SEFF = p2.describedService__SEFF implies p1.seffTypeID <> p2.seffTypeID))"
protected static final String
"(\r\n\tself.oclIsTypeOf(CompleteComponentType)\r\n\tor\r\n\tself.oclIsTypeOf(ImplementationComponentType)\r\n\tor\r\n\tself.oclIsTypeOf(CompositeComponent)\r\n\tor\r\n\tself.oclIsTypeOf(BasicComponent)\r\n)\r\nimplies\r\n(\r\n\tself.providedRoles_InterfaceProvidingEntity->size() >= 1\r\n\tor\r\n\tself.requiredRoles_InterfaceRequiringEntity->size() >= 1\r\n)"
protected static final String
"-- CompleteTypes provided Interfaces have to be a superset\r\n-- of ProvidesComponentType provided Interfaces #\r\n--\r\n-- ACCx are used to accumulate Sets/Bags; usually only the very inner ACCx is used at all.\r\n--\r\n-- Recursive Query for parent Interface IDs\r\n-- see \"lpar2005.pdf\" (Second-order principles in specification languages for Object-Oriented Programs; Beckert, Tretelman) pp. 11 #\r\n--let parentInterfaces : Bag(Interface) =\r\n--\tself.providedRoles->iterate(r : ProvidedRole; acc2 : Bag(Interface) = Bag{} |\r\n--\t\tacc2->union(r.providedInterface.parentInterface->asBag()) -- asBag required to allow Set operations #\r\n--\t) in\r\n--let anchestorInterfaces : Bag(Interface) =\r\n--\tself.providedRoles->iterate(r : ProvidedRole; acc4 : Bag(Interface) = Bag{} |\r\n--\t\tacc4->union(r.providedInterface.parentInterface->asBag()) -- asBag required to allow Set operations #\r\n--\t)->union( -- union with anchestors found in former recursion #\r\n--\t\tself.providedRoles->iterate(r : ProvidedRole; acc6 : Bag(Interface) = Bag{} |\r\n--\t\t\tacc6->union(r.providedInterface.parentInterface.anchestorInterfaces) --already Set/Bag\r\n--\t\t)\r\n--\t) in\r\n--\t-- Directly provided anchestorInterfaces need to be a superset of provided interfaces of Supertype #\r\n--\tanchestorInterfaces.identifier.id->includesAll(\r\n--\t\tself.parentProvidesComponentTypes->iterate(pt : ProvidesComponentType; acc1 : Bag(String) = Bag{} |\r\n--\t\t\tpt.providedRoles->iterate(r : ProvidedRole; acc2 : Bag(String) = Bag{} |\r\n--\t\t\t\tacc2->union(r.providedInterface.identifier.id->asBag()) -- asBag required to allow Set operations #\r\n--\t\t\t)\r\n--\t\t)\r\n--\t)\r\ntrue"
public static final String
"Copyright 2005-2017 by palladiosimulator.org"
protected static final int
0
public static final String
"org.palladiosimulator.pcm.repository"
protected static final String
"-- ImplementationComponent has to provide the same or more interfaces like the CompleteComponentType (if set) #\r\n\tif\r\n\t\t -- apply constraint only for non-empty CompleteComponentTypes #\r\n\t\tself.parentCompleteComponentTypes->notEmpty()\r\n\tthen\r\n\t\tlet\r\n\t\t\t--own interfaces:\r\n\t\t\townInterfaces : Set(OperationInterface)\r\n\t\t\t = self.providedRoles_InterfaceProvidingEntity->select(pr|pr.oclIsTypeOf(OperationProvidedRole))->collect(pr : ProvidedRole | pr.oclAsType (OperationProvidedRole).providedInterface__OperationProvidedRole)->asSet()\r\n in \r\n \t--complete type interfaces:\r\n \tself.parentCompleteComponentTypes->forAll\r\n ( p : CompleteComponentType |\r\n (\r\n \tp.providedRoles_InterfaceProvidingEntity->select(pr|pr.oclIsTypeOf(OperationProvidedRole))->collect(pr : ProvidedRole | pr.oclAsType (OperationProvidedRole).providedInterface__OperationProvidedRole)->asSet()\r\n \t-\r\n \townInterfaces\r\n \t)->isEmpty()\r\n \t)\r\n\telse\r\n\t\ttrue\r\n\tendif"
protected static final String
"-- assures that InfrastructureComponents only have InfrastructureInterfaces and that BusinessComponents only have OperationInterfaces or EventGroups\r\nif self.componentType = ComponentType::INFRASTRUCTURE_COMPONENT then\r\n\tself.providedRoles_InterfaceProvidingEntity->select(role | role.oclIsTypeOf(OperationInterface) or role.oclIsTypeOf(EventGroup))->size() = 0\r\nelse if self.componentType = ComponentType::BUSINESS_COMPONENT then\r\n\tself.providedRoles_InterfaceProvidingEntity->select(role | role.oclIsTypeOf(InfrastructureInterface))->size() = 0\r\nelse\r\n\t1 = 0\r\nendif\r\nendif"
protected static final String
"-- ### EXACT COPY FROM ABOVE ###\r\n-- ImplementationComponentTypes provided Interfaces have to be a superset\r\n-- of CompleteComponentType provided Interfaces #\r\n--\r\n-- ACCx are used to accumulate Sets/Bags; usually only the very inner ACCx is used at all.\r\n--\r\n-- Recursive Query for parent Interface IDs\r\n-- see \'lpar2005.pdf\' (Second-order principles in specification languages for Object-Oriented Programs; Beckert, Tretelman) pp. 11 #\r\n--let parentInterfaces : Bag(Interface) =\r\n--\tself.providedRoles->iterate(r : ProvidedRole; acc2 : Bag(Interface) = Bag{} |\r\n--\t\tacc2->union(r.providedInterface.parentInterface->asBag()) -- asBag required to allow Set operations #\r\n--\t) in\r\n--let anchestorInterfaces : Bag(Interface) =\r\n--\tself.providedRoles->iterate(r : ProvidedRole; acc4 : Bag(Interface) = Bag{} |\r\n--\t\tacc4->union(r.providedInterface.parentInterface->asBag()) -- asBag required to allow Set operations #\r\n--\t)->union( -- union with anchestors found in former recursion #\r\n--\t\tself.providedRoles->iterate(r : ProvidedRole; acc6 : Bag(Interface) = Bag{} |\r\n--\t\t\tacc6->union(r.providedInterface.parentInterface.anchestorInterfaces) --already Set/Bag\r\n--\t\t)\r\n--\t) in\r\n\t-- Directly provided anchestorInterfaces need to be a superset of provided interfaces of Supertype #\r\n--\tanchestorInterfaces.identifier.id->includesAll(\r\n--\t\tself.parentProvidesComponentTypes->iterate(pt : ProvidesComponentType; acc1 : Bag(String) = Bag{} |\r\n--\t\t\tpt.providedRoles->iterate(r : ProvidedRole; acc2 : Bag(String) = Bag{} |\r\n--\t\t\t\tacc2->union(r.providedInterface.identifier.id->asBag()) -- asBag required to allow Set operations #\r\n--\t\t\t)\r\n--\t\t)\r\n--\t)\r\ntrue"
protected static final String
"-- ImplementationComponent has to require the same or fewer interfaces like the CompleteComponentType (if set) #\r\n\tif\r\n\t\t-- apply constraint only for non-empty CompleteComponentTypes #\r\n\t\tself.parentCompleteComponentTypes->notEmpty()\r\n\tthen\r\n\t let\r\n\t --own interfaces:\r\n\t ownInterfaces : Set(OperationInterface) \r\n\t = self.requiredRoles_InterfaceRequiringEntity->select(rr|rr.oclIsTypeOf(OperationRequiredRole))->collect(rr : RequiredRole | rr.oclAsType (OperationRequiredRole).requiredInterface__OperationRequiredRole)->asSet()\r\n\t in\r\n\t --complete type interfaces:\r\n\t self.parentCompleteComponentTypes->forAll\r\n\t ( p : CompleteComponentType |\r\n\t \t(\r\n\t\t \townInterfaces\r\n\t\t -\r\n\t\t p.requiredRoles_InterfaceRequiringEntity->select(rr|rr.oclIsTypeOf(OperationRequiredRole))->collect(rr : RequiredRole | rr.oclAsType (OperationRequiredRole).requiredInterface__OperationRequiredRole)->asSet()\r\n\t \t)->isEmpty()\r\n\t \t)\r\n\telse\r\n\t\ttrue\r\n\tendif"
protected static final String
"-- ImplementationTypes required Interfaces have to be a subset\r\n-- of CompleteComponentType required Interfaces #\r\n--\r\n-- ACCx are used to accumulate Sets/Bags; usually only the very inner ACCx is used at all.\r\n--\r\n-- Recursive Query for parent Interface IDs\r\n-- see \'lpar2005.pdf\' (Second-order principles in specification languages for Object-Oriented Programs; Beckert, Tretelman) pp. 11 #\r\n--let parentInterfaces : Bag(Interface) =\r\n--\tself.parentCompleteComponentTypes->iterate(pt : CompleteComponentType; acc1 : Bag(Interface) = Bag{} |\r\n--\t\tacc1->union(pt.requiredRoles->iterate(r : RequiredRole; acc2 : Bag(Interface) = Bag{} |\r\n--\t\t\tacc2->union(r.requiredInterface.parentInterface->asBag()) -- asBag required to allow Set operations #\r\n--\t\t))\r\n--\t) in\r\n--let anchestorInterfaces : Bag(Interface) =\r\n--\tself.parentCompleteComponentTypes->iterate(pt : CompleteComponentType; acc3 : Bag(Interface) = Bag{} |\r\n--\t\tacc3->union(pt.requiredRoles->iterate(r : RequiredRole; acc4 : Bag(Interface) = Bag{} |\r\n--\t\t\tacc4->union(r.requiredInterface.parentInterface->asBag()) -- asBag required to allow Set operations #\r\n--\t\t))\r\n--\t)->union( -- union with anchestors found in former recursion #\r\n--\t\tself.parentCompleteComponentTypes->iterate(pt : CompleteComponentType; acc5 : Bag(Interface) = Bag{} |\r\n--\t\t\tacc5->union(pt.requiredRoles->iterate(r : RequiredRole; acc6 : Bag(Interface) = Bag{} |\r\n--\t\t\t\tacc6->union(r.requiredInterface.parentInterface.anchestorInterfaces) --already Set/Bag\r\n--\t\t\t))\r\n--\t\t)\r\n--\t) in\r\n-- Directly required interfaces need to be a subset of required anchestorInterfaces of Supertype #\r\n--anchestorInterfaces.identifier.id->includesAll(\r\n--\tself.requiredRoles->iterate(p : RequiredRole; acc7 : Bag(String) = Bag{} |\r\n--\t\tacc7->union(p.requiredInterface.identifier.id->asBag())\r\n--\t)\t\r\n--)\r\ntrue"
protected static final String
"self.protocols__Interface->forAll(p1, p2 |\r\np1.protocolTypeID <> p2.protocolTypeID)\r\n"
protected static final String
"-- full signature has to be unique \r\n-- (use of ocl-tupels) #\r\nlet sigs : Bag(\r\n\t-- parameters: Sequence of DataType, NOT name #\r\n\t-- exceptions have not to be considered #\r\n\tTuple(returnType : DataType, serviceName : String, parameters : Sequence(DataType) ) \r\n) = \r\nself.signatures__OperationInterface->collect(sig : OperationSignature |\r\n\tTuple{\r\n\t\treturnType : DataType = sig.returnType__OperationSignature,\r\n\t\tserviceName : String = sig.entityName,\r\n\t\tparameters : Sequence(DataType) = sig.parameters__OperationSignature.dataType__Parameter\r\n\t}\r\n)\r\nin\r\nsigs->isUnique(s|s)"
protected static final String
"self.parameters__OperationSignature->isUnique(p : Parameter |\r\n\tp.parameterName\r\n)"
protected static final String
"self.oclIsTypeOf(ProvidesComponentType)\r\nimplies\r\nself.providedRoles_InterfaceProvidingEntity->size() >= 1"
protected static final String
"self.components__Repository->size()<>0 or self.dataTypes__Repository->size()<>0 or self.interfaces__Repository->size()<>0 or self.failureTypes__Repository->size()<>0"
-
Modifier and TypeConstant FieldValue
public static final int
4
public static final int
3
public static final int
2
public static final int
0
public static final int
4
public static final int
1
public static final int
5
public static final int
6
public static final String
"Copyright 2005-2017 by palladiosimulator.org"
public static final String
"resourceenvironment"
public static final String
"resourceenvironment"
public static final String
"http://palladiosimulator.org/PalladioComponentModel/ResourceEnvironment/5.2"
public static final int
5
public static final int
5
public static final int
0
public static final int
2
public static final int
1
public static final int
7
public static final int
6
public static final int
10
public static final int
3
public static final int
11
public static final int
8
public static final int
4
public static final int
9
public static final int
12
public static final int
1
public static final int
3
public static final int
2
public static final int
1
public static final int
0
public static final int
4
public static final int
5
public static final int
3
public static final int
5
public static final int
0
public static final int
2
public static final int
1
public static final int
7
public static final int
6
public static final int
3
public static final int
8
public static final int
4
public static final int
9
public static final int
2
public static final int
2
public static final int
1
public static final int
6
public static final int
0
public static final int
4
public static final int
5
public static final int
3
public static final int
7
public static final int
0
public static final int
0
public static final int
1
public static final int
2
public static final int
3
-
Modifier and TypeConstant FieldValue
public static final String
"Copyright 2005-2017 by palladiosimulator.org"
protected static final double
0.0
-
Modifier and TypeConstant FieldValue
public static final String
"Copyright 2005-2017 by palladiosimulator.org"
protected static final double
0.0
protected static final double
0.0
protected static final int
1
protected static final boolean
false
-
Modifier and TypeConstant FieldValue
public static final int
5
public static final int
1
public static final int
0
public static final int
5
public static final int
3
public static final int
4
public static final int
2
public static final int
6
public static final String
"Copyright 2005-2017 by palladiosimulator.org"
public static final String
"resourcetype"
public static final String
"resourcetype"
public static final String
"http://palladiosimulator.org/PalladioComponentModel/ResourceType/5.2"
public static final int
1
public static final int
1
public static final int
5
public static final int
0
public static final int
3
public static final int
4
public static final int
2
public static final int
6
public static final int
6
public static final int
1
public static final int
0
public static final int
2
public static final int
3
public static final int
4
public static final int
3
public static final int
2
public static final int
0
public static final int
1
public static final int
3
public static final int
0
public static final int
1
public static final int
0
public static final int
2
public static final int
4
public static final int
3
public static final int
5
public static final int
2
public static final int
1
public static final int
0
public static final int
3
public static final int
4
public static final int
2
public static final int
5
public static final int
4
public static final int
1
public static final int
0
public static final int
2
public static final int
3
-
Modifier and TypeConstant FieldValue
public static final String
"Copyright 2005-2017 by palladiosimulator.org"
protected static final int
0
-
Modifier and TypeConstant FieldValue
public static final int
2
public static final int
1
public static final int
0
public static final int
2
public static final int
4
public static final int
3
public static final int
5
public static final int
5
public static final int
2
public static final int
3
public static final int
1
public static final int
0
public static final int
4
public static final int
1
public static final int
1
public static final int
0
public static final int
6
public static final int
2
public static final int
7
public static final int
5
public static final int
4
public static final int
3
public static final int
8
public static final int
4
public static final int
8
public static final int
1
public static final int
0
public static final int
6
public static final int
2
public static final int
7
public static final int
5
public static final int
4
public static final int
3
public static final int
9
public static final int
20
public static final int
1
public static final int
0
public static final int
6
public static final int
8
public static final int
2
public static final int
7
public static final int
5
public static final int
4
public static final int
3
public static final int
9
public static final int
10
public static final int
11
public static final int
6
public static final int
8
public static final int
1
public static final int
0
public static final int
6
public static final int
2
public static final int
7
public static final int
5
public static final int
4
public static final int
3
public static final int
9
public static final int
7
public static final int
1
public static final int
0
public static final int
2
public static final int
3
public static final int
18
public static final int
1
public static final int
0
public static final int
2
public static final int
3
public static final int
4
public static final int
21
public static final int
8
public static final int
1
public static final int
0
public static final int
6
public static final int
9
public static final int
2
public static final int
7
public static final int
5
public static final int
4
public static final int
3
public static final int
10
public static final String
"Copyright 2005-2017 by palladiosimulator.org"
public static final int
25
public static final int
1
public static final int
6
public static final int
0
public static final int
5
public static final int
2
public static final int
4
public static final int
7
public static final int
3
public static final int
8
public static final String
"seff"
public static final String
"seff"
public static final String
"http://palladiosimulator.org/PalladioComponentModel/SEFF/5.2"
public static final int
17
public static final int
8
public static final int
1
public static final int
7
public static final int
0
public static final int
5
public static final int
2
public static final int
4
public static final int
10
public static final int
6
public static final int
9
public static final int
3
public static final int
11
public static final int
14
public static final int
8
public static final int
1
public static final int
0
public static final int
6
public static final int
2
public static final int
7
public static final int
5
public static final int
4
public static final int
3
public static final int
9
public static final int
10
public static final int
15
public static final int
2
public static final int
1
public static final int
5
public static final int
0
public static final int
3
public static final int
4
public static final int
6
public static final int
22
public static final int
2
public static final int
3
public static final int
4
public static final int
1
public static final int
0
public static final int
5
public static final int
26
public static final int
1
public static final int
0
public static final int
6
public static final int
8
public static final int
2
public static final int
7
public static final int
5
public static final int
4
public static final int
3
public static final int
9
public static final int
24
public static final int
9
public static final int
1
public static final int
0
public static final int
7
public static final int
2
public static final int
3
public static final int
8
public static final int
6
public static final int
5
public static final int
4
public static final int
10
public static final int
13
public static final int
8
public static final int
1
public static final int
0
public static final int
6
public static final int
9
public static final int
2
public static final int
7
public static final int
5
public static final int
4
public static final int
3
public static final int
10
public static final int
19
public static final int
2
public static final int
3
public static final int
4
public static final int
1
public static final int
0
public static final int
5
public static final int
12
public static final int
1
public static final int
0
public static final int
6
public static final int
8
public static final int
2
public static final int
7
public static final int
5
public static final int
4
public static final int
3
public static final int
9
public static final int
3
public static final int
2
public static final int
1
public static final int
0
public static final int
3
public static final int
4
public static final int
11
public static final int
2
public static final int
1
public static final int
0
public static final int
RESOURCE_DEMANDING_INTERNAL_BEHAVIOUR__RESOURCE_DEMANDING_SEFF_RESOURCE_DEMANDING_INTERNAL_BEHAVIOUR
4
public static final int
3
public static final int
5
public static final int
10
public static final int
5
public static final int
4
public static final int
3
public static final int
2
public static final int
0
public static final int
7
public static final int
1
public static final int
6
public static final int
8
public static final int
9
public static final int
2
public static final int
1
public static final int
0
public static final int
3
public static final int
23
public static final int
1
public static final int
0
public static final int
6
public static final int
8
public static final int
2
public static final int
7
public static final int
5
public static final int
4
public static final int
3
public static final int
9
public static final int
8
public static final int
1
public static final int
0
public static final int
6
public static final int
2
public static final int
7
public static final int
5
public static final int
4
public static final int
3
public static final int
8
public static final int
0
public static final int
1
public static final int
0
public static final int
6
public static final int
2
public static final int
7
public static final int
5
public static final int
4
public static final int
3
public static final int
8
public static final int
16
public static final int
2
public static final int
0
public static final int
1
public static final int
3
public static final int
4
-
Modifier and TypeConstant FieldValue
public static final String
"Copyright 2005-2017 by palladiosimulator.org"
protected static final boolean
false
protected static final double
0.0
-
Modifier and TypeConstant FieldValue
public static final String
"Copyright 2005-2017 by palladiosimulator.org"
protected static final int
0
-
Modifier and TypeConstant FieldValue
protected static final double
0.0
public static final String
"Copyright 2005-2017 by palladiosimulator.org"
-
Modifier and TypeConstant FieldValue
public static final String
"Copyright 2005-2017 by palladiosimulator.org"
public static final String
"seff_performance"
public static final String
"seff_performance"
public static final String
"http://palladiosimulator.org/PalladioComponentModel/SEFF/SEFF_Performance/5.2"
public static final int
0
public static final int
5
public static final int
1
public static final int
0
public static final int
2
public static final int
4
public static final int
6
public static final int
3
public static final int
7
public static final int
2
public static final int
2
public static final int
1
public static final int
0
public static final int
3
public static final int
1
public static final int
3
public static final int
1
public static final int
0
public static final int
2
public static final int
6
public static final int
4
public static final int
5
public static final int
7
-
Modifier and TypeConstant FieldValue
public static final String
"Copyright 2005-2017 by palladiosimulator.org"
protected static final int
0
public static final String
"org.palladiosimulator.pcm.seff.seff_performance"
protected static final String
"self.oclAsType(ecore::EObject)->closure(eContainer())->select( entity | entity.oclIsKindOf(pcm::core::entity::InterfaceRequiringEntity)).oclAsType(pcm::core::entity::InterfaceRequiringEntity).requiredRoles_InterfaceRequiringEntity->includes(self.requiredRole__InfrastructureCall)"
protected static final String
"signature__InfrastructureCall.infrastructureInterface__InfrastructureSignature = requiredRole__InfrastructureCall.requiredInterface__InfrastructureRequiredRole"
protected static final String
"self.action__InfrastructureCall.infrastructureCall__Action->select(call | call.requiredRole__InfrastructureCall = self.requiredRole__InfrastructureCall and call.signature__InfrastructureCall=self.signature__InfrastructureCall)->size() = 1"
protected static final String
"self.action_ParametricResourceDemand.resourceDemand_Action->select(prd | prd.requiredResource_ParametricResourceDemand=self.requiredResource_ParametricResourceDemand)->size() = 1"
protected static final String
"self.oclAsType(ecore::EObject)->closure(eContainer())->select( entity | entity.oclIsKindOf(pcm::core::entity::ResourceInterfaceRequiringEntity)).oclAsType(pcm::core::entity::ResourceInterfaceRequiringEntity).resourceRequiredRoles__ResourceInterfaceRequiringEntity->includes(self.resourceRequiredRole__ResourceCall)"
protected static final String
"self.resourceRequiredRole__ResourceCall.requiredResourceInterface__ResourceRequiredRole.resourceSignatures__ResourceInterface->includes(self.signature__ResourceCall)"
protected static final String
"self.action__ResourceCall.resourceCall__Action->select(call | call.resourceRequiredRole__ResourceCall=self.resourceRequiredRole__ResourceCall and call.signature__ResourceCall=self.signature__ResourceCall)->size() = 1"
-
Modifier and TypeConstant FieldValue
public static final String
"Copyright 2005-2017 by palladiosimulator.org"
public static final String
"seff_reliability"
public static final String
"seff_reliability"
public static final String
"http://palladiosimulator.org/PalladioComponentModel/SEFF/SEFF_Reliability/5.2"
public static final int
2
public static final int
1
public static final int
2
public static final int
0
public static final int
3
public static final int
1
public static final int
1
public static final int
0
public static final int
6
public static final int
2
public static final int
8
public static final int
9
public static final int
7
public static final int
5
public static final int
4
public static final int
3
public static final int
0
public static final int
4
public static final int
3
public static final int
1
public static final int
6
public static final int
2
public static final int
0
public static final int
7
public static final int
5
public static final int
8
public static final int
10
-
Modifier and TypeConstant FieldValue
public static final String
"Copyright 2005-2017 by palladiosimulator.org"
protected static final int
0
public static final String
"org.palladiosimulator.pcm.seff.seff_reliability"
protected static final String
"self.primaryBehaviour__RecoveryAction <> null"
protected static final String
"not self.recoveryAction__RecoveryActionBehaviour.recoveryActionBehaviours__RecoveryAction->\r\n\texists(x,y:RecoveryActionBehaviour | x<>y\r\n\t\tand x.failureHandlingAlternatives__RecoveryActionBehaviour->includes(self)\r\n\t\tand y.failureHandlingAlternatives__RecoveryActionBehaviour->includes(self))"
protected static final String
"not self.failureHandlingAlternatives__RecoveryActionBehaviour->includes(self)"
protected static final String
"not self.failureHandlingAlternatives__RecoveryActionBehaviour->\r\n\texists(x,y:RecoveryActionBehaviour | x<>y and\r\n\tx.failureTypes_FailureHandlingEntity->\r\n\t\texists(f:pcm::reliability::FailureType |\r\n\t\ty.failureTypes_FailureHandlingEntity->includes(f)))"
-
Modifier and TypeConstant FieldValue
protected static final String
"self.timeoutValue.oclAsType(Real) >= 0.0"
protected static final String
"if self.branches_Branch->forAll(oclIsTypeOf(ProbabilisticBranchTransition)) then \r\n\tself.branches_Branch->select(pbt|pbt.oclIsTypeOf(ProbabilisticBranchTransition))->collect(pbt|pbt.oclAsType(ProbabilisticBranchTransition).branchProbability)->sum() > 0.9999 \r\n\tand self.branches_Branch->select(pbt|pbt.oclIsTypeOf(ProbabilisticBranchTransition))->collect(pbt|pbt.oclAsType(ProbabilisticBranchTransition).branchProbability)->sum() < 1.0001 \r\n\telse true \r\nendif"
protected static final String
"self.branches_Branch->forAll(bt|bt.oclIsTypeOf(ProbabilisticBranchTransition)) \r\nor self.branches_Branch->forAll(bt|bt.oclIsTypeOf(GuardedBranchTransition))"
public static final String
"Copyright 2005-2017 by palladiosimulator.org"
protected static final int
1
public static final String
"org.palladiosimulator.pcm.seff"
protected static final String
"self.oclAsType(ecore::EObject)->closure(eContainer())->select( entity | entity.oclIsKindOf(pcm::core::entity::InterfaceRequiringEntity)).oclAsType(pcm::core::entity::InterfaceRequiringEntity).requiredRoles_InterfaceRequiringEntity->includes(self.role_ExternalService)"
protected static final String
"self.role_ExternalService.requiredInterface__OperationRequiredRole.signatures__OperationInterface->includes(self.calledService_ExternalService)"
protected static final String
INTERNAL_ACTION__MULTIPLE_INTERNAL_OCCURRENCE_DESCRIPTIONS_PER_FAILURE_TYPE_NOT_ALLOWED__EEXPRESSION
"self.internalFailureOccurrenceDescriptions__InternalAction->forAll(x:pcm::reliability::InternalFailureOccurrenceDescription,y:pcm::reliability::InternalFailureOccurrenceDescription | x<>y implies x.softwareInducedFailureType__InternalFailureOccurrenceDescription <> y.softwareInducedFailureType__InternalFailureOccurrenceDescription )\r\n"
protected static final String
"self.internalFailureOccurrenceDescriptions__InternalAction.failureProbability.oclAsType(Real)->sum()<=1.0\r\n"
protected static final String
"not self.steps_Behaviour->select(s|not s.oclIsTypeOf(StartAction) and not s.oclIsTypeOf(StopAction))->exists(a|a.oclAsType(AbstractAction).predecessor_AbstractAction.oclIsUndefined()) and not self.steps_Behaviour->select(s|not s.oclIsTypeOf(StartAction) and not s.oclIsTypeOf(StopAction))->exists(a|a.oclAsType(AbstractAction).successor_AbstractAction.oclIsUndefined())"
protected static final String
"self.steps_Behaviour->select(s|s.oclIsTypeOf(StartAction))->size() = 1"
protected static final String
"self.steps_Behaviour->select(s|s.oclIsTypeOf(StopAction))->size() = 1"
public static final int
1
protected static final String
"let describedService : pcm::repository::Signature = self.describedService__SEFF in\n not describedService.oclIsKindOf(pcm::repository::EventType) or\n let providedRoles : Set(pcm::repository::ProvidedRole) = self.basicComponent_ServiceEffectSpecification.providedRoles_InterfaceProvidingEntity in\n -- collect all directly provided interfaces\n let directlyProvidedInterfaces : Set(pcm::repository::Interface) = providedRoles->selectByKind(pcm::repository::SinkRole).eventGroup__SinkRole->selectByKind(pcm::repository::Interface)->asSet() in\n -- collect all provided interfaces including parent interfaces\n let providedInterfaces : Set(pcm::repository::Interface) = directlyProvidedInterfaces->closure(interface : pcm::repository::Interface | interface.parentInterfaces__Interface)->union(directlyProvidedInterfaces) in\n -- collect all provided signatures\n let providedSignatures : Set(pcm::repository::Signature) = providedInterfaces->selectByKind(pcm::repository::EventGroup).eventTypes__EventGroup->selectByKind(pcm::repository::Signature)->asSet() in\n -- compare signatures\n providedSignatures->includes(self.describedService__SEFF)"
protected static final String
"let describedService : repository::Signature = self.describedService__SEFF in\n not describedService.oclIsKindOf(repository::OperationSignature) or\n let providedRoles : Set(repository::ProvidedRole) = self.basicComponent_ServiceEffectSpecification.providedRoles_InterfaceProvidingEntity in\n -- collect all directly provided interfaces\n let directlyProvidedInterfaces : Set(repository::Interface) = providedRoles->selectByKind(repository::OperationProvidedRole).providedInterface__OperationProvidedRole->selectByKind(repository::Interface)->asSet() in\n -- collect all provided interfaces including parent interfaces\n let providedInterfaces : Set(repository::Interface) = directlyProvidedInterfaces->closure(interface : repository::Interface | interface.parentInterfaces__Interface)->union(directlyProvidedInterfaces) in\n -- collect all provided signatures\n let providedSignatures : Set(repository::Signature) = providedInterfaces->selectByKind(repository::OperationInterface).signatures__OperationInterface->selectByKind(repository::Signature)->asSet() in\n -- compare signatures\n providedSignatures->includes(self.describedService__SEFF)"
protected static final String
"self.predecessor_AbstractAction.oclIsUndefined()"
protected static final String
"self.successor_AbstractAction.oclIsUndefined()"
-
Modifier and TypeConstant FieldValue
public static final int
49
public static final int
4
public static final int
45
public static final int
34
public static final int
38
public static final int
26
public static final int
53
public static final int
46
public static final int
47
public static final int
16
public static final int
22
public static final int
33
public static final int
30
public static final int
31
public static final int
-1
public static final int
9
public static final int
48
public static final int
36
public static final int
7
public static final int
11
public static final int
23
public static final int
51
public static final int
50
public static final int
43
public static final int
27
public static final int
8
public static final int
12
public static final int
54
public static final int
24
public static final int
14
public static final int
17
public static final int
15
public static final int
19
public static final int
10
public static final int
20
public static final int
40
public static final int
5
public static final int
32
public static final int
13
public static final int
18
public static final int
25
public static final int
35
public static final int
28
public static final int
29
public static final int
21
public static final int
39
public static final int
55
public static final int
56
public static final int
37
public static final int
41
public static final int
44
public static final int
42
public static final int
52
public static final int
6
-
Modifier and TypeConstant FieldValue
public static final int
49
public static final int
4
public static final int
45
public static final int
34
public static final int
38
public static final int
26
public static final int
53
public static final int
46
public static final int
47
public static final int
16
public static final int
22
public static final int
33
public static final int
30
public static final int
31
public static final int
-1
public static final int
9
public static final int
48
public static final int
36
public static final int
7
public static final int
11
public static final int
23
public static final int
51
public static final int
50
public static final int
43
public static final int
27
public static final int
8
public static final int
12
public static final int
54
public static final int
24
public static final int
14
public static final int
17
public static final int
15
public static final int
19
public static final int
10
public static final int
20
public static final int
40
public static final int
5
public static final int
32
public static final int
13
public static final int
18
public static final int
25
public static final int
35
public static final int
28
public static final int
29
public static final int
21
public static final int
39
public static final int
55
public static final int
56
public static final int
37
public static final int
41
public static final int
44
public static final int
42
public static final int
52
public static final int
6
-
Modifier and TypeConstant FieldValue
public static final int
-1
public static final int
13
public static final int
7
public static final int
4
public static final int
9
public static final int
5
public static final int
6
public static final int
10
public static final int
11
public static final int
8
public static final int
12
public static final int
14
public static final int
15
public static final int
16
public static final int
17
public static final int
18
public static final int
19
public static final int
20
public static final int
21
public static final int
22
public static final int
23
public static final int
24
public static final int
25
public static final int
26
public static final int
27
public static final int
28
public static final int
29
public static final int
30
public static final int
31
public static final int
32
public static final int
33
public static final int
34
public static final int
35
public static final int
36
public static final int
37
public static final int
38
public static final int
39
public static final int
40
public static final int
41
public static final int
42
public static final int
43
public static final int
44
public static final int
45
public static final int
46
public static final int
47
public static final int
48
public static final int
49
-
Modifier and TypeConstant FieldValue
public static final int
-1
public static final int
13
public static final int
7
public static final int
4
public static final int
9
public static final int
5
public static final int
6
public static final int
10
public static final int
11
public static final int
8
public static final int
12
public static final int
14
public static final int
15
public static final int
16
public static final int
17
public static final int
18
public static final int
19
public static final int
20
public static final int
21
public static final int
22
public static final int
23
public static final int
24
public static final int
25
public static final int
26
public static final int
27
public static final int
28
public static final int
29
public static final int
30
public static final int
31
public static final int
32
public static final int
33
public static final int
34
public static final int
35
public static final int
36
public static final int
37
public static final int
38
public static final int
39
public static final int
40
public static final int
41
public static final int
42
public static final int
43
public static final int
44
public static final int
45
public static final int
46
public static final int
47
public static final int
48
public static final int
49
-
Modifier and TypeConstant FieldValue
public static final int
-1
public static final int
13
public static final int
6
public static final int
8
public static final int
9
public static final int
4
public static final int
5
public static final int
10
public static final int
11
public static final int
7
public static final int
12
public static final int
14
public static final int
15
public static final int
16
public static final int
17
public static final int
18
public static final int
19
public static final int
20
public static final int
21
public static final int
22
public static final int
23
public static final int
24
public static final int
25
public static final int
26
public static final int
27
public static final int
28
public static final int
29
public static final int
30
public static final int
31
public static final int
32
public static final int
33
public static final int
34
public static final int
35
public static final int
36
public static final int
37
public static final int
38
public static final int
39
public static final int
40
public static final int
41
public static final int
42
public static final int
43
public static final int
44
public static final int
45
public static final int
46
public static final int
47
public static final int
48
public static final int
49
-
Modifier and TypeConstant FieldValue
public static final int
-1
public static final int
13
public static final int
6
public static final int
8
public static final int
9
public static final int
4
public static final int
5
public static final int
10
public static final int
11
public static final int
7
public static final int
12
public static final int
14
public static final int
15
public static final int
16
public static final int
17
public static final int
18
public static final int
19
public static final int
20
public static final int
21
public static final int
22
public static final int
23
public static final int
24
public static final int
25
public static final int
26
public static final int
27
public static final int
28
public static final int
29
public static final int
30
public static final int
31
public static final int
32
public static final int
33
public static final int
34
public static final int
35
public static final int
36
public static final int
37
public static final int
38
public static final int
39
public static final int
40
public static final int
41
public static final int
42
public static final int
43
public static final int
44
public static final int
45
public static final int
46
public static final int
47
public static final int
48
public static final int
49
-
Modifier and TypeConstant FieldValue
public static final String
"Copyright 2005-2017 by palladiosimulator.org"
public static final String
"subsystem"
public static final String
"subsystem"
public static final String
"http://palladiosimulator.org/PalladioComponentModel/SubSystem/5.2"
public static final int
0
public static final int
2
public static final int
5
public static final int
1
public static final int
4
public static final int
0
public static final int
6
public static final int
9
public static final int
8
public static final int
3
public static final int
7
public static final int
10
-
Modifier and TypeConstant FieldValue
public static final String
"Copyright 2005-2017 by palladiosimulator.org"
public static final String
"system"
public static final String
"system"
public static final String
"http://palladiosimulator.org/PalladioComponentModel/System/5.2"
public static final int
0
public static final int
2
public static final int
5
public static final int
1
public static final int
4
public static final int
0
public static final int
6
public static final int
9
public static final int
8
public static final int
3
public static final int
7
public static final int
10
-
Modifier and TypeConstant FieldValue
public static final int
5
public static final int
1
public static final int
0
public static final int
3
public static final int
4
public static final int
2
public static final int
5
public static final int
8
public static final int
5
public static final int
1
public static final int
0
public static final int
3
public static final int
4
public static final int
2
public static final int
6
public static final int
7
public static final int
1
public static final int
0
public static final int
2
public static final int
3
public static final int
14
public static final int
1
public static final int
2
public static final int
0
public static final int
3
public static final String
"Copyright 2005-2017 by palladiosimulator.org"
public static final int
13
public static final int
1
public static final int
0
public static final int
3
public static final int
4
public static final int
2
public static final int
5
public static final int
6
public static final String
"usagemodel"
public static final String
"usagemodel"
public static final String
"http://palladiosimulator.org/PalladioComponentModel/UsageModel/5.2"
public static final int
4
public static final int
1
public static final int
0
public static final int
9
public static final int
6
public static final int
7
public static final int
3
public static final int
8
public static final int
5
public static final int
4
public static final int
2
public static final int
10
public static final int
9
public static final int
6
public static final int
1
public static final int
0
public static final int
5
public static final int
3
public static final int
4
public static final int
2
public static final int
7
public static final int
12
public static final int
1
public static final int
0
public static final int
2
public static final int
6
public static final int
5
public static final int
3
public static final int
1
public static final int
0
public static final int
4
public static final int
2
public static final int
6
public static final int
11
public static final int
1
public static final int
0
public static final int
3
public static final int
4
public static final int
2
public static final int
5
public static final int
10
public static final int
1
public static final int
0
public static final int
3
public static final int
4
public static final int
2
public static final int
5
public static final int
3
public static final int
0
public static final int
1
public static final int
2
public static final int
1
public static final int
1
public static final int
0
public static final int
3
public static final int
2
public static final int
4
public static final int
5
public static final int
2
public static final int
0
public static final int
1
public static final int
2
public static final int
3
public static final int
0
public static final int
0
public static final int
1
-
Modifier and TypeConstant FieldValue
protected static final double
0.0
public static final String
"Copyright 2005-2017 by palladiosimulator.org"
-
Modifier and TypeConstant FieldValue
public static final String
"Copyright 2005-2017 by palladiosimulator.org"
protected static final int
0
-
Modifier and TypeConstant FieldValue
public static final String
"Copyright 2005-2017 by palladiosimulator.org"
protected static final int
0
-
Modifier and TypeConstant FieldValue
protected static final String
"self->collect(branchTransitions_Branch.branchProbability)->sum() > 0.999 and self->collect(branchTransitions_Branch.branchProbability)->sum() <1.001"
protected static final String
"not self.population.oclIsUndefined() and self.population > 0"
protected static final String
"not self.thinkTime_ClosedWorkload.oclIsUndefined() and self.thinkTime_ClosedWorkload.specification <> \'\'"
public static final String
"Copyright 2005-2017 by palladiosimulator.org"
protected static final int
1
public static final String
"org.palladiosimulator.pcm.usagemodel"
protected static final String
"self.providedRole_EntryLevelSystemCall.providingEntity_ProvidedRole.oclIsTypeOf(pcm::system::System)"
protected static final String
ENTRY_LEVEL_SYSTEM_CALL__ENTRY_LEVEL_SYSTEM_CALL_SIGNATURE_MUST_MATCH_ITS_PROVIDED_ROLE__EEXPRESSION
"self.providedRole_EntryLevelSystemCall.providedInterface__OperationProvidedRole.signatures__OperationInterface->includes(self.operationSignature__EntryLevelSystemCall)"
protected static final String
"not self.interArrivalTime_OpenWorkload.oclIsUndefined() and self.interArrivalTime_OpenWorkload.specification <> \'\'"
protected static final String
"not self.actions_ScenarioBehaviour->select(s|not s.oclIsTypeOf(Start) and not s.oclIsTypeOf(Stop))->exists(a|a.oclAsType(AbstractUserAction).predecessor.oclIsUndefined()) and not self.actions_ScenarioBehaviour->select(s|not s.oclIsTypeOf(Start) and not s.oclIsTypeOf(Stop))->exists(a|a.oclAsType(AbstractUserAction).successor.oclIsUndefined())"
protected static final String
"self.actions_ScenarioBehaviour->select(s|s.oclIsTypeOf(Start))->size() = 1"
protected static final String
"self.actions_ScenarioBehaviour->select(s|s.oclIsTypeOf(Stop))->size() = 1"
public static final int
1
protected static final String
"self.predecessor.oclIsUndefined()"
protected static final String
"self.successor.oclIsUndefined()"
-
Modifier and TypeConstant FieldValue
public static final int
2
public static final int
3
public static final int
0
public static final int
4
public static final int
2
public static final int
1
public static final int
5
public static final int
8
public static final int
0
public static final int
1
public static final int
2
public static final int
0
public static final int
5
public static final int
0
public static final int
4
public static final int
2
public static final int
3
public static final int
1
public static final int
6
public static final int
1
public static final int
3
public static final int
0
public static final int
4
public static final int
2
public static final int
1
public static final int
5
public static final int
5
public static final int
0
public static final int
1
public static final String
"pcmmeasuringpoint"
public static final String
"pcmmeasuringpoint"
public static final String
"http://palladiosimulator.org/PCM/MeasuringPoint/1.0"
public static final int
15
public static final int
3
public static final int
0
public static final int
2
public static final int
1
public static final int
4
public static final int
18
public static final int
0
public static final int
1
public static final int
16
public static final int
3
public static final int
0
public static final int
2
public static final int
1
public static final int
4
public static final int
17
public static final int
0
public static final int
1
public static final int
9
public static final int
3
public static final int
0
public static final int
2
public static final int
1
public static final int
4
public static final int
10
public static final int
0
public static final int
1
public static final int
4
public static final int
1
public static final int
0
public static final int
2
public static final int
7
public static final int
0
public static final int
1
public static final int
21
public static final int
0
public static final int
3
public static final int
2
public static final int
1
public static final int
4
public static final int
22
public static final int
0
public static final int
1
public static final int
19
public static final int
0
public static final int
3
public static final int
2
public static final int
1
public static final int
4
public static final int
20
public static final int
0
public static final int
1
public static final int
11
public static final int
0
public static final int
5
public static final int
2
public static final int
4
public static final int
1
public static final int
3
public static final int
6
public static final int
12
public static final int
0
public static final int
1
public static final int
3
public static final int
0
public static final int
4
public static final int
2
public static final int
3
public static final int
1
public static final int
5
public static final int
6
public static final int
6
public static final int
0
public static final int
1
public static final int
13
public static final int
0
public static final int
2
public static final int
1
public static final int
3
public static final int
4
public static final int
14
public static final int
0
public static final int
1