13.07.2015 Views

NICE TO SEE YOU BACK - DTU Informatics

NICE TO SEE YOU BACK - DTU Informatics

NICE TO SEE YOU BACK - DTU Informatics

SHOW MORE
SHOW LESS
  • No tags were found...

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

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, <strong>DTU</strong> <strong>Informatics</strong>, Techn.Univ.of Denmark – July 20, 2012: 12:33

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!