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...

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

962. Domain Entities 2.3. Parts2.3.2. Properties2.3.2.2. MereologyExample: 12 Pipelines: A Physical Mereology.• Let pipes of a pipe line be composed with valves, pumps, forks andjoins of that pipe line.• Pipes, valves, pumps, forks and joins (i.e., pipe line units) are givenunique pipe, valve, pump, fork and join identifiers.• A mereology for the pipe line could now endow pipes, valves andpumps with– one input unique identifier, that of the predecessor successorunit, and– one output unique identifier, that of the successor unit.• Forks would then be endowed with– two input unique identifiers, and– one out put unique identifier;• and joins “the other way around”.c○ Dines Bjørner 2012, <strong>DTU</strong> <strong>Informatics</strong>, Techn.Univ.of Denmark – July 20, 2012: 12:33 96 Domain Science & Engineering

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

Saved successfully!

Ooh no, something went wrong!