NICE TO SEE YOU BACK - DTU Informatics

2. Domain Entities 2.3. Parts2.3.1. Atomic and Composite Parts2.3.1.2. Atomic Parts69Example: 6 Transport Nets: Atomic Parts (I).• The types of atomic transportation net parts are:– hubs, say of type H, and– links, say of type L.• The chosen mereology associates with every hub and link a– distinct unique identifiers– (of types HI and LI respectively), and, vice versa,– how hubs and links are connected:∗ hubs to any number of links and∗ links to exactly two distinct hubs.A Precursor for Requirements Engineering 69 c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33