blob: 4bafe181cdb3f8bc334c87d841661a3277afc888 [file] [log] [blame]
(object Petal
version 47
_written "Rose 8.0.0303.1400"
charSet 0)
(object Class_Category "InfrastructureLibrary"
is_unit TRUE
is_loaded TRUE
quid "3C9FFC9F01A8"
visible_categories (list visibility_relationship_list
(object Visibility_Relationship
quid "4048DAAF03B6"
supplier "Logical View::ecore"
quidu "39A5ED04004E"))
exportControl "Public"
logical_models (list unit_reference_list
(object Class_Category "Core"
quid "3C9FFCAA00D1"
exportControl "Public"
logical_models (list unit_reference_list
(object Class_Category "Abstractions"
quid "3C9FFCB502E0"
visible_categories (list visibility_relationship_list
(object Visibility_Relationship
quid "3DEE2BE80333"
stereotype "import"
supplier "Logical View::InfrastructureLibrary::Core::PrimitiveTypes"
quidu "3C9FFCC70354"))
exportControl "Public"
logical_models (list unit_reference_list
(object Class_Category "Ownerships"
quid "3CA002E901AD"
visible_categories (list visibility_relationship_list
(object Visibility_Relationship
quid "3DF78BD10282"
stereotype "import"
supplier "Logical View::InfrastructureLibrary::Core::Abstractions::Elements"
quidu "3DF78B7503C0"))
exportControl "Public"
logical_models (list unit_reference_list
(object Class "Element"
quid "3CADCAEE0250"
superclasses (list inheritance_relationship_list
(object Inheritance_Relationship
quid "3DF85A0F02AA"
supplier "Logical View::InfrastructureLibrary::Core::Abstractions::Elements::Element"
quidu "3DF78BA701E1"))
operations (list Operations
(object Operation "not_own_self"
quid "3E1069E801F0"
stereotype "inv"
result "Boolean"
concurrency "Sequential"
semantics (object Semantic_Info
PDL "not self.allOwnedElements()->includes(self)")
opExportControl "Implementation"
uid 0
quidu "3CA010AC0090")
(object Operation "has_owner"
quid "3E106A4402F7"
stereotype "inv"
result "Boolean"
concurrency "Sequential"
semantics (object Semantic_Info
PDL "self.mustBeOwned() implies owner->notEmpty()")
opExportControl "Implementation"
uid 0
quidu "3CA010AC0090")
(object Operation "allOwnedElements"
quid "3E106A8400E6"
stereotype "spec"
result "Set(Logical View::InfrastructureLibrary::Core::Abstractions::Ownerships::Element)"
concurrency "Sequential"
semantics (object Semantic_Info
PDL "ownedElement->union(ownedElement->collect(e | e.allOwnedElements()))")
opExportControl "Implementation"
uid 0)
(object Operation "mustBeOwned"
quid "3E106AD00153"
stereotype "spec"
result "Boolean"
concurrency "Sequential"
semantics (object Semantic_Info
PDL "true")
opExportControl "Implementation"
uid 0
quidu "3CA010AC0090"))
abstract TRUE)
(object Association "$UNNAMED$0"
quid "3CADCD8300C0"
roles (list role_list
(object Role "/ownedElement"
quid "3CADCD85009B"
label "/ownedElement"
supplier "Logical View::InfrastructureLibrary::Core::Abstractions::Ownerships::Element"
quidu "3CADCAEE0250"
client_cardinality (value cardinality "*")
Constraints "union"
Containment "By Value"
exportControl "Implementation"
is_navigable TRUE)
(object Role "/owner"
quid "3CADCD8500A5"
label "/owner"
supplier "Logical View::InfrastructureLibrary::Core::Abstractions::Ownerships::Element"
quidu "3CADCAEE0250"
client_cardinality (value cardinality "0..1")
Constraints "union"
exportControl "Implementation"
is_navigable TRUE
is_aggregate TRUE))))
logical_presentations (list unit_reference_list
(object ClassDiagram "Elements"
quid "3CA003DE01FF"
title "Elements"
zoom 100
max_height 28350
max_width 21600
origin_x 47
origin_y 144
items (list diagram_item_list
(object ClassView "Class" "Logical View::InfrastructureLibrary::Core::Abstractions::Ownerships::Element" @1
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
location (972, 936)
font (object Font
size 10
face "Arial"
bold FALSE
italics TRUE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object ItemLabel
Parent_View @1
location (738, 786)
nlines 1
max_width 469
justify 0
label "Element")
icon_style "Icon"
fill_color 16777215
quidu "3CADCAEE0250"
width 487
height 325)
(object AssociationViewNew "$UNNAMED$0" @2
location (1575, 919)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
stereotype TRUE
quidu "3CADCD8300C0"
roleview_list (list RoleViews
(object RoleView "/ownedElement" @3
Parent_View @2
location (903, 295)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @4
Parent_View @3
location (1390, 794)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
anchor 1
anchor_loc 1
nlines 1
max_width 303
justify 0
label "/ownedElement"
pctDist 0.614537
height 35
orientation 1)
stereotype TRUE
quidu "3CADCD85009B"
client @2
supplier @1
vertices (list Points
(1575, 919)
(1575, 826)
(1215, 826))
line_style 3
origin_attachment (1575, 919)
terminal_attachment (1215, 826)
label (object SegLabel @5
Parent_View @3
location (1253, 862)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
anchor 2
anchor_loc 1
nlines 1
max_width 15
justify 0
label "*"
pctDist 0.916800
height 34
orientation 0)
label (object SegLabel @6
Parent_View @3
location (1345, 852)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
anchor 3
anchor_loc 1
nlines 1
max_width 132
justify 0
label "{union}"
pctDist 0.713969
height 24
orientation 0))
(object RoleView "/owner" @7
Parent_View @2
location (903, 295)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @8
Parent_View @7
location (1308, 966)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
anchor 1
anchor_loc 1
nlines 1
max_width 140
justify 0
label "/owner"
pctDist 0.792952
height 45
orientation 1)
stereotype TRUE
quidu "3CADCD8500A5"
client @2
supplier @1
vertices (list Points
(1575, 919)
(1575, 1008)
(1215, 1008))
line_style 3
origin_attachment (1575, 919)
terminal_attachment (1215, 1008)
label (object SegLabel @9
Parent_View @7
location (1274, 1053)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
anchor 2
anchor_loc 1
nlines 1
max_width 112
justify 0
label "0..1"
pctDist 0.870400
height 43
orientation 0)
label (object SegLabel @10
Parent_View @7
location (1375, 1052)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
anchor 3
anchor_loc 1
nlines 1
max_width 132
justify 0
label "{union}"
pctDist 0.645233
height 42
orientation 0))))
(object ClassView "Class" "Logical View::InfrastructureLibrary::Core::Abstractions::Elements::Element" @11
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
location (972, 546)
font (object Font
size 10
face "Arial"
bold FALSE
italics TRUE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object ItemLabel
Parent_View @11
location (847, 496)
nlines 1
max_width 251
justify 0
label "Element")
icon_style "Icon"
line_color 12632256
fill_color 16777215
quidu "3DF78BA701E1"
width 269
height 125
annotation 8)
(object InheritView "" @12
stereotype TRUE
quidu "3DF85A0F02AA"
client @1
supplier @11
line_style 3
origin_attachment (969, 774)
terminal_attachment (969, 608))))))
(object Class_Category "Namespaces"
quid "3CA002FD0120"
visible_categories (list visibility_relationship_list
(object Visibility_Relationship
quid "3DE6A4350048"
stereotype "import"
supplier "Logical View::InfrastructureLibrary::Core::Abstractions::Ownerships"
quidu "3CA002E901AD"))
exportControl "Public"
logical_models (list unit_reference_list
(object Class "NamedElement"
quid "3CA0071C02FD"
superclasses (list inheritance_relationship_list
(object Inheritance_Relationship
quid "3CADD38B00D4"
supplier "Logical View::InfrastructureLibrary::Core::Abstractions::Ownerships::Element"
quidu "3CADCAEE0250"))
operations (list Operations
(object Operation "no_name"
quid "3E1063920306"
stereotype "inv"
result "Boolean"
concurrency "Sequential"
semantics (object Semantic_Info
PDL
|self.name->isEmpty() or self.allNamespaces()->select(ns | ns.name->isEmpty())->notEmpty()
| implies self.qualifiedName->isEmpty()
)
opExportControl "Implementation"
uid 0
quidu "3CA010AC0090")
(object Operation "qualified_name"
quid "3E10641200D9"
stereotype "inv"
result "Boolean"
concurrency "Sequential"
semantics (object Semantic_Info
PDL
|(self.name->notEmpty() and self.allNamespaces()->select(ns | ns.name->isEmpty())->isEmpty()) implies
|self.qualifiedName =
| self.allNamespaces()->iterate( ns : Namespace; result: String = self.name |
| ns.name->union(self.separator())->union(result))
)
opExportControl "Implementation"
uid 0
quidu "3CA010AC0090")
(object Operation "allNamespaces"
quid "3E10644F034E"
stereotype "spec"
result "Sequence(Logical View::InfrastructureLibrary::Core::Abstractions::Namespaces::Namespace)"
concurrency "Sequential"
semantics (object Semantic_Info
PDL
|if self.namespace->isEmpty()
|then Sequence{}
|else self.namespace.allNamespaces()->prepend(self.namespace)
|endif
)
opExportControl "Implementation"
uid 0)
(object Operation "isDistinguishableFrom"
quid "3E1064C70329"
stereotype "spec"
parameters (list Parameters
(object Parameter "n"
quid "3E1064E3031F"
type
|"Logical View::InfrastructureLibrary::Core::Abstractions::Namespaces::NamedElement"
)
(object Parameter "ns"
quid "3E1064F402E7"
type
|"Logical View::InfrastructureLibrary::Core::Abstractions::Namespaces::Namespace"
))
result "Boolean"
concurrency "Sequential"
semantics (object Semantic_Info
PDL
|if self.oclIsKindOf(n.oclType) or n.oclIsKindOf(self.oclType)
|then ns.getNamesOfMember(self)->intersection(ns.getNamesOfMember(n))->isEmpty()
|else true
|endif
)
opExportControl "Implementation"
uid 0
quidu "3CA010AC0090")
(object Operation "separator"
quid "3E10653C0010"
stereotype "spec"
result "String"
concurrency "Sequential"
semantics (object Semantic_Info
PDL "'::'")
opExportControl "Implementation"
uid 0
quidu "3CA010B103C3")
(object Operation "qualifiedName"
quid "3E1065EF023E"
stereotype "spec"
result "[Logical View::InfrastructureLibrary::Core::PrimitiveTypes::String]"
concurrency "Sequential"
semantics (object Semantic_Info
PDL
|if self.name->notEmpty() and self.allNamespaces()->select(ns | ns.name->isEmpty())->isEmpty()
|then
| self.allNamespaces()->iterate( ns : Namespace; result: String = self.name | ns.name->union(self.separator())->union(result))
|else
| Set{}
|endif
)
opExportControl "Implementation"
uid 0))
class_attributes (list class_attribute_list
(object ClassAttribute "name"
quid "3CA0080E03C3"
stereotype "0..1"
type "String"
quidu "3CA010B103C3"
exportControl "Public")
(object ClassAttribute "qualifiedName"
quid "3CA008400375"
stereotype "0..1"
type "String"
quidu "3CA010B103C3"
exportControl "Public"
derived TRUE))
abstract TRUE)
(object Class "Namespace"
quid "3CA0072700FA"
superclasses (list inheritance_relationship_list
(object Inheritance_Relationship
quid "3CA00777024A"
supplier "Logical View::InfrastructureLibrary::Core::Abstractions::Namespaces::NamedElement"
quidu "3CA0071C02FD"))
operations (list Operations
(object Operation "members_are_distinguishable"
quid "3E10689802AB"
stereotype "inv"
result "Boolean"
concurrency "Sequential"
semantics (object Semantic_Info
PDL "membersAreDistinguishable()")
opExportControl "Implementation"
uid 0
quidu "3CA010AC0090")
(object Operation "getNamesOfMember"
quid "3E1068D4021B"
stereotype "spec"
parameters (list Parameters
(object Parameter "element"
quid "3E1068FF0064"
type "NamedElement"
quidu "3CA0071C02FD"))
result "Set(Logical View::InfrastructureLibrary::Core::PrimitiveTypes::String)"
concurrency "Sequential"
semantics (object Semantic_Info
PDL "if member->includes(element) then Set{}->including(element.name) else Set{} endif")
opExportControl "Implementation"
uid 0)
(object Operation "membersAreDistinguishable"
quid "3E106939005E"
stereotype "spec"
result "Boolean"
concurrency "Sequential"
semantics (object Semantic_Info
PDL
|self.member->forAll( memb |
| self.member->excluding(memb)->forAll(other |
| memb.isDistinguishableFrom(other, self)))
)
opExportControl "Implementation"
uid 0
quidu "3CA010AC0090"))
abstract TRUE)
(object Association "$UNNAMED$1"
quid "3CA008A20037"
roles (list role_list
(object Role "/ownedMember"
quid "3CA008A20358"
label "/ownedMember"
supplier "Logical View::InfrastructureLibrary::Core::Abstractions::Namespaces::NamedElement"
quidu "3CA0071C02FD"
client_cardinality (value cardinality "*")
Constraints
|subsets ownedElement,
|subsets member,
|union
Containment "By Value"
exportControl "Implementation"
is_navigable TRUE)
(object Role "/namespace"
quid "3CA008A2036C"
label "/namespace"
supplier "Logical View::InfrastructureLibrary::Core::Abstractions::Namespaces::Namespace"
quidu "3CA0072700FA"
client_cardinality (value cardinality "0..1")
Constraints
|subsets owner,
|union
exportControl "Implementation"
is_navigable TRUE
is_aggregate TRUE)))
(object Association "$UNNAMED$2"
quid "3CA009830275"
roles (list role_list
(object Role "/member "
quid "3CA0098401B9"
label "/member "
supplier "Logical View::InfrastructureLibrary::Core::Abstractions::Namespaces::NamedElement"
quidu "3CA0071C02FD"
client_cardinality (value cardinality "*")
Constraints "union"
exportControl "Implementation"
is_navigable TRUE)
(object Role "$UNNAMED$3"
quid "3CA0098401CD"
supplier "Logical View::InfrastructureLibrary::Core::Abstractions::Namespaces::Namespace"
quidu "3CA0072700FA"))))
logical_presentations (list unit_reference_list
(object ClassDiagram "Namespaces"
quid "3CA007130051"
title "Namespaces"
zoom 100
max_height 28350
max_width 21600
origin_x 1013
origin_y 13
items (list diagram_item_list
(object ClassView "Class" "Logical View::InfrastructureLibrary::Core::Abstractions::Ownerships::Element" @13
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
location (1164, 120)
font (object Font
size 10
face "Arial"
bold FALSE
italics TRUE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object ItemLabel
Parent_View @13
location (970, 57)
nlines 1
max_width 388
justify 0
label "Element")
icon_style "Icon"
line_color 12632256
fill_color 16777215
quidu "3CADCAEE0250"
width 406
height 150
annotation 8)
(object ClassView "Class" "Logical View::InfrastructureLibrary::Core::Abstractions::Namespaces::NamedElement" @14
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1155, 535)
font (object Font
size 10
face "Arial"
bold FALSE
italics TRUE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object ItemLabel
Parent_View @14
location (877, 435)
nlines 1
max_width 557
justify 0
label "NamedElement")
icon_style "Icon"
quidu "3CA0071C02FD"
width 575
height 225)
(object ClassView "Class" "Logical View::InfrastructureLibrary::Core::Abstractions::Namespaces::Namespace" @15
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1152, 1158)
font (object Font
size 10
face "Arial"
bold FALSE
italics TRUE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object ItemLabel
Parent_View @15
location (877, 1083)
nlines 1
max_width 551
justify 0
label "Namespace")
icon_style "Icon"
quidu "3CA0072700FA"
width 569
height 175
annotation 8)
(object AssociationViewNew "$UNNAMED$1" @16
location (916, 859)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
stereotype TRUE
quidu "3CA008A20037"
roleview_list (list RoleViews
(object RoleView "/ownedMember" @17
Parent_View @16
location (160, -287)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @18
Parent_View @17
location (750, 700)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
anchor 1
anchor_loc 1
nlines 1
max_width 289
justify 0
label "/ownedMember"
pctDist 0.750000
height 167
orientation 0)
stereotype TRUE
quidu "3CA008A20358"
client @16
supplier @14
line_style 3
origin_attachment (916, 859)
terminal_attachment (916, 647)
label (object SegLabel @19
Parent_View @17
location (943, 714)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
anchor 2
anchor_loc 1
nlines 1
max_width 15
justify 0
label "*"
pctDist 0.688679
height 27
orientation 1)
label (object SegLabel @20
Parent_View @17
location (659, 800)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
anchor 3
anchor_loc 1
nlines 3
max_width 462
justify 0
label
|{subsets ownedElement,
|subsets member,
|union}
pctDist 0.276995
height 258
orientation 0))
(object RoleView "/namespace" @21
Parent_View @16
location (160, -287)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @22
Parent_View @21
location (784, 952)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
anchor 1
anchor_loc 1
nlines 1
max_width 238
justify 0
label "/namespace"
pctDist 0.436620
height 133
orientation 1)
stereotype TRUE
quidu "3CA008A2036C"
client @16
supplier @15
line_style 3
origin_attachment (916, 859)
terminal_attachment (916, 1071)
label (object SegLabel @23
Parent_View @21
location (969, 992)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
anchor 2
anchor_loc 1
nlines 1
max_width 15
justify 0
label "0..1"
pctDist 0.629108
height 53
orientation 0)
label (object SegLabel @24
Parent_View @21
location (695, 1036)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
anchor 3
anchor_loc 1
nlines 2
max_width 309
justify 0
label
|{subsets owner,
|union}
pctDist 0.835681
height 222
orientation 1))))
(object AssociationViewNew "$UNNAMED$2" @25
location (1206, 858)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
stereotype TRUE
quidu "3CA009830275"
roleview_list (list RoleViews
(object RoleView "/member " @26
Parent_View @25
location (450, -288)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @27
Parent_View @26
location (1113, 715)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
anchor 1
anchor_loc 1
nlines 1
max_width 179
justify 0
label "/member "
pctDist 0.679245
height 94
orientation 0)
stereotype TRUE
quidu "3CA0098401B9"
client @25
supplier @14
line_style 3
origin_attachment (1206, 858)
terminal_attachment (1206, 647)
label (object SegLabel @28
Parent_View @26
location (1236, 722)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
anchor 2
anchor_loc 1
nlines 1
max_width 15
justify 0
label "*"
pctDist 0.650943
height 30
orientation 1)
label (object SegLabel @29
Parent_View @26
location (1141, 764)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
anchor 3
anchor_loc 1
nlines 1
max_width 132
justify 0
label "{union}"
pctDist 0.443396
height 66
orientation 0))
(object RoleView "$UNNAMED$3" @30
Parent_View @25
location (450, -288)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
stereotype TRUE
quidu "3CA0098401CD"
client @25
supplier @15
line_style 3
origin_attachment (1206, 858)
terminal_attachment (1206, 1070))))
(object InheritView "" @31
stereotype TRUE
quidu "3CADD38B00D4"
client @14
supplier @13
line_style 3
origin_attachment (1156, 423)
terminal_attachment (1156, 195))
(object Label @32
location (1128, 498)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
nlines 1
max_width 119
label "[0..1]")
(object Label @33
location (1302, 546)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
nlines 1
max_width 119
label "[0..1]")
(object InheritTreeView "" @34
location (1394, 882)
fill_color 16777215
supplier @14
vertices (list Points
(1394, 882)
(1394, 647)))
(object InheritView "" @35
stereotype TRUE
quidu "3CA00777024A"
client @15
supplier @14
line_style 3
origin_attachment (1394, 1070)
terminal_attachment (1394, 882)
drawSupplier @34)))))
(object Class_Category "Classifiers"
quid "3CA003360013"
visible_categories (list visibility_relationship_list
(object Visibility_Relationship
quid "3CA00E5700BA"
supplier "Logical View::InfrastructureLibrary::Core::Abstractions::Ownerships"
quidu "3CA002E901AD")
(object Visibility_Relationship
quid "3DE6A3270343"
stereotype "import"
supplier "Logical View::InfrastructureLibrary::Core::Abstractions::Namespaces"
quidu "3CA002FD0120"))
exportControl "Public"
logical_models (list unit_reference_list
(object Class "Classifier"
quid "3CA00A2A018F"
superclasses (list inheritance_relationship_list
(object Inheritance_Relationship
quid "3CA00B0C03CF"
supplier "Logical View::InfrastructureLibrary::Core::Abstractions::Namespaces::Namespace"
quidu "3CA0072700FA"))
operations (list Operations
(object Operation "allFeatures"
quid "3E118E370051"
stereotype "spec"
result "Set(Logical View::InfrastructureLibrary::Core::Abstractions::Classifiers::Feature)"
concurrency "Sequential"
semantics (object Semantic_Info
PDL "member->select(oclIsKindOf(Feature))")
opExportControl "Implementation"
uid 0))
abstract TRUE)
(object Class "Feature"
quid "3CA00A3900A0"
superclasses (list inheritance_relationship_list
(object Inheritance_Relationship
quid "3CADD687034A"
supplier "Logical View::InfrastructureLibrary::Core::Abstractions::Namespaces::NamedElement"
quidu "3CA0071C02FD"))
abstract TRUE)
(object Association "$UNNAMED$4"
quid "3CA00B91036C"
roles (list role_list
(object Role "/featuringClassifier"
quid "3CA00B920183"
label "/featuringClassifier"
supplier "Logical View::InfrastructureLibrary::Core::Abstractions::Classifiers::Classifier"
quidu "3CA00A2A018F"
client_cardinality (value cardinality "*")
Constraints "union"
exportControl "Implementation"
is_navigable TRUE)
(object Role "/feature"
quid "3CA00B92018D"
label "/feature"
supplier "Logical View::InfrastructureLibrary::Core::Abstractions::Classifiers::Feature"
quidu "3CA00A3900A0"
client_cardinality (value cardinality "*")
Constraints
|subsets member,
|union
exportControl "Implementation"
is_navigable TRUE))))
logical_presentations (list unit_reference_list
(object ClassDiagram "Classifiers"
quid "3CA00A22036E"
title "Classifiers"
zoom 100
max_height 28350
max_width 21600
origin_x 700
origin_y 0
items (list diagram_item_list
(object ClassView "Class" "Logical View::InfrastructureLibrary::Core::Abstractions::Namespaces::NamedElement" @36
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (2118, 306)
font (object Font
size 10
face "Arial"
bold FALSE
italics TRUE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object ItemLabel
Parent_View @36
location (1961, 240)
nlines 1
max_width 314
justify 0
label "NamedElement")
icon_style "Icon"
line_color 12632256
quidu "3CA0071C02FD"
width 332
height 157
annotation 8)
(object ClassView "Class" "Logical View::InfrastructureLibrary::Core::Abstractions::Namespaces::Namespace" @37
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1110, 288)
font (object Font
size 10
face "Arial"
bold FALSE
italics TRUE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object ItemLabel
Parent_View @37
location (944, 225)
nlines 1
max_width 332
justify 0
label "Namespace")
icon_style "Icon"
line_color 12632256
quidu "3CA0072700FA"
width 350
height 150
annotation 8)
(object ClassView "Class" "Logical View::InfrastructureLibrary::Core::Abstractions::Classifiers::Classifier" @38
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1128, 672)
font (object Font
size 10
face "Arial"
bold FALSE
italics TRUE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object ItemLabel
Parent_View @38
location (950, 609)
nlines 1
max_width 357
justify 0
label "Classifier")
icon_style "Icon"
quidu "3CA00A2A018F"
width 375
height 150
annotation 8)
(object InheritView "" @39
stereotype TRUE
quidu "3CA00B0C03CF"
client @38
supplier @37
line_style 3
origin_attachment (1116, 597)
terminal_attachment (1116, 363))
(object ClassView "Class" "Logical View::InfrastructureLibrary::Core::Abstractions::Classifiers::Feature" @40
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (2130, 660)
font (object Font
size 10
face "Arial"
bold FALSE
italics TRUE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object ItemLabel
Parent_View @40
location (1964, 600)
nlines 1
max_width 332
justify 0
label "Feature")
icon_style "Icon"
quidu "3CA00A3900A0"
width 350
height 144
annotation 8)
(object AssociationViewNew "$UNNAMED$4" @41
location (1635, 660)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @42
Parent_View @41
location (1663, 686)
font (object Font
size 10
face "Arial"
bold FALSE
italics TRUE
underline FALSE
strike FALSE
color 0
default_color TRUE)
hidden TRUE
anchor 1
anchor_loc 1
nlines 1
max_width 450
justify 0
label ""
pctDist 0.966667
height 26
orientation 1)
stereotype TRUE
quidu "3CA00B91036C"
roleview_list (list RoleViews
(object RoleView "/featuringClassifier" @43
Parent_View @41
location (-903, -156)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @44
Parent_View @43
location (1514, 606)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
anchor 1
anchor_loc 1
nlines 1
max_width 355
justify 0
label "/featuringClassifier"
pctDist 0.381250
height 55
orientation 1)
stereotype TRUE
quidu "3CA00B920183"
client @41
supplier @38
line_style 3
origin_attachment (1635, 660)
terminal_attachment (1315, 660)
label (object SegLabel @45
Parent_View @43
location (1388, 701)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
anchor 2
anchor_loc 1
nlines 1
max_width 119
justify 0
label "*"
pctDist 0.774818
height 41
orientation 0)
label (object SegLabel @46
Parent_View @43
location (1512, 702)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
anchor 3
anchor_loc 1
nlines 1
max_width 129
justify 0
label "{union}"
pctDist 0.387500
height 42
orientation 0))
(object RoleView "/feature" @47
Parent_View @41
location (-903, -156)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @48
Parent_View @47
location (1856, 612)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
anchor 1
anchor_loc 1
nlines 1
max_width 257
justify 0
label "/feature"
pctDist 0.690625
height 49
orientation 0)
stereotype TRUE
quidu "3CA00B92018D"
client @41
supplier @40
line_style 3
origin_attachment (1635, 660)
terminal_attachment (1955, 660)
label (object SegLabel @49
Parent_View @47
location (1901, 702)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
anchor 2
anchor_loc 1
nlines 1
max_width 15
justify 0
label "*"
pctDist 0.830508
height 42
orientation 1)
label (object SegLabel @50
Parent_View @47
location (1868, 789)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
anchor 3
anchor_loc 1
nlines 2
max_width 341
justify 0
label
|{subsets member,
|union}
pctDist 0.731250
height 129
orientation 1))))
(object InheritView "" @51
stereotype TRUE
quidu "3CADD687034A"
client @40
supplier @36
line_style 3
origin_attachment (2122, 588)
terminal_attachment (2122, 384))))))
(object Class_Category "Expressions"
quid "3CA00EE60015"
visible_categories (list visibility_relationship_list
(object Visibility_Relationship
quid "3DE6A3C401C2"
stereotype "import"
supplier "Logical View::InfrastructureLibrary::Core::Abstractions::Ownerships"
quidu "3CA002E901AD"))
exportControl "Public"
logical_models (list unit_reference_list
(object Class "OpaqueExpression"
quid "3CA00EFB03B9"
superclasses (list inheritance_relationship_list
(object Inheritance_Relationship
quid "3CADD243035D"
supplier "Logical View::InfrastructureLibrary::Core::Abstractions::Expressions::ValueSpecification"
quidu "3CA00F020323"))
class_attributes (list class_attribute_list
(object ClassAttribute "body"
quid "3CA00FEA02EA"
type "String"
quidu "3CA010B103C3"
exportControl "Public")
(object ClassAttribute "language"
quid "3CA00FF7036B"
stereotype "0..1"
type "String"
quidu "3CA010B103C3"
exportControl "Public")))
(object Class "ValueSpecification"
quid "3CA00F020323"
superclasses (list inheritance_relationship_list
(object Inheritance_Relationship
quid "3CADD247010A"
supplier "Logical View::InfrastructureLibrary::Core::Abstractions::Ownerships::Element"
quidu "3CADCAEE0250"))
operations (list Operations
(object Operation "isComputable"
quid "3E1402B00031"
stereotype "spec"
result "Boolean"
concurrency "Sequential"
semantics (object Semantic_Info
PDL "false")
opExportControl "Implementation"
uid 0
quidu "3CA010AC0090")
(object Operation "integerValue"
quid "3E1402DE0204"
stereotype "spec"
result "[Logical View::InfrastructureLibrary::Core::PrimitiveTypes::Integer]"
concurrency "Sequential"
semantics (object Semantic_Info
PDL "Set{}")
opExportControl "Implementation"
uid 0)
(object Operation "booleanValue"
quid "3E14030E0325"
stereotype "spec"
result "[Logical View::InfrastructureLibrary::Core::PrimitiveTypes::Boolean]"
concurrency "Sequential"
semantics (object Semantic_Info
PDL "Set{}")
opExportControl "Implementation"
uid 0)
(object Operation "stringValue"
quid "3E1403380299"
stereotype "spec"
result "[Logical View::InfrastructureLibrary::Core::PrimitiveTypes::String]"
concurrency "Sequential"
semantics (object Semantic_Info
PDL "Set{}")
opExportControl "Implementation"
uid 0)
(object Operation "unlimitedValue"
quid "3E140370027C"
stereotype "spec"
result "[Logical View::InfrastructureLibrary::Core::PrimitiveTypes::UnlimitedNatural]"
concurrency "Sequential"
semantics (object Semantic_Info
PDL "Set{}")
opExportControl "Implementation"
uid 0)
(object Operation "isNull"
quid "3E1403A502BE"
stereotype "spec"
result "Boolean"
concurrency "Sequential"
semantics (object Semantic_Info
PDL "false")
opExportControl "Implementation"
uid 0
quidu "3CA010AC0090"))
abstract TRUE)
(object Class "Expression"
quid "3E555C610097"
superclasses (list inheritance_relationship_list
(object Inheritance_Relationship
quid "3E555CF0029C"
supplier "Logical View::InfrastructureLibrary::Core::Abstractions::Expressions::ValueSpecification"
quidu "3CA00F020323"))
class_attributes (list class_attribute_list
(object ClassAttribute "symbol"
quid "3E555C7702E8"
type "String"
quidu "3CA010B103C3"
exportControl "Public")))
(object Association "$UNNAMED$5"
quid "3E555CFC002C"
roles (list role_list
(object Role "operand"
quid "3E555CFE0288"
label "operand"
supplier "Logical View::InfrastructureLibrary::Core::Abstractions::Expressions::ValueSpecification"
quidu "3CA00F020323"
client_cardinality (value cardinality "*")
Constraints "ordered, subsets ownedElement"
Containment "By Value"
exportControl "Implementation"
is_navigable TRUE)
(object Role "expression"
quid "3E555CFE02CE"
label "expression"
supplier "Logical View::InfrastructureLibrary::Core::Abstractions::Expressions::Expression"
quidu "3E555C610097"
client_cardinality (value cardinality "0..1")
Constraints "subsets owner"
exportControl "Implementation"
is_aggregate TRUE))))
logical_presentations (list unit_reference_list
(object ClassDiagram "Expressions"
quid "3CA00EEE0374"
title "Expressions"
zoom 100
max_height 28350
max_width 21600
origin_x 1306
origin_y 363
items (list diagram_item_list
(object ClassView "Class" "Logical View::InfrastructureLibrary::Core::Abstractions::Expressions::OpaqueExpression" @52
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (942, 1212)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object ItemLabel
Parent_View @52
location (670, 1121)
nlines 1
max_width 545
justify 0
label "OpaqueExpression")
icon_style "Icon"
quidu "3CA00EFB03B9"
width 563
height 206)
(object ClassView "Class" "Logical View::InfrastructureLibrary::Core::Abstractions::Ownerships::Element" @53
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
location (1134, 408)
font (object Font
size 10
face "Arial"
bold FALSE
italics TRUE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object ItemLabel
Parent_View @53
location (981, 345)
nlines 1
max_width 307
justify 0
label "Element")
icon_style "Icon"
line_color 12632256
fill_color 16777215
quidu "3CADCAEE0250"
width 325
height 150
annotation 8)
(object Label @54
location (984, 1236)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
nlines 1
max_width 131
label "[0..1]")
(object ClassView "Class" "Logical View::InfrastructureLibrary::Core::Abstractions::Expressions::ValueSpecification" @55
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1146, 786)
font (object Font
size 10
face "Arial"
bold FALSE
italics TRUE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object ItemLabel
Parent_View @55
location (890, 698)
nlines 1
max_width 513
justify 0
label "ValueSpecification")
icon_style "Icon"
quidu "3CA00F020323"
width 531
height 200
annotation 8)
(object InheritView "" @56
stereotype TRUE
quidu "3CADD247010A"
client @55
supplier @53
line_style 3
origin_attachment (1163, 685)
terminal_attachment (1163, 483))
(object InheritTreeView "" @57
location (1128, 1026)
fill_color 16777215
supplier @55
vertices (list Points
(1128, 1026)
(1128, 886)))
(object InheritView "" @58
stereotype TRUE
quidu "3CADD243035D"
client @52
supplier @55
line_style 3
origin_attachment (938, 1109)
terminal_attachment (938, 1026)
drawSupplier @57)
(object ClassView "Class" "Logical View::InfrastructureLibrary::Core::Abstractions::Expressions::Expression" @59
SuppressOperation TRUE
IncludeAttribute TRUE
location (1440, 1176)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object ItemLabel
Parent_View @59
location (1276, 1120)
nlines 1
max_width 328
justify 0
label "Expression")
icon_style "Icon"
fill_color 16777215
quidu "3E555C610097"
width 346
height 136
autoResize TRUE)
(object InheritView "" @60
stereotype TRUE
quidu "3E555CF0029C"
client @59
supplier @55
line_style 3
origin_attachment (1438, 1108)
terminal_attachment (1438, 1026)
drawSupplier @57)
(object AssociationViewNew "$UNNAMED$5" @61
location (1999, 870)
font (object Font
size 8
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
stereotype TRUE
quidu "3E555CFC002C"
roleview_list (list RoleViews
(object RoleView "operand" @62
Parent_View @61
location (559, -306)
font (object Font
size 8
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @63
Parent_View @62
location (1545, 749)
font (object Font
size 8
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
anchor 1
anchor_loc 1
nlines 1
max_width 149
justify 0
label "operand"
pctDist 0.800000
height 42
orientation 1)
stereotype TRUE
quidu "3E555CFE0288"
client @61
supplier @55
vertices (list Points
(1999, 870)
(1999, 790)
(1411, 790))
line_style 3
origin_attachment (1999, 870)
terminal_attachment (1411, 790)
label (object SegLabel @64
Parent_View @62
location (1447, 843)
font (object Font
size 8
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
anchor 2
anchor_loc 1
nlines 1
max_width 15
justify 0
label "*"
pctDist 0.945588
height 53
orientation 0)
label (object SegLabel @65
Parent_View @62
location (1708, 835)
font (object Font
size 8
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
anchor 3
anchor_loc 1
nlines 1
max_width 484
justify 0
label "{ordered, subsets ownedElement}"
pctDist 0.555882
height 45
orientation 0))
(object RoleView "expression" @66
Parent_View @61
location (559, -306)
font (object Font
size 8
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @67
Parent_View @66
location (1748, 1111)
font (object Font
size 8
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
anchor 1
anchor_loc 1
nlines 1
max_width 177
justify 0
label "expression"
pctDist 0.800000
height 42
orientation 1)
stereotype TRUE
quidu "3E555CFE02CE"
client @61
supplier @59
vertices (list Points
(1999, 870)
(1999, 1152)
(1613, 1152))
line_style 3
origin_attachment (1999, 870)
terminal_attachment (1613, 1152)
label (object SegLabel @68
Parent_View @66
location (1680, 1206)
font (object Font
size 8
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
anchor 2
anchor_loc 1
nlines 1
max_width 15
justify 0
label "0..1"
pctDist 0.900000
height 54
orientation 0)
label (object SegLabel @69
Parent_View @66
location (1832, 1200)
font (object Font
size 8
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
anchor 3
anchor_loc 1
nlines 1
max_width 219
justify 0
label "{subsets owner}"
pctDist 0.672059
height 48
orientation 0))))))))
(object Class_Category "MultiplicityExpressions"
quid "3CA023540016"
visible_categories (list visibility_relationship_list
(object Visibility_Relationship
quid "3DF6636E0383"
stereotype "import"
supplier "Logical View::InfrastructureLibrary::Core::Abstractions::Multiplicities"
quidu "3DF65C06026F")
(object Visibility_Relationship
quid "3DE6A41C01AB"
stereotype "import"
supplier "Logical View::InfrastructureLibrary::Core::Abstractions::Expressions"
quidu "3CA00EE60015"))
exportControl "Public"
logical_models (list unit_reference_list
(object Class "MultiplicityElement"
quid "3CA0237A0346"
superclasses (list inheritance_relationship_list
(object Inheritance_Relationship
quid "3DF6625B0298"
supplier "Logical View::InfrastructureLibrary::Core::Abstractions::Multiplicities::MultiplicityElement"
quidu "3DF65EC002AE")
(object Inheritance_Relationship
quid "3DF78EA20170"
supplier "Logical View::InfrastructureLibrary::Core::Abstractions::Ownerships::Element"
quidu "3CADCAEE0250"))
operations (list Operations
(object Operation "lower_eq_lowerbound"
quid "3E140A3102FA"
stereotype "inv"
result "Boolean"
concurrency "Sequential"
semantics (object Semantic_Info
PDL "lower=lowerBound()")
opExportControl "Implementation"
uid 0
quidu "3CA010AC0090")
(object Operation "upper_eq_upperbound"
quid "3E140A6C013C"
stereotype "inv"
result "Boolean"
concurrency "Sequential"
semantics (object Semantic_Info
PDL "upper = upperBound()")
opExportControl "Implementation"
uid 0
quidu "3CA010AC0090")
(object Operation "lower"
quid "3E140A90033D"
stereotype "spec"
result "[Logical View::InfrastructureLibrary::Core::PrimitiveTypes::Integer]"
concurrency "Sequential"
semantics (object Semantic_Info
PDL "lowerBound()")
opExportControl "Implementation"
uid 0)
(object Operation "upper"
quid "3E140AC401D9"
stereotype "spec"
result "[Logical View::InfrastructureLibrary::Core::PrimitiveTypes::UnlimitedNatural]"
concurrency "Sequential"
semantics (object Semantic_Info
PDL "upperBound()")
opExportControl "Implementation"
uid 0)
(object Operation "lowerBound"
quid "3E140B0801A5"
stereotype "spec"
result "[Logical View::InfrastructureLibrary::Core::PrimitiveTypes::Integer]"
concurrency "Sequential"
semantics (object Semantic_Info
PDL "if lowerValue->isEmpty() then 1 else lowerValue.integerValue() endif")
opExportControl "Implementation"
uid 0)
(object Operation "upperBound"
quid "3E140B58039F"
stereotype "spec"
result "[Logical View::InfrastructureLibrary::Core::PrimitiveTypes::UnlimitedNatural]"
concurrency "Sequential"
semantics (object Semantic_Info
PDL "if upperValue->isEmpty() then 1 else upperValue.unlimitedValue() endif")
opExportControl "Implementation"
uid 0))
class_attributes (list class_attribute_list
(object ClassAttribute "lower"
quid "3DF78F1C034C"
stereotype "0..1"
type "Integer"
quidu "3CA010A4007B"
exportControl "Public"
derived TRUE)
(object ClassAttribute "upper"
quid "3DF78F2B0290"
stereotype "0..1"
type "UnlimitedNatural"
quidu "3DE6A93C0003"
exportControl "Public"
derived TRUE))
abstract TRUE)
(object Association "$UNNAMED$6"
quid "3D5391BE00B3"
roles (list role_list
(object Role "upperValue"
quid "3D5391BE0239"
label "upperValue"
supplier "Logical View::InfrastructureLibrary::Core::Abstractions::Expressions::ValueSpecification"
quidu "3CA00F020323"
client_cardinality (value cardinality "0..1")
Constraints "subsets ownedElement"
Containment "By Value"
exportControl "Implementation"
is_navigable TRUE)
(object Role "ownerUpper"
quid "3D5391BE024D"
label "ownerUpper"
supplier "Logical View::InfrastructureLibrary::Core::Abstractions::MultiplicityExpressions::MultiplicityElement"
quidu "3CA0237A0346"
client_cardinality (value cardinality "0..1")
Constraints "subsets owner"
exportControl "Implementation"
is_aggregate TRUE)))
(object Association "$UNNAMED$7"
quid "3D5391E6015B"
roles (list role_list
(object Role "lowerValue"
quid "3D5391E6031D"
label "lowerValue"
supplier "Logical View::InfrastructureLibrary::Core::Abstractions::Expressions::ValueSpecification"
quidu "3CA00F020323"
client_cardinality (value cardinality "0..1")
Constraints "subsets ownedElement"
Containment "By Value"
exportControl "Implementation"
is_navigable TRUE)
(object Role "ownerLower"
quid "3D5391E6033B"
label "ownerLower"
supplier "Logical View::InfrastructureLibrary::Core::Abstractions::MultiplicityExpressions::MultiplicityElement"
quidu "3CA0237A0346"
client_cardinality (value cardinality "0..1")
Constraints "subsets owner"
exportControl "Implementation"
is_aggregate TRUE))))
logical_presentations (list unit_reference_list
(object ClassDiagram "MultiplicityExpressions"
quid "3CA023B40295"
title "MultiplicityExpressions"
zoom 100
max_height 28350
max_width 21600
origin_x 1169
origin_y 206
items (list diagram_item_list
(object ClassView "Class" "Logical View::InfrastructureLibrary::Core::Abstractions::Expressions::ValueSpecification" @70
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
location (2526, 1164)
font (object Font
size 10
face "Arial"
bold FALSE
italics TRUE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object ItemLabel
Parent_View @70
location (2341, 1064)
nlines 2
max_width 370
justify 0
label "ValueSpecification")
icon_style "Icon"
line_color 12632256
fill_color 16777215
quidu "3CA00F020323"
width 388
height 225
annotation 8)
(object ClassView "Class" "Logical View::InfrastructureLibrary::Core::Abstractions::MultiplicityExpressions::MultiplicityElement" @71
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (942, 1164)
font (object Font
size 10
face "Arial"
bold FALSE
italics TRUE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object ItemLabel
Parent_View @71
location (654, 1061)
nlines 1
max_width 576
justify 0
label "MultiplicityElement")
icon_style "Icon"
quidu "3CA0237A0346"
width 594
height 231)
(object AssociationViewNew "$UNNAMED$6" @72
location (1785, 1072)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
stereotype TRUE
quidu "3D5391BE00B3"
roleview_list (list RoleViews
(object RoleView "upperValue" @73
Parent_View @72
location (819, -92)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @74
Parent_View @73
location (2184, 989)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
anchor 1
anchor_loc 1
nlines 1
max_width 229
justify 0
label "upperValue"
pctDist 0.729433
height 84
orientation 0)
stereotype TRUE
quidu "3D5391BE0239"
client @72
supplier @70
line_style 3
origin_attachment (1785, 1072)
terminal_attachment (2332, 1072)
label (object SegLabel @75
Parent_View @73
location (2252, 1114)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
anchor 2
anchor_loc 1
nlines 1
max_width 131
justify 0
label "0..1"
pctDist 0.855705
height 42
orientation 1)
label (object SegLabel @76
Parent_View @73
location (2072, 1038)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
anchor 3
anchor_loc 1
nlines 1
max_width 464
justify 0
label "{subsets ownedElement}"
pctDist 0.526508
height 35
orientation 0))
(object RoleView "ownerUpper" @77
Parent_View @72
location (819, -92)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @78
Parent_View @77
location (1421, 991)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
anchor 1
anchor_loc 1
nlines 1
max_width 242
justify 0
label "ownerUpper"
pctDist 0.668498
height 82
orientation 1)
stereotype TRUE
quidu "3D5391BE024D"
client @72
supplier @71
line_style 3
origin_attachment (1785, 1072)
terminal_attachment (1239, 1072)
label (object SegLabel @79
Parent_View @77
location (1423, 1120)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
anchor 2
anchor_loc 1
nlines 1
max_width 125
justify 0
label "0..1"
pctDist 0.662651
height 48
orientation 0)
label (object SegLabel @80
Parent_View @77
location (1451, 1036)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
anchor 3
anchor_loc 1
nlines 1
max_width 287
justify 0
label "{subsets owner}"
pctDist 0.611722
height 37
orientation 1))))
(object AssociationViewNew "$UNNAMED$7" @81
location (1785, 1262)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
stereotype TRUE
quidu "3D5391E6015B"
roleview_list (list RoleViews
(object RoleView "lowerValue" @82
Parent_View @81
location (819, 98)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @83
Parent_View @82
location (2142, 1186)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
anchor 1
anchor_loc 1
nlines 1
max_width 236
justify 0
label "lowerValue"
pctDist 0.652651
height 77
orientation 0)
stereotype TRUE
quidu "3D5391E6031D"
client @81
supplier @70
line_style 3
origin_attachment (1785, 1262)
terminal_attachment (2332, 1262)
label (object SegLabel @84
Parent_View @82
location (2258, 1316)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
anchor 2
anchor_loc 1
nlines 1
max_width 15
justify 0
label "0..1"
pctDist 0.865772
height 54
orientation 1)
label (object SegLabel @85
Parent_View @82
location (2085, 1235)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
anchor 3
anchor_loc 1
nlines 1
max_width 464
justify 0
label "{subsets ownedElement}"
pctDist 0.550274
height 28
orientation 0))
(object RoleView "ownerLower" @86
Parent_View @81
location (819, 98)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @87
Parent_View @86
location (1433, 1191)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
anchor 1
anchor_loc 1
nlines 1
max_width 242
justify 0
label "ownerLower"
pctDist 0.644689
height 71
orientation 1)
stereotype TRUE
quidu "3D5391E6033B"
client @81
supplier @71
line_style 3
origin_attachment (1785, 1262)
terminal_attachment (1239, 1262)
label (object SegLabel @88
Parent_View @86
location (1439, 1304)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
anchor 2
anchor_loc 1
nlines 1
max_width 15
justify 0
label "0..1"
pctDist 0.636000
height 42
orientation 0)
label (object SegLabel @89
Parent_View @86
location (1445, 1228)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
anchor 3
anchor_loc 1
nlines 1
max_width 287
justify 0
label "{subsets owner}"
pctDist 0.622711
height 34
orientation 1))))
(object ClassView "Class" "Logical View::InfrastructureLibrary::Core::Abstractions::Multiplicities::MultiplicityElement" @90
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
location (750, 870)
font (object Font
size 10
face "Arial"
bold FALSE
italics TRUE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object ItemLabel
Parent_View @90
location (559, 813)
nlines 1
max_width 382
justify 0
label "MultiplicityElement")
icon_style "Icon"
line_color 12632256
fill_color 16777215
quidu "3DF65EC002AE"
width 400
height 138
annotation 8)
(object InheritView "" @91
stereotype TRUE
quidu "3DF6625B0298"
client @71
supplier @90
line_style 3
origin_attachment (744, 1049)
terminal_attachment (744, 939))
(object ClassView "Class" "Logical View::InfrastructureLibrary::Core::Abstractions::Ownerships::Element" @92
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
location (1176, 870)
font (object Font
size 10
face "Arial"
bold FALSE
italics TRUE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object ItemLabel
Parent_View @92
location (1041, 813)
nlines 1
max_width 270
justify 0
label "Element")
icon_style "Icon"
line_color 12632256
fill_color 16777215
quidu "3CADCAEE0250"
width 288
height 138
annotation 8)
(object InheritView "" @93
stereotype TRUE
quidu "3DF78EA20170"
client @71
supplier @92
line_style 3
origin_attachment (1137, 1049)
terminal_attachment (1137, 938))
(object Label @94
location (948, 1122)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
nlines 1
max_width 125
label "[0..1]")
(object Label @95
location (1122, 1170)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
nlines 1
max_width 125
label "[0..1]")))))
(object Class_Category "BehavioralFeatures"
quid "3CA026E00397"
visible_categories (list visibility_relationship_list
(object Visibility_Relationship
quid "3DE6A2F2033D"
stereotype "import"
supplier "Logical View::InfrastructureLibrary::Core::Abstractions::Classifiers"
quidu "3CA003360013")
(object Visibility_Relationship
quid "3E56169B00A7"
stereotype "import"
supplier "Logical View::InfrastructureLibrary::Core::Abstractions::TypedElements"
quidu "3E554B4A028B"))
exportControl "Public"
logical_models (list unit_reference_list
(object Class "BehavioralFeature"
quid "3CA026FB0381"
superclasses (list inheritance_relationship_list
(object Inheritance_Relationship
quid "3CA0277D00C1"
supplier "Logical View::InfrastructureLibrary::Core::Abstractions::Classifiers::Feature"
quidu "3CA00A3900A0")
(object Inheritance_Relationship
quid "3CB1519A0173"
supplier "Logical View::InfrastructureLibrary::Core::Abstractions::Namespaces::Namespace"
quidu "3CA0072700FA"))
operations (list Operations
(object Operation "isDistinguishableFrom"
quid "3E105A8A018F"
stereotype "spec"
parameters (list Parameters
(object Parameter "n"
quid "3E105BC103DB"
type
|"Logical View::InfrastructureLibrary::Core::Abstractions::Namespaces::NamedElement"
)
(object Parameter "ns"
quid "3E105C0900B4"
type
|"Logical View::InfrastructureLibrary::Core::Abstractions::Namespaces::Namespace"
))
result "Boolean"
concurrency "Sequential"
semantics (object Semantic_Info
PDL
|if n.oclIsKindOf(BehavioralFeature)
|then
| if ns.getNamesOfMember(self)->intersection(ns.getNamesOfMember(n))->notEmpty()
| then Set{}->including(self)->including(n)->isUnique( bf | bf.parameter->collect(type))
| else true
| endif
|else true
|endif
)
opExportControl "Implementation"
uid 0
quidu "3CA010AC0090"))
abstract TRUE)
(object Class "Parameter"
quid "3CA02702036E"
superclasses (list inheritance_relationship_list
(object Inheritance_Relationship
quid "3CA02ABF01C5"
supplier "Logical View::InfrastructureLibrary::Core::Abstractions::Namespaces::NamedElement"
quidu "3CA0071C02FD")
(object Inheritance_Relationship
quid "3CA02F820073"
supplier "Logical View::InfrastructureLibrary::Core::Abstractions::TypedElements::TypedElement"
quidu "3CA00A3100E5"))
abstract TRUE)
(object Association "$UNNAMED$8"
quid "3CA02BDA01C2"
roles (list role_list
(object Role "/parameter"
quid "3CA02BDB0015"
label "/parameter"
supplier "Logical View::InfrastructureLibrary::Core::Abstractions::BehavioralFeatures::Parameter"
quidu "3CA02702036E"
client_cardinality (value cardinality "*")
Constraints
|ordered,
|subsets member,
|union
exportControl "Implementation"
is_navigable TRUE)
(object Role "$UNNAMED$9"
quid "3CA02BDB001F"
supplier "Logical View::InfrastructureLibrary::Core::Abstractions::BehavioralFeatures::BehavioralFeature"
quidu "3CA026FB0381"
client_cardinality (value cardinality "0..1")))))
logical_presentations (list unit_reference_list
(object ClassDiagram "BehavioralFeatures"
quid "3CA026EB0071"
title "BehavioralFeatures"
zoom 100
max_height 28350
max_width 21600
origin_x 837
origin_y 0
items (list diagram_item_list
(object ClassView "Class" "Logical View::InfrastructureLibrary::Core::Abstractions::Classifiers::Feature" @96
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (330, 204)
font (object Font
size 10
face "Arial"
bold FALSE
italics TRUE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object ItemLabel
Parent_View @96
location (189, 144)
nlines 1
max_width 282
justify 0
label "Feature")
icon_style "Icon"
line_color 12632256
quidu "3CA00A3900A0"
width 300
height 144
annotation 8)
(object ClassView "Class" "Logical View::InfrastructureLibrary::Core::Abstractions::TypedElements::TypedElement" @97
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1518, 216)
font (object Font
size 10
face "Arial"
bold FALSE
italics TRUE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object ItemLabel
Parent_View @97
location (1349, 153)
nlines 1
max_width 339
justify 0
label "TypedElement")
icon_style "Icon"
line_color 12632256
quidu "3CA00A3100E5"
width 357
height 150
annotation 8)
(object ClassView "Class" "Logical View::InfrastructureLibrary::Core::Abstractions::Namespaces::NamedElement" @98
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1890, 216)
font (object Font
size 10
face "Arial"
bold FALSE
italics TRUE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object ItemLabel
Parent_View @98
location (1721, 153)
nlines 1
max_width 338
justify 0
label "NamedElement")
icon_style "Icon"
line_color 12632256
quidu "3CA0071C02FD"
width 356
height 150
annotation 8)
(object ClassView "Class" "Logical View::InfrastructureLibrary::Core::Abstractions::Namespaces::Namespace" @99
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
location (684, 204)
font (object Font
size 10
face "Arial"
bold FALSE
italics TRUE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object ItemLabel
Parent_View @99
location (528, 144)
nlines 1
max_width 313
justify 0
label "Namespace")
icon_style "Icon"
line_color 12632256
fill_color 16777215
quidu "3CA0072700FA"
width 331
height 144
annotation 8)
(object ClassView "Class" "Logical View::InfrastructureLibrary::Core::Abstractions::BehavioralFeatures::Parameter" @100
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1704, 672)
font (object Font
size 10
face "Arial"
bold FALSE
italics TRUE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object ItemLabel
Parent_View @100
location (1457, 600)
nlines 1
max_width 495
justify 0
label "Parameter")
icon_style "Icon"
quidu "3CA02702036E"
width 513
height 168)
(object ClassView "Class" "Logical View::InfrastructureLibrary::Core::Abstractions::BehavioralFeatures::BehavioralFeature" @101
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (510, 654)
font (object Font
size 10
face "Arial"
bold FALSE
italics TRUE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object ItemLabel
Parent_View @101
location (316, 570)
nlines 1
max_width 389
justify 0
label "BehavioralFeature")
icon_style "Icon"
quidu "3CA026FB0381"
width 407
height 193
annotation 8)
(object InheritView "" @102
stereotype TRUE
quidu "3CA0277D00C1"
client @101
supplier @96
line_style 3
origin_attachment (382, 558)
terminal_attachment (382, 275))
(object InheritView "" @103
stereotype TRUE
quidu "3CB1519A0173"
client @101
supplier @99
line_style 3
origin_attachment (613, 557)
terminal_attachment (613, 276))
(object AssociationViewNew "$UNNAMED$8" @104
location (1080, 706)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @105
Parent_View @104
location (1043, 738)
font (object Font
size 10
face "Arial"
bold FALSE
italics TRUE
underline FALSE
strike FALSE
color 0
default_color TRUE)
hidden TRUE
anchor 1
anchor_loc 1
nlines 1
max_width 450
justify 0
label ""
pctDist -0.133333
height 32
orientation 1)
stereotype TRUE
quidu "3CA02BDA01C2"
roleview_list (list RoleViews
(object RoleView "/parameter" @106