NICE TO SEE YOU BACK - DTU Informatics

More documents

Recommendations

Info

2. Domain Entities 2.3. Parts2.3.4. Summary of Discrete Endurants117Discrete Endurant Modelling II/II• Next the unique identifier and themereology of the part type (e.g., P) must be dealt with:– type name (e.g., PI) for and, hence, unique identifier observer name(uid PI) of unique identifiers and the– part mereology types and mereology observer name (mereo P).• Finally the designer must decide on thepart type attributes for parts p:P:– for each such a suitable attribute type name,for example, A i for suitable i,– a corresponding attribute observer signature, attr A i :P→A i ,– and whether an attribute is considered static or dynamic.A Precursor for Requirements Engineering 117 c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33
118End of Lecture 1: Last Session — Endurant EntitiesPartsFM 2012 Tutorial, Dines Bjørner, Paris, 28 August 2012c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33 118 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 13 and 14:
Page 15 and 16:
Page 17 and 18:
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 32 and 33:
Page 34 and 35:
Page 36 and 37: 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?