Domain Model (Formalism) - Ph.D.DissertationFerencAttilaSomogyiAdvisor:GergelyMezei,Ph.D.Associ

Appendix

A.1.1 NamedNode

• EAtt_E{NamedNode, NamedNode, Node, {NNFields, NNIsAbstract}, {NNLevel, NNPotency}}

• Ann{NNLevel, Level, NamedNode, 2}

• Ann{NNPotency, Potency, NamedNode, 0}

• EAttA{NNFields, Fields, NodeFields, {NNName}, ∅, Field, true, undef}

• EAtt_E{NNName, Name, Field, {NNNameType, NNNameValue}, {NNNameLevel, NNNamePotency, NNNameNature}}

• EAttA{NNNameType, Type, FieldType, ∅, ∅, base, false, string}

• EAtt_A{NNNameValue, Value, FieldValue, ∅, ∅, base, false, undef}

• Ann{NNNameLevel, Level, NNName, 2}

• Ann{NNNamePotency, Potency, NNName, 2}

• Ann{NNNameNature, Nature, NNName, dual}

• EAtt_A{NNIsAbstract, IsAbstract, NodeIsAbstract, ∅, ∅, bool, false, true}

A.1.2 ProductType

• EAtt_E{ProductType, ProductType, Node, {PTFields, PTIsAbstract}, {PTLevel, PTPotency}}

• Ann{PTLevel, Level, ProductType, 2}

• Ann{PTPotency, Potency, ProductType, 2}

• EAtt_A{PTFields, Fields, NodeFields, {PTTaxRate, PTPrice, PTName},

∅, Field, true, undef}

• EAtt_E{PTTaxRate, TaxRate, Field, {PTTaxRateType, PTTaxRateValue}, {PTTaxRateLevel, PTTaxRatePotency, PTTaxRateNature}}

• EAttA{PTTaxRateType, Type, FieldType, ∅, ∅, base, false, number}

• EAtt_A{PTTaxRateValue, Value, FieldValue, ∅, ∅, base, false, undef}

• Ann{PTTaxRateLevel, Level, PTTaxRate, 2}

• Ann{PTTaxRatePotency, Potency, PTTaxRate, 1}

• Ann{PTTaxRateNature, Nature, PTTaxRate, simple}

• EAtt_E{PTPrice, Price, Field, {PTPriceType, PTPriceValue}, {PTPriceLevel, PTPricePotency, PTPriceNature}}

• EAtt_A{PTPriceType, Type, FieldType, ∅, ∅, base, false, number}

• EAtt_A{PTPriceValue, Value, FieldValue, ∅, ∅, base, false, undef}

• Ann{PTPriceLevel, Level, PTPrice, 2}

• Ann{PTPricePotency, Potency, PTPrice, 2}

• Ann{PTPriceNature, Nature, PTPrice, simple}

• EAtt_E{PTName, Name, Field, {PTNameType, PTNameValue}, {PTNameLevel, PTNamePotency, PTNameNature}}

• EAtt_A{PTNameType, Type, FieldType, ∅, ∅, base, false, string}

• EAtt_A{PTNameValue, Value, FieldValue, ∅, ∅, base, false, undef}

• Ann{PTNameLevel, Level, PTName, 2}

• Ann{PTNamePotency, Potency, PTName, 2}

• Ann{PTNameNature, Nature, PTName, dual}

• EAtt_A{PTIsAbstract, IsAbstract, NodeIsAbstract, ∅, ∅, bool, false, false}

A.1.3 Book

• EAtt_E{Book, Book, ProductType, {BookFields, BookIsAbstract}, {BookLevel, BookPotency}}

• Ann{BookLevel, Level, Book, 1}

• Ann{BookPotency, Potency, Book, 1}

• EAtt_A{BookFields, Fields, PTFields,{BookTaxRate, BookPrice, BookName},

∅, Field, true, undef}

• EAtt_E{BookTaxRate, TaxRate, PTTaxRate, {BookTaxRateType, BookTaxRateValue},

{BookTaxRateLevel, BookTaxRatePotency, BookTaxRateNature}}

• EAtt_A{BookTaxRateType, Type, PTTaxRateType, ∅, ∅, base, false, number}

• EAtt_A{BookTaxRateValue, Value, PTTaxRateValue, ∅, ∅, base, false, 7}

• Ann{BookTaxRateLevel, Level, BookTaxRate, 1}

• Ann{BookTaxRatePotency, Potency, BookTaxRate, 0}

• Ann{BookTaxRateNature, Nature, BookTaxRate, simple}

• EAttE{BookPrice, Price, PTPrice, {BookPriceType, BookPriceValue}, {BookPriceLevel, BookPricePotency, BookPriceNature}}

• EAtt_A{BookPriceType, Type, PTPriceType, ∅, ∅, base, false, number}

• EAttA{BookPriceValue, Value, PTPriceValue, ∅, ∅, base, false, undef}

• Ann{BookPriceLevel, Level, PTPrice, 1}

• Ann{BookPricePotency, Potency, PTPrice, 1}

• Ann{BookPriceNature, Nature, PTPrice, simple}

• EAtt_E{BookName, Name, PTName, {BookNameType, BookNameValue}, {BookNameLevel, BookNamePotency, BookNameNature}}

• EAttA{BookNameType, Type, PTNameType, ∅, ∅, base, false, string}

• EAtt_A{BookNameValue, Value, PTNameValue, ∅, ∅, base, false, ”Book”}

• Ann{BookNameLevel, Level, BookName, 1}

• Ann{BookNamePotency, Potency, BookName, 1}

• Ann{BookNameNature, Nature, BookName, dual}

• EAtt_A{BookIsAbstract, IsAbstract, PTIsAbstract, ∅, ∅, bool, false, false}

A.1.4 DVD

• EAtt_E{DVD, DVD, ProductType, {DVDFields, DVDIsAbstract}, {DVDLevel, DVDPotency}}

• Ann{DVDLevel, Level, DVD, 1}

• Ann{DVDPotency, Potency, DVD, 1}

• EAtt_A{DVDFields, Fields, PTFields,

{DVDTaxRate, DVDPrice, DVDName}, ∅, Field, true, undef}

• EAtt_E{DVDTaxRate, TaxRate, PTTaxRate, {DVDTaxRateType, DVDTaxRateValue},

{DVDTaxRateLevel, DVDTaxRatePotency, DVDTaxRateNature}}

• EAtt_A{DVDTaxRateType, Type, PTTaxRateType, ∅, ∅, base, false, number}

• EAtt_A{DVDTaxRateValue, Value, PTTaxRateValue, ∅, ∅, base, false, 19}

• Ann{DVDTaxRateLevel, Level, DVDTaxRate, 1}

• Ann{DVDTaxRatePotency, Potency, DVDTaxRate, 0}

• Ann{DVDTaxRateNature, Nature, DVDTaxRate, simple}

• EAtt_E{DVDPrice, Price, PTPrice, {DVDPriceType, DVDPriceValue},

{DVDPriceLevel, DVDPricePotency, DVDPriceNature}}

• EAtt_A{DVDPriceType, Type, PTPriceType, ∅, ∅, base, false, number}

• EAtt_A{DVDPriceValue, Value, PTPriceValue, ∅, ∅, base, false, undef}

• Ann{DVDPriceLevel, Level, PTPrice, 1}

• Ann{DVDPricePotency, Potency, PTPrice, 1}

• Ann{DVDPriceNature, Nature, PTPrice, simple}

• EAttE{DVDName, Name, PTName, {DVDNameType, DVDNameValue}, {DVDNameLevel, DVDNamePotency, DVDNameNature}}

• EAtt_A{DVDNameType, Type, PTNameType, ∅, ∅, base, false, string}

• EAttA{DVDNameValue, Value, PTNameValue, ∅, ∅, base, false, ”DVD”}

• Ann{DVDNameLevel, Level, DVDName, 1}

• Ann{DVDNamePotency, Potency, DVDName, 1}

• Ann{DVDNameNature, Nature, DVDName, dual}

• EAtt_A{DVDIsAbstract, IsAbstract, PTIsAbstract, ∅, ∅, bool, false, false}

A.1.5 MobyDick Book

• EAtt_E{MDBook, Book, Book, {MDBookFields, MDBookIsAbstract}, {MDBookLevel, MDBookPotency}}

• Ann{MDBookLevel, Level, MDBook, 0}

• Ann{MDBookPotency, Potency, MDBook, 0}

• EAtt_A{MDBookFields, Fields, BookFields, {MDBookTaxRate, MDBookPrice, MDBookName}, ∅, Field, true, undef}

• EAtt_E{MDBookTaxRate, TaxRate, BookTaxRate, {MDBookTaxRateType, MDBookTaxRateValue},

{MDBookTaxRateLevel, MDBookTaxRatePotency, MDBookTaxRateNature}}

• EAtt_A{MDBookTaxRateType, Type, BookTaxRateType,∅,∅, base, false, num-ber}

• EAtt_A{MDBookTaxRateValue, Value, BookTaxRateValue, ∅,∅, base, false, 7}

• Ann{MDBookTaxRateLevel, Level, MDBookTaxRate, 0}

• Ann{MDBookTaxRatePotency, Potency, MDBookTaxRate, 0}

• Ann{MDBookTaxRateNature, Nature, MDBookTaxRate, simple}

• EAtt_E{MDBookPrice, Price, BookPrice, {MDBookPriceType, MDBookPrice-Value}, {MDBookPriceLevel, MDBookPricePotency, MDBookPriceNature}}

• EAtt_A{MDBookPriceType, Type, BookPriceType, ∅, ∅, base, false, number}

• EAtt_A{MDBookPriceValue, Value, BookPriceValue, ∅, ∅, base, false, 8.22}

• Ann{MDBookPriceLevel, Level, BookPrice, 0}

• Ann{MDBookPricePotency, Potency, BookPrice, 0}

• Ann{MDBookPriceNature, Nature, BookPrice, simple}

• EAtt_E{MDBookName, Name, BookName, {MDBookNameType, MDBookNameValue},

{MDBookNameLevel, MDBookNamePotency, MDBookNameNature}}

• EAtt_A{MDBookNameType, Type, BookNameType, ∅, ∅, base, false, string}

• EAtt_A{MDBookNameValue, Value, BookNameValue, ∅, ∅, base, false,

”Moby Dick”}

• Ann{MDBookNameLevel, Level, MDBookName, 0}

• Ann{MDBookNamePotency, Potency, MDBookName, 0}

• Ann{MDBookNameNature, Nature, MDBookName, dual}

• EAttA{MDBookIsAbstract, IsAbstract, BookIsAbstract,∅, ∅, bool, false, false}

A.1.6 MobyDick DVD

• EAtt_E{MDDVD, Book, DVD, {MDDVDFields, MDDVDIsAbstract}, {MDDVDLevel, MDDVDPotency}}

• Ann{MDDVDLevel, Level, MDDVD, 0}

• Ann{MDDVDPotency, Potency, MDDVD, 0}

• EAtt_A{MDDVDFields, Fields, DVDFields,

{MDDVDTaxRate, MDDVDPrice, MDDVDName}, ∅, Field, true, undef}

• EAtt_E{MDDVDTaxRate, TaxRate, DVDTaxRate, {MDDVDTaxRateType, MDDVDTaxRateValue},

{MDDVDTaxRateLevel, MDDVDTaxRatePotency, MDDVDTaxRateNature}}

• EAtt_A{MDDVDTaxRateType, Type, DVDTaxRateType, ∅, ∅, base, false, number}

• EAtt_A{MDDVDTaxRateValue, Value, DVDTaxRateValue, ∅, ∅, base, false, 7}

• Ann{MDDVDTaxRateLevel, Level, MDDVDTaxRate, 0}

• Ann{MDDVDTaxRatePotency, Potency, MDDVDTaxRate, 0}

• Ann{MDDVDTaxRateNature, Nature, MDDVDTaxRate, simple}

• EAtt_E{MDDVDPrice, Price, DVDPrice,{MDDVDPriceType, MDDVDPrice-Value}, {MDDVDPriceLevel, MDDVDPricePotency, MDDVDPriceNature}}

• EAtt_A{MDDVDPriceType, Type, DVDPriceType, ∅, ∅, base, false, number}

• EAtt_A{MDDVDPriceValue, Value, DVDPriceValue, ∅, ∅, base, false, 19}

• Ann{MDDVDPriceLevel, Level, DVDPrice, 0}

• Ann{MDDVDPricePotency, Potency, DVDPrice, 0}

• Ann{MDDVDPriceNature, Nature, DVDPrice, simple}

• EAttE{MDDVDName, Name, DVDName, {MDDVDNameType, MDDVD-NameValue}, {MDDVDNameLevel, MDDVDNamePotency, MDDVDName-Nature}}

• EAttA{MDDVDNameType, Type, DVDNameType, ∅, ∅, base, false, string}

• EAtt_A{MDDVDNameValue, Value, DVDNameValue, ∅, ∅, base, false, ”Moby Dick”}

• Ann{MDDVDNameLevel, Level, MDDVDName, 0}

• Ann{MDDVDNamePotency, Potency, MDDVDName, 0}

• Ann{MDDVDNameNature, Nature, MDDVDName, dual}

• EAttA{MDDVDIsAbstract, IsAbstract, DVDIsAbstract,∅,∅, bool, false, false}

A.1.7 Inheritance

• EAtt_E{PTNNInh, PTNNInh, Inheritance,

{PTNNSource, PTNNTarget, PTNNSourceMin, PTNNSourceMax, PTNNTargetMin, PTNNTargetMax}, {PTNNLevel, PTNNPotency}}

• Ann{PTNNLevel, Level, PTNNInh, 2}

• Ann{PTNNPotency, Potency, PTNNInh, 0}

• EAtt_A{PTNNSource, Source, InhSource, ∅, ∅, Field, false, ProductType}

• EAtt_A{PTNNTarget, Target, InhTarget, ∅, ∅, Field, false, NamedNode}

• EAtt_A{PTNNSourceMin, SourceMin, InhSourceMin, ∅, ∅, number, false, 1}

• EAttA{PTNNSourceMax, SourceMax, InhSourceMax, ∅, ∅, number, false, 1}

• EAtt_A{PTNNTargetMin, TargetMin, InhTargetMin,∅, ∅, number, false, 1}

• EAtt_A{PTNNTargetMax, TargetMax, InhTargetMax, ∅, ∅, number, false, 1}

A.1.8 BasedOn at Level 1

• EAtt_E{BasedOn1, BasedOn, Edge, {BasedOn1Source, BasedOn1Target, BasedOn1SourceMin, BasedOn1SourceMax, BasedOn1TargetMin,

BasedOn1TargetMax}, {BasedOn1Level, BasedOn1Potency}}

• Ann{BasedOn1Level, Level, BasedOn1, 1}

• Ann{BasedOn1Potency, Potency, BasedOn1, 1}

• EAtt_A{BasedOn1Source, Source, EdgeSource, ∅, ∅, Field, false, Book}

• EAtt_A{BasedOn1Target, Target, EdgeTarget, ∅, ∅, Field, false, DVD}

• EAtt_A{BasedOn1SourceMin, SourceMin, EdgeSourceMin, ∅, ∅, number, false, 1}

• EAtt_A{BasedOn1SourceMax, SourceMax, EdgeSourceMax, ∅, ∅, number, false, 1}

• EAtt_A{BasedOn1TargetMin, TargetMin, EdgeTargetMin, ∅, ∅, number, false, 1}

• EAtt_A{BasedOn1TargetMax, TargetMax, EdgeTargetMax,∅, ∅, number, false, ∞}

A.1.9 BasedOn at Level 0

• EAtt_E{BasedOn0, BasedOn, BasedOn1, {BasedOn0Source, BasedOn0Target, BasedOn0SourceMin, BasedOn0SourceMax, BasedOn0TargetMin,

BasedOn0TargetMax}, {BasedOn0Level, BasedOn0Potency}}

• Ann{BasedOn0Level, Level, BasedOn0, 0}

• Ann{BasedOn0Potency, Potency, BasedOn0, 0}

• EAtt_A{BasedOn0Source, Source, BasedOn1Source, ∅, ∅, Field, false, MD-Book}

• EAtt_A{BasedOn0Target, Target, BasedOn1Target, ∅, ∅, Field, false, MD-DVD}

• EAtt_A{BasedOn0SourceMin, SourceMin, BasedOn1SourceMin, ∅, ∅, number, false, 1}

• EAtt_A{BasedOn0SourceMax, SourceMax, BasedOn1SourceMax,∅, ∅, number, false, 1}

• EAtt_A{BasedOn0TargetMin, TargetMin, BasedOn1TargetMin, ∅, ∅, number, false, 1}

• EAtt_A{BasedOn0TargetMax, TargetMax, BasedOn1TargetMax, ∅, ∅, number, false, 1}

In document Ph.D.DissertationFerencAttilaSomogyiAdvisor:GergelyMezei,Ph.D.AssociateProfessor INVESTIGATINGTEXT-BASEDDOMAIN-SPECIFICMODELINGTECHNIQUESSZ¨OVEGALAP´USZAKTER¨ULETIMODELLEZ´ESIM´ODSZEREKVIZSG´ALATA (Pldal 121-127)