NICE TO SEE YOU BACK - DTU Informatics

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