NICE TO SEE YOU BACK - DTU Informatics

More documents

Recommendations

Info

2. Domain Entities 2.3. Parts2.3.4. Summary of Discrete Endurants115• The unique identifier property cannot necessarily be observed:– it is an abstract concept and– can be objectively “assigned”.That is: unique identifiers are not required to be manifest.• The mereology property also cannot usually be observed:– it is also an abstract concept,– but can be deduced from careful analysis.That is: mereology is not required to be manifest.• The attributes can be observed:– usually by simple physical measurements,– or by deduction from (conceptual) facts,That is: attributes are usually only “indirectly” manifest.A Precursor for Requirements Engineering 115 c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33
1162. Domain Entities 2.3. Parts2.3.4. Summary of Discrete EndurantsDiscrete Endurant Modelling I/IIFaced with a phenomenon the domain analyser has to decide• whether that phenomenon is an entity or not, that is, whether– an endurant or– a perdurant or– neither.• If endurant and if discrete, then whether it is– an atomic part or– a composite part.• Then the domain analyser must decide on its type,– whether an abstract type (a sort)– or a concrete type, and, if so, which concrete form.c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33 116 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 13 and 14:
Page 15 and 16:
Page 17 and 18:
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 32 and 33:
2. Domain Entities 2.3. Parts2.3.1.
Page 34 and 35: 2. Domain Entities 2.3. Parts2.3.1.
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?