blob: 4a8c5b375739354397bd0549fcd89041d9f1fbe9 [file] [log] [blame]
(object Petal
version 50
_written "Rose 8.5.0503.xxx"
charSet 0)
(object Class_Category "EssentialOCL"
is_unit TRUE
is_loaded TRUE
attributes (list Attribute_Set
(object Attribute
tool "Ecore"
name "basePackage"
value (value Text "org.omg.qvt"))
(object Attribute
tool "Ecore"
name "nsPrefix"
value (value Text "essentialocl"))
(object Attribute
tool "Ecore"
name "nsURI"
value (value Text "http://schema.omg.org/spec/QVT/1.1/essentialocl.xml"))
(object Attribute
tool "Ecore"
name "packageName"
value (value Text "EssentialOCL"))
(object Attribute
tool "Ecore"
name "prefix"
value (value Text "EssentialOCL")))
quid "414C74DE008F"
visible_categories (list visibility_relationship_list
(object Visibility_Relationship
quid "416A656E0128"
supplier "Logical View::EMOF"
quidu "41506831024B"))
exportControl "Public"
logical_models (list unit_reference_list
(object Class "BooleanLiteralExp"
quid "40CD820C0236"
superclasses (list inheritance_relationship_list
(object Inheritance_Relationship
quid "40CD82A602C4"
supplier "Logical View::EssentialOCL::PrimitiveLiteralExp"
quidu "41694DCF00F4"))
class_attributes (list class_attribute_list
(object ClassAttribute "booleanSymbol"
quid "40CD833B00FC"
type "Boolean"
quidu "40CB2ECB0038")))
(object Class "CallExp"
quid "40C96B9402B8"
superclasses (list inheritance_relationship_list
(object Inheritance_Relationship
quid "40C96E88025B"
supplier "Logical View::EssentialOCL::OclExpression"
quidu "401DB533025E"))
abstract TRUE)
(object Class "CollectionKind"
quid "40DFC0D7022F"
stereotype "enumeration"
class_attributes (list class_attribute_list
(object ClassAttribute "Set"
quid "40DFC0FD03A6")
(object ClassAttribute "OrderedSet"
quid "40DFC112023E")
(object ClassAttribute "Bag"
quid "40DFC11702E5")
(object ClassAttribute "Sequence"
quid "40DFC11F030F")
(object ClassAttribute "Collection"
quid "483FCC1E004D")))
(object Class "OclExpression"
quid "401DB533025E"
superclasses (list inheritance_relationship_list
(object Inheritance_Relationship
quid "40C7213002DE"
supplier "Logical View::EMOF::TypedElement"
quidu "401DB04002F2"))
abstract TRUE)
(object Class "UnlimitedNaturalExp"
quid "40CDAA45000C"
superclasses (list inheritance_relationship_list
(object Inheritance_Relationship
quid "40CDAA77039D"
supplier "Logical View::EssentialOCL::NumericLiteralExp"
quidu "41694DFF0360"))
class_attributes (list class_attribute_list
(object ClassAttribute "symbol"
quid "40CDAA5D024B"
type "UnlimitedNatural"
quidu "40CB2F2E0366")))
(object Class "IfExp"
quid "40C98FF30127"
superclasses (list inheritance_relationship_list
(object Inheritance_Relationship
quid "40C9EE2D0212"
supplier "Logical View::EssentialOCL::OclExpression"
quidu "401DB533025E")))
(object Class "LetExp"
quid "411F35BC00B9"
superclasses (list inheritance_relationship_list
(object Inheritance_Relationship
quid "411F36570333"
supplier "Logical View::EssentialOCL::OclExpression"
quidu "401DB533025E")))
(object Class "Variable"
quid "401DAF870288"
superclasses (list inheritance_relationship_list
(object Inheritance_Relationship
quid "40FE6DD803CC"
supplier "Logical View::EMOF::TypedElement"
quidu "401DB04002F2")))
(object Class "PropertyCallExp"
quid "40C96B9E00E5"
superclasses (list inheritance_relationship_list
(object Inheritance_Relationship
quid "46DFFDC90321"
supplier "Logical View::EssentialOCL::NavigationCallExp"
quidu "46DFFD88019B")))
(object Class "VariableExp"
quid "4033886E0235"
superclasses (list inheritance_relationship_list
(object Inheritance_Relationship
quid "40C96E1202FB"
supplier "Logical View::EssentialOCL::OclExpression"
quidu "401DB533025E")))
(object Class "TypeExp"
quid "40C96BEE01BD"
superclasses (list inheritance_relationship_list
(object Inheritance_Relationship
quid "40C96DBD01CC"
supplier "Logical View::EssentialOCL::OclExpression"
quidu "401DB533025E")))
(object Class "LoopExp"
quid "40E529BE03BC"
superclasses (list inheritance_relationship_list
(object Inheritance_Relationship
quid "40CF73B303BD"
supplier "Logical View::EssentialOCL::CallExp"
quidu "40C96B9402B8")
(object Inheritance_Relationship
quid "41581F150331"
supplier "Logical View::EssentialOCL::OclExpression"
quidu "401DB533025E"))
abstract TRUE)
(object Class "IteratorExp"
quid "40E5303F0333"
superclasses (list inheritance_relationship_list
(object Inheritance_Relationship
quid "40E5306B02E7"
supplier "Logical View::EssentialOCL::LoopExp"
quidu "40E529BE03BC")))
(object Class "StringLiteralExp"
quid "40CD821202C1"
superclasses (list inheritance_relationship_list
(object Inheritance_Relationship
quid "40CD82AA028E"
supplier "Logical View::EssentialOCL::PrimitiveLiteralExp"
quidu "41694DCF00F4"))
class_attributes (list class_attribute_list
(object ClassAttribute "stringSymbol"
quid "40CD83420232"
type "String"
quidu "40CB2EDE0252")))
(object Class "IntegerLiteralExp"
quid "40CD81F10346"
superclasses (list inheritance_relationship_list
(object Inheritance_Relationship
quid "40CD829D0018"
supplier "Logical View::EssentialOCL::NumericLiteralExp"
quidu "41694DFF0360"))
class_attributes (list class_attribute_list
(object ClassAttribute "integerSymbol"
quid "40CD832003D8"
type "Integer"
quidu "40CB2F0E025B")))
(object Class "OperationCallExp"
quid "40C96BA800C2"
superclasses (list inheritance_relationship_list
(object Inheritance_Relationship
quid "40C96D8F0126"
supplier "Logical View::EssentialOCL::FeatureCallExp"
quidu "428DFEB20390")))
(object Class "RealLiteralExp"
quid "40CD81F8021A"
superclasses (list inheritance_relationship_list
(object Inheritance_Relationship
quid "40CD829F038C"
supplier "Logical View::EssentialOCL::NumericLiteralExp"
quidu "41694DFF0360"))
class_attributes (list class_attribute_list
(object ClassAttribute "realSymbol"
quid "40CD8329025E"
type "Real"
quidu "40CB2EFC0101")))
(object Class "LiteralExp"
quid "40E2B2FC0306"
superclasses (list inheritance_relationship_list
(object Inheritance_Relationship
quid "40E2B36203B7"
supplier "Logical View::EssentialOCL::OclExpression"
quidu "401DB533025E"))
abstract TRUE)
(object Class "IterateExp"
quid "40C9DF1F008C"
superclasses (list inheritance_relationship_list
(object Inheritance_Relationship
quid "40E52A2B01EC"
supplier "Logical View::EssentialOCL::LoopExp"
quidu "40E529BE03BC")))
(object Class "PrimitiveLiteralExp"
quid "41694DCF00F4"
superclasses (list inheritance_relationship_list
(object Inheritance_Relationship
quid "41694E5201B1"
supplier "Logical View::EssentialOCL::LiteralExp"
quidu "40E2B2FC0306"))
abstract TRUE)
(object Class "NumericLiteralExp"
quid "41694DFF0360"
superclasses (list inheritance_relationship_list
(object Inheritance_Relationship
quid "41694E6601CE"
supplier "Logical View::EssentialOCL::PrimitiveLiteralExp"
quidu "41694DCF00F4"))
abstract TRUE)
(object Class "CollectionLiteralExp"
quid "416952980309"
superclasses (list inheritance_relationship_list
(object Inheritance_Relationship
quid "4169551E03E4"
supplier "Logical View::EssentialOCL::LiteralExp"
quidu "40E2B2FC0306"))
class_attributes (list class_attribute_list
(object ClassAttribute "kind"
quid "416952B80373"
type "CollectionKind"
quidu "40DFC0D7022F")))
(object Class "CollectionLiteralPart"
quid "416952FB009E"
superclasses (list inheritance_relationship_list
(object Inheritance_Relationship
quid "428E197300AC"
supplier "Logical View::EMOF::TypedElement"
quidu "401DB04002F2"))
abstract TRUE)
(object Class "CollectionItem"
quid "416953580355"
superclasses (list inheritance_relationship_list
(object Inheritance_Relationship
quid "4169538300CC"
supplier "Logical View::EssentialOCL::CollectionLiteralPart"
quidu "416952FB009E")))
(object Class "CollectionRange"
quid "41695373024F"
superclasses (list inheritance_relationship_list
(object Inheritance_Relationship
quid "41695380019A"
supplier "Logical View::EssentialOCL::CollectionLiteralPart"
quidu "416952FB009E")))
(object Class "TupleLiteralExp"
quid "4169552701A2"
superclasses (list inheritance_relationship_list
(object Inheritance_Relationship
quid "4169553700E7"
supplier "Logical View::EssentialOCL::LiteralExp"
quidu "40E2B2FC0306")))
(object Class "NullLiteralExp"
quid "422B45FC00E7"
superclasses (list inheritance_relationship_list
(object Inheritance_Relationship
quid "428B3C420383"
supplier "Logical View::EssentialOCL::LiteralExp"
quidu "40E2B2FC0306")))
(object Class "ExpressionInOcl"
quid "428B6C0201BA"
superclasses (list inheritance_relationship_list
(object Inheritance_Relationship
quid "46E11636004E"
supplier "Logical View::EMOF::TypedElement"
quidu "401DB04002F2")))
(object Class "InvalidLiteralExp"
quid "428B70160127"
superclasses (list inheritance_relationship_list
(object Inheritance_Relationship
quid "428B70330203"
supplier "Logical View::EssentialOCL::LiteralExp"
quidu "40E2B2FC0306")))
(object Class "FeatureCallExp"
quid "428DFEB20390"
superclasses (list inheritance_relationship_list
(object Inheritance_Relationship
quid "428DFF08000F"
supplier "Logical View::EssentialOCL::CallExp"
quidu "40C96B9402B8"))
abstract TRUE
persistence "Persistent")
(object Class "TupleLiteralPart"
quid "428E1896032C"
superclasses (list inheritance_relationship_list
(object Inheritance_Relationship
quid "428E19AD02B8"
supplier "Logical View::EMOF::TypedElement"
quidu "401DB04002F2")))
(object Class "BagType"
quid "40CB3375034C"
superclasses (list inheritance_relationship_list
(object Inheritance_Relationship
quid "40CB33CF0139"
supplier "Logical View::EssentialOCL::CollectionType"
quidu "40CB3338024A")))
(object Class "CollectionType"
quid "40CB3338024A"
superclasses (list inheritance_relationship_list
(object Inheritance_Relationship
quid "40CB3419017B"
supplier "Logical View::EMOF::DataType"
quidu "40C78CD10047")))
(object Class "EnumLiteralExp"
quid "40CD824100DE"
superclasses (list inheritance_relationship_list
(object Inheritance_Relationship
quid "40CD82AE01F3"
supplier "Logical View::EssentialOCL::LiteralExp"
quidu "40E2B2FC0306")))
(object Class "InvalidType"
quid "428B69A000A2"
superclasses (list inheritance_relationship_list
(object Inheritance_Relationship
quid "428B69C80137"
supplier "Logical View::EMOF::Type"
quidu "40C78BB303B7")))
(object Class "OrderedSetType"
quid "40CB337C01E4"
superclasses (list inheritance_relationship_list
(object Inheritance_Relationship
quid "40CB34030346"
supplier "Logical View::EssentialOCL::CollectionType"
quidu "40CB3338024A")))
(object Class "SequenceType"
quid "40CB33690268"
superclasses (list inheritance_relationship_list
(object Inheritance_Relationship
quid "40CB33FF0318"
supplier "Logical View::EssentialOCL::CollectionType"
quidu "40CB3338024A")))
(object Class "SetType"
quid "40CB336301FC"
superclasses (list inheritance_relationship_list
(object Inheritance_Relationship
quid "40CB33B8006D"
supplier "Logical View::EssentialOCL::CollectionType"
quidu "40CB3338024A")))
(object Class "TupleType"
quid "40CB2E030289"
superclasses (list inheritance_relationship_list
(object Inheritance_Relationship
quid "40CB32C4030B"
supplier "Logical View::EMOF::Class"
quidu "401DAE57014A")
(object Inheritance_Relationship
quid "40CB32F100E9"
supplier "Logical View::EMOF::DataType"
quidu "40C78CD10047")))
(object Class "VoidType"
quid "40CB2D6A008B"
superclasses (list inheritance_relationship_list
(object Inheritance_Relationship
quid "40CB2FB5023D"
supplier "Logical View::EMOF::Type"
quidu "40C78BB303B7")))
(object Class "AnyType"
quid "40CB2D7A02E6"
superclasses (list inheritance_relationship_list
(object Inheritance_Relationship
quid "40CB2FBC0233"
supplier "Logical View::EMOF::Type"
quidu "40C78BB303B7")))
(object Class "NavigationCallExp"
quid "46DFFD88019B"
superclasses (list inheritance_relationship_list
(object Inheritance_Relationship
quid "40C96D9203B5"
supplier "Logical View::EssentialOCL::FeatureCallExp"
quidu "428DFEB20390")))
(object Class "TemplateParameterType"
quid "42F8A0AE0277"
superclasses (list inheritance_relationship_list
(object Inheritance_Relationship
quid "42F8A0D60152"
supplier "Logical View::EMOF::Type"
quidu "40C78BB303B7"))
class_attributes (list class_attribute_list
(object ClassAttribute "specification"
quid "4300BDC20177"
type "String"
quidu "40CB2EDE0252")))
(object Association "$UNNAMED$0"
quid "4169532300C4"
roles (list role_list
(object Role "part"
quid "416953230363"
label "part"
supplier "Logical View::EssentialOCL::CollectionLiteralPart"
quidu "416952FB009E"
client_cardinality (value cardinality "*")
Containment "By Value"
is_navigable TRUE)
(object Role "collectionLiteralExp"
quid "41695323036D"
label "collectionLiteralExp"
supplier "Logical View::EssentialOCL::CollectionLiteralExp"
quidu "416952980309"
client_cardinality (value cardinality "1")
is_navigable TRUE
is_aggregate TRUE)))
(object Association "$UNNAMED$1"
quid "4169541A0368"
roles (list role_list
(object Role "first"
quid "4169541B01ED"
label "first"
supplier "Logical View::EssentialOCL::OclExpression"
quidu "401DB533025E"
client_cardinality (value cardinality "1")
Containment "By Value"
is_navigable TRUE)
(object Role "firstOwner"
quid "4169541B0229"
label "firstOwner"
supplier "Logical View::EssentialOCL::CollectionRange"
quidu "41695373024F"
client_cardinality (value cardinality "0..1")
is_aggregate TRUE)))
(object Association "$UNNAMED$2"
quid "416954230393"
roles (list role_list
(object Role "last"
quid "416954240204"
label "last"
supplier "Logical View::EssentialOCL::OclExpression"
quidu "401DB533025E"
client_cardinality (value cardinality "1")
Containment "By Value"
is_navigable TRUE)
(object Role "lastOwner"
quid "416954240240"
label "lastOwner"
supplier "Logical View::EssentialOCL::CollectionRange"
quidu "41695373024F"
client_cardinality (value cardinality "0..1")
is_aggregate TRUE)))
(object Association "$UNNAMED$3"
quid "4169548C0394"
roles (list role_list
(object Role "item"
quid "4169548E01B6"
label "item"
supplier "Logical View::EssentialOCL::OclExpression"
quidu "401DB533025E"
client_cardinality (value cardinality "1")
Containment "By Value"
is_navigable TRUE)
(object Role "collectionItem"
quid "4169548E0206"
label "collectionItem"
supplier "Logical View::EssentialOCL::CollectionItem"
quidu "416953580355"
client_cardinality (value cardinality "0..1")
is_aggregate TRUE)))
(object Association "$UNNAMED$4"
quid "4169557A0346"
roles (list role_list
(object Role "part"
quid "4169557B03D3"
label "part"
supplier "Logical View::EssentialOCL::TupleLiteralPart"
quidu "428E1896032C"
client_cardinality (value cardinality "*")
Containment "By Value"
is_navigable TRUE)
(object Role "tupleLiteralExp"
quid "4169557C0000"
label "tupleLiteralExp"
supplier "Logical View::EssentialOCL::TupleLiteralExp"
quidu "4169552701A2"
client_cardinality (value cardinality "0..1")
is_navigable TRUE
is_aggregate TRUE)))
(object Association "$UNNAMED$5"
quid "422B45350312"
roles (list role_list
(object Role "representedParameter"
quid "422B453600C4"
label "representedParameter"
supplier "Logical View::EMOF::Parameter"
quidu "401DABF00182"
client_cardinality (value cardinality "0..1")
is_navigable TRUE)
(object Role "variable"
quid "422B453600E2"
label "variable"
supplier "Logical View::EssentialOCL::Variable"
quidu "401DAF870288"
client_cardinality (value cardinality "*"))))
(object Association "$UNNAMED$6"
quid "428B6C9203BE"
roles (list role_list
(object Role "bodyExpression"
quid "428B6C95039A"
label "bodyExpression"
supplier "Logical View::EssentialOCL::OclExpression"
quidu "401DB533025E"
client_cardinality (value cardinality "1")
Containment "By Value"
is_navigable TRUE)
(object Role "topExpression"
quid "428B6C960020"
label "topExpression"
supplier "Logical View::EssentialOCL::ExpressionInOcl"
quidu "428B6C0201BA"
client_cardinality (value cardinality "0..1")
is_aggregate TRUE)))
(object Association "$UNNAMED$7"
quid "428B6D3B00A5"
roles (list role_list
(object Role "contextVariable"
quid "428B6D3D0093"
label "contextVariable"
supplier "Logical View::EssentialOCL::Variable"
quidu "401DAF870288"
client_cardinality (value cardinality "0..1")
Containment "By Value"
is_navigable TRUE)
(object Role "selfOwner"
quid "428B6D3D00D9"
label "selfOwner"
supplier "Logical View::EssentialOCL::ExpressionInOcl"
quidu "428B6C0201BA"
client_cardinality (value cardinality "0..1")
is_aggregate TRUE)))
(object Association "$UNNAMED$8"
quid "428B6E8800E7"
roles (list role_list
(object Role "resultVariable"
quid "428B6E8803A4"
label "resultVariable"
supplier "Logical View::EssentialOCL::Variable"
quidu "401DAF870288"
client_cardinality (value cardinality "0..1")
Containment "By Value"
is_navigable TRUE)
(object Role "resultOwner"
quid "428B6E8803D6"
label "resultOwner"
supplier "Logical View::EssentialOCL::ExpressionInOcl"
quidu "428B6C0201BA"
client_cardinality (value cardinality "0..1")
is_aggregate TRUE)))
(object Association "$UNNAMED$9"
quid "428B6EAF0086"
roles (list role_list
(object Role "parameterVariable"
quid "428B6EB10151"
label "parameterVariable"
supplier "Logical View::EssentialOCL::Variable"
quidu "401DAF870288"
client_cardinality (value cardinality "0..*")
Containment "By Value"
is_navigable TRUE)
(object Role "varOwner"
quid "428B6EB1018D"
label "varOwner"
supplier "Logical View::EssentialOCL::ExpressionInOcl"
quidu "428B6C0201BA"
client_cardinality (value cardinality "0..1")
is_aggregate TRUE)))
(object Association "$UNNAMED$10"
quid "428C43D803DA"
roles (list role_list
(object Role "referredType"
quid "428C43DA009E"
label "referredType"
supplier "Logical View::EMOF::Type"
quidu "40C78BB303B7"
client_cardinality (value cardinality "0..1")
is_navigable TRUE)
(object Role "typeExp"
quid "428C43DA0116"
label "typeExp"
supplier "Logical View::EssentialOCL::TypeExp"
quidu "40C96BEE01BD"
client_cardinality (value cardinality "*"))))
(object Association "$UNNAMED$11"
quid "428E19DD0176"
roles (list role_list
(object Role "attribute"
quid "428E19DD031B"
label "attribute"
supplier "Logical View::EMOF::Property"
quidu "401DADC101B3"
client_cardinality (value cardinality "0..1")
is_navigable TRUE)
(object Role "tupleLiteralPart"
quid "428E19DD032F"
label "tupleLiteralPart"
supplier "Logical View::EssentialOCL::TupleLiteralPart"
quidu "428E1896032C"
client_cardinality (value cardinality "*"))))
(object Association "$UNNAMED$12"
quid "43CBA66F0106"
roles (list role_list
(object Role "value"
quid "43CBA6740258"
label "value"
supplier "Logical View::EssentialOCL::OclExpression"
quidu "401DB533025E"
client_cardinality (value cardinality "1")
Containment "By Value"
is_navigable TRUE)
(object Role "tupleLiteralPart"
quid "43CBA6740371"
label "tupleLiteralPart"
supplier "Logical View::EssentialOCL::TupleLiteralPart"
quidu "428E1896032C"
client_cardinality (value cardinality "0..1")
is_aggregate TRUE)))
(object Association "$UNNAMED$13"
quid "411F3686002D"
roles (list role_list
(object Role "in"
quid "411F368602D6"
label "in"
supplier "Logical View::EssentialOCL::OclExpression"
quidu "401DB533025E"
client_cardinality (value cardinality "1")
Containment "By Value"
is_navigable TRUE)
(object Role "letExp"
quid "411F368602FE"
label "letExp"
supplier "Logical View::EssentialOCL::LetExp"
quidu "411F35BC00B9"
client_cardinality (value cardinality "0..1")
is_aggregate TRUE)))
(object Association "$UNNAMED$14"
quid "411F36E2010C"
roles (list role_list
(object Role "variable"
quid "411F36E300F9"
label "variable"
supplier "Logical View::EssentialOCL::Variable"
quidu "401DAF870288"
client_cardinality (value cardinality "1")
Containment "By Value"
is_navigable TRUE)
(object Role "letExp"
quid "411F36E30117"
label "letExp"
supplier "Logical View::EssentialOCL::LetExp"
quidu "411F35BC00B9"
client_cardinality (value cardinality "0..1")
is_navigable TRUE
is_aggregate TRUE)))
(object Association "$UNNAMED$15"
quid "40E534C50194"
roles (list role_list
(object Role "loopExp"
quid "40E534C50195"
label "loopExp"
supplier "Logical View::EssentialOCL::LoopExp"
quidu "40E529BE03BC"
client_cardinality (value cardinality "0..1")
is_aggregate TRUE)
(object Role "iterator"
quid "40E534C50196"
label "iterator"
supplier "Logical View::EssentialOCL::Variable"
quidu "401DAF870288"
client_cardinality (value cardinality "*")
Constraints "ordered"
Containment "By Value"
is_navigable TRUE)))
(object Association "$UNNAMED$16"
quid "40C9E7C403D7"
roles (list role_list
(object Role "condition"
quid "40C9E7C80365"
label "condition"
supplier "Logical View::EssentialOCL::OclExpression"
quidu "401DB533025E"
client_cardinality (value cardinality "1")
Containment "By Value"
is_navigable TRUE)
(object Role "ifOwner"
quid "40C9E7C8038D"
label "ifOwner"
supplier "Logical View::EssentialOCL::IfExp"
quidu "40C98FF30127"
client_cardinality (value cardinality "0..1")
is_aggregate TRUE)))
(object Association "$UNNAMED$17"
quid "40C96F5100A1"
roles (list role_list
(object Role "argument"
quid "40C96F5500A7"
label "argument"
supplier "Logical View::EssentialOCL::OclExpression"
quidu "401DB533025E"
client_cardinality (value cardinality "*")
Constraints "ordered"
Containment "By Value"
is_navigable TRUE)
(object Role "parentCall"
quid "40C96F5500C5"
label "parentCall"
supplier "Logical View::EssentialOCL::OperationCallExp"
quidu "40C96BA800C2"
client_cardinality (value cardinality "0..1")
is_aggregate TRUE)))
(object Association "$UNNAMED$18"
quid "40C9ED38024C"
roles (list role_list
(object Role "thenExpression"
quid "40C9ED3A00F0"
label "thenExpression"
supplier "Logical View::EssentialOCL::OclExpression"
quidu "401DB533025E"
client_cardinality (value cardinality "1")
Containment "By Value"
is_navigable TRUE)
(object Role "thenOwner"
quid "40C9ED3A0104"
label "thenOwner"
supplier "Logical View::EssentialOCL::IfExp"
quidu "40C98FF30127"
client_cardinality (value cardinality "0..1")
is_aggregate TRUE)))
(object Association "$UNNAMED$19"
quid "40C9ED90019E"
roles (list role_list
(object Role "elseExpression"
quid "40C9ED91024A"
label "elseExpression"
supplier "Logical View::EssentialOCL::OclExpression"
quidu "401DB533025E"
client_cardinality (value cardinality "1")
Containment "By Value"
is_navigable TRUE)
(object Role "elseOwner"
quid "40C9ED91025E"
label "elseOwner"
supplier "Logical View::EssentialOCL::IfExp"
quidu "40C98FF30127"
client_cardinality (value cardinality "0..1")
is_aggregate TRUE)))
(object Association "$UNNAMED$20"
quid "40C990AD039B"
roles (list role_list
(object Role "body"
quid "40C990B0010A"
label "body"
supplier "Logical View::EssentialOCL::OclExpression"
quidu "401DB533025E"
client_cardinality (value cardinality "1")
Containment "By Value"
is_navigable TRUE)
(object Role "loopBodyOwner"
quid "40C990B00128"
label "loopBodyOwner"
supplier "Logical View::EssentialOCL::LoopExp"
quidu "40E529BE03BC"
client_cardinality (value cardinality "0..1")
is_aggregate TRUE)))
(object Association "$UNNAMED$21"
quid "40CF774A02C4"
roles (list role_list
(object Role "referredVariable"
quid "40CF774B0230"
label "referredVariable"
supplier "Logical View::EssentialOCL::Variable"
quidu "401DAF870288"
client_cardinality (value cardinality "0..1")
is_navigable TRUE)
(object Role "referringExp"
quid "40CF774B023A"
label "referringExp"
supplier "Logical View::EssentialOCL::VariableExp"
quidu "4033886E0235"
client_cardinality (value cardinality "*"))))
(object Association "$UNNAMED$22"
quid "40CF759401FC"
roles (list role_list
(object Role "referredOperation"
quid "40CF75960259"
label "referredOperation"
supplier "Logical View::EMOF::Operation"
quidu "401DACA501B4"
client_cardinality (value cardinality "0..1")
is_navigable TRUE)
(object Role "referringExp"
quid "40CF75960263"
label "referringExp"
supplier "Logical View::EssentialOCL::OperationCallExp"
quidu "40C96BA800C2"
client_cardinality (value cardinality "*"))))
(object Association "$UNNAMED$23"
quid "40C96FD80195"
roles (list role_list
(object Role "source"
quid "40C96FDD0098"
label "source"
supplier "Logical View::EssentialOCL::OclExpression"
quidu "401DB533025E"
client_cardinality (value cardinality "0..1")
Containment "By Value"
is_navigable TRUE)
(object Role "appliedElement"
quid "40C96FDD00B6"
label "appliedElement"
supplier "Logical View::EssentialOCL::CallExp"
quidu "40C96B9402B8"
client_cardinality (value cardinality "0..1")
is_aggregate TRUE)))
(object Association "$UNNAMED$24"
quid "411F714A0043"
roles (list role_list
(object Role "elementType"
quid "411F7150015B"
label "elementType"
supplier "Logical View::EMOF::Type"
quidu "40C78BB303B7"
client_cardinality (value cardinality "1")
is_navigable TRUE)
(object Role "collectionType"
quid "411F7150016F"
label "collectionType"
supplier "Logical View::EssentialOCL::CollectionType"
quidu "40CB3338024A"
client_cardinality (value cardinality "*"))))
(object Association "$UNNAMED$25"
quid "40CF76600083"
roles (list role_list
(object Role "referredProperty"
quid "40CF766100B7"
label "referredProperty"
supplier "Logical View::EMOF::Property"
quidu "401DADC101B3"
client_cardinality (value cardinality "0..1")
is_navigable TRUE)
(object Role "referringExp"
quid "40CF766100C1"
label "referringExp"
supplier "Logical View::EssentialOCL::PropertyCallExp"
quidu "40C96B9E00E5"
client_cardinality (value cardinality "*"))))
(object Association "$UNNAMED$26"
quid "40CD82BA03E5"
roles (list role_list
(object Role "referredEnumLiteral"
quid "40CD82BC0059"
label "referredEnumLiteral"
supplier "Logical View::EMOF::EnumerationLiteral"
quidu "40CB2DD003D0"
client_cardinality (value cardinality "0..1")
is_navigable TRUE)
(object Role "literalExp"
quid "40CD82BC0063"
label "literalExp"
supplier "Logical View::EssentialOCL::EnumLiteralExp"
quidu "40CD824100DE"
client_cardinality (value cardinality "*"))))
(object Association "$UNNAMED$27"
quid "40C9740702E0"
roles (list role_list
(object Role "result"
quid "40C974090102"
label "result"
supplier "Logical View::EssentialOCL::Variable"
quidu "401DAF870288"
client_cardinality (value cardinality "0..1")
Containment "By Value"
is_navigable TRUE)
(object Role "baseExp"
quid "40C974090116"
label "baseExp"
supplier "Logical View::EssentialOCL::IterateExp"
quidu "40C9DF1F008C"
client_cardinality (value cardinality "0..1")
is_aggregate TRUE)))
(object Association "$UNNAMED$28"
quid "40C97174021A"
roles (list role_list
(object Role "initExpression"
quid "40C9717502E4"
label "initExpression"
supplier "Logical View::EssentialOCL::OclExpression"
quidu "401DB533025E"
client_cardinality (value cardinality "0..1")
Containment "By Value"
is_navigable TRUE)
(object Role "initializedElement"
quid "40C971750302"
label "initializedElement"
supplier "Logical View::EssentialOCL::Variable"
quidu "401DAF870288"
client_cardinality (value cardinality "0..1")
is_aggregate TRUE)))
(object Association "$UNNAMED$29"
quid "4B0195660134"
roles (list role_list
(object Role "generatedType"
quid "4B0195680191"
label "generatedType"
supplier "Logical View::EMOF::Type"
quidu "40C78BB303B7"
client_cardinality (value cardinality "0..*")
Containment "By Value"
is_navigable TRUE)
(object Role "owningExpression"
quid "4B01956801B0"
label "owningExpression"
supplier "Logical View::EssentialOCL::ExpressionInOcl"
quidu "428B6C0201BA"
client_cardinality (value cardinality "0..1")
is_aggregate TRUE))))
logical_presentations (list unit_reference_list
(object ClassDiagram "Core Expressions"
quid "40C96B69011B"
title "Core Expressions"
zoom 100
max_height 28350
max_width 21600
origin_x 0
origin_y 2582
items (list diagram_item_list
(object ClassView "Class" "Logical View::EMOF::Property" @1
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (847, 2571)
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 @1
location (755, 2530)
fill_color 13434879
nlines 1
max_width 184
justify 0
label "Property")
icon_style "Icon"
line_color 3342489
fill_color 8454016
quidu "401DADC101B3"
width 202
height 107
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::PropertyCallExp" @2
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (911, 2300)
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 @2
location (749, 2249)
fill_color 13434879
nlines 1
max_width 324
justify 0
label "PropertyCallExp")
icon_style "Icon"
line_color 3342489
fill_color 8454143
quidu "40C96B9E00E5"
width 342
height 126
annotation 8
autoResize TRUE)
(object AssociationViewNew "$UNNAMED$25" @3
location (828, 2440)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
stereotype TRUE
line_color 3342489
quidu "40CF76600083"
roleview_list (list RoleViews
(object RoleView "referredProperty" @4
Parent_View @3
location (-180, 1384)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @5
Parent_View @4
location (834, 2479)
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 264
justify 0
label "+referredProperty"
pctDist 0.506024
height 6
orientation 0)
stereotype TRUE
line_color 3342489
quidu "40CF766100B7"
client @3
supplier @1
vertices (list Points
(828, 2440)
(828, 2518))
line_style 3
origin_attachment (828, 2440)
terminal_attachment (828, 2518)
label (object SegLabel @6
Parent_View @4
location (882, 2508)
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 68
justify 0
label "0..1"
pctDist 0.890909
height 54
orientation 0))
(object RoleView "referringExp" @7
Parent_View @3
location (-180, 1384)
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 (836, 2401)
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 208
justify 0
label "+referringExp"
pctDist 0.509091
height 8
orientation 1)
stereotype TRUE
line_color 3342489
quidu "40CF766100C1"
client @3
supplier @2
vertices (list Points
(828, 2440)
(828, 2363))
line_style 3
origin_attachment (828, 2440)
terminal_attachment (828, 2363)
label (object SegLabel @9
Parent_View @7
location (867, 2386)
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.696970
height 39
orientation 1))))
(object ClassView "Class" "Logical View::EssentialOCL::OclExpression" @10
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (658, 3467)
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 @10
location (511, 3426)
fill_color 13434879
nlines 1
max_width 294
justify 0
label "OclExpression")
icon_style "Icon"
line_color 3342489
fill_color 8454143
quidu "401DB533025E"
width 312
height 107
annotation 8
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::IfExp" @11
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (677, 3045)
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 @11
location (596, 2994)
fill_color 13434879
nlines 1
max_width 162
justify 0
label "IfExp")
icon_style "Icon"
line_color 3342489
fill_color 8454143
quidu "40C98FF30127"
height 126
annotation 8
autoResize TRUE)
(object AssociationViewNew "$UNNAMED$16" @12
location (411, 3214)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
stereotype TRUE
line_color 3342489
quidu "40C9E7C403D7"
roleview_list (list RoleViews
(object RoleView "condition" @13
Parent_View @12
location (-1413, 2190)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @14
Parent_View @13
location (408, 3392)
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 168
justify 0
label "+condition"
pctDist 0.518987
height 4
orientation 1)
stereotype TRUE
line_color 3342489
quidu "40C9E7C80365"
client @12
supplier @10
vertices (list Points
(411, 3214)
(411, 3467)
(502, 3467))
line_style 3
origin_attachment (411, 3214)
terminal_attachment (502, 3467)
label (object SegLabel @15
Parent_View @13
location (468, 3521)
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 "1"
pctDist 0.900000
height 54
orientation 1))
(object RoleView "ifOwner" @16
Parent_View @12
location (-1413, 2190)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @17
Parent_View @16
location (411, 3150)
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 144
justify 0
label "+ifOwner"
pctDist 0.186441
height 1
orientation 0)
stereotype TRUE
line_color 3342489
quidu "40C9E7C8038D"
client @12
supplier @11
vertices (list Points
(411, 3214)
(411, 3045)
(587, 3045))
line_style 3
origin_attachment (411, 3214)
terminal_attachment (587, 3045)
label (object SegLabel @18
Parent_View @16
location (552, 3099)
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 68
justify 0
label "0..1"
pctDist 0.899598
height 54
orientation 1))))
(object AssociationViewNew "$UNNAMED$18" @19
location (592, 3260)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
stereotype TRUE
line_color 3342489
quidu "40C9ED38024C"
roleview_list (list RoleViews
(object RoleView "thenExpression" @20
Parent_View @19
location (272, 1532)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @21
Parent_View @20
location (591, 3324)
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 317
justify 0
label "+thenExpression"
pctDist 0.418301
height 2
orientation 1)
stereotype TRUE
line_color 3342489
quidu "40C9ED3A00F0"
client @19
supplier @10
vertices (list Points
(592, 3260)
(592, 3413))
line_style 3
origin_attachment (592, 3260)
terminal_attachment (592, 3413)
label (object SegLabel @22
Parent_View @20
location (646, 3396)
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 30
justify 0
label "1"
pctDist 0.889831
height 54
orientation 0))
(object RoleView "thenOwner" @23
Parent_View @19
location (272, 1532)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @24
Parent_View @23
location (585, 3206)
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 190
justify 0
label "+thenOwner"
pctDist 0.352459
height 8
orientation 0)
stereotype TRUE
line_color 3342489
quidu "40C9ED3A0104"
client @19
supplier @11
vertices (list Points
(592, 3260)
(592, 3107))
line_style 3
origin_attachment (592, 3260)
terminal_attachment (592, 3107)
label (object SegLabel @25
Parent_View @23
location (646, 3124)
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 68
justify 0
label "0..1"
pctDist 0.889831
height 54
orientation 1))))
(object AssociationViewNew "$UNNAMED$19" @26
location (730, 3260)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
stereotype TRUE
line_color 3342489
quidu "40C9ED90019E"
roleview_list (list RoleViews
(object RoleView "elseExpression" @27
Parent_View @26
location (410, 1532)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @28
Parent_View @27
location (783, 3341)
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 243
justify 0
label "+elseExpression"
pctDist 0.529412
height 53
orientation 0)
stereotype TRUE
line_color 3342489
quidu "40C9ED91024A"
client @26
supplier @10
vertices (list Points
(730, 3260)
(730, 3413))
line_style 3
origin_attachment (730, 3260)
terminal_attachment (730, 3413)
label (object SegLabel @29
Parent_View @27
location (784, 3398)
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 68
justify 0
label "1"
pctDist 0.899160
height 54
orientation 0))
(object RoleView "elseOwner" @30
Parent_View @26
location (410, 1532)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @31
Parent_View @30
location (797, 3202)
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 184
justify 0
label "+elseOwner"
pctDist 0.381356
height 67
orientation 1)
stereotype TRUE
line_color 3342489
quidu "40C9ED91025E"
client @26
supplier @11
vertices (list Points
(730, 3260)
(730, 3107))
line_style 3
origin_attachment (730, 3260)
terminal_attachment (730, 3107)
label (object SegLabel @32
Parent_View @30
location (784, 3124)
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 68
justify 0
label "0..1"
pctDist 0.889831
height 54
orientation 1))))
(object ClassView "Class" "Logical View::EssentialOCL::IteratorExp" @33
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1365, 3589)
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 @33
location (1244, 3538)
fill_color 13434879
nlines 1
max_width 242
justify 0
label "IteratorExp")
icon_style "Icon"
line_color 3342489
fill_color 8454143
quidu "40E5303F0333"
width 260
height 126
annotation 8
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::CallExp" @34
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1189, 3061)
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 @34
location (1102, 3010)
fill_color 13434879
nlines 1
max_width 174
justify 0
label "CallExp")
icon_style "Icon"
line_color 3342489
fill_color 8454143
quidu "40C96B9402B8"
width 192
height 126
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::IterateExp" @35
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1013, 3589)
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 @35
location (900, 3538)
fill_color 13434879
nlines 1
max_width 226
justify 0
label "IterateExp")
icon_style "Icon"
line_color 3342489
fill_color 8454143
quidu "40C9DF1F008C"
width 244
height 126
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::LoopExp" @36
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1173, 3301)
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 (1076, 3250)
fill_color 13434879
nlines 1
max_width 194
justify 0
label "LoopExp")
icon_style "Icon"
line_color 3342489
fill_color 8454143
quidu "40E529BE03BC"
width 212
height 126
annotation 8
autoResize TRUE)
(object InheritView "" @37
stereotype TRUE
line_color 3342489
quidu "40CF73B303BD"
client @36
supplier @34
vertices (list Points
(1173, 3238)
(1173, 3124))
line_style 3
origin_attachment (1173, 3238)
terminal_attachment (1173, 3124))
(object InheritTreeView "" @38
location (1173, 3477)
line_color 3342489
fill_color 8454143
supplier @36
vertices (list Points
(1173, 3477)
(1173, 3364)))
(object InheritView "" @39
stereotype TRUE
line_color 3342489
quidu "40E52A2B01EC"
client @35
supplier @36
vertices (list Points
(1078, 3526)
(1078, 3477))
line_style 3
origin_attachment (1078, 3526)
terminal_attachment (1078, 3477)
drawSupplier @38)
(object InheritView "" @40
stereotype TRUE
line_color 3342489
quidu "40E5306B02E7"
client @33
supplier @36
vertices (list Points
(1350, 3525)
(1350, 3477))
line_style 3
origin_attachment (1350, 3525)
terminal_attachment (1350, 3477)
drawSupplier @38)
(object ClassView "Class" "Logical View::EssentialOCL::OclExpression" @41
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (885, 2789)
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 @41
location (738, 2748)
fill_color 13434879
nlines 1
max_width 294
justify 0
label "OclExpression")
icon_style "Icon"
line_color 3342489
fill_color 8454143
quidu "401DB533025E"
width 312
height 107
annotation 8
autoResize TRUE)
(object InheritTreeView "" @42
location (885, 2937)
line_color 3342489
fill_color 8454143
supplier @41
vertices (list Points
(885, 2937)
(885, 2842)))
(object InheritView "" @43
stereotype TRUE
line_color 3342489
quidu "40C9EE2D0212"
client @11
supplier @41
vertices (list Points
(667, 2982)
(667, 2937))
line_style 3
origin_attachment (667, 2982)
terminal_attachment (667, 2937)
drawSupplier @42)
(object InheritView "" @44
stereotype TRUE
line_color 3342489
quidu "40C96E88025B"
client @34
supplier @41
vertices (list Points
(1105, 2998)
(1105, 2937))
line_style 3
origin_attachment (1105, 2998)
terminal_attachment (1105, 2937)
drawSupplier @42)
(object AssociationViewNew "$UNNAMED$20" @45
location (1514, 2897)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
stereotype TRUE
line_color 3342489
quidu "40C990AD039B"
roleview_list (list RoleViews
(object RoleView "body" @46
Parent_View @45
location (1114, 1873)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @47
Parent_View @46
location (1143, 2835)
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 102
justify 0
label "+body"
pctDist 0.822630
height 37
orientation 0)
stereotype TRUE
line_color 3342489
quidu "40C990B0010A"
client @45
supplier @41
vertices (list Points
(1514, 2897)
(1514, 2798)
(1041, 2798))
line_style 3
origin_attachment (1514, 2897)
terminal_attachment (1041, 2798)
label (object SegLabel @48
Parent_View @46
location (1116, 2777)
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 30
justify 0
label "1"
pctDist 0.868502
height 22
orientation 1))
(object RoleView "loopBodyOwner" @49
Parent_View @45
location (1114, 1873)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @50
Parent_View @49
location (1452, 3186)
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 318
justify 0
label "+loopBodyOwner"
pctDist 0.699229
height 49
orientation 1)
stereotype TRUE
line_color 3342489
quidu "40C990B00128"
client @45
supplier @36
vertices (list Points
(1514, 2897)
(1514, 3234)
(1279, 3234))
line_style 3
origin_attachment (1514, 2897)
terminal_attachment (1279, 3234)
label (object SegLabel @51
Parent_View @49
location (1402, 3260)
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 68
justify 0
label "0..1"
pctDist 0.786154
height 26
orientation 0))))
(object ClassView "Class" "Logical View::EssentialOCL::Variable" @52
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1785, 3586)
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 (1693, 3545)
fill_color 13434879
nlines 1
max_width 184
justify 0
label "Variable")
icon_style "Icon"
line_color 3342489
fill_color 8454143
quidu "401DAF870288"
width 202
height 107
annotation 8
autoResize TRUE)
(object AssociationViewNew "$UNNAMED$27" @53
location (1405, 3752)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
stereotype TRUE
line_color 3342489
quidu "40C9740702E0"
roleview_list (list RoleViews
(object RoleView "result" @54
Parent_View @53
location (1101, 2504)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @55
Parent_View @54
location (1704, 3714)
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 101
justify 0
label "+result"
pctDist 0.608796
height 39
orientation 0)
stereotype TRUE
line_color 3342489
quidu "40C974090102"
client @53
supplier @52
vertices (list Points
(1405, 3752)
(1784, 3752)
(1784, 3639))
line_style 3
origin_attachment (1405, 3752)
terminal_attachment (1784, 3639)
label (object SegLabel @56
Parent_View @54
location (1826, 3723)
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 68
justify 0
label "0..1"
pctDist 0.831933
height 42
orientation 1))
(object RoleView "baseExp" @57
Parent_View @53
location (1101, 2504)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @58
Parent_View @57
location (1173, 3726)
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 "+baseExp"
pctDist 0.472222
height 27
orientation 1)
stereotype TRUE
line_color 3342489
quidu "40C974090116"
client @53
supplier @35
vertices (list Points
(1405, 3752)
(1014, 3752)
(1014, 3652))
line_style 3
origin_attachment (1405, 3752)
terminal_attachment (1014, 3652)
label (object SegLabel @59
Parent_View @57
location (1068, 3705)
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 68
justify 0
label "0..1"
pctDist 0.894737
height 54
orientation 1))))
(object AssociationViewNew "$UNNAMED$15" @60
location (1600, 3320)
stereotype TRUE
line_color 3342489
quidu "40E534C50194"
roleview_list (list RoleViews
(object RoleView "loopExp" @61
Parent_View @60
location (176, 1816)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @62
Parent_View @61
location (1345, 3281)
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 141
justify 0
label "+loopExp"
pctDist 0.796858
height 40
orientation 1)
stereotype TRUE
line_color 3342489
quidu "40E534C50195"
client @60
supplier @36
vertices (list Points
(1600, 3320)
(1279, 3320))
line_style 3
origin_attachment (1600, 3320)
terminal_attachment (1279, 3320)
label (object SegLabel @63
Parent_View @61
location (1313, 3374)
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 68
justify 0
label "0..1"
pctDist 0.897638
height 54
orientation 0))
(object RoleView "iterator" @64
Parent_View @60
location (176, 1816)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @65
Parent_View @64
location (1705, 3426)
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 134
justify 0
label "+iterator"
pctDist 0.666667
height 4
orientation 1)
stereotype TRUE
line_color 3342489
quidu "40E534C50196"
client @60
supplier @52
vertices (list Points
(1600, 3320)
(1708, 3320)
(1708, 3533))
line_style 3
origin_attachment (1600, 3320)
terminal_attachment (1708, 3533)
label (object SegLabel @66
Parent_View @64
location (1672, 3506)
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 68
justify 0
label "*"
pctDist 0.915888
height 37
orientation 1)
label (object SegLabel @67
Parent_View @64
location (1624, 3462)
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 142
justify 0
label "{ordered}"
pctDist 0.778816
height 85
orientation 1))))
(object AssociationViewNew "$UNNAMED$28" @68
location (1849, 2806)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
stereotype TRUE
line_color 3342489
quidu "40C97174021A"
roleview_list (list RoleViews
(object RoleView "initExpression" @69
Parent_View @68
location (889, 2246)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @70
Parent_View @69
location (1179, 2725)
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 234
justify 0
label "+initExpression"
pctDist 0.842158
height 22
orientation 1)
stereotype TRUE
line_color 3342489
quidu "40C9717502E4"
client @68
supplier @41
vertices (list Points
(1849, 2806)
(1849, 2746)
(1041, 2746))
line_style 3
origin_attachment (1849, 2806)
terminal_attachment (1041, 2746)
label (object SegLabel @71
Parent_View @69
location (1374, 2725)
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 68
justify 0
label "0..1"
pctDist 0.617647
height 22
orientation 1))
(object RoleView "initializedElement" @72
Parent_View @68
location (889, 2246)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @73
Parent_View @72
location (1862, 3385)
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 333
justify 0
label "+initializedElement"
pctDist 0.797554
height 13
orientation 0)
stereotype TRUE
line_color 3342489
quidu "40C971750302"
client @68
supplier @52
vertices (list Points
(1849, 2806)
(1849, 3533))
line_style 3
origin_attachment (1849, 2806)
terminal_attachment (1849, 3533)
label (object SegLabel @74
Parent_View @72
location (1816, 3459)
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 68
justify 0
label "0..1"
pctDist 0.898098
height 34
orientation 1))))
(object ClassView "Class" "Logical View::EssentialOCL::IntegerLiteralExp" @75
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1776, 5413)
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 @75
location (1565, 5357)
fill_color 16777215
nlines 1
max_width 422
justify 0
label "IntegerLiteralExp")
icon_style "Icon"
line_color 3342489
fill_color 8454143
quidu "40CD81F10346"
width 440
height 136
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::RealLiteralExp" @76
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (577, 5410)
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 @76
location (414, 5354)
fill_color 16777215
nlines 1
max_width 326
justify 0
label "RealLiteralExp")
icon_style "Icon"
line_color 3342489
fill_color 8454143
quidu "40CD81F8021A"
width 344
height 136
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::BooleanLiteralExp" @77
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1578, 5097)
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 @77
location (1345, 5041)
fill_color 16777215
nlines 1
max_width 466
justify 0
label "BooleanLiteralExp")
icon_style "Icon"
line_color 3342489
fill_color 8454143
quidu "40CD820C0236"
width 484
height 136
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::StringLiteralExp" @78
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1035, 5098)
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 @78
location (843, 5042)
fill_color 16777215
nlines 1
max_width 384
justify 0
label "StringLiteralExp")
icon_style "Icon"
line_color 3342489
fill_color 8454143
quidu "40CD821202C1"
width 402
height 136
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::UnlimitedNaturalExp" @79
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1158, 5413)
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 @79
location (923, 5357)
fill_color 16777215
nlines 1
max_width 470
justify 0
label "UnlimitedNaturalExp")
icon_style "Icon"
line_color 3342489
fill_color 8454143
quidu "40CDAA45000C"
width 488
height 136
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::LiteralExp" @80
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1104, 4516)
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 @80
location (1001, 4475)
fill_color 16777215
nlines 1
max_width 206
justify 0
label "LiteralExp")
icon_style "Icon"
line_color 3342489
fill_color 8454143
quidu "40E2B2FC0306"
width 224
height 107
annotation 8
autoResize TRUE)
(object ClassView "Class" "Logical View::EMOF::EnumerationLiteral" @81
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (374, 5557)
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 @81
location (186, 5516)
fill_color 16777215
nlines 1
max_width 376
justify 0
label "EnumerationLiteral")
icon_style "Icon"
line_color 3342489
fill_color 8454016
quidu "40CB2DD003D0"
width 394
height 107
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::EnumLiteralExp" @82
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (417, 4783)
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 @82
location (258, 4732)
fill_color 16777215
nlines 1
max_width 318
justify 0
label "EnumLiteralExp")
icon_style "Icon"
line_color 3342489
fill_color 8454143
quidu "40CD824100DE"
width 336
height 126
autoResize TRUE)
(object AssociationViewNew "$UNNAMED$26" @83
location (245, 5174)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
stereotype TRUE
line_color 3342489
quidu "40CD82BA03E5"
roleview_list (list RoleViews
(object RoleView "referredEnumLiteral" @84
Parent_View @83
location (-875, 4438)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @85
Parent_View @84
location (285, 5309)
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 324
justify 0
label "+referredEnumLiteral"
pctDist 0.413374
height 40
orientation 0)
stereotype TRUE
line_color 3342489
quidu "40CD82BC0059"
client @83
supplier @81
vertices (list Points
(245, 5174)
(245, 5504))
line_style 3
origin_attachment (245, 5174)
terminal_attachment (245, 5504)
label (object SegLabel @86
Parent_View @84
location (298, 5470)
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 68
justify 0
label "0..1"
pctDist 0.900474
height 53
orientation 0))
(object RoleView "literalExp" @87
Parent_View @83
location (-875, 4438)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @88
Parent_View @87
location (290, 4882)
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 220
justify 0
label "+literalExp"
pctDist 0.890244
height 45
orientation 1)
stereotype TRUE
line_color 3342489
quidu "40CD82BC0063"
client @83
supplier @82
vertices (list Points
(245, 5174)
(245, 4845))
line_style 3
origin_attachment (245, 5174)
terminal_attachment (245, 4845)
label (object SegLabel @89
Parent_View @87
location (223, 4930)
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.744681
height 23
orientation 0))))
(object ClassView "Class" "Logical View::EMOF::TypedElement" @90
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1179, 1187)
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 (1031, 1146)
fill_color 13434879
nlines 1
max_width 296
justify 0
label "TypedElement")
icon_style "Icon"
line_color 3342489
fill_color 8454016
quidu "401DB04002F2"
width 314
height 107
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::PrimitiveLiteralExp" @91
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1050, 4791)
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 @91
location (861, 4750)
fill_color 13434879
nlines 1
max_width 378
justify 0
label "PrimitiveLiteralExp")
icon_style "Icon"
line_color 3342489
fill_color 8454143
quidu "41694DCF00F4"
width 396
height 107
annotation 8
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::NumericLiteralExp" @92
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (536, 5090)
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 (349, 5049)
fill_color 13434879
nlines 1
max_width 374
justify 0
label "NumericLiteralExp")
icon_style "Icon"
line_color 3342489
fill_color 8454143
quidu "41694DFF0360"
width 392
height 107
annotation 8
autoResize TRUE)
(object InheritTreeView "" @93
location (1050, 4966)
line_color 3342489
fill_color 13434879
supplier @91
vertices (list Points
(1050, 4966)
(1050, 4844)))
(object InheritView "" @94
stereotype TRUE
line_color 3342489
quidu "41694E6601CE"
client @92
supplier @91
vertices (list Points
(617, 5037)
(617, 4966))
line_style 3
origin_attachment (617, 5037)
terminal_attachment (617, 4966)
drawSupplier @93)
(object InheritView "" @95
stereotype TRUE
line_color 3342489
quidu "40CD82AA028E"
client @78
supplier @91
vertices (list Points
(1033, 5030)
(1033, 4966))
line_style 3
origin_attachment (1033, 5030)
terminal_attachment (1033, 4966)
drawSupplier @93)
(object InheritView "" @96
stereotype TRUE
line_color 3342489
quidu "40CD82A602C4"
client @77
supplier @91
vertices (list Points
(1546, 5029)
(1546, 4966))
line_style 3
origin_attachment (1546, 5029)
terminal_attachment (1546, 4966)
drawSupplier @93)
(object InheritTreeView "" @97
location (536, 5297)
line_color 3342489
fill_color 13434879
supplier @92
vertices (list Points
(536, 5297)
(536, 5143)))
(object InheritView "" @98
stereotype TRUE
line_color 3342489
quidu "40CDAA77039D"
client @79
supplier @92
vertices (list Points
(1190, 5345)
(1190, 5297))
line_style 3
origin_attachment (1190, 5345)
terminal_attachment (1190, 5297)
drawSupplier @97)
(object InheritView "" @99
stereotype TRUE
line_color 3342489
quidu "40CD829D0018"
client @75
supplier @92
vertices (list Points
(1718, 5345)
(1718, 5297))
line_style 3
origin_attachment (1718, 5345)
terminal_attachment (1718, 5297)
drawSupplier @97)
(object InheritView "" @100
stereotype TRUE
line_color 3342489
quidu "40CD829F038C"
client @76
supplier @92
vertices (list Points
(508, 5341)
(508, 5297))
line_style 3
origin_attachment (508, 5341)
terminal_attachment (508, 5297)
drawSupplier @97)
(object ClassView "Class" "Logical View::EssentialOCL::LetExp" @101
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (983, 4289)
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 @101
location (901, 4238)
fill_color 13434879
nlines 1
max_width 164
justify 0
label "LetExp")
icon_style "Icon"
line_color 3342489
fill_color 8454143
quidu "411F35BC00B9"
width 182
height 126
annotation 8
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::OclExpression" @102
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (974, 4030)
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 @102
location (827, 3989)
fill_color 13434879
nlines 1
max_width 294
justify 0
label "OclExpression")
icon_style "Icon"
line_color 3342489
fill_color 8454143
quidu "401DB533025E"
width 312
height 107
annotation 8
autoResize TRUE)
(object InheritView "" @103
stereotype TRUE
line_color 3342489
quidu "411F36570333"
client @101
supplier @102
vertices (list Points
(920, 4226)
(920, 4082))
line_style 3
origin_attachment (920, 4226)
terminal_attachment (920, 4082))
(object AssociationViewNew "$UNNAMED$13" @104
location (1030, 4154)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
stereotype TRUE
line_color 3342489
quidu "411F3686002D"
roleview_list (list RoleViews
(object RoleView "in" @105
Parent_View @104
location (167, -808)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @106
Parent_View @105
location (1098, 4117)
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 58
justify 0
label "+in"
pctDist 0.535211
height 68
orientation 1)
stereotype TRUE
line_color 3342489
quidu "411F368602D6"
client @104
supplier @102
vertices (list Points
(1030, 4154)
(1030, 4083))
line_style 3
origin_attachment (1030, 4154)
terminal_attachment (1030, 4083)
label (object SegLabel @107
Parent_View @105
location (997, 4120)
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 30
justify 0
label "1"
pctDist 0.478873
height 34
orientation 0))
(object RoleView "letExp" @108
Parent_View @104
location (167, -808)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @109
Parent_View @108
location (1121, 4195)
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 124
justify 0
label "+letExp"
pctDist 0.591549
height 91
orientation 0)
stereotype TRUE
line_color 3342489
quidu "411F368602FE"
client @104
supplier @101
vertices (list Points
(1030, 4154)
(1030, 4225))
line_style 3
origin_attachment (1030, 4154)
terminal_attachment (1030, 4225)
label (object SegLabel @110
Parent_View @108
location (988, 4195)
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 68
justify 0
label "0..1"
pctDist 0.591549
height 43
orientation 1))))
(object ClassView "Class" "Logical View::EssentialOCL::Variable" @111
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1642, 4292)
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 @111
location (1550, 4251)
fill_color 13434879
nlines 1
max_width 184
justify 0
label "Variable")
icon_style "Icon"
line_color 3342489
fill_color 8454143
quidu "401DAF870288"
width 202
height 107
annotation 8
autoResize TRUE)
(object AssociationViewNew "$UNNAMED$14" @112
location (1307, 4292)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
stereotype TRUE
line_color 3342489
quidu "411F36E2010C"
roleview_list (list RoleViews
(object RoleView "variable" @113
Parent_View @112
location (444, -670)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @114
Parent_View @113
location (1407, 4262)
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 150
justify 0
label "+variable"
pctDist 0.425477
height 31
orientation 0)
stereotype TRUE
line_color 3342489
quidu "411F36E300F9"
client @112
supplier @111
vertices (list Points
(1307, 4292)
(1541, 4292))
line_style 3
origin_attachment (1307, 4292)
terminal_attachment (1541, 4292)
label (object SegLabel @115
Parent_View @113
location (1515, 4346)
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 30
justify 0
label "1"
pctDist 0.893617
height 54
orientation 1))
(object RoleView "letExp" @116
Parent_View @112
location (444, -670)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @117
Parent_View @116
location (1181, 4255)
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 124
justify 0
label "+letExp"
pctDist 0.540426
height 38
orientation 1)
stereotype TRUE
line_color 3342489
quidu "411F36E30117"
client @112
supplier @101
vertices (list Points
(1307, 4292)
(1074, 4292))
line_style 3
origin_attachment (1307, 4292)
terminal_attachment (1074, 4292)
label (object SegLabel @118
Parent_View @116
location (1156, 4346)
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 68
justify 0
label "0..1"
pctDist 0.652482
height 54
orientation 0))))
(object AssociationViewNew "$UNNAMED$28" @119
location (1510, 4030)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
stereotype TRUE
line_color 3342489
quidu "40C97174021A"
roleview_list (list RoleViews
(object RoleView "initExpression" @120
Parent_View @119
location (550, 3470)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @121
Parent_View @120
location (1312, 4001)
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 234
justify 0
label "+initExpression"
pctDist 0.521311
height 30
orientation 1)
stereotype TRUE
line_color 3342489
quidu "40C9717502E4"
client @119
supplier @102
vertices (list Points
(1510, 4030)
(1130, 4030))
line_style 3
origin_attachment (1510, 4030)
terminal_attachment (1130, 4030)
label (object SegLabel @122
Parent_View @120
location (1271, 4068)
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 68
justify 0
label "0..1"
pctDist 0.628866
height 38
orientation 0))
(object RoleView "initializedElement" @123
Parent_View @119
location (550, 3470)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @124
Parent_View @123
location (1684, 4129)
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 333
justify 0
label "+initializedElement"
pctDist 0.711475
height 3
orientation 0)
stereotype TRUE
line_color 3342489
quidu "40C971750302"
client @119
supplier @111
vertices (list Points
(1510, 4030)
(1681, 4030)
(1681, 4239))
line_style 3
origin_attachment (1510, 4030)
terminal_attachment (1681, 4239)
label (object SegLabel @125
Parent_View @123
location (1627, 4206)
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 68
justify 0
label "0..1"
pctDist 0.912467
height 55
orientation 1))))
(object ClassView "Class" "Logical View::EssentialOCL::CollectionLiteralPart" @126
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (801, 6358)
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 @126
location (603, 6317)
fill_color 13434879
nlines 1
max_width 396
justify 0
label "CollectionLiteralPart")
icon_style "Icon"
line_color 3342489
fill_color 8454143
quidu "416952FB009E"
width 414
height 107
annotation 8
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::CollectionLiteralExp" @127
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (600, 6064)
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 @127
location (400, 6008)
fill_color 13434879
nlines 1
max_width 400
justify 0
label "CollectionLiteralExp")
icon_style "Icon"
line_color 3342489
fill_color 8454143
quidu "416952980309"
width 418
height 136
autoResize TRUE)
(object AssociationViewNew "$UNNAMED$0" @128
location (658, 6217)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
stereotype TRUE
line_color 3342489
quidu "4169532300C4"
roleview_list (list RoleViews
(object RoleView "part" @129
Parent_View @128
location (-46, 640)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @130
Parent_View @129
location (609, 6259)
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 97
justify 0
label "+part"
pctDist 0.494253
height 50
orientation 1)
stereotype TRUE
line_color 3342489
quidu "416953230363"
client @128
supplier @126
vertices (list Points
(658, 6217)
(658, 6304))
line_style 3
origin_attachment (658, 6217)
terminal_attachment (658, 6304)
label (object SegLabel @131
Parent_View @129
location (712, 6293)
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 24
justify 0
label "*"
pctDist 0.877193
height 54
orientation 0))
(object RoleView "collectionLiteralExp" @132
Parent_View @128
location (-46, 640)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @133
Parent_View @132
location (542, 6198)
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 324
justify 0
label "+collectionLiteralExp"
pctDist 0.220930
height 117
orientation 0)
stereotype TRUE
line_color 3342489
quidu "41695323036D"
client @128
supplier @127
vertices (list Points
(658, 6217)
(658, 6131))
line_style 3
origin_attachment (658, 6217)
terminal_attachment (658, 6131)
label (object SegLabel @134
Parent_View @132
location (712, 6186)
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 30
justify 0
label "1"
pctDist 0.368421
height 54
orientation 1))))
(object ClassView "Class" "Logical View::EssentialOCL::LiteralExp" @135
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1137, 5761)
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 @135
location (1034, 5720)
fill_color 16777215
nlines 1
max_width 206
justify 0
label "LiteralExp")
icon_style "Icon"
line_color 3342489
fill_color 8454143
quidu "40E2B2FC0306"
width 224
height 107
annotation 8
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::CollectionKind" @136
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1571, 6885)
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 @136
location (1408, 6751)
nlines 1
max_width 326
justify 0
label "CollectionKind")
stereotype (object ItemLabel
Parent_View @136
location (1408, 6701)
anchor 10
nlines 1
max_width 326
justify 0
label "<<enumeration>>")
icon_style "Icon"
line_color 3342489
fill_color 16777215
quidu "40DFC0D7022F"
width 344
height 392
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::VariableExp" @137
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1245, 1677)
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 @137
location (1118, 1626)
fill_color 13434879
nlines 1
max_width 254
justify 0
label "VariableExp")
icon_style "Icon"
line_color 3342489
fill_color 8454143
quidu "4033886E0235"
width 272
height 126
annotation 8
autoResize TRUE)
(object ClassView "Class" "Logical View::EMOF::Parameter" @138
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1307, 2287)
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 @138
location (1193, 2246)
fill_color 13434879
nlines 1
max_width 228
justify 0
label "Parameter")
icon_style "Icon"
line_color 3342489
fill_color 8454016
quidu "401DABF00182"
width 246
height 107
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::Variable" @139
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1276, 1980)
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 @139
location (1184, 1929)
fill_color 13434879
nlines 1
max_width 184
justify 0
label "Variable")
icon_style "Icon"
line_color 3342489
fill_color 8454143
quidu "401DAF870288"
width 202
height 126
annotation 8
autoResize TRUE)
(object AssociationViewNew "$UNNAMED$21" @140
location (1240, 1828)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
stereotype TRUE
line_color 3342489
quidu "40CF774A02C4"
roleview_list (list RoleViews
(object RoleView "referredVariable" @141
Parent_View @140
location (-232, 1124)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @142
Parent_View @141
location (1249, 1869)
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 268
justify 0
label "+referredVariable"
pctDist 0.460674
height 9
orientation 0)
stereotype TRUE
line_color 3342489
quidu "40CF774B0230"
client @140
supplier @139
vertices (list Points
(1240, 1828)
(1240, 1917))
line_style 3
origin_attachment (1240, 1828)
terminal_attachment (1240, 1917)
label (object SegLabel @143
Parent_View @141
location (1157, 1903)
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 68
justify 0
label "0..1"
pctDist 0.853933
height 84
orientation 1))
(object RoleView "referringExp" @144
Parent_View @140
location (-232, 1124)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @145
Parent_View @144
location (1232, 1794)
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 208
justify 0
label "+referringExp"
pctDist 0.393258
height 9
orientation 0)
stereotype TRUE
line_color 3342489
quidu "40CF774B023A"
client @140
supplier @137
vertices (list Points
(1240, 1828)
(1240, 1739))
line_style 3
origin_attachment (1240, 1828)
terminal_attachment (1240, 1739)
label (object SegLabel @146
Parent_View @144
location (1209, 1761)
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.764045
height 32
orientation 0))))
(object AssociationViewNew "$UNNAMED$5" @147
location (1287, 2138)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
stereotype TRUE
line_color 3342489
quidu "422B45350312"
roleview_list (list RoleViews
(object RoleView "representedParameter" @148
Parent_View @147
location (-649, 1357)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @149
Parent_View @148
location (1271, 2174)
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 355
justify 0
label "+representedParameter"
pctDist 0.389474
height 17
orientation 1)
stereotype TRUE
line_color 3342489
quidu "422B453600C4"
client @147
supplier @138
vertices (list Points
(1287, 2138)
(1287, 2233))
line_style 3
origin_attachment (1287, 2138)
terminal_attachment (1287, 2233)
label (object SegLabel @150
Parent_View @148
location (1238, 2211)
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 68
justify 0
label "0..1"
pctDist 0.778947
height 50
orientation 1))
(object RoleView "variable" @151
Parent_View @147
location (-649, 1357)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @152
Parent_View @151
location (1263, 2098)
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 154
justify 0
label "+variable"
pctDist 0.421053
height 25
orientation 0)
stereotype TRUE
line_color 3342489
quidu "422B453600E2"
client @147
supplier @139
vertices (list Points
(1287, 2138)
(1287, 2043))
line_style 3
origin_attachment (1287, 2138)
terminal_attachment (1287, 2043)
label (object SegLabel @153
Parent_View @151
location (1268, 2066)
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.757895
height 20
orientation 0))))
(object ClassView "Class" "Logical View::EssentialOCL::NullLiteralExp" @154
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1508, 4795)
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 @154
location (1363, 4744)
fill_color 13434879
nlines 1
max_width 290
justify 0
label "NullLiteralExp")
icon_style "Icon"
line_color 3342489
fill_color 8454143
quidu "422B45FC00E7"
width 308
height 126
annotation 8
autoResize TRUE)
(object ClassView "Class" "Logical View::EMOF::Operation" @155
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (436, 2571)
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 @155
location (335, 2530)
fill_color 13434879
nlines 1
max_width 202
justify 0
label "Operation")
icon_style "Icon"
line_color 3342489
fill_color 8454016
quidu "401DACA501B4"
width 220
height 107
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::OperationCallExp" @156
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (455, 2281)
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 @156
location (275, 2230)
fill_color 13434879
nlines 1
max_width 360
justify 0
label "OperationCallExp")
icon_style "Icon"
line_color 3342489
fill_color 8454143
quidu "40C96BA800C2"
width 378
height 126
autoResize TRUE)
(object AssociationViewNew "$UNNAMED$22" @157
location (413, 2431)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
stereotype TRUE
line_color 3342489
quidu "40CF759401FC"
roleview_list (list RoleViews
(object RoleView "referredOperation" @158
Parent_View @157
location (13, 1375)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @159
Parent_View @158
location (455, 2473)
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 290
justify 0
label "+referredOperation"
pctDist 0.493671
height 42
orientation 0)
stereotype TRUE
line_color 3342489
quidu "40CF75960259"
client @157
supplier @155
vertices (list Points
(413, 2431)
(413, 2518))
line_style 3
origin_attachment (413, 2431)
terminal_attachment (413, 2518)
label (object SegLabel @160
Parent_View @158
location (361, 2509)
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 68
justify 0
label "0..1"
pctDist 0.898990
height 53
orientation 1))
(object RoleView "referringExp" @161
Parent_View @157
location (13, 1375)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @162
Parent_View @161
location (434, 2378)
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 208
justify 0
label "+referringExp"
pctDist 0.617834
height 21
orientation 1)
stereotype TRUE
line_color 3342489
quidu "40CF75960263"
client @157
supplier @156
vertices (list Points
(413, 2431)
(413, 2344))
line_style 3
origin_attachment (413, 2431)
terminal_attachment (413, 2344)
label (object SegLabel @163
Parent_View @161
location (387, 2362)
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.796178
height 27
orientation 0))))
(object ClassView "Class" "Logical View::EssentialOCL::OclExpression" @164
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1178, 1368)
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 @164
location (1031, 1327)
fill_color 13434879
nlines 1
max_width 294
justify 0
label "OclExpression")
icon_style "Icon"
line_color 3342489
fill_color 8454143
quidu "401DB533025E"
width 312
height 107
annotation 8
autoResize TRUE)
(object AssociationViewNew "$UNNAMED$17" @165
location (325, 1425)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
stereotype TRUE
line_color 3342489
quidu "40C96F5100A1"
roleview_list (list RoleViews
(object RoleView "argument" @166
Parent_View @165
location (37, 417)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @167
Parent_View @166
location (845, 1292)
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 172
justify 0
label "+argument"
pctDist 0.776899
height 38
orientation 0)
stereotype TRUE
line_color 3342489
quidu "40C96F5500A7"
client @165
supplier @164
vertices (list Points
(325, 1425)
(325, 1329)
(1022, 1329))
line_style 3
origin_attachment (325, 1425)
terminal_attachment (1022, 1329)
label (object SegLabel @168
Parent_View @166
location (982, 1292)
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.949367
height 38
orientation 0)
label (object SegLabel @169
Parent_View @166
location (907, 1240)
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 142
justify 0
label "{ordered}"
pctDist 0.854942
height 90
orientation 0))
(object RoleView "parentCall" @170
Parent_View @165
location (37, 417)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @171
Parent_View @170
location (285, 2058)
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 220
justify 0
label "+parentCall"
pctDist 0.798599
height 41
orientation 1)
stereotype TRUE
line_color 3342489
quidu "40C96F5500C5"
client @165
supplier @156
vertices (list Points
(325, 1425)
(325, 2218))
line_style 3
origin_attachment (325, 1425)
terminal_attachment (325, 2218)
label (object SegLabel @172
Parent_View @170
location (379, 2138)
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 68
justify 0
label "0..1"
pctDist 0.900553
height 54
orientation 0))))
(object ClassView "Class" "Logical View::EssentialOCL::CallExp" @173
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (766, 1644)
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 @173
location (679, 1593)
fill_color 13434879
nlines 1
max_width 174
justify 0
label "CallExp")
icon_style "Icon"
line_color 3342489
fill_color 8454143
quidu "40C96B9402B8"
width 192
height 126
autoResize TRUE)
(object AssociationViewNew "$UNNAMED$23" @174
location (779, 1396)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
stereotype TRUE
line_color 3342489
quidu "40C96FD80195"
roleview_list (list RoleViews
(object RoleView "source" @175
Parent_View @174
location (251, 676)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @176
Parent_View @175
location (935, 1437)
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 124
justify 0
label "+source"
pctDist 0.644951
height 41
orientation 1)
stereotype TRUE
line_color 3342489
quidu "40C96FDD0098"
client @174
supplier @164
vertices (list Points
(779, 1396)
(1022, 1396))
line_style 3
origin_attachment (779, 1396)
terminal_attachment (1022, 1396)
label (object SegLabel @177
Parent_View @175
location (971, 1387)
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 68
justify 0
label "0..1"
pctDist 0.789773
height 10
orientation 0))
(object RoleView "appliedElement" @178
Parent_View @174
location (251, 676)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @179
Parent_View @178
location (707, 1480)
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 268
justify 0
label "+appliedElement"
pctDist 0.586957
height 13
orientation 1)
stereotype TRUE
line_color 3342489
quidu "40C96FDD00B6"
client @174
supplier @173
vertices (list Points
(779, 1396)
(719, 1396)
(719, 1581))
line_style 3
origin_attachment (779, 1396)
terminal_attachment (719, 1581)
label (object SegLabel @180
Parent_View @178
location (663, 1556)
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 68
justify 0
label "0..1"
pctDist 0.897059
height 57
orientation 1))))
(object InheritView "" @181
stereotype TRUE
line_color 3342489
quidu "40C7213002DE"
client @164
supplier @90
vertices (list Points
(1156, 1315)
(1156, 1239))
line_style 3
origin_attachment (1156, 1315)
terminal_attachment (1156, 1239))
(object ClassView "Class" "Logical View::EssentialOCL::OclExpression" @182
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1153, 542)
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 @182
location (1006, 501)
fill_color 13434879
nlines 1
max_width 294
justify 0
label "OclExpression")
icon_style "Icon"
line_color 3342489
fill_color 8454143
quidu "401DB533025E"
width 312
height 107
annotation 8
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::Variable" @183
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (587, 712)
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 @183
location (495, 671)
fill_color 13434879
nlines 1
max_width 184
justify 0
label "Variable")
icon_style "Icon"
line_color 3342489
fill_color 8454143
quidu "401DAF870288"
width 202
height 107
annotation 8
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::ExpressionInOcl" @184
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (645, 340)
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 @184
location (483, 289)
fill_color 13434879
nlines 1
max_width 324
justify 0
label "ExpressionInOcl")
icon_style "Icon"
line_color 3342489
fill_color 8454143
quidu "428B6C0201BA"
width 342
height 126
annotation 8
autoResize TRUE)
(object AssociationViewNew "$UNNAMED$6" @185
location (1033, 303)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
stereotype TRUE
line_color 3342489
quidu "428B6C9203BE"
roleview_list (list RoleViews
(object RoleView "bodyExpression" @186
Parent_View @185
location (764, 158)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @187
Parent_View @186
location (1043, 432)
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 258
justify 0
label "+bodyExpression"
pctDist 0.772124
height 51
orientation 1)
stereotype TRUE
line_color 3342489
quidu "428B6C95039A"
client @185
supplier @182
vertices (list Points
(1033, 303)
(1093, 303)
(1093, 489))
line_style 3
origin_attachment (1033, 303)
terminal_attachment (1093, 489)
label (object SegLabel @188
Parent_View @186
location (1147, 464)
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 30
justify 0
label "1"
pctDist 0.897872
height 54
orientation 0))
(object RoleView "topExpression" @189
Parent_View @185
location (764, 158)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @190
Parent_View @189
location (895, 263)
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 234
justify 0
label "+topExpression"
pctDist 0.635021
height 41
orientation 1)
stereotype TRUE
line_color 3342489
quidu "428B6C960020"
client @185
supplier @184
vertices (list Points
(1033, 303)
(816, 303))
line_style 3
origin_attachment (1033, 303)
terminal_attachment (816, 303)
label (object SegLabel @191
Parent_View @189
location (839, 357)
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 68
justify 0
label "0..1"
pctDist 0.900442
height 54
orientation 0))))
(object AssociationViewNew "$UNNAMED$7" @192
location (325, 523)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
stereotype TRUE
line_color 3342489
quidu "428B6D3B00A5"
roleview_list (list RoleViews
(object RoleView "contextVariable" @193
Parent_View @192
location (56, 378)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @194
Parent_View @193
location (376, 740)
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 253
justify 0
label "+contextVariable"
pctDist 0.670213
height 47
orientation 1)
stereotype TRUE
line_color 3342489
quidu "428B6D3D0093"
client @192
supplier @183
vertices (list Points
(325, 523)
(325, 693)
(486, 693))
line_style 3
origin_attachment (325, 523)
terminal_attachment (486, 693)
label (object SegLabel @195
Parent_View @193
location (418, 659)
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 68
justify 0
label "0..1"
pctDist 0.797015
height 35
orientation 0))
(object RoleView "selfOwner" @196
Parent_View @192
location (56, 378)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @197
Parent_View @196
location (362, 447)
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 174
justify 0
label "+selfOwner"
pctDist 0.231317
height 37
orientation 1)
stereotype TRUE
line_color 3342489
quidu "428B6D3D00D9"
client @192
supplier @184
vertices (list Points
(325, 523)
(325, 340)
(474, 340))
line_style 3
origin_attachment (325, 523)
terminal_attachment (474, 340)
label (object SegLabel @198
Parent_View @196
location (433, 394)
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 68
justify 0
label "0..1"
pctDist 0.876308
height 54
orientation 1))))
(object AssociationViewNew "$UNNAMED$8" @199
location (584, 530)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
stereotype TRUE
line_color 3342489
quidu "428B6E8800E7"
roleview_list (list RoleViews
(object RoleView "resultVariable" @200
Parent_View @199
location (170, 219)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @201
Parent_View @200
location (521, 598)
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 234
justify 0
label "+resultVariable"
pctDist 0.528455
height 64
orientation 1)
stereotype TRUE
line_color 3342489
quidu "428B6E8803A4"
client @199
supplier @183
vertices (list Points
(584, 530)
(584, 658))
line_style 3
origin_attachment (584, 530)
terminal_attachment (584, 658)
label (object SegLabel @202
Parent_View @200
location (638, 644)
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 68
justify 0
label "0..1"
pctDist 0.894309
height 54
orientation 0))
(object RoleView "resultOwner" @203
Parent_View @199
location (170, 219)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @204
Parent_View @203
location (584, 483)
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 202
justify 0
label "+resultOwner"
pctDist 0.368852
height 0
orientation 1)
stereotype TRUE
line_color 3342489
quidu "428B6E8803D6"
client @199
supplier @184
vertices (list Points
(584, 530)
(584, 403))
line_style 3
origin_attachment (584, 530)
terminal_attachment (584, 403)
label (object SegLabel @205
Parent_View @203
location (640, 434)
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 68
justify 0
label "0..1"
pctDist 0.762295
height 56
orientation 1))))
(object AssociationViewNew "$UNNAMED$9" @206
location (814, 613)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
stereotype TRUE
line_color 3342489
quidu "428B6EAF0086"
roleview_list (list RoleViews
(object RoleView "parameterVariable" @207
Parent_View @206
location (400, 302)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @208
Parent_View @207
location (875, 647)
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 306
justify 0
label "+parameterVariable"
pctDist 0.161905
height 61
orientation 0)
stereotype TRUE
line_color 3342489
quidu "428B6EB10151"
client @206
supplier @183
vertices (list Points
(814, 613)
(814, 697)
(688, 697))
line_style 3
origin_attachment (814, 613)
terminal_attachment (688, 697)
label (object SegLabel @209
Parent_View @207
location (744, 745)
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 68
justify 0
label "0..*"
pctDist 0.733333
height 48
orientation 0))
(object RoleView "varOwner" @210
Parent_View @206
location (400, 302)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @211
Parent_View @210
location (839, 489)
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 168
justify 0
label "+varOwner"
pctDist 0.590476
height 25
orientation 1)
stereotype TRUE
line_color 3342489
quidu "428B6EB1018D"
client @206
supplier @184
vertices (list Points
(814, 613)
(814, 403))
line_style 3
origin_attachment (814, 613)
terminal_attachment (814, 403)
label (object SegLabel @212
Parent_View @210
location (878, 453)
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 68
justify 0
label "0..1"
pctDist 0.761905
height 64
orientation 1))))
(object ClassView "Class" "Logical View::EssentialOCL::InvalidLiteralExp" @213
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1943, 4798)
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 @213
location (1775, 4747)
fill_color 13434879
nlines 1
max_width 336
justify 0
label "InvalidLiteralExp")
icon_style "Icon"
line_color 3342489
fill_color 8454143
quidu "428B70160127"
width 354
height 126
annotation 8
autoResize TRUE)
(object InheritTreeView "" @214
location (1104, 4669)
line_color 3342489
fill_color 16777088
supplier @80
vertices (list Points
(1104, 4669)
(1104, 4569)))
(object InheritView "" @215
stereotype TRUE
line_color 3342489
quidu "41694E5201B1"
client @91
supplier @80
vertices (list Points
(1066, 4738)
(1066, 4669))
line_style 3
origin_attachment (1066, 4738)
terminal_attachment (1066, 4669)
drawSupplier @214)
(object InheritView "" @216
stereotype TRUE
line_color 3342489
quidu "40CD82AE01F3"
client @82
supplier @80
vertices (list Points
(470, 4720)
(470, 4669))
line_style 3
origin_attachment (470, 4720)
terminal_attachment (470, 4669)
drawSupplier @214)
(object InheritView "" @217
stereotype TRUE
line_color 3342489
quidu "428B3C420383"
client @154
supplier @80
vertices (list Points
(1510, 4732)
(1510, 4669))
line_style 3
origin_attachment (1510, 4732)
terminal_attachment (1510, 4669)
drawSupplier @214)
(object InheritView "" @218
stereotype TRUE
line_color 3342489
quidu "428B70330203"
client @213
supplier @80
vertices (list Points
(1944, 4735)
(1944, 4669))
line_style 3
origin_attachment (1944, 4735)
terminal_attachment (1944, 4669)
drawSupplier @214)
(object ClassView "Class" "Logical View::EMOF::Type" @219
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1614, 1975)
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 @219
location (1533, 1934)
fill_color 13434879
nlines 1
max_width 162
justify 0
label "Type")
icon_style "Icon"
line_color 3342489
fill_color 8454016
quidu "40C78BB303B7"
height 107
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::TypeExp" @220
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1621, 1683)
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 @220
location (1524, 1632)
fill_color 13434879
nlines 1
max_width 194
justify 0
label "TypeExp")
icon_style "Icon"
line_color 3342489
fill_color 8454143
quidu "40C96BEE01BD"
width 212
height 126
annotation 8
autoResize TRUE)
(object AssociationViewNew "$UNNAMED$10" @221
location (1615, 1834)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
stereotype TRUE
line_color 3342489
quidu "428C43D803DA"
roleview_list (list RoleViews
(object RoleView "referredType" @222
Parent_View @221
location (3, 3)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @223
Parent_View @222
location (1646, 1856)
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 218
justify 0
label "+referredType"
pctDist 0.266667
height 31
orientation 0)
stereotype TRUE
line_color 3342489
quidu "428C43DA009E"
client @221
supplier @219
vertices (list Points
(1615, 1834)
(1615, 1922))
line_style 3
origin_attachment (1615, 1834)
terminal_attachment (1615, 1922)
label (object SegLabel @224
Parent_View @222
location (1563, 1898)
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 68
justify 0
label "0..1"
pctDist 0.731343
height 53
orientation 1))
(object RoleView "typeExp" @225
Parent_View @221
location (3, 3)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @226
Parent_View @225
location (1594, 1807)
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 150
justify 0
label "+typeExp"
pctDist 0.306818
height 22
orientation 0)
stereotype TRUE
line_color 3342489
quidu "428C43DA0116"
client @221
supplier @220
vertices (list Points
(1615, 1834)
(1615, 1746))
line_style 3
origin_attachment (1615, 1834)
terminal_attachment (1615, 1746)
label (object SegLabel @227
Parent_View @225
location (1594, 1780)
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.613333
height 22
orientation 0))))
(object ClassView "Class" "Logical View::EMOF::TypedElement" @228
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (182, 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 @228
location (34, 163)
fill_color 13434879
nlines 1
max_width 296
justify 0
label "TypedElement")
icon_style "Icon"
line_color 3342489
fill_color 8454016
quidu "401DB04002F2"
width 314
height 107
autoResize TRUE)
(object InheritView "" @229
stereotype TRUE
line_color 3342489
quidu "40FE6DD803CC"
client @183
supplier @228
vertices (list Points
(585, 765)
(585, 894)
(166, 894)
(166, 257))
line_style 3
origin_attachment (585, 765)
terminal_attachment (166, 257))
(object ClassView "Class" "Logical View::EssentialOCL::FeatureCallExp" @230
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (747, 1846)
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 @230
location (592, 1795)
fill_color 13434879
nlines 1
max_width 310
justify 0
label "FeatureCallExp")
icon_style "Icon"
line_color 3342489
fill_color 8454143
quidu "428DFEB20390"
width 328
height 126
annotation 8
autoResize TRUE)
(object InheritTreeView "" @231
location (1178, 1537)
line_color 3342489
fill_color 13434879
supplier @164
vertices (list Points
(1178, 1537)
(1178, 1421)))
(object InheritView "" @232
stereotype TRUE
line_color 3342489
quidu "40C96E1202FB"
client @137
supplier @164
vertices (list Points
(1256, 1613)
(1256, 1537))
line_style 3
origin_attachment (1256, 1613)
terminal_attachment (1256, 1537)
drawSupplier @231)
(object InheritView "" @233
stereotype TRUE
line_color 3342489
quidu "40C96DBD01CC"
client @220
supplier @164
vertices (list Points
(1622, 1620)
(1622, 1537))
line_style 3
origin_attachment (1622, 1620)
terminal_attachment (1622, 1537)
drawSupplier @231)
(object InheritView "" @234
stereotype TRUE
line_color 3342489
quidu "40C96E88025B"
client @173
supplier @164
vertices (list Points
(819, 1580)
(819, 1537))
line_style 3
origin_attachment (819, 1580)
terminal_attachment (819, 1537)
drawSupplier @231)
(object InheritView "" @235
stereotype TRUE
line_color 3342489
quidu "428DFF08000F"
client @230
supplier @173
vertices (list Points
(757, 1782)
(757, 1707))
line_style 3
origin_attachment (757, 1782)
terminal_attachment (757, 1707))
(object ClassView "Class" "Logical View::EMOF::TypedElement" @236
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1096, 6071)
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 @236
location (948, 6030)
fill_color 13434879
nlines 1
max_width 296
justify 0
label "TypedElement")
icon_style "Icon"
line_color 3342489
fill_color 8454016
quidu "401DB04002F2"
width 314
height 107
autoResize TRUE)
(object InheritTreeView "" @237
location (801, 6526)
line_color 3342489
fill_color 13434879
supplier @126
vertices (list Points
(801, 6526)
(801, 6411)))
(object InheritTreeView "" @238
location (1137, 5914)
line_color 3342489
fill_color 13434879
supplier @135
vertices (list Points
(1137, 5914)
(1137, 5814)))
(object InheritView "" @239
stereotype TRUE
line_color 3342489
quidu "4169551E03E4"
client @127
supplier @135
vertices (list Points
(803, 5995)
(803, 5914))
line_style 3
origin_attachment (803, 5995)
terminal_attachment (803, 5914)
drawSupplier @238)
(object ClassView "Class" "Logical View::EssentialOCL::CollectionRange" @240
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (594, 6634)
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 @240
location (424, 6593)
fill_color 13434879
nlines 1
max_width 340
justify 0
label "CollectionRange")
icon_style "Icon"
line_color 3342489
fill_color 8454143
quidu "41695373024F"
width 358
height 107
annotation 8
autoResize TRUE)
(object InheritView "" @241
stereotype TRUE
line_color 3342489
quidu "41695380019A"
client @240
supplier @126
vertices (list Points
(672, 6580)
(672, 6526))
line_style 3
origin_attachment (672, 6580)
terminal_attachment (672, 6526)
drawSupplier @237)
(object ClassView "Class" "Logical View::EssentialOCL::CollectionItem" @242
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1034, 6640)
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 @242
location (887, 6599)
fill_color 13434879
nlines 1
max_width 294
justify 0
label "CollectionItem")
icon_style "Icon"
line_color 3342489
fill_color 8454143
quidu "416953580355"
width 312
height 107
annotation 8
autoResize TRUE)
(object InheritView "" @243
stereotype TRUE
line_color 3342489
quidu "4169538300CC"
client @242
supplier @126
vertices (list Points
(977, 6586)
(977, 6526))
line_style 3
origin_attachment (977, 6586)
terminal_attachment (977, 6526)
drawSupplier @237)
(object ClassView "Class" "Logical View::EssentialOCL::TupleLiteralExp" @244
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1514, 6057)
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 @244
location (1360, 6006)
fill_color 13434879
nlines 1
max_width 308
justify 0
label "TupleLiteralExp")
icon_style "Icon"
line_color 3342489
fill_color 8454143
quidu "4169552701A2"
width 326
height 126
annotation 8
autoResize TRUE)
(object InheritView "" @245
stereotype TRUE
line_color 3342489
quidu "4169553700E7"
client @244
supplier @135
vertices (list Points
(1515, 5994)
(1515, 5914))
line_style 3
origin_attachment (1515, 5994)
terminal_attachment (1515, 5914)
drawSupplier @238)
(object InheritTreeView "" @246
location (1096, 6227)
line_color 3342489
fill_color 13434879
supplier @236
vertices (list Points
(1096, 6227)
(1096, 6124)))
(object InheritView "" @247
stereotype TRUE
line_color 3342489
quidu "428E197300AC"
client @126
supplier @236
vertices (list Points
(928, 6304)
(928, 6227))
line_style 3
origin_attachment (928, 6304)
terminal_attachment (928, 6227)
drawSupplier @246)
(object ClassView "Class" "Logical View::EMOF::Property" @248
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1528, 6643)
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 @248
location (1436, 6602)
fill_color 13434879
nlines 1
max_width 184
justify 0
label "Property")
icon_style "Icon"
line_color 3342489
fill_color 8454016
quidu "401DADC101B3"
width 202
height 107
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::OclExpression" @249
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (600, 6940)
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 @249
location (453, 6899)
fill_color 13434879
nlines 1
max_width 294
justify 0
label "OclExpression")
icon_style "Icon"
line_color 3342489
fill_color 8454143
quidu "401DB533025E"
width 312
height 107
annotation 8
autoResize TRUE)
(object AssociationViewNew "$UNNAMED$1" @250
location (490, 6786)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
stereotype TRUE
line_color 3342489
quidu "4169541A0368"
roleview_list (list RoleViews
(object RoleView "first" @251
Parent_View @250
location (84, 728)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @252
Parent_View @251
location (419, 6859)
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 80
justify 0
label "+first"
pctDist 0.732558
height 72
orientation 1)
stereotype TRUE
line_color 3342489
quidu "4169541B01ED"
client @250
supplier @249
vertices (list Points
(490, 6786)
(490, 6886))
line_style 3
origin_attachment (490, 6786)
terminal_attachment (490, 6886)
label (object SegLabel @253
Parent_View @251
location (544, 6874)
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 30
justify 0
label "1"
pctDist 0.894118
height 54
orientation 0))
(object RoleView "firstOwner" @254
Parent_View @250
location (84, 728)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @255
Parent_View @254
location (435, 6758)
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 174
justify 0
label "+firstOwner"
pctDist 0.294118
height 56
orientation 0)
stereotype TRUE
line_color 3342489
quidu "4169541B0229"
client @250
supplier @240
vertices (list Points
(490, 6786)
(490, 6687))
line_style 3
origin_attachment (490, 6786)
terminal_attachment (490, 6687)
label (object SegLabel @256
Parent_View @254
location (544, 6697)
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 68
justify 0
label "0..1"
pctDist 0.894118
height 54
orientation 1))))
(object AssociationViewNew "$UNNAMED$2" @257
location (684, 6786)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
stereotype TRUE
line_color 3342489
quidu "416954230393"
roleview_list (list RoleViews
(object RoleView "last" @258
Parent_View @257
location (278, 728)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @259
Parent_View @258
location (613, 6862)
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 80
justify 0
label "+last"
pctDist 0.767442
height 72
orientation 1)
stereotype TRUE
line_color 3342489
quidu "416954240204"
client @257
supplier @249
vertices (list Points
(684, 6786)
(684, 6886))
line_style 3
origin_attachment (684, 6786)
terminal_attachment (684, 6886)
label (object SegLabel @260
Parent_View @258
location (738, 6874)
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 30
justify 0
label "1"
pctDist 0.894118
height 54
orientation 0))
(object RoleView "lastOwner" @261
Parent_View @257
location (278, 728)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @262
Parent_View @261
location (664, 6767)
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 174
justify 0
label "+lastOwner"
pctDist 0.200000
height 21
orientation 0)
stereotype TRUE
line_color 3342489
quidu "416954240240"
client @257
supplier @240
vertices (list Points
(684, 6786)
(684, 6687))
line_style 3
origin_attachment (684, 6786)
terminal_attachment (684, 6687)
label (object SegLabel @263
Parent_View @261
location (738, 6697)
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 68
justify 0
label "0..1"
pctDist 0.895349
height 54
orientation 1))))
(object AssociationViewNew "$UNNAMED$3" @264
location (958, 6911)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
stereotype TRUE
line_color 3342489
quidu "4169548C0394"
roleview_list (list RoleViews
(object RoleView "item" @265
Parent_View @264
location (45, 861)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @266
Parent_View @265
location (833, 6884)
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 96
justify 0
label "+item"
pctDist 0.623762
height 28
orientation 1)
stereotype TRUE
line_color 3342489
quidu "4169548E01B6"
client @264
supplier @249
vertices (list Points
(958, 6911)
(756, 6911))
line_style 3
origin_attachment (958, 6911)
terminal_attachment (756, 6911)
label (object SegLabel @267
Parent_View @265
location (774, 6844)
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 30
justify 0
label "1"
pctDist 0.910891
height 68
orientation 1))
(object RoleView "collectionItem" @268
Parent_View @264
location (45, 861)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @269
Parent_View @268
location (1002, 6784)
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 240
justify 0
label "+collectionItem"
pctDist 0.672662
height 17
orientation 0)
stereotype TRUE
line_color 3342489
quidu "4169548E0206"
client @264
supplier @242
vertices (list Points
(958, 6911)
(1018, 6911)
(1018, 6693))
line_style 3
origin_attachment (958, 6911)
terminal_attachment (1018, 6693)
label (object SegLabel @270
Parent_View @268
location (1072, 6722)
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 68
justify 0
label "0..1"
pctDist 0.896797
height 54
orientation 1))))
(object ClassView "Class" "Logical View::EssentialOCL::TupleLiteralPart" @271
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1493, 6377)
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 @271
location (1335, 6326)
fill_color 13434879
nlines 1
max_width 316
justify 0
label "TupleLiteralPart")
icon_style "Icon"
line_color 3342489
fill_color 8454143
quidu "428E1896032C"
width 334
height 126
annotation 8
autoResize TRUE)
(object AssociationViewNew "$UNNAMED$4" @272
location (1465, 6217)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
stereotype TRUE
line_color 3342489
quidu "4169557A0346"
roleview_list (list RoleViews
(object RoleView "part" @273
Parent_View @272
location (164, 426)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @274
Parent_View @273
location (1527, 6258)
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 97
justify 0
label "+part"
pctDist 0.432990
height 62
orientation 0)
stereotype TRUE
line_color 3342489
quidu "4169557B03D3"
client @272
supplier @271
vertices (list Points
(1465, 6217)
(1465, 6314))
line_style 3
origin_attachment (1465, 6217)
terminal_attachment (1465, 6314)
label (object SegLabel @275
Parent_View @273
location (1519, 6302)
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 24
justify 0
label "*"
pctDist 0.885246
height 54
orientation 0))
(object RoleView "tupleLiteralExp" @276
Parent_View @272
location (164, 426)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @277
Parent_View @276
location (1540, 6210)
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 256
justify 0
label "+tupleLiteralExp"
pctDist 0.082474
height 75
orientation 1)
stereotype TRUE
line_color 3342489
quidu "4169557C0000"
client @272
supplier @244
vertices (list Points
(1465, 6217)
(1465, 6120))
line_style 3
origin_attachment (1465, 6217)
terminal_attachment (1465, 6120)
label (object SegLabel @278
Parent_View @276
location (1523, 6168)
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 68
justify 0
label "0..1"
pctDist 0.516667
height 58
orientation 1))))
(object InheritView "" @279
stereotype TRUE
line_color 3342489
quidu "428E19AD02B8"
client @271
supplier @236
vertices (list Points
(1384, 6313)
(1384, 6227))
line_style 3
origin_attachment (1384, 6313)
terminal_attachment (1384, 6227)
drawSupplier @246)
(object AssociationViewNew "$UNNAMED$11" @280
location (1528, 6515)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
stereotype TRUE
line_color 3342489
quidu "428E19DD0176"
roleview_list (list RoleViews
(object RoleView "attribute" @281
Parent_View @280
location (35, 138)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @282
Parent_View @281
location (1434, 6558)
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 152
justify 0
label "+attribute"
pctDist 0.581081
height 95
orientation 1)
stereotype TRUE
line_color 3342489
quidu "428E19DD031B"
client @280
supplier @248
vertices (list Points
(1528, 6515)
(1528, 6590))
line_style 3
origin_attachment (1528, 6515)
terminal_attachment (1528, 6590)
label (object SegLabel @283
Parent_View @281
location (1584, 6561)
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 68
justify 0
label "0..1"
pctDist 0.608108
height 56
orientation 0))
(object RoleView "tupleLiteralPart" @284
Parent_View @280
location (35, 138)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @285
Parent_View @284
location (1534, 6510)
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 258
justify 0
label "+tupleLiteralPart"
pctDist 0.066667
height 6
orientation 1)
stereotype TRUE
line_color 3342489
quidu "428E19DD032F"
client @280
supplier @271
vertices (list Points
(1528, 6515)
(1528, 6440))
line_style 3
origin_attachment (1528, 6515)
terminal_attachment (1528, 6440)
label (object SegLabel @286
Parent_View @284
location (1587, 6474)
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 68
justify 0
label "*"
pctDist 0.540541
height 59
orientation 1))))
(object AssociationViewNew "$UNNAMED$12" @287
location (1262, 6885)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
stereotype TRUE
line_color 3342489
quidu "43CBA66F0106"
roleview_list (list RoleViews
(object RoleView "value" @288
Parent_View @287
location (-231, 508)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @289
Parent_View @288
location (914, 6995)
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 112
justify 0
label "+value"
pctDist 0.724739
height 44
orientation 0)
stereotype TRUE
line_color 3342489
quidu "43CBA6740258"
client @287
supplier @249
vertices (list Points
(1262, 6885)
(1262, 6951)
(756, 6951))
line_style 3
origin_attachment (1262, 6885)
terminal_attachment (756, 6951)
label (object SegLabel @290
Parent_View @288
location (814, 7005)
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 30
justify 0
label "1"
pctDist 0.898955
height 54
orientation 0))
(object RoleView "tupleLiteralPart" @291
Parent_View @287
location (-231, 508)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @292
Parent_View @291
location (1261, 6483)
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 258
justify 0
label "+tupleLiteralPart"
pctDist 0.705263
height 2
orientation 0)
stereotype TRUE
line_color 3342489
quidu "43CBA6740371"
client @287
supplier @271
vertices (list Points
(1262, 6885)
(1262, 6377)
(1326, 6377))
line_style 3
origin_attachment (1262, 6885)
terminal_attachment (1326, 6377)
label (object SegLabel @293
Parent_View @291
location (1226, 6421)
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 68
justify 0
label "0..1"
pctDist 0.812281
height 37
orientation 0))))
(object ClassView "Class" "Logical View::EssentialOCL::NavigationCallExp" @294
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (910, 2091)
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 @294
location (727, 2040)
fill_color 13434879
nlines 1
max_width 366
justify 0
label "NavigationCallExp")
icon_style "Icon"
line_color 3342489
fill_color 8454143
quidu "46DFFD88019B"
width 384
height 126
annotation 8
autoResize TRUE)
(object InheritView "" @295
stereotype TRUE
line_color 3342489
quidu "46DFFDC90321"
client @2
supplier @294
vertices (list Points
(910, 2236)
(910, 2154))
line_style 0)
(object InheritTreeView "" @296
location (747, 2000)
line_color 3342489
fill_color 13434879
supplier @230
vertices (list Points
(747, 2000)
(747, 1909)))
(object InheritView "" @297
stereotype TRUE
line_color 3342489
quidu "40C96D8F0126"
client @156
supplier @230
vertices (list Points
(397, 2217)
(397, 2000))
line_style 3
origin_attachment (397, 2217)
terminal_attachment (397, 2000)
drawSupplier @296)
(object InheritView "" @298
stereotype TRUE
line_color 3342489
quidu "40C96D9203B5"
client @294
supplier @230
vertices (list Points
(910, 2028)
(910, 2000))
line_style 3
origin_attachment (910, 2028)
terminal_attachment (910, 2000)
drawSupplier @296)
(object InheritView "" @299
stereotype TRUE
line_color 3342489
quidu "46E11636004E"
client @184
supplier @228
vertices (list Points
(641, 276)
(638, 206)
(339, 204))
line_style 0)))
(object ClassDiagram "BasicTypes"
quid "41695A3B0129"
title "BasicTypes"
zoom 100
max_height 28350
max_width 21600
origin_x 0
origin_y 0
items (list diagram_item_list
(object ClassView "Class" "Logical View::EssentialOCL::VoidType" @300
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (543, 391)
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 @300
location (436, 350)
fill_color 13434879
nlines 1
max_width 214
justify 0
label "VoidType")
icon_style "Icon"
line_color 3342489
fill_color 8454143
quidu "40CB2D6A008B"
width 232
height 107
annotation 8
autoResize TRUE)
(object ClassView "Class" "Logical View::EMOF::DataType" @301
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (726, 522)
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 @301
location (624, 481)
fill_color 13434879
nlines 1
max_width 204
justify 0
label "DataType")
icon_style "Icon"
line_color 3342489
fill_color 8454016
quidu "40C78CD10047"
width 222
height 107
autoResize TRUE)
(object ClassView "Class" "Logical View::EMOF::Class" @302
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1108, 516)
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 @302
location (1027, 475)
fill_color 13434879
nlines 1
max_width 162
justify 0
label "Class")
icon_style "Icon"
line_color 3342489
fill_color 8454016
quidu "401DAE57014A"
height 107
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::TupleType" @303
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1204, 777)
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 @303
location (1089, 736)
fill_color 13434879
nlines 1
max_width 230
justify 0
label "TupleType")
icon_style "Icon"
line_color 3342489
fill_color 8454143
quidu "40CB2E030289"
width 248
height 107
annotation 8
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::SetType" @304
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1406, 1012)
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 @304
location (1312, 971)
fill_color 13434879
nlines 1
max_width 188
justify 0
label "SetType")
icon_style "Icon"
line_color 3342489
fill_color 8454143
quidu "40CB336301FC"
width 206
height 107
annotation 8
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::SequenceType" @305
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (798, 1019)
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 @305
location (649, 978)
fill_color 13434879
nlines 1
max_width 298
justify 0
label "SequenceType")
icon_style "Icon"
line_color 3342489
fill_color 8454143
quidu "40CB33690268"
width 316
height 107
annotation 8
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::BagType" @306
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1134, 1015)
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 @306
location (1038, 974)
fill_color 13434879
nlines 1
max_width 192
justify 0
label "BagType")
icon_style "Icon"
line_color 3342489
fill_color 8454143
quidu "40CB3375034C"
width 210
height 107
annotation 8
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::OrderedSetType" @307
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (382, 1019)
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 @307
location (219, 978)
fill_color 13434879
nlines 1
max_width 326
justify 0
label "OrderedSetType")
icon_style "Icon"
line_color 3342489
fill_color 8454143
quidu "40CB337C01E4"
width 344
height 107
annotation 8
autoResize TRUE)
(object ClassView "Class" "Logical View::EMOF::Type" @308
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (764, 116)
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 @308
location (683, 75)
fill_color 13434879
nlines 1
max_width 162
justify 0
label "Type")
icon_style "Icon"
line_color 3342489
fill_color 8454016
quidu "40C78BB303B7"
height 107
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::CollectionType" @309
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (454, 770)
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 @309
location (305, 729)
fill_color 13434879
nlines 1
max_width 298
justify 0
label "CollectionType")
icon_style "Icon"
line_color 3342489
fill_color 8454143
quidu "40CB3338024A"
width 316
height 107
annotation 8
autoResize TRUE)
(object InheritTreeView "" @310
location (454, 930)
line_color 3342489
fill_color 16777215
supplier @309
vertices (list Points
(454, 930)
(454, 823)))
(object InheritView "" @311
stereotype TRUE
line_color 3342489
quidu "40CB33B8006D"
client @304
supplier @309
vertices (list Points
(1399, 959)
(1399, 930))
line_style 3
origin_attachment (1399, 959)
terminal_attachment (1399, 930)
drawSupplier @310)
(object InheritView "" @312
stereotype TRUE
line_color 3342489
quidu "40CB33CF0139"
client @306
supplier @309
vertices (list Points
(1114, 962)
(1114, 930))
line_style 3
origin_attachment (1114, 962)
terminal_attachment (1114, 930)
drawSupplier @310)
(object InheritView "" @313
stereotype TRUE
line_color 3342489
quidu "40CB33FF0318"
client @305
supplier @309
vertices (list Points
(798, 966)
(798, 930))
line_style 3
origin_attachment (798, 966)
terminal_attachment (798, 930)
drawSupplier @310)
(object InheritView "" @314
stereotype TRUE
line_color 3342489
quidu "40CB34030346"
client @307
supplier @309
vertices (list Points
(386, 966)
(386, 930))
line_style 3
origin_attachment (386, 966)
terminal_attachment (386, 930)
drawSupplier @310)
(object AssociationViewNew "$UNNAMED$24" @315
location (63, 244)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
stereotype TRUE
line_color 3342489
quidu "411F714A0043"
roleview_list (list RoleViews
(object RoleView "elementType" @316
Parent_View @315
location (-815, -2865)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @317
Parent_View @316
location (462, 73)
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 228
justify 0
label "+elementType"
pctDist 0.715969
height 39
orientation 0)
stereotype TRUE
line_color 3342489
quidu "411F7150015B"
client @315
supplier @308
vertices (list Points
(63, 244)
(63, 111)
(674, 111))
line_style 3
origin_attachment (63, 244)
terminal_attachment (674, 111)
label (object SegLabel @318
Parent_View @316
location (620, 73)
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 68
justify 0
label "1"
pctDist 0.927734
height 39
orientation 0))
(object RoleView "collectionType" @319
Parent_View @315
location (-815, -2865)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @320
Parent_View @319
location (154, 796)
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 250
justify 0
label "+collectionType"
pctDist 0.809807
height 40
orientation 1)
stereotype TRUE
line_color 3342489
quidu "411F7150016F"
client @315
supplier @309
vertices (list Points
(63, 244)
(63, 756)
(296, 756))
line_style 3
origin_attachment (63, 244)
terminal_attachment (296, 756)
label (object SegLabel @321
Parent_View @319
location (244, 738)
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.930596
height 19
orientation 0))))
(object ClassView "Class" "Logical View::EMOF::PrimitiveType" @322
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (846, 774)
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 @322
location (710, 733)
fill_color 13434879
nlines 1
max_width 272
justify 0
label "PrimitiveType")
icon_style "Icon"
line_color 3342489
fill_color 8454016
quidu "40CB2DBF02B4"
width 290
height 107
autoResize TRUE)
(object InheritTreeView "" @323
location (726, 675)
line_color 3342489
fill_color 16777215
supplier @301
vertices (list Points
(726, 675)
(726, 575)))
(object InheritView "" @324
stereotype TRUE
line_color 3342489
quidu "40CB3419017B"
client @309
supplier @301
vertices (list Points
(456, 717)
(456, 675))
line_style 3
origin_attachment (456, 717)
terminal_attachment (456, 675)
drawSupplier @323)
(object InheritView "" @325
stereotype TRUE
line_color 3342489
quidu "40CB2FD00156"
client @322
supplier @301
vertices (list Points
(846, 721)
(846, 675))
line_style 3
origin_attachment (846, 721)
terminal_attachment (846, 675)
drawSupplier @323)
(object InheritView "" @326
stereotype TRUE
line_color 3342489
quidu "40CB32F100E9"
client @303
supplier @301
vertices (list Points
(1153, 723)
(1153, 675))
line_style 3
origin_attachment (1153, 723)
terminal_attachment (1153, 675)
drawSupplier @323)
(object ClassView "Class" "Logical View::EssentialOCL::InvalidType" @327
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (355, 525)
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 @327
location (242, 484)
fill_color 13434879
nlines 1
max_width 226
justify 0
label "InvalidType")
icon_style "Icon"
line_color 3342489
fill_color 8454143
quidu "428B69A000A2"
width 244
height 107
annotation 8
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::AnyType" @328
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1353, 397)
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 @328
location (1258, 356)
fill_color 13434879
nlines 1
max_width 190
justify 0
label "AnyType")
icon_style "Icon"
line_color 3342489
fill_color 8454143
quidu "40CB2D7A02E6"
width 208
height 107
autoResize TRUE)
(object InheritView "" @329
stereotype TRUE
line_color 3342489
quidu "40CB32C4030B"
client @303
supplier @302
vertices (list Points
(1305, 724)
(1305, 516)
(1198, 516))
line_style 3
origin_attachment (1305, 724)
terminal_attachment (1198, 516))
(object ClassView "Class" "Logical View::EssentialOCL::TemplateParameterType" @330
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1634, 778)
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 @330
location (1399, 723)
fill_color 13434879
nlines 1
max_width 470
justify 0
label "TemplateParameterType")
icon_style "Icon"
line_color 3342489
fill_color 8454143
quidu "42F8A0AE0277"
width 488
height 134
annotation 8
autoResize TRUE)
(object InheritTreeView "" @331
location (764, 296)
line_color 3342489
fill_color 16777215
supplier @308
vertices (list Points
(764, 296)
(764, 169)))
(object InheritView "" @332
stereotype TRUE
line_color 3342489
quidu "40CB2FB5023D"
client @300
supplier @308
vertices (list Points
(544, 338)
(544, 296))
line_style 3
origin_attachment (544, 338)
terminal_attachment (544, 296)
drawSupplier @331)
(object InheritView "" @333
stereotype TRUE
line_color 3342489
quidu "40C8BD0F03BF"
client @301
supplier @308
vertices (list Points
(728, 469)
(728, 296))
line_style 3
origin_attachment (728, 469)
terminal_attachment (728, 296)
drawSupplier @331)
(object InheritView "" @334
stereotype TRUE
line_color 3342489
quidu "40C8BB460259"
client @302
supplier @308
vertices (list Points
(1106, 463)
(1106, 296))
line_style 3
origin_attachment (1106, 463)
terminal_attachment (1106, 296)
drawSupplier @331)
(object InheritView "" @335
stereotype TRUE
line_color 3342489
quidu "428B69C80137"
client @327
supplier @308
vertices (list Points
(356, 472)
(356, 296))
line_style 3
origin_attachment (356, 472)
terminal_attachment (356, 296)
drawSupplier @331)
(object InheritView "" @336
stereotype TRUE
line_color 3342489
quidu "40CB2FBC0233"
client @328
supplier @308
vertices (list Points
(1423, 344)
(1423, 296))
line_style 3
origin_attachment (1423, 344)
terminal_attachment (1423, 296)
drawSupplier @331)
(object InheritView "" @337
stereotype TRUE
line_color 3342489
quidu "42F8A0D60152"
client @330
supplier @308
vertices (list Points
(1635, 711)
(1635, 296))
line_style 3
origin_attachment (1635, 711)
terminal_attachment (1635, 296)
drawSupplier @331)))
(object ClassDiagram "Top Container Expression"
quid "46DFFF8B000E"
title "Top Container Expression"
zoom 100
max_height 28350
max_width 21600
origin_x 0
origin_y 0
items (list diagram_item_list
(object ClassView "Class" "Logical View::EMOF::TypedElement" @338
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (408, 205)
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 @338
location (260, 155)
fill_color 13434879
nlines 1
max_width 296
justify 0
label "TypedElement")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "401DB04002F2"
width 314
height 124
annotation 8
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::Variable" @339
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1250, 1125)
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 @339
location (1162, 1084)
fill_color 13434879
nlines 1
max_width 176
justify 0
label "Variable")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "401DAF870288"
width 194
height 107
annotation 8
autoResize TRUE)
(object InheritView "" @340
stereotype TRUE
line_color 3342489
quidu "40FE6DD803CC"
client @339
supplier @338
vertices (list Points
(1152, 1125)
(416, 1125)
(408, 267))
line_style 0)
(object ClassView "Class" "Logical View::EssentialOCL::OclExpression" @341
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (2309, 484)
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 @341
location (2162, 443)
fill_color 13434879
nlines 1
max_width 294
justify 0
label "OclExpression")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "401DB533025E"
width 312
height 107
annotation 8
autoResize TRUE)
(object ClassView "Class" "Logical View::EMOF::Type" @342
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (2340, 190)
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 @342
location (2245, 140)
fill_color 13434879
nlines 1
max_width 190
justify 0
label "Type")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "40C78BB303B7"
width 208
height 124
annotation 8
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::ExpressionInOcl" @343
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1249, 493)
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 @343
location (1082, 442)
fill_color 13434879
nlines 1
max_width 334
justify 0
label "ExpressionInOcl")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "428B6C0201BA"
width 352
height 126
annotation 8
autoResize TRUE)
(object AssociationViewNew "$UNNAMED$7" @344
location (781, 855)
stereotype TRUE
line_color 3342489
quidu "428B6D3B00A5"
roleview_list (list RoleViews
(object RoleView "selfOwner" @345
Parent_View @344
location (212, -351)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @346
Parent_View @345
location (663, 694)
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 213
justify 0
label "+selfOwner"
pctDist 0.318458
height 119
orientation 0)
stereotype TRUE
line_color 3342489
quidu "428B6D3D00D9"
client @344
supplier @343
vertices (list Points
(781, 855)
(781, 659)
(1072, 555))
line_style 0
label (object SegLabel @347
Parent_View @345
location (838, 700)
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.469216
height 57
orientation 1))
(object RoleView "contextVariable" @348
Parent_View @344
location (212, -351)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @349
Parent_View @348
location (613, 935)
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 317
justify 0
label "+contextVariable"
pctDist 0.160243
height 169
orientation 1)
stereotype TRUE
line_color 3342489
quidu "428B6D3D0093"
client @344
supplier @339
vertices (list Points
(781, 855)
(781, 969)
(1152, 1091))
line_style 0
label (object SegLabel @350
Parent_View @348
location (837, 940)
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.168357
height 56
orientation 0))))
(object AssociationViewNew "$UNNAMED$8" @351
location (1249, 813)
stereotype TRUE
line_color 3342489
quidu "428B6E8800E7"
roleview_list (list RoleViews
(object RoleView "resultOwner" @352
Parent_View @351
location (680, -393)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @353
Parent_View @352
location (1112, 708)
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 241
justify 0
label "+resultOwner"
pctDist 0.413019
height 138
orientation 0)
stereotype TRUE
line_color 3342489
quidu "428B6E8803D6"
client @351
supplier @343
vertices (list Points
(1249, 813)
(1249, 556))
line_style 0
label (object SegLabel @354
Parent_View @352
location (1312, 707)
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.416667
height 63
orientation 1))
(object RoleView "resultVariable" @355
Parent_View @351
location (680, -393)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @356
Parent_View @355
location (1088, 926)
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 272
justify 0
label "+resultVariable"
pctDist 0.438697
height 162
orientation 1)
stereotype TRUE
line_color 3342489
quidu "428B6E8803A4"
client @351
supplier @339
vertices (list Points
(1249, 813)
(1249, 1071))
line_style 0
label (object SegLabel @357
Parent_View @355
location (1310, 933)
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.465382
height 61
orientation 0))))
(object AssociationViewNew "$UNNAMED$9" @358
location (1734, 845)
stereotype TRUE
line_color 3342489
quidu "428B6EAF0086"
roleview_list (list RoleViews
(object RoleView "varOwner" @359
Parent_View @358
location (1165, -361)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @360
Parent_View @359
location (1588, 684)
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 195
justify 0
label "+varOwner"
pctDist 0.637653
height 94
orientation 0)
stereotype TRUE
line_color 3342489
quidu "428B6EB1018D"
client @358
supplier @343
vertices (list Points
(1734, 845)
(1732, 628)
(1425, 541))
line_style 0
label (object SegLabel @361
Parent_View @359
location (1799, 684)
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.300783
height 66
orientation 1))
(object RoleView "parameterVariable" @362
Parent_View @358
location (1165, -361)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @363
Parent_View @362
location (1537, 919)
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 366
justify 0
label "+parameterVariable"
pctDist 0.569748
height 113
orientation 1)
stereotype TRUE
line_color 3342489
quidu "428B6EB10151"
client @358
supplier @339
vertices (list Points
(1734, 845)
(1735, 975)
(1347, 1093))
line_style 0
label (object SegLabel @364
Parent_View @362
location (1795, 917)
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..*"
pctDist 0.133968
height 60
orientation 0))))
(object AssociationViewNew "$UNNAMED$6" @365
location (1788, 487)
stereotype TRUE
line_color 3342489
quidu "428B6C9203BE"
roleview_list (list RoleViews
(object RoleView "topExpression" @366
Parent_View @365
location (854, -469)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @367
Parent_View @366
location (1602, 531)
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 288
justify 0
label "+topExpression"
pctDist 0.516009
height 42
orientation 0)
stereotype TRUE
line_color 3342489
quidu "428B6C960020"
client @365
supplier @343
vertices (list Points
(1788, 487)
(1425, 490))
line_style 0
label (object SegLabel @368
Parent_View @366
location (1461, 437)
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.900000
height 54
orientation 1))
(object RoleView "bodyExpression" @369
Parent_View @365
location (854, -469)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @370
Parent_View @369
location (1960, 535)
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 332
justify 0
label "+bodyExpression"
pctDist 0.472347
height 49
orientation 1)
stereotype TRUE
line_color 3342489
quidu "428B6C95039A"
client @365
supplier @341
vertices (list Points
(1788, 487)
(2152, 484))
line_style 0
label (object SegLabel @371
Parent_View @369
location (2116, 432)
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 "1"
pctDist 0.900000
height 54
orientation 0))))
(object InheritView "" @372
stereotype TRUE
line_color 3342489
quidu "46E11636004E"
client @343
supplier @338
vertices (list Points
(1250, 429)
(1257, 203)
(565, 204))
line_style 0)
(object AssociationViewNew "$UNNAMED$29" @373
location (1716, 188)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
stereotype TRUE
line_color 3342489
quidu "4B0195660134"
roleview_list (list RoleViews
(object RoleView "generatedType" @374
Parent_View @373
location (467, -305)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @375
Parent_View @374
location (2056, 148)
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 297
justify 0
label "+generatedType"
pctDist 0.654955
height 41
orientation 0)
stereotype TRUE
line_color 3342489
quidu "4B0195680191"
client @373
supplier @342
vertices (list Points
(1716, 188)
(2235, 189))
line_style 0
label (object SegLabel @376
Parent_View @374
location (2183, 243)
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..*"
pctDist 0.900000
height 54
orientation 1))
(object RoleView "owningExpression" @377
Parent_View @373
location (467, -305)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @378
Parent_View @377
location (1599, 341)
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 366
justify 0
label "+owningExpression"
pctDist 0.223485
height 154
orientation 0)
stereotype TRUE
line_color 3342489
quidu "4B01956801B0"
client @373
supplier @343
vertices (list Points
(1716, 188)
(1521, 187)
(1304, 429))
line_style 0
label (object SegLabel @379
Parent_View @377
location (1347, 329)
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.804212
height 36
orientation 1))))))
(object ClassDiagram "Main Expression Concept"
quid "46E000D501DE"
title "Main Expression Concept"
zoom 100
max_height 28350
max_width 21600
origin_x 0
origin_y 1181
items (list diagram_item_list
(object ClassView "Class" "Logical View::EssentialOCL::LiteralExp" @380
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1103, 859)
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 @380
location (1000, 818)
fill_color 13434879
nlines 1
max_width 206
justify 0
label "LiteralExp")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "40E2B2FC0306"
width 224
height 107
annotation 8
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::IfExp" @381
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1447, 859)
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 @381
location (1366, 818)
fill_color 13434879
nlines 1
max_width 162
justify 0
label "IfExp")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "40C98FF30127"
height 107
annotation 8
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::IteratorExp" @382
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (985, 1628)
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 @382
location (864, 1577)
fill_color 13434879
nlines 1
max_width 242
justify 0
label "IteratorExp")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "40E5303F0333"
width 260
height 126
annotation 8
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::FeatureCallExp" @383
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (615, 1190)
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 @383
location (460, 1139)
fill_color 13434879
nlines 1
max_width 310
justify 0
label "FeatureCallExp")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "428DFEB20390"
width 328
height 126
annotation 8
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::CallExp" @384
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (670, 859)
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 @384
location (583, 808)
fill_color 13434879
nlines 1
max_width 174
justify 0
label "CallExp")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "40C96B9402B8"
width 192
height 126
annotation 8
autoResize TRUE)
(object InheritTreeView "" @385
location (670, 1062)
line_color 3342489
fill_color 13434879
supplier @384
vertices (list Points
(670, 1062)
(670, 922)))
(object InheritView "" @386
stereotype TRUE
line_color 3342489
quidu "428DFF08000F"
client @383
supplier @384
vertices (list Points
(624, 1127)
(624, 1062))
line_style 3
origin_attachment (624, 1127)
terminal_attachment (624, 1062)
drawSupplier @385)
(object ClassView "Class" "Logical View::EssentialOCL::LoopExp" @387
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1116, 1225)
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 @387
location (1019, 1174)
fill_color 13434879
nlines 1
max_width 194
justify 0
label "LoopExp")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "40E529BE03BC"
width 212
height 126
annotation 8
autoResize TRUE)
(object InheritTreeView "" @388
location (1116, 1438)
line_color 3342489
fill_color 13434879
supplier @387
vertices (list Points
(1116, 1438)
(1116, 1288)))
(object InheritView "" @389
stereotype TRUE
line_color 3342489
quidu "40E5306B02E7"
client @382
supplier @387
vertices (list Points
(1003, 1565)
(1003, 1438))
line_style 3
origin_attachment (1003, 1565)
terminal_attachment (1003, 1438)
drawSupplier @388)
(object InheritView "" @390
stereotype TRUE
line_color 3342489
quidu "40CF73B303BD"
client @387
supplier @384
vertices (list Points
(1115, 1162)
(1115, 1062))
line_style 3
origin_attachment (1115, 1162)
terminal_attachment (1115, 1062)
drawSupplier @385)
(object ClassView "Class" "Logical View::EssentialOCL::VariableExp" @391
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1763, 856)
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 @391
location (1636, 805)
fill_color 13434879
nlines 1
max_width 254
justify 0
label "VariableExp")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "4033886E0235"
width 272
height 126
annotation 8
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::IterateExp" @392
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1383, 1628)
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 @392
location (1270, 1577)
fill_color 13434879
nlines 1
max_width 226
justify 0
label "IterateExp")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "40C9DF1F008C"
width 244
height 126
annotation 8
autoResize TRUE)
(object InheritView "" @393
stereotype TRUE
line_color 3342489
quidu "40E52A2B01EC"
client @392
supplier @387
vertices (list Points
(1381, 1565)
(1381, 1438))
line_style 3
origin_attachment (1381, 1565)
terminal_attachment (1381, 1438)
drawSupplier @388)
(object ClassView "Class" "Logical View::EssentialOCL::OclExpression" @394
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1587, 434)
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 @394
location (1440, 393)
fill_color 13434879
nlines 1
max_width 294
justify 0
label "OclExpression")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "401DB533025E"
width 312
height 107
annotation 8
autoResize TRUE)
(object AssociationViewNew "$UNNAMED$23" @395
location (911, 500)
stereotype TRUE
line_color 3342489
quidu "40C96FD80195"
roleview_list (list RoleViews
(object RoleView "appliedElement" @396
Parent_View @395
location (-323, -141)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @397
Parent_View @396
location (499, 617)
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 310
justify 0
label "+appliedElement"
pctDist 0.651272
height 164
orientation 1)
stereotype TRUE
line_color 3342489
quidu "40C96FDD00B6"
client @395
supplier @384
vertices (list Points
(911, 500)
(659, 525)
(667, 795))
line_style 0
label (object SegLabel @398
Parent_View @396
location (609, 712)
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.837949
height 56
orientation 1))
(object RoleView "source" @399
Parent_View @395
location (-323, -141)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @400
Parent_View @399
location (1242, 508)
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 147
justify 0
label "+source"
pctDist 0.630701
height 41
orientation 1)
stereotype TRUE
line_color 3342489
quidu "40C96FDD0098"
client @395
supplier @394
vertices (list Points
(911, 500)
(1430, 448))
line_style 0
label (object SegLabel @401
Parent_View @399
location (1383, 506)
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.900000
height 54
orientation 1))))
(object AssociationViewNew "$UNNAMED$20" @402
location (303, 682)
stereotype TRUE
line_color 3342489
quidu "40C990AD039B"
roleview_list (list RoleViews
(object RoleView "loopBodyOwner" @403
Parent_View @402
location (-931, 41)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @404
Parent_View @403
location (837, 1408)
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 311
justify 0
label "+loopBodyOwner"
pctDist 0.855435
height 50
orientation 1)
stereotype TRUE
line_color 3342489
quidu "40C990B00128"
client @402
supplier @387
vertices (list Points
(303, 682)
(312, 1350)
(912, 1359)
(1018, 1288))
line_style 0
label (object SegLabel @405
Parent_View @403
location (901, 1306)
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.900000
height 54
orientation 0))
(object RoleView "body" @406
Parent_View @402
location (-931, 41)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @407
Parent_View @406
location (1152, 386)
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 128
justify 0
label "+body"
pctDist 0.800000
height 42
orientation 0)
stereotype TRUE
line_color 3342489
quidu "40C990B0010A"
client @402
supplier @394
vertices (list Points
(303, 682)
(300, 416)
(1430, 431))
line_style 0
label (object SegLabel @408
Parent_View @406
location (1345, 381)
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 "1"
pctDist 0.938173
height 50
orientation 0))))
(object ClassView "Class" "Logical View::EssentialOCL::Variable" @409
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1761, 1393)
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 @409
location (1669, 1342)
fill_color 13434879
nlines 1
max_width 184
justify 0
label "Variable")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "401DAF870288"
width 202
height 126
annotation 8
autoResize TRUE)
(object AssociationViewNew "$UNNAMED$15" @410
location (1474, 1225)
stereotype TRUE
line_color 3342489
quidu "40E534C50194"
roleview_list (list RoleViews
(object RoleView "iterator" @411
Parent_View @410
location (404, 22)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @412
Parent_View @411
location (1495, 1270)
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 155
justify 0
label "+iterator"
pctDist 0.081967
height 45
orientation 1)
stereotype TRUE
line_color 3342489
quidu "40E534C50196"
client @410
supplier @409
vertices (list Points
(1474, 1225)
(1569, 1225)
(1688, 1329))
line_style 0
label (object SegLabel @413
Parent_View @411
location (1614, 1323)
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.767387
height 45
orientation 1)
label (object SegLabel @414
Parent_View @411
location (1453, 1326)
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 60
justify 0
label "{ordered}"
pctDist -0.084211
height 101
orientation 0))
(object RoleView "loopExp" @415
Parent_View @410
location (404, 22)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @416
Parent_View @415
location (1354, 1184)
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 173
justify 0
label "+loopExp"
pctDist 0.478840
height 42
orientation 1)
stereotype TRUE
line_color 3342489
quidu "40E534C50195"
client @410
supplier @387
vertices (list Points
(1474, 1225)
(1222, 1225))
line_style 0
label (object SegLabel @417
Parent_View @415
location (1308, 1273)
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.663868
height 48
orientation 0))))
(object AssociationViewNew "$UNNAMED$21" @418
location (1761, 1124)
stereotype TRUE
line_color 3342489
quidu "40CF774A02C4"
roleview_list (list RoleViews
(object RoleView "referringExp" @419
Parent_View @418
location (67, -135)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @420
Parent_View @419
location (1622, 981)
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 246
justify 0
label "+referringExp"
pctDist 0.694237
height 140
orientation 0)
stereotype TRUE
line_color 3342489
quidu "40CF774B023A"
client @418
supplier @391
vertices (list Points
(1761, 1124)
(1762, 919))
line_style 0
label (object SegLabel @421
Parent_View @419
location (1800, 1010)
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.557377
height 38
orientation 1))
(object RoleView "referredVariable" @422
Parent_View @418
location (67, -135)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @423
Parent_View @422
location (1589, 1114)
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 310
justify 0
label "+referredVariable"
pctDist -0.048780
height 172
orientation 1)
stereotype TRUE
line_color 3342489
quidu "40CF774B0230"
client @418
supplier @409
vertices (list Points
(1761, 1124)
(1761, 1329))
line_style 0
label (object SegLabel @424
Parent_View @422
location (1827, 1246)
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.593496
height 66
orientation 0))))
(object AssociationViewNew "$UNNAMED$27" @425
location (1706, 1625)
stereotype TRUE
line_color 3342489
quidu "40C9740702E0"
roleview_list (list RoleViews
(object RoleView "baseExp" @426
Parent_View @425
location (12, 366)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @427
Parent_View @426
location (1622, 1676)
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 184
justify 0
label "+baseExp"
pctDist 0.421433
height 51
orientation 0)
stereotype TRUE
line_color 3342489
quidu "40C974090116"
client @425
supplier @392
vertices (list Points
(1706, 1625)
(1505, 1626))
line_style 0
label (object SegLabel @428
Parent_View @426
location (1541, 1570)
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.823805
height 57
orientation 1))
(object RoleView "result" @429
Parent_View @425
location (12, 366)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @430
Parent_View @429
location (1667, 1488)
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 136
justify 0
label "+result"
pctDist 0.867596
height 97
orientation 0)
stereotype TRUE
line_color 3342489
quidu "40C974090102"
client @425
supplier @409
vertices (list Points
(1706, 1625)
(1766, 1625)
(1762, 1456))
line_style 0
label (object SegLabel @431
Parent_View @429
location (1694, 1542)
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.631792
height 71
orientation 0))))
(object AssociationViewNew "$UNNAMED$28" @432
location (2396, 859)
stereotype TRUE
line_color 3342489
quidu "40C97174021A"
roleview_list (list RoleViews
(object RoleView "initializedElement" @433
Parent_View @432
location (809, 425)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @434
Parent_View @433
location (2108, 1426)
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 354
justify 0
label "+initializedElement"
pctDist 0.770975
height 34
orientation 0)
stereotype TRUE
line_color 3342489
quidu "40C971750302"
client @432
supplier @409
vertices (list Points
(2396, 859)
(2403, 1391)
(1862, 1392))
line_style 0
label (object SegLabel @435
Parent_View @433
location (1916, 1340)
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.950475
height 53
orientation 1))
(object RoleView "initExpression" @436
Parent_View @432
location (809, 425)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @437
Parent_View @436
location (1916, 387)
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 288
justify 0
label "+initExpression"
pctDist 0.838373
height 48
orientation 1)
stereotype TRUE
line_color 3342489
quidu "40C9717502E4"
client @432
supplier @394
vertices (list Points
(2396, 859)
(2390, 434)
(1743, 434))
line_style 0
label (object SegLabel @438
Parent_View @436
location (1811, 484)
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.936392
height 50
orientation 0))))
(object ClassView "Class" "Logical View::EMOF::Parameter" @439
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (2274, 1674)
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 @439
location (2160, 1624)
fill_color 13434879
nlines 1
max_width 228
justify 0
label "Parameter")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "401DABF00182"
width 246
height 124
annotation 8
autoResize TRUE)
(object AssociationViewNew "$UNNAMED$5" @440
location (2012, 1529)
stereotype TRUE
line_color 3342489
quidu "422B45350312"
roleview_list (list RoleViews
(object RoleView "variable" @441
Parent_View @440
location (-132, -93)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @442
Parent_View @441
location (2030, 1478)
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 173
justify 0
label "+variable"
pctDist 0.050052
height 55
orientation 1)
stereotype TRUE
line_color 3342489
quidu "422B453600E2"
client @440
supplier @409
vertices (list Points
(2012, 1529)
(1862, 1448))
line_style 0
label (object SegLabel @443
Parent_View @441
location (1879, 1504)
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.766949
height 42
orientation 0))
(object RoleView "representedParameter" @444
Parent_View @440
location (-132, -93)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @445
Parent_View @444
location (2295, 1554)
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 426
justify 0
label "+representedParameter"
pctDist 1.522443
height 115
orientation 0)
stereotype TRUE
line_color 3342489
quidu "422B453600C4"
client @440
supplier @439
vertices (list Points
(2012, 1529)
(2162, 1611))
line_style 0
label (object SegLabel @446
Parent_View @444
location (2067, 1642)
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.595786
height 74
orientation 1))))
(object InheritTreeView "" @447
location (1587, 609)
line_color 3342489
fill_color 13434879
supplier @394
vertices (list Points
(1587, 609)
(1587, 487)))
(object InheritView "" @448
stereotype TRUE
line_color 3342489
quidu "40C9EE2D0212"
client @381
supplier @394
vertices (list Points
(1446, 806)
(1446, 609))
line_style 3
origin_attachment (1446, 806)
terminal_attachment (1446, 609)
drawSupplier @447)
(object InheritView "" @449
stereotype TRUE
line_color 3342489
quidu "40E2B36203B7"
client @380
supplier @394
vertices (list Points
(1103, 806)
(1103, 609))
line_style 3
origin_attachment (1103, 806)
terminal_attachment (1103, 609)
drawSupplier @447)
(object InheritView "" @450
stereotype TRUE
line_color 3342489
quidu "40C96E1202FB"
client @391
supplier @394
vertices (list Points
(1762, 793)
(1762, 609))
line_style 3
origin_attachment (1762, 793)
terminal_attachment (1762, 609)
drawSupplier @447)
(object InheritView "" @451
stereotype TRUE
line_color 3342489
quidu "40C96E88025B"
client @384
supplier @394
vertices (list Points
(750, 795)
(750, 609))
line_style 3
origin_attachment (750, 795)
terminal_attachment (750, 609)
drawSupplier @447)
(object ClassView "Class" "Logical View::EssentialOCL::TypeExp" @452
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (2091, 856)
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 @452
location (1994, 805)
fill_color 13434879
nlines 1
max_width 194
justify 0
label "TypeExp")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "40C96BEE01BD"
width 212
height 126
annotation 8
autoResize TRUE)
(object InheritView "" @453
stereotype TRUE
line_color 3342489
quidu "40C96DBD01CC"
client @452
supplier @394
vertices (list Points
(2090, 793)
(2090, 609))
line_style 3
origin_attachment (2090, 793)
terminal_attachment (2090, 609)
drawSupplier @447)
(object ClassView "Class" "Logical View::EMOF::Type" @454
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (2097, 1190)
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 @454
location (2007, 1140)
fill_color 13434879
nlines 1
max_width 180
justify 0
label "Type")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "40C78BB303B7"
width 198
height 124
annotation 8
autoResize TRUE)
(object AssociationViewNew "$UNNAMED$10" @455
location (2093, 1023)
stereotype TRUE
line_color 3342489
quidu "428C43D803DA"
roleview_list (list RoleViews
(object RoleView "typeExp" @456
Parent_View @455
location (65, 14)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @457
Parent_View @456
location (1988, 969)
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 182
justify 0
label "+typeExp"
pctDist 0.538447
height 104
orientation 0)
stereotype TRUE
line_color 3342489
quidu "428C43DA0116"
client @455
supplier @452
vertices (list Points
(2093, 1023)
(2091, 919))
line_style 0
label (object SegLabel @458
Parent_View @456
location (2139, 964)
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.558595
height 47
orientation 1))
(object RoleView "referredType" @459
Parent_View @455
location (65, 14)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @460
Parent_View @459
location (1953, 1085)
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 248
justify 0
label "+referredType"
pctDist 0.570055
height 141
orientation 1)
stereotype TRUE
line_color 3342489
quidu "428C43DA009E"
client @455
supplier @454
vertices (list Points
(2093, 1023)
(2095, 1127))
line_style 0
label (object SegLabel @461
Parent_View @459
location (2152, 1084)
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.597227
height 58
orientation 0))))
(object ClassView "Class" "Logical View::EMOF::TypedElement" @462
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1588, 168)
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 @462
location (1440, 118)
fill_color 13434879
nlines 1
max_width 296
justify 0
label "TypedElement")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "401DB04002F2"
width 314
height 124
annotation 8
autoResize TRUE)
(object InheritView "" @463
stereotype TRUE
line_color 3342489
quidu "40C7213002DE"
client @394
supplier @462
vertices (list Points
(1587, 380)
(1587, 230))
line_style 0)))
(object ClassDiagram "Let Expressions"
quid "46E005A20048"
title "Let Expressions"
zoom 100
max_height 28350
max_width 21600
origin_x 0
origin_y 431
items (list diagram_item_list
(object ClassView "Class" "Logical View::EssentialOCL::LetExp" @464
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (822, 1328)
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 @464
location (740, 1277)
fill_color 13434879
nlines 1
max_width 164
justify 0
label "LetExp")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "411F35BC00B9"
width 182
height 126
annotation 8
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::Variable" @465
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1484, 1328)
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 @465
location (1392, 1277)
fill_color 13434879
nlines 1
max_width 184
justify 0
label "Variable")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "401DAF870288"
width 202
height 126
annotation 8
autoResize TRUE)
(object AssociationViewNew "$UNNAMED$14" @466
location (1147, 1328)
stereotype TRUE
line_color 3342489
quidu "411F36E2010C"
roleview_list (list RoleViews
(object RoleView "letExp" @467
Parent_View @466
location (-337, 0)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @468
Parent_View @467
location (1029, 1279)
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 150
justify 0
label "+letExp"
pctDist 0.506849
height 50
orientation 1)
stereotype TRUE
line_color 3342489
quidu "411F36E30117"
client @466
supplier @464
vertices (list Points
(1147, 1328)
(913, 1328))
line_style 0
label (object SegLabel @469
Parent_View @467
location (991, 1389)
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.671233
height 61
orientation 0))
(object RoleView "variable" @470
Parent_View @466
location (-337, 0)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @471
Parent_View @470
location (1247, 1276)
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 173
justify 0
label "+variable"
pctDist 0.424658
height 53
orientation 0)
stereotype TRUE
line_color 3342489
quidu "411F36E300F9"
client @466
supplier @465
vertices (list Points
(1147, 1328)
(1382, 1328))
line_style 0
label (object SegLabel @472
Parent_View @470
location (1320, 1370)
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 "1"
pctDist 0.735160
height 42
orientation 1))))
(object ClassView "Class" "Logical View::EssentialOCL::OclExpression" @473
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (822, 850)
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 @473
location (675, 809)
fill_color 13434879
nlines 1
max_width 294
justify 0
label "OclExpression")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "401DB533025E"
width 312
height 107
annotation 8
autoResize TRUE)
(object AssociationViewNew "$UNNAMED$13" @474
location (372, 1123)
stereotype TRUE
line_color 3342489
quidu "411F3686002D"
roleview_list (list RoleViews
(object RoleView "letExp" @475
Parent_View @474
location (-472, 282)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @476
Parent_View @475
location (616, 1371)
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 150
justify 0
label "+letExp"
pctDist 0.800000
height 42
orientation 1)
stereotype TRUE
line_color 3342489
quidu "411F368602FE"
client @474
supplier @464
vertices (list Points
(372, 1123)
(372, 1331)
(730, 1328))
line_style 0
label (object SegLabel @477
Parent_View @475
location (672, 1275)
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.900000
height 54
orientation 0))
(object RoleView "in" @478
Parent_View @474
location (-472, 282)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @479
Parent_View @478
location (551, 809)
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 60
justify 0
label "+in"
pctDist 0.800000
height 42
orientation 0)
stereotype TRUE
line_color 3342489
quidu "411F368602D6"
client @474
supplier @473
vertices (list Points
(372, 1123)
(372, 850)
(665, 850))
line_style 0
label (object SegLabel @480
Parent_View @478
location (608, 904)
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 "1"
pctDist 0.900000
height 54
orientation 1))))
(object AssociationViewNew "$UNNAMED$28" @481
location (1424, 850)
stereotype TRUE
line_color 3342489
quidu "40C97174021A"
roleview_list (list RoleViews
(object RoleView "initializedElement" @482
Parent_View @481
location (580, 9)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @483
Parent_View @482
location (1294, 1163)
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 354
justify 0
label "+initializedElement"
pctDist 0.789025
height 191
orientation 1)
stereotype TRUE
line_color 3342489
quidu "40C971750302"
client @481
supplier @465
vertices (list Points
(1424, 850)
(1484, 850)
(1484, 1264))
line_style 0
label (object SegLabel @484
Parent_View @482
location (1554, 1170)
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.804002
height 70
orientation 0))
(object RoleView "initExpression" @485
Parent_View @481
location (580, 9)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @486
Parent_View @485
location (1235, 792)
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 288
justify 0
label "+initExpression"
pctDist 0.422785
height 59
orientation 1)
stereotype TRUE
line_color 3342489
quidu "40C9717502E4"
client @481
supplier @473
vertices (list Points
(1424, 850)
(978, 850))
line_style 0
label (object SegLabel @487
Parent_View @485
location (1160, 891)
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.594937
height 41
orientation 0))))
(object InheritView "" @488
stereotype TRUE
line_color 3342489
quidu "411F36570333"
client @464
supplier @473
vertices (list Points
(822, 1264)
(822, 903))
line_style 0)))
(object ClassDiagram "Feature Property Call Expressions"
quid "46E0069001BC"
title "Feature Property Call Expressions"
zoom 100
max_height 28350
max_width 21600
origin_x 0
origin_y 0
items (list diagram_item_list
(object ClassView "Class" "Logical View::EssentialOCL::NavigationCallExp" @489
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1406, 531)
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 @489
location (1223, 480)
fill_color 13434879
nlines 1
max_width 366
justify 0
label "NavigationCallExp")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "46DFFD88019B"
width 384
height 126
annotation 8
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::FeatureCallExp" @490
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1159, 259)
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 @490
location (1004, 208)
fill_color 13434879
nlines 1
max_width 310
justify 0
label "FeatureCallExp")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "428DFEB20390"
width 328
height 126
annotation 8
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::PropertyCallExp" @491
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1406, 784)
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 @491
location (1244, 733)
fill_color 13434879
nlines 1
max_width 324
justify 0
label "PropertyCallExp")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "40C96B9E00E5"
width 342
height 126
annotation 8
autoResize TRUE)
(object InheritView "" @492
stereotype TRUE
line_color 3342489
quidu "46DFFDC90321"
client @491
supplier @489
vertices (list Points
(1406, 720)
(1406, 594))
line_style 0)
(object ClassView "Class" "Logical View::EMOF::Property" @493
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (2353, 784)
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 @493
location (2258, 734)
fill_color 13434879
nlines 1
max_width 190
justify 0
label "Property")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "401DADC101B3"
width 208
height 124
annotation 8
autoResize TRUE)
(object AssociationViewNew "$UNNAMED$25" @494
location (1912, 784)
stereotype TRUE
line_color 3342489
quidu "40CF76600083"
roleview_list (list RoleViews
(object RoleView "referringExp" @495
Parent_View @494
location (-126, -22)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @496
Parent_View @495
location (1738, 743)
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 246
justify 0
label "+referringExp"
pctDist 0.522436
height 42
orientation 1)
stereotype TRUE
line_color 3342489
quidu "40CF766100C1"
client @494
supplier @491
vertices (list Points
(1912, 784)
(1577, 784))
line_style 0
label (object SegLabel @497
Parent_View @495
location (1631, 839)
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.839744
height 55
orientation 0))
(object RoleView "referredProperty" @498
Parent_View @494
location (-126, -22)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @499
Parent_View @498
location (2058, 743)
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 314
justify 0
label "+referredProperty"
pctDist 0.434505
height 42
orientation 0)
stereotype TRUE
line_color 3342489
quidu "40CF766100B7"
client @494
supplier @493
vertices (list Points
(1912, 784)
(2248, 784))
line_style 0
label (object SegLabel @500
Parent_View @498
location (2169, 832)
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.763578
height 48
orientation 1))))
(object ClassView "Class" "Logical View::EssentialOCL::OclExpression" @501
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (784, 1156)
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 @501
location (637, 1115)
fill_color 13434879
nlines 1
max_width 294
justify 0
label "OclExpression")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "401DB533025E"
width 312
height 107
annotation 8
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::OperationCallExp" @502
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (785, 725)
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 @502
location (605, 674)
fill_color 13434879
nlines 1
max_width 360
justify 0
label "OperationCallExp")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "40C96BA800C2"
width 378
height 126
annotation 8
autoResize TRUE)
(object AssociationViewNew "$UNNAMED$17" @503
location (784, 945)
stereotype TRUE
line_color 3342489
quidu "40C96F5100A1"
roleview_list (list RoleViews
(object RoleView "parentCall" @504
Parent_View @503
location (212, -111)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @505
Parent_View @504
location (651, 869)
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 219
justify 0
label "+parentCall"
pctDist 0.490683
height 134
orientation 0)
stereotype TRUE
line_color 3342489
quidu "40C96F5500C5"
client @503
supplier @502
vertices (list Points
(784, 945)
(784, 788))
line_style 0
label (object SegLabel @506
Parent_View @504
location (725, 919)
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.168755
height 60
orientation 0))
(object RoleView "argument" @507
Parent_View @503
location (212, -111)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @508
Parent_View @507
location (657, 1046)
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 196
justify 0
label "+argument"
pctDist 0.646617
height 128
orientation 1)
stereotype TRUE
line_color 3342489
quidu "40C96F5500A7"
client @503
supplier @501
vertices (list Points
(784, 945)
(784, 1102))
line_style 0
label (object SegLabel @509
Parent_View @507
location (829, 1061)
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.736842
height 45
orientation 0)
label (object SegLabel @510
Parent_View @507
location (940, 1053)
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 159
justify 0
label "{ordered}"
pctDist 0.691729
height 156
orientation 0))))
(object ClassView "Class" "Logical View::EMOF::Operation" @511
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (2356, 1008)
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 @511
location (2255, 958)
fill_color 13434879
nlines 1
max_width 202
justify 0
label "Operation")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "401DACA501B4"
width 220
height 124
annotation 8
autoResize TRUE)
(object AssociationViewNew "$UNNAMED$22" @512
location (1483, 1011)
stereotype TRUE
line_color 3342489
quidu "40CF759401FC"
roleview_list (list RoleViews
(object RoleView "referringExp" @513
Parent_View @512
location (11, -98)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @514
Parent_View @513
location (1030, 835)
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 246
justify 0
label "+referringExp"
pctDist 0.794616
height 128
orientation 1)
stereotype TRUE
line_color 3342489
quidu "40CF75960263"
client @512
supplier @502
vertices (list Points
(1483, 1011)
(1006, 1013)
(833, 788))
line_style 0
label (object SegLabel @515
Parent_View @513
location (966, 897)
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.782224
height 39
orientation 1))
(object RoleView "referredOperation" @516
Parent_View @512
location (11, -98)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @517
Parent_View @516
location (2038, 968)
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 348
justify 0
label "+referredOperation"
pctDist 0.728945
height 42
orientation 0)
stereotype TRUE
line_color 3342489
quidu "40CF75960259"
client @512
supplier @511
vertices (list Points
(1483, 1011)
(2245, 1008))
line_style 0
label (object SegLabel @518
Parent_View @516
location (2169, 1062)
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.900000
height 54
orientation 1))))
(object InheritTreeView "" @519
location (1159, 416)
line_color 3342489
fill_color 13434879
supplier @490
vertices (list Points
(1159, 416)
(1159, 322)))
(object InheritView "" @520
stereotype TRUE
line_color 3342489
quidu "40C96D8F0126"
client @502
supplier @490
vertices (list Points
(822, 662)
(822, 416))
line_style 3
origin_attachment (822, 662)
terminal_attachment (822, 416)
drawSupplier @519)
(object InheritView "" @521
stereotype TRUE
line_color 3342489
quidu "40C96D9203B5"
client @489
supplier @490
vertices (list Points
(1406, 468)
(1406, 416))
line_style 3
origin_attachment (1406, 468)
terminal_attachment (1406, 416)
drawSupplier @519)))
(object ClassDiagram "Literals"
quid "46E007FE02A2"
title "Literals"
zoom 100
max_height 28350
max_width 21600
origin_x 0
origin_y 0
items (list diagram_item_list
(object ClassView "Class" "Logical View::EssentialOCL::LiteralExp" @522
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1353, 188)
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 @522
location (1250, 147)
fill_color 13434879
nlines 1
max_width 206
justify 0
label "LiteralExp")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "40E2B2FC0306"
width 224
height 107
annotation 8
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::PrimitiveLiteralExp" @523
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1187, 456)
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 @523
location (998, 415)
fill_color 13434879
nlines 1
max_width 378
justify 0
label "PrimitiveLiteralExp")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "41694DCF00F4"
width 396
height 107
annotation 8
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::NullLiteralExp" @524
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1681, 453)
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 @524
location (1536, 402)
fill_color 13434879
nlines 1
max_width 290
justify 0
label "NullLiteralExp")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "422B45FC00E7"
width 308
height 126
annotation 8
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::InvalidLiteralExp" @525
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (2130, 453)
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 @525
location (1962, 402)
fill_color 13434879
nlines 1
max_width 336
justify 0
label "InvalidLiteralExp")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "428B70160127"
width 354
height 126
annotation 8
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::EnumLiteralExp" @526
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (709, 453)
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 @526
location (550, 402)
fill_color 13434879
nlines 1
max_width 318
justify 0
label "EnumLiteralExp")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "40CD824100DE"
width 336
height 126
annotation 8
autoResize TRUE)
(object ClassView "Class" "Logical View::EMOF::EnumerationLiteral" @527
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (423, 1090)
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 @527
location (235, 1040)
fill_color 13434879
nlines 1
max_width 376
justify 0
label "EnumerationLiteral")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "40CB2DD003D0"
width 394
height 124
annotation 8
autoResize TRUE)
(object AssociationViewNew "$UNNAMED$26" @528
location (415, 677)
stereotype TRUE
line_color 3342489
quidu "40CD82BA03E5"
roleview_list (list RoleViews
(object RoleView "literalExp" @529
Parent_View @528
location (185, -217)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @530
Parent_View @529
location (604, 477)
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 194
justify 0
label "+literalExp"
pctDist 1.184736
height 24
orientation 1)
stereotype TRUE
line_color 3342489
quidu "40CD82BC0063"
client @528
supplier @526
vertices (list Points
(415, 677)
(412, 456)
(540, 454))
line_style 0
label (object SegLabel @531
Parent_View @529
location (506, 509)
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.900000
height 54
orientation 1))
(object RoleView "referredEnumLiteral" @532
Parent_View @528
location (185, -217)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @533
Parent_View @532
location (636, 974)
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 385
justify 0
label "+referredEnumLiteral"
pctDist 0.857119
height 216
orientation 0)
stereotype TRUE
line_color 3342489
quidu "40CD82BC0059"
client @528
supplier @527
vertices (list Points
(415, 677)
(421, 1027))
line_style 0
label (object SegLabel @534
Parent_View @532
location (360, 954)
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.792639
height 61
orientation 1))))
(object ClassView "Class" "Logical View::EssentialOCL::NumericLiteralExp" @535
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (903, 759)
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 @535
location (716, 718)
fill_color 13434879
nlines 1
max_width 374
justify 0
label "NumericLiteralExp")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "41694DFF0360"
width 392
height 107
annotation 8
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::StringLiteralExp" @536
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1420, 765)
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 @536
location (1228, 709)
fill_color 13434879
nlines 1
max_width 384
justify 0
label "StringLiteralExp")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "40CD821202C1"
width 402
height 136
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::BooleanLiteralExp" @537
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (2021, 765)
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 @537
location (1788, 709)
fill_color 13434879
nlines 1
max_width 466
justify 0
label "BooleanLiteralExp")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "40CD820C0236"
width 484
height 136
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::RealLiteralExp" @538
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1153, 1090)
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 @538
location (990, 1034)
fill_color 13434879
nlines 1
max_width 326
justify 0
label "RealLiteralExp")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "40CD81F8021A"
width 344
height 136
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::UnlimitedNaturalExp" @539
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1729, 1087)
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 @539
location (1494, 1031)
fill_color 13434879
nlines 1
max_width 470
justify 0
label "UnlimitedNaturalExp")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "40CDAA45000C"
width 488
height 136
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::IntegerLiteralExp" @540
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (2359, 1084)
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 @540
location (2148, 1028)
fill_color 13434879
nlines 1
max_width 422
justify 0
label "IntegerLiteralExp")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "40CD81F10346"
width 440
height 136
autoResize TRUE)
(object InheritTreeView "" @541
location (903, 944)
line_color 3342489
fill_color 13434879
supplier @535
vertices (list Points
(903, 944)
(903, 812)))
(object InheritView "" @542
stereotype TRUE
line_color 3342489
quidu "40CDAA77039D"
client @539
supplier @535
vertices (list Points
(1584, 1019)
(1584, 944))
line_style 3
origin_attachment (1584, 1019)
terminal_attachment (1584, 944)
drawSupplier @541)
(object InheritView "" @543
stereotype TRUE
line_color 3342489
quidu "40CD829F038C"
client @538
supplier @535
vertices (list Points
(1153, 1022)
(1153, 944))
line_style 3
origin_attachment (1153, 1022)
terminal_attachment (1153, 944)
drawSupplier @541)
(object InheritTreeView "" @544
location (1187, 625)
line_color 3342489
fill_color 13434879
supplier @523
vertices (list Points
(1187, 625)
(1187, 509)))
(object InheritView "" @545
stereotype TRUE
line_color 3342489
quidu "41694E6601CE"
client @535
supplier @523
vertices (list Points
(990, 705)
(990, 625))
line_style 3
origin_attachment (990, 705)
terminal_attachment (990, 625)
drawSupplier @544)
(object InheritView "" @546
stereotype TRUE
line_color 3342489
quidu "40CD82AA028E"
client @536
supplier @523
vertices (list Points
(1418, 697)
(1418, 625))
line_style 3
origin_attachment (1418, 697)
terminal_attachment (1418, 625)
drawSupplier @544)
(object InheritView "" @547
stereotype TRUE
line_color 3342489
quidu "40CD82A602C4"
client @537
supplier @523
vertices (list Points
(2018, 697)
(2018, 625))
line_style 3
origin_attachment (2018, 697)
terminal_attachment (2018, 625)
drawSupplier @544)
(object InheritTreeView "" @548
location (1353, 341)
line_color 3342489
fill_color 13434879
supplier @522
vertices (list Points
(1353, 341)
(1353, 241)))
(object InheritView "" @549
stereotype TRUE
line_color 3342489
quidu "428B3C420383"
client @524
supplier @522
vertices (list Points
(1681, 390)
(1681, 341))
line_style 3
origin_attachment (1681, 390)
terminal_attachment (1681, 341)
drawSupplier @548)
(object InheritView "" @550
stereotype TRUE
line_color 3342489
quidu "428B70330203"
client @525
supplier @522
vertices (list Points
(2130, 390)
(2130, 341))
line_style 3
origin_attachment (2130, 390)
terminal_attachment (2130, 341)
drawSupplier @548)
(object InheritView "" @551
stereotype TRUE
line_color 3342489
quidu "40CD82AE01F3"
client @526
supplier @522
vertices (list Points
(709, 390)
(709, 341))
line_style 3
origin_attachment (709, 390)
terminal_attachment (709, 341)
drawSupplier @548)
(object InheritView "" @552
stereotype TRUE
line_color 3342489
quidu "41694E5201B1"
client @523
supplier @522
vertices (list Points
(1197, 402)
(1197, 341))
line_style 3
origin_attachment (1197, 402)
terminal_attachment (1197, 341)
drawSupplier @548)))
(object ClassDiagram "Collection and Tuple Literals"
quid "46E0092201B4"
title "Collection and Tuple Literals"
zoom 100
max_height 28350
max_width 21600
origin_x 0
origin_y 0
items (list diagram_item_list
(object ClassView "Class" "Logical View::EssentialOCL::LiteralExp" @553
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1234, 166)
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 @553
location (1131, 125)
fill_color 13434879
nlines 1
max_width 206
justify 0
label "LiteralExp")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "40E2B2FC0306"
width 224
height 107
annotation 8
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::CollectionLiteralExp" @554
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (596, 447)
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 @554
location (396, 391)
fill_color 13434879
nlines 1
max_width 400
justify 0
label "CollectionLiteralExp")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "416952980309"
width 418
height 136
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::CollectionLiteralPart" @555
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (675, 840)
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 @555
location (476, 799)
fill_color 13434879
nlines 1
max_width 398
justify 0
label "CollectionLiteralPart")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "416952FB009E"
width 416
height 107
annotation 8
autoResize TRUE)
(object AssociationViewNew "$UNNAMED$0" @556
location (636, 650)
stereotype TRUE
line_color 3342489
quidu "4169532300C4"
roleview_list (list RoleViews
(object RoleView "collectionLiteralExp" @557
Parent_View @556
location (-83, -184)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @558
Parent_View @557
location (389, 574)
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 383
justify 0
label "+collectionLiteralExp"
pctDist 0.906805
height 228
orientation 0)
stereotype TRUE
line_color 3342489
quidu "41695323036D"
client @556
supplier @554
vertices (list Points
(636, 650)
(609, 515))
line_style 0
label (object SegLabel @559
Parent_View @557
location (692, 569)
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 "1"
pctDist 0.491124
height 72
orientation 1))
(object RoleView "part" @560
Parent_View @556
location (-83, -184)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @561
Parent_View @560
location (570, 743)
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 105
justify 0
label "+part"
pctDist 0.563723
height 85
orientation 1)
stereotype TRUE
line_color 3342489
quidu "416953230363"
client @556
supplier @555
vertices (list Points
(636, 650)
(663, 786))
line_style 0
label (object SegLabel @562
Parent_View @560
location (695, 746)
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.753885
height 39
orientation 0))))
(object ClassView "Class" "Logical View::EssentialOCL::CollectionKind" @563
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1763, 1750)
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 @563
location (1600, 1616)
fill_color 13434879
nlines 1
max_width 326
justify 0
label "CollectionKind")
stereotype (object ItemLabel
Parent_View @563
location (1600, 1566)
fill_color 13434879
anchor 10
nlines 1
max_width 326
justify 0
label "<<enumeration>>")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "40DFC0D7022F"
width 344
height 392
autoResize TRUE)
(object ClassView "Class" "Logical View::EMOF::TypedElement" @564
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1236, 467)
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 @564
location (1088, 417)
fill_color 13434879
nlines 1
max_width 296
justify 0
label "TypedElement")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "401DB04002F2"
width 314
height 124
annotation 8
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::CollectionRange" @565
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (397, 1118)
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 @565
location (227, 1077)
fill_color 13434879
nlines 1
max_width 340
justify 0
label "CollectionRange")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "41695373024F"
width 358
height 107
annotation 8
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::CollectionItem" @566
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1037, 1112)
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 @566
location (890, 1071)
fill_color 13434879
nlines 1
max_width 294
justify 0
label "CollectionItem")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "416953580355"
width 312
height 107
annotation 8
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::OclExpression" @567
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (456, 1572)
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 @567
location (309, 1531)
fill_color 13434879
nlines 1
max_width 294
justify 0
label "OclExpression")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "401DB533025E"
width 312
height 107
annotation 8
autoResize TRUE)
(object AssociationViewNew "$UNNAMED$1" @568
location (190, 1362)
stereotype TRUE
line_color 3342489
quidu "4169541A0368"
roleview_list (list RoleViews
(object RoleView "firstOwner" @569
Parent_View @568
location (-266, -210)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @570
Parent_View @569
location (336, 1282)
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 213
justify 0
label "+firstOwner"
pctDist 0.760382
height 92
orientation 1)
stereotype TRUE
line_color 3342489
quidu "4169541B0229"
client @568
supplier @565
vertices (list Points
(190, 1362)
(188, 1284)
(327, 1171))
line_style 0
label (object SegLabel @571
Parent_View @569
location (135, 1295)
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.266113
height 54
orientation 0))
(object RoleView "first" @572
Parent_View @568
location (-266, -210)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @573
Parent_View @572
location (288, 1410)
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 100
justify 0
label "+first"
pctDist 0.549197
height 60
orientation 0)
stereotype TRUE
line_color 3342489
quidu "4169541B01ED"
client @568
supplier @567
vertices (list Points
(190, 1362)
(191, 1425)
(361, 1518))
line_style 0
label (object SegLabel @574
Parent_View @572
location (213, 1388)
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 "1"
pctDist 0.252551
height 43
orientation 0))))
(object AssociationViewNew "$UNNAMED$2" @575
location (651, 1351)
stereotype TRUE
line_color 3342489
quidu "416954230393"
roleview_list (list RoleViews
(object RoleView "lastOwner" @576
Parent_View @575
location (195, -221)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @577
Parent_View @576
location (535, 1323)
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 213
justify 0
label "+lastOwner"
pctDist 0.500277
height 90
orientation 0)
stereotype TRUE
line_color 3342489
quidu "416954240240"
client @575
supplier @565
vertices (list Points
(651, 1351)
(653, 1297)
(475, 1171))
line_style 0
label (object SegLabel @578
Parent_View @576
location (661, 1240)
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.300215
height 52
orientation 1))
(object RoleView "last" @579
Parent_View @575
location (195, -221)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @580
Parent_View @579
location (571, 1404)
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 100
justify 0
label "+last"
pctDist 0.498287
height 53
orientation 1)
stereotype TRUE
line_color 3342489
quidu "416954240204"
client @575
supplier @567
vertices (list Points
(651, 1351)
(650, 1406)
(516, 1518))
line_style 0
label (object SegLabel @581
Parent_View @579
location (481, 1502)
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 "1"
pctDist 1.078982
height 36
orientation 1))))
(object AssociationViewNew "$UNNAMED$3" @582
location (877, 1389)
stereotype TRUE
line_color 3342489
quidu "4169548C0394"
roleview_list (list RoleViews
(object RoleView "collectionItem" @583
Parent_View @582
location (421, -183)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @584
Parent_View @583
location (875, 1236)
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 287
justify 0
label "+collectionItem"
pctDist 0.179090
height 142
orientation 0)
stereotype TRUE
line_color 3342489
quidu "4169548E0206"
client @582
supplier @566
vertices (list Points
(877, 1389)
(1034, 1322)
(1035, 1165))
line_style 0
label (object SegLabel @585
Parent_View @583
location (1100, 1230)
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.804029
height 65
orientation 1))
(object RoleView "item" @586
Parent_View @582
location (421, -183)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @587
Parent_View @586
location (782, 1381)
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 116
justify 0
label "+item"
pctDist 0.263680
height 46
orientation 1)
stereotype TRUE
line_color 3342489
quidu "4169548E01B6"
client @582
supplier @567
vertices (list Points
(877, 1389)
(576, 1518))
line_style 0
label (object SegLabel @588
Parent_View @586
location (692, 1516)
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 "1"
pctDist 0.671740
height 43
orientation 0))))
(object ClassView "Class" "Logical View::EssentialOCL::TupleLiteralExp" @589
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1790, 421)
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 @589
location (1636, 370)
fill_color 13434879
nlines 1
max_width 308
justify 0
label "TupleLiteralExp")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "4169552701A2"
width 326
height 126
annotation 8
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::TupleLiteralPart" @590
ShowCompartmentStereotypes TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1678, 834)
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 @590
location (1522, 783)
fill_color 13434879
nlines 1
max_width 312
justify 0
label "TupleLiteralPart")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "428E1896032C"
width 330
height 126
annotation 8
autoResize TRUE)
(object AssociationViewNew "$UNNAMED$12" @591
location (1306, 1563)
stereotype TRUE
line_color 3342489
quidu "43CBA66F0106"
roleview_list (list RoleViews
(object RoleView "tupleLiteralPart" @592
Parent_View @591
location (850, -9)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @593
Parent_View @592
location (1410, 987)
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 298
justify 0
label "+tupleLiteralPart"
pctDist 0.775688
height 186
orientation 0)
stereotype TRUE
line_color 3342489
quidu "43CBA6740371"
client @591
supplier @590
vertices (list Points
(1306, 1563)
(1366, 1563)
(1649, 897))
line_style 0
label (object SegLabel @594
Parent_View @592
location (1643, 1088)
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.771498
height 69
orientation 1))
(object RoleView "value" @595
Parent_View @591
location (850, -9)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @596
Parent_View @595
location (883, 1524)
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 132
justify 0
label "+value"
pctDist 0.611519
height 44
orientation 1)
stereotype TRUE
line_color 3342489
quidu "43CBA6740258"
client @591
supplier @567
vertices (list Points
(1306, 1563)
(612, 1569))
line_style 0
label (object SegLabel @597
Parent_View @595
location (682, 1622)
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 "1"
pctDist 0.900000
height 54
orientation 0))))
(object AssociationViewNew "$UNNAMED$4" @598
location (1733, 627)
stereotype TRUE
line_color 3342489
quidu "4169557A0346"
roleview_list (list RoleViews
(object RoleView "tupleLiteralExp" @599
Parent_View @598
location (45, -386)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @600
Parent_View @599
location (1947, 546)
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 295
justify 0
label "+tupleLiteralExp"
pctDist 0.920118
height 185
orientation 1)
stereotype TRUE
line_color 3342489
quidu "4169557C0000"
client @598
supplier @589
vertices (list Points
(1733, 627)
(1771, 484))
line_style 0
label (object SegLabel @601
Parent_View @599
location (1674, 546)
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.427219
height 80
orientation 0))
(object RoleView "part" @602
Parent_View @598
location (45, -386)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @603
Parent_View @602
location (1791, 722)
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 105
justify 0
label "+part"
pctDist 0.521894
height 81
orientation 0)
stereotype TRUE
line_color 3342489
quidu "4169557B03D3"
client @598
supplier @590
vertices (list Points
(1733, 627)
(1693, 770))
line_style 0
label (object SegLabel @604
Parent_View @602
location (1665, 725)
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.766864
height 41
orientation 1))))
(object ClassView "Class" "Logical View::EMOF::Property" @605
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1820, 1284)
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 @605
location (1725, 1234)
fill_color 13434879
nlines 1
max_width 190
justify 0
label "Property")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "401DADC101B3"
width 208
height 124
annotation 8
autoResize TRUE)
(object AssociationViewNew "$UNNAMED$11" @606
location (1748, 1059)
stereotype TRUE
line_color 3342489
quidu "428E19DD0176"
roleview_list (list RoleViews
(object RoleView "tupleLiteralPart" @607
Parent_View @606
location (-72, -225)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @608
Parent_View @607
location (1906, 954)
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 298
justify 0
label "+tupleLiteralPart"
pctDist 0.310348
height 182
orientation 1)
stereotype TRUE
line_color 3342489
quidu "428E19DD032F"
client @606
supplier @590
vertices (list Points
(1748, 1059)
(1697, 897))
line_style 0
label (object SegLabel @609
Parent_View @607
location (1689, 1020)
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.323349
height 45
orientation 0))
(object RoleView "attribute" @610
Parent_View @606
location (-72, -225)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @611
Parent_View @610
location (1672, 1179)
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 185
justify 0
label "+attribute"
pctDist 0.539574
height 109
orientation 1)
stereotype TRUE
line_color 3342489
quidu "428E19DD031B"
client @606
supplier @605
vertices (list Points
(1748, 1059)
(1799, 1221))
line_style 0
label (object SegLabel @612
Parent_View @610
location (1865, 1176)
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.863963
height 77
orientation 0))))
(object InheritTreeView "" @613
location (1234, 309)
line_color 3342489
fill_color 13434879
supplier @553
vertices (list Points
(1234, 309)
(1234, 219)))
(object InheritView "" @614
stereotype TRUE
line_color 3342489
quidu "4169551E03E4"
client @554
supplier @553
vertices (list Points
(597, 379)
(597, 309))
line_style 3
origin_attachment (597, 379)
terminal_attachment (597, 309)
drawSupplier @613)
(object InheritView "" @615
stereotype TRUE
line_color 3342489
quidu "4169553700E7"
client @589
supplier @553
vertices (list Points
(1788, 358)
(1788, 309))
line_style 3
origin_attachment (1788, 358)
terminal_attachment (1788, 309)
drawSupplier @613)
(object InheritTreeView "" @616
location (1236, 681)
line_color 3342489
fill_color 13434879
supplier @564
vertices (list Points
(1236, 681)
(1236, 529)))
(object InheritView "" @617
stereotype TRUE
line_color 3342489
quidu "428E197300AC"
client @555
supplier @564
vertices (list Points
(788, 787)
(788, 681))
line_style 3
origin_attachment (788, 787)
terminal_attachment (788, 681)
drawSupplier @616)
(object InheritView "" @618
stereotype TRUE
line_color 3342489
quidu "428E19AD02B8"
client @590
supplier @564
vertices (list Points
(1566, 771)
(1566, 681))
line_style 3
origin_attachment (1566, 771)
terminal_attachment (1566, 681)
drawSupplier @616)
(object InheritTreeView "" @619
location (675, 993)
line_color 3342489
fill_color 13434879
supplier @555
vertices (list Points
(675, 993)
(675, 893)))
(object InheritView "" @620
stereotype TRUE
line_color 3342489
quidu "4169538300CC"
client @566
supplier @555
vertices (list Points
(984, 1059)
(984, 993))
line_style 3
origin_attachment (984, 1059)
terminal_attachment (984, 993)
drawSupplier @619)
(object InheritView "" @621
stereotype TRUE
line_color 3342489
quidu "41695380019A"
client @565
supplier @555
vertices (list Points
(397, 1065)
(397, 993))
line_style 3
origin_attachment (397, 1065)
terminal_attachment (397, 993)
drawSupplier @619)))
(object ClassDiagram "If Expressions"
quid "46E015A7016B"
title "If Expressions"
zoom 100
max_height 28350
max_width 21600
origin_x 0
origin_y 869
items (list diagram_item_list
(object ClassView "Class" "Logical View::EssentialOCL::IfExp" @622
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1025, 841)
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 @622
location (944, 800)
fill_color 13434879
nlines 1
max_width 162
justify 0
label "IfExp")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "40C98FF30127"
height 107
annotation 8
autoResize TRUE)
(object ClassView "Class" "Logical View::EssentialOCL::OclExpression" @623
ShowCompartmentStereotypes TRUE
SuppressAttribute TRUE
SuppressOperation TRUE
IncludeAttribute TRUE
IncludeOperation TRUE
location (1025, 1337)
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 @623
location (878, 1296)
fill_color 13434879
nlines 1
max_width 294
justify 0
label "OclExpression")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "401DB533025E"
width 312
height 107
annotation 8
autoResize TRUE)
(object AssociationViewNew "$UNNAMED$18" @624
location (442, 1059)
stereotype TRUE
line_color 3342489
quidu "40C9ED38024C"
roleview_list (list RoleViews
(object RoleView "thenOwner" @625
Parent_View @624
location (-617, -279)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @626
Parent_View @625
location (791, 800)
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 231
justify 0
label "+thenOwner"
pctDist 0.800000
height 42
orientation 0)
stereotype TRUE
line_color 3342489
quidu "40C9ED3A0104"
client @624
supplier @622
vertices (list Points
(442, 1059)
(441, 841)
(934, 841))
line_style 0
label (object SegLabel @627
Parent_View @625
location (859, 886)
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.895803
height 45
orientation 1))
(object RoleView "thenExpression" @628
Parent_View @624
location (-617, -279)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @629
Parent_View @628
location (680, 1298)
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 306
justify 0
label "+thenExpression"
pctDist 0.736495
height 46
orientation 0)
stereotype TRUE
line_color 3342489
quidu "40C9ED3A00F0"
client @624
supplier @623
vertices (list Points
(442, 1059)
(444, 1347)
(868, 1339))
line_style 0
label (object SegLabel @630
Parent_View @628
location (816, 1391)
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 "1"
pctDist 0.926158
height 51
orientation 1))))
(object AssociationViewNew "$UNNAMED$19" @631
location (1566, 1054)
stereotype TRUE
line_color 3342489
quidu "40C9ED90019E"
roleview_list (list RoleViews
(object RoleView "elseOwner" @632
Parent_View @631
location (507, -284)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @633
Parent_View @632
location (1248, 782)
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 223
justify 0
label "+elseOwner"
pctDist 0.800965
height 61
orientation 1)
stereotype TRUE
line_color 3342489
quidu "40C9ED91025E"
client @631
supplier @622
vertices (list Points
(1566, 1054)
(1566, 844)
(1115, 841))
line_style 0
label (object SegLabel @634
Parent_View @632
location (1185, 889)
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.893406
height 48
orientation 0))
(object RoleView "elseExpression" @635
Parent_View @631
location (507, -284)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @636
Parent_View @635
location (1338, 1283)
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 306
justify 0
label "+elseExpression"
pctDist 0.763769
height 51
orientation 1)
stereotype TRUE
line_color 3342489
quidu "40C9ED91024A"
client @631
supplier @623
vertices (list Points
(1566, 1054)
(1566, 1331)
(1181, 1334))
line_style 0
label (object SegLabel @637
Parent_View @635
location (1247, 1387)
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 "1"
pctDist 0.900000
height 54
orientation 0))))
(object AssociationViewNew "$UNNAMED$16" @638
location (1025, 1088)
stereotype TRUE
line_color 3342489
quidu "40C9E7C403D7"
roleview_list (list RoleViews
(object RoleView "ifOwner" @639
Parent_View @638
location (-34, -250)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @640
Parent_View @639
location (913, 945)
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 160
justify 0
label "+ifOwner"
pctDist 0.737113
height 113
orientation 0)
stereotype TRUE
line_color 3342489
quidu "40C9E7C8038D"
client @638
supplier @622
vertices (list Points
(1025, 1088)
(1025, 894))
line_style 0
label (object SegLabel @641
Parent_View @639
location (1086, 949)
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.721649
height 61
orientation 1))
(object RoleView "condition" @642
Parent_View @638
location (-34, -250)
font (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @643
Parent_View @642
location (898, 1241)
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 204
justify 0
label "+condition"
pctDist 0.784615
height 128
orientation 1)
stereotype TRUE
line_color 3342489
quidu "40C9E7C80365"
client @638
supplier @623
vertices (list Points
(1025, 1088)
(1025, 1283))
line_style 0
label (object SegLabel @644
Parent_View @642
location (1067, 1248)
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 "1"
pctDist 0.820513
height 42
orientation 0))))))))