NICE TO SEE YOU BACK - DTU Informatics

36 2. Domain Entities• When we observe a domain we observe instances of entities;• but when we describe those instances– (which we shall call values)– we describe, not the values,– but their type and properties.∗ Parts and materials have types and values;∗ actions, events and behaviours, all, have types and values,namely as expressed by their signatures; and∗ actions, events and behaviours have properties,namely as expressed by their function definitions.c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33 36 Domain Science & Engineering