NICE TO SEE YOU BACK - DTU Informatics

More documents

Recommendations

Info

2. Domain Entities 2.3. Parts2.3.2. Properties2.3.2.2. Mereology872.3.2.2 Mereology• Mereology [CasatiVarzi1999] 24 (from the Greek µǫρoς ‘part’) is– the theory of part-hood relations:– of the relations of part to whole and– the relations of part to part within a whole.24Achille Varzi: Mereology, http://plato.stanford.edu/entries/mereology/A Precursor for Requirements Engineering 87 c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33
882. Domain Entities 2.3. Parts2.3.2. Properties2.3.2.2. Mereology• For pragmatic reasons we choose to model the mereology of adomain in either of two ways– either by defining a concrete typeas a model of the composite type,– or by endowing the sub-parts of the composite part withstructures of unique part identifiers.or by suitable combinations of these.c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33 88 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
show all

NICE TO SEE YOU BACK - DTU Informatics

Create successful ePaper yourself

Delete template?

Save as template?