NICE TO SEE YOU BACK - DTU Informatics

782. Domain Entities 2.3. Parts2.3.1. Atomic and Composite Parts2.3.1.4. Abstract Types, Sorts, and Concrete TypesObservers for Composite Parts II/II• We can also consider the types B, C, . . . , D, as concrete types,– type Bc = TypBex, Cc = TypCex, ..., Dc = TypDex;– value obs Bc: B→Bc, obs Cc: C→Cc, ..., obs Dc: D→Dc,– where TypBex, TypCex, ..., TypDex are type expressions as, forexample, hinted at above.• The prefix obs distinguishes part observers– from mereology observers (uid , mereo ) and– attribute observers (attr ).c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33 78 Domain Science & Engineering