(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 "<>") 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 "<>") 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))))))))