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.2. Atomic Parts67• It is now our description choice to associate with a set of atomicparts of “the same kind”– a part type (by suggesting a name for that type, for example, T)and– a set of properties (of its values):∗ unique identifier, ∗ mereology and ∗ attributes.– In fact, this association of∗ part types and∗ triplet of properties:· unique identifier, · mereology and · attributes,∗ is also to be performed when modelling composite parts.– We introduce the concepts of unique identifiers, mereology andattributes below.A Precursor for Requirements Engineering 67 c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33
682. Domain Entities 2.3. Parts2.3.1. Atomic and Composite Parts2.3.1.2. Atomic Parts• Later we shall introduce perdurants(actions, events and behaviours)whose signature involves (possibly amongst others) type T.• Now we can characterise “of the same kind” atomic part facets 15– being of the same, named part type,– having the same unique identifier type,– having the same mereology(but not necessarily the same mereology values), and– having the same set of attributes(but not necessarily of the same attribute values),• The “same kind” criteria apply equally well to composite partfacets.15as well as “of the same kind” composite part facets.c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33 68 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 86 and 87:
2. Domain Entities 2.3. Parts2.3.4.
Page 88:
118LONG BREAKc○ Dines Bjørner 20
show all

NICE TO SEE YOU BACK - DTU Informatics

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?