NICE TO SEE YOU BACK - DTU Informatics

More documents

Recommendations

Info

2. Domain Entities 2.3. Parts2.3.3. Shared Attributes and Properties2.3.3.1. Attribute Naming:111• We think of the bus time table of a bus– to be that subset of thebus management system bus time table– which corresponds to the bus’ line number.• By saying that bus time tables– “corresponds” to well-defined subsets of– the bus management system bus time tablewe mean the following– The value of the bus bus time table– must at every time– be equal to the corresponding bus line entry in thebus management system bus time table.A Precursor for Requirements Engineering 111 c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33
1122. Domain Entities 2.3. Parts2.3.3. Shared Attributes and Properties2.3.3.2. Attribute Sharing:• We say that two parts,2.3.3.2 Attribute Sharing:– of no matter what part type,– share an attribute,– if the following is the case:∗ the corresponding part types (and hence the parts)∗ have identically named attributes.∗ We say that identically named attributes designateshared attributes.– We do not present the corresponding invariantsover parts with identically named attributes.c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33 112 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

Create successful ePaper yourself

Delete template?

Save as template?