NICE TO SEE YOU BACK - DTU Informatics

More documents

Recommendations

Info

2. Domain Entities 2.3. Parts2.3.1. Atomic and Composite Parts2.3.1.2. Atomic Parts71Observers for Atomic Parts• Let the domain describer decide– that a type, A (or ∆), is atomic,– hence that it does not consists of sub-parts.• Hence there are no observer to be associated with A (or ∆).A Precursor for Requirements Engineering 71 c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33
722. Domain Entities 2.3. Parts2.3.1. Atomic and Composite Parts2.3.1.3. Composite Parts2.3.1.3 Composite Parts• The domain describer has chosen to consider– a part (i.e., a part type)– to be a composite part (i.e., a composite part type).• Now the domain describer has to analyse the types of the sub-partsof the composite part.– There may be just one “kind of” sub-part of a composite part 21 ,– or there may be more than one “kind of” 22 .• For each such sub-part type– the domain describer decides on– an appropriate, distinct type name and– a sub-part observer (i.e., a function signature).21that is, only one sub-part type22that is, more than one sub-part typec○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33 72 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?