NICE TO SEE YOU BACK - DTU Informatics

More documents

Recommendations

Info

2. Domain Entities 2.3. Parts2.3.2. Properties81• For pragmatic reasons we distinguish between three kinds ofproperties:– unique identifiers, – mereology, and – attributes.• If you “remove” a property from a part– it “looses” its (former) part type,– to, in a sense, attain another part type:∗ perhaps of another, existing one,∗ or a new “created” one.• But we do not know how to modelremoval of a property from an endurant value ! 2323And we see no need for describing such type-changes. Crude oil does not “morph”into fuel oil, diesel oil, kerosene and petroleum. Crude oil is consumed and the fractionsresult from distillation, for example, in an oil refinery.A Precursor for Requirements Engineering 81 c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33
822. Domain Entities 2.3. Parts2.3.2. PropertiesExample: 9 Atomic Part Property Kinds.• We distinguish between two kinds of persons:– ‘living persons’ and ‘deceased persons’;– they could be modelled by two different part types:∗ LP: living person, with a set of properties,∗ DP: deceased person, with a, most likely, different set ofproperties.• All persons have been born, hence have a birth date (staticattributes).• Only deceased persons have a (well-defined) death date.• All persons also have height and weight profiles(i.e., with dated values, i.e., dynamic attributes).• One can always associate a unique identifier with each person.c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33 82 Domain Science & Engineering
Page 1 and 2: 33NICE TO SEE YOU BACKA Precursor f
Page 5 and 6: 36 2. Domain Entities• When we ob
Page 7 and 8: 382. Domain Entities• Phenomena:
Page 9 and 10: 402. Domain Entities• Domain Onto
Page 11 and 12: 422. Domain Entities 2.1. Entities2
Page 19 and 20: 502. Domain Entities 2.2. Endurants
Page 21 and 22: 522. Domain Entities 2.2. Endurants
Page 23 and 24: 542. Domain Entities 2.3. Parts•
Page 25 and 26: 562. Domain Entities 2.3. Parts2.3.
Page 27 and 28: 582. Domain Entities 2.3. Parts2.3.
Page 30 and 31: 2. Domain Entities 2.3. Parts2.3.1.
Page 88: 118LONG BREAKc○ Dines Bjørner 20

NICE TO SEE YOU BACK - DTU Informatics

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?