NICE TO SEE YOU BACK - DTU Informatics

More documents

Recommendations

Info

2. Domain Entities 2.3. Parts2.3.2. Properties2.3.2.1. Unique Identification85Unique Identification• With every part, whether atomic or composite we shall associate aunique part identifier, of just unique identifier.• Thus we shall associate with part type T– the unique part type identifier type TI,– and a unique partidentifier observer function, uid TI: T→TI.• These associations (TI and uid TI) are, however,– usually expressed explicitly,– whether they are (“subsequently”) needed !A Precursor for Requirements Engineering 85 c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33
862. Domain Entities 2.3. Parts2.3.2. Properties2.3.2.1. Unique Identification• The unique identifier of a part– can not be changed; hence we can say that– no matter what a given part’s property values may take on,– that part cannot be confused with any other part.• Since we can talk about this concept of unique identification,– we can abstractly describe it– and do not have to bother about any representation,– that is, whether we can humanly observe unique identifiers.c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33 86 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
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?