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.1. Atomic and Composite Parts57Example: 5 Container Lines.• We shall presently consider containers (as used in container lineshipping) to be atomic parts.• And we shall consider a container vessel to be a composite partconsisting of– an indexed set of container bays– where each container bay consists of indexed set of container rows– where each container row consists of indexed set of containerstacks– where each container stack consists of a linearly indexed sequenceof containers.• Thus container vessels, container bays, container rows andcontainer stacks are composite parts.A Precursor for Requirements Engineering 57 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!