NICE TO SEE YOU BACK - DTU Informatics

More documents

Recommendations

Info

2. Domain Entities 2.3. Parts2.3.2. Properties2.3.2.2. Mereology89Example: 10 Container Bays, Etcetera: Mereology. First weshow how to model indexed set of container bays, rows and stacks forthe previous example.• Narrative:– (i) An indexed set, bs:BS, of bays is a bijective mapfrom unique bay identifiers, bid:BId, to bays, b:B.– (ii) An indexed set, rs:RS, of rows is a bijective mapfrom unique row identifiers, rid:RId, to rows, r:R.– (iii) An indexed set, ss:SS, of stacks is a bijective mapfrom unique stack identifiers, sid:SId, to stacks, s:S.– (iv) A stack is a linear indexed sequence of containers, c:C.A Precursor for Requirements Engineering 89 c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33
90 2. Domain Entities 2.3. Parts2.3.2. Properties2.3.2.2. Mereology• Formalisation:– (i) type BS, B, BId,Bs=BId → m B,value obs Bs: BS→Bs(or obs Bs: BS→(BId → m B));– (ii) type RS, R, RId,Rs=RId → m R,value obs Rs: RS→Rs(or obs Rs: RS→(RId → m R));– (iii) type SS, S, SId,Ss=SId → m S;– (iv) type C,S=C ∗ .c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33 90 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

Create successful ePaper yourself

Delete template?

Save as template?