NICE TO SEE YOU BACK - DTU Informatics

More documents

Recommendations

Info

2. Domain Entities 2.3. Parts2.3.2. Properties2.3.2.2. Mereology91Example: 11 Transport Nets: Mereology.• We show how to model a mereology– for a transport net of links and hubs.• Narrative:(i) Hubs and links are endowed with unique hub, respectively linkidentifiers.(ii) Each hub is furthermore endowed with a hub mereology whichlists the unique link identifiers of all the links attached to thehub.(iii) Each link is furthermore endowed with a link mereology whichlists the set of the two unique hub identifiers of the hubsattached to the link.(iv) Link identifiers of hubs and hub identifiers of links mustdesignate hubs, respectively links of the net.A Precursor for Requirements Engineering 91 c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33
922. Domain Entities 2.3. Parts2.3.2. Properties2.3.2.2. Mereology• Formalisation:(i) type H, HI, L, LI;value(ii) uid HI:H→HI, uid LI:L→LI,mereo H:H→LI-set, mereo L:L→HI-set,axiom•(iii) ∀ l:L card mereo L(l) = 2•(iv) ∀ n:N, l:L, h:H l ∈ obs Ls(obs LS(n)) ∧ h ∈ obs Hs(obs HS(n))•∀ hi:HI hi ∈ mereo L(l) ⇒∃ h ′ :H•h ′∈ obs Hs(obs HS(n)) ∧ uid HI(h)=hi•∧ ∀ li:LI li ∈ mereo H(h) ⇒∃ l ′ :L•l ′∈ obs Ls(obs LS(n)) ∧ uid LI(l)=lic○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33 92 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?