NICE TO SEE YOU BACK - DTU Informatics

More documents

Recommendations

Info

2. Domain Entities 2.3. Parts2.3.1. Atomic and Composite Parts2.3.1.4. Abstract Types, Sorts, and Concrete Types75• By a concrete type we shall understand a type, T,– which has been given both a name– and a defining type expression of, for example the form∗ T = A-set,∗ T = A-infset,∗ T = A×B×· · · ×C,∗ T = A ∗ ,∗ T = A ω ,∗ T = A → m B,∗ T = A→B,∗ T = A ∼ →B, or∗ T = A|B|· · · |C.– where A, B, ..., C are type names or type expressions.A Precursor for Requirements Engineering 75 c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33
762. Domain Entities 2.3. Parts2.3.1. Atomic and Composite Parts2.3.1.4. Abstract Types, Sorts, and Concrete TypesExample: 8 Container Bays. We continue Example 7 on page 73.type Bs = BId → m B,value obs Bs: BS→Bs,type Rs = RId → m R,value obs Rs: B→Rs,type Ss = SId → m S,value obs Ss: R→Ss,type S = C ∗ .c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33 76 Domain Science & Engineering
Page 1 and 2: 33NICE TO SEE YOU BACKA Precursor f
Page 5 and 6: 36 2. Domain Entities• When we ob
Page 7 and 8: 382. Domain Entities• Phenomena:
Page 9 and 10: 402. Domain Entities• Domain Onto
Page 11 and 12: 422. Domain Entities 2.1. Entities2
Page 19 and 20: 502. Domain Entities 2.2. Endurants
Page 21 and 22: 522. Domain Entities 2.2. Endurants
Page 23 and 24: 542. Domain Entities 2.3. Parts•
Page 25 and 26: 562. Domain Entities 2.3. Parts2.3.
Page 27 and 28: 582. Domain Entities 2.3. Parts2.3.
Page 30 and 31: 2. Domain Entities 2.3. Parts2.3.1.
Page 88: 118LONG BREAKc○ Dines Bjørner 20

NICE TO SEE YOU BACK - DTU Informatics

Create successful ePaper yourself

Delete template?

Save as template?