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.3. Composite Parts73Example: 7 Container Vessels: Composite Parts. We bringpairs of informal, narrative description texts and formalisations.• For a container vessel, say of type V, we have– Narrative:∗ A container vessel, v:V, consists of container bays, bs:BS.∗ A container bay, b:B, consists of container rows, rs:RS.∗ A container row, r:R, consists of container stacks, ss:SS.∗ A container stack, s:S, consists of a linearly indexed sequence of containers.– Formalisation:type V,BS, value obs BS: V→BS,type B,RS, value obs RS: B→RS,type R,SS, value obs CS: R→SS,type SS,S, value obs S: SS→S,type S = C ∗ .A Precursor for Requirements Engineering 73 c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33
742. Domain Entities 2.3. Parts2.3.1. Atomic and Composite Parts2.3.1.4. Abstract Types, Sorts, and Concrete Types2.3.1.4 Abstract Types, Sorts, and Concrete Types• By an abstract type, or a sort, we shall understand a type– which has been given a name– but is otherwise undefined, that is,∗ is a space of undefined mathematical quantities,· where these are given properties· which we may express in terms of axioms oversort (including property) values.c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33 74 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?