NICE TO SEE YOU BACK - DTU Informatics

More documents

Recommendations

Info

2. Domain Entities37• Algebra: Taking a clue from mathematics, an algebra is considered– a set of parts and a set of materials and– a set of operations on entities. The operations yield parts ormaterials.• With that in mind we shall try view a domainas an algebra, of some kind, of– parts and– actions, events and behaviours.• We shall soon discuss the use of the terms– entities,– parts,– actions,– events and– behaviours.A Precursor for Requirements Engineering 37 c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33
382. Domain Entities• Phenomena: By a phenomenon we shall understand– something that can be observed by the human senses– or by equipment based on laws of physics and chemistry.• Those phenomena that can be observed by– the human eye or– touched, for example, by human hands– we call parts and materials.• Those phenomena that can be observed of parts and materials– can usually be measured– and we call them properties of these parts and those materials.c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33 38 Domain Science & Engineering
Page 1 and 2: 33NICE TO SEE YOU BACKA Precursor f
Page 5: 36 2. Domain Entities• When we ob
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 56 and 57:
2. Domain Entities 2.3. Parts2.3.2.
Page 58 and 59:
Page 60 and 61:
Page 62 and 63:
Page 64 and 65:
Page 66 and 67:
Page 68 and 69:
Page 70 and 71:
Page 72 and 73:
Page 74 and 75:
Page 76 and 77:
Page 78 and 79:
Page 80 and 81:
Page 82 and 83:
Page 84 and 85:
Page 86 and 87:
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?