NICE TO SEE YOU BACK - DTU Informatics

More documents

Recommendations

Info

2. Domain Entities 2.3. Parts2.3.2. Properties2.3.2.2. Mereology99• So the determination of a, or the, mereology of composite parts– is either given by physical considerations,– or are given by (more-or-less) logical (or other) considerations,– or by combinations of these.• The “design” of mereologies improves with experience.Example: 14 Pipelines: Mereology.• We divert from our line of examples centered around– transport nets and, to some degree,– container transport,• to bring a second, in a series of examples– on pipelines– (for liquid or gaseous material flow).A Precursor for Requirements Engineering 99 c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33
100 2. Domain Entities 2.3. Parts2.3.2. Properties2.3.2.2. Mereology1. A pipeline consists of connected units, u:U.2. Units have unique identifiers.3. And units have mereologies, ui:UI:(a) pump, pu:Pu, pipe, pi:Pi, and valve, va:Va, units have one inputconnector and one output connector;(b) fork, fo:Fo, [join, jo:Jo] units have one [two] input connector[s]and two [one] output connector[s];(c) well, we:We, [sink, si:Si] units have zero [one] input connectorand one [zero] output connector.(d) Connectors of a unit are designated by the unit identifier of theconnected unit.c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33 100 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: 482. 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?