L6: Analysers: Parts ad Materials - DTU Informatics

11. Towards a Calculus of Domain Discoverers 11.3. Domain Discoverers11.3.5. MEREOLOGY
331
Example: 53 Transport Net Mereology. Examples:
• MEREOLOGY(〈∆,N,HS,Hs,H〉)({〈∆,N,LS,Ls,L〉}):
value mereo H→LI-set
• MEREOLOGY(〈∆,N,LS,Ls,L〉)({〈∆,N,HS,Hs,H〉}):
value mereo L→HI-set
axiom see Example 10 Slide 83.
A Precursor for Requirements Engineering 331 c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 31, 2012: 09:02