L6: Analysers: Parts ad Materials - DTU Informatics

More documents

Recommendations

Info

11. Towards a Calculus of Domain Discoverers 11.2. Domain Analysers11.2.2. IS ATOM, IS COMPOSITE 311 Example: 47 Transport Nets: Composite Parts. We refer to Example 3 (Slide 16) IS COMPOSITE(〈∆〉), IS COMPOSITE(〈∆,N〉) IS COMPOSITE(〈∆,N,HS,Hs〉), IS COMPOSITE(〈∆,N,LS,Ls〉) ∼ IS COMPOSITE(〈∆,N,HS,Hs,H〉), ∼ IS COMPOSITE(〈∆,N,LS,Ls,L〉) A Precursor for Requirements Engineering 311 c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 31, 2012: 09:02
312 11. Towards a Calculus of Domain Discoverers 11.2. Domain Analysers11.2.3. HAS A CONCRETE TYPE 11.2.3. HAS A CONCRETE TYPE • Sometimes we find it expedient ⋄ to endow a “discovered” sort with a concrete type expression, that is, ⋄ “turn” a sort definition into a concrete type definition. HAS A CONCRETE TYPE 106. Thus we introduce the analyser: 106 HAS A CONCRETE TYPE: Index → ∼ Bool 106 HAS A CONCRETE TYPE(l̂〈t〉): true | false | chaos c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 31, 2012: 09:02 312 Domain Science & Engineering
Page 1 and 2: 285 HAD A GOOD LUNCH ? A Precursor
Page 3 and 4: 286 Tutorial Schedule • Lectures
Page 5 and 6: 288 11. Towards a Calculus of Domai
Page 27: 310 11. Towards a Calculus of Domai
Page 57: 339 SHORT BREAK A Precursor for Req

L6: Analysers: Parts ad Materials - DTU Informatics

Create successful ePaper yourself

Delete template?

Save as template?