NICE TO SEE YOU BACK - DTU Informatics

More documents

Recommendations

Info

2. Domain Entities 2.3. Parts2.3.3. Shared Attributes and Properties1092.3.3. Shared Attributes and Properties• Shared attributes and shared properties– play an important rôle in understanding domains.2.3.3.1 Attribute Naming:• We now impose a restriction on the naming of part attributes.– If attributes∗ of two different parts∗ of different part types∗ are identically named∗ then attributes must be somehow related, over time !– The “somehow” relationship must be described.A Precursor for Requirements Engineering 109 c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33
1102. Domain Entities 2.3. Parts2.3.3. Shared Attributes and Properties2.3.3.1. Attribute Naming:Example: 17 Shared Bus Time Tables.• Let our domain include that of bus time tables for busses on abus transport net as described in many examples in this tutorial.• We can then imagine a bus transport net as containing thefollowing parts:– a net, – a managementsystem,– a set of busses.• For the sake of argument we consider a bus time table to be anattribute of the bus management system.• And we also consider bus time tables to be attributes of busses.c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33 110 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 88: 118LONG BREAKc○ Dines Bjørner 20
show all

NICE TO SEE YOU BACK - DTU Informatics

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?