NICE TO SEE YOU BACK - DTU Informatics

More documents

Recommendations

Info

2. Domain Entities 2.1. Entities2.1.4. An ‘Upper Ontology’49• We therefore consider the following model-oriented specificationlanguage constructs as forming an upper ontology:– types, ground types, type expressions and type definitions;– functions, function signatures and function definitions;– processes, process signatures and process definitions,as constituting an upper level ontology for TripTych domaindescriptions.• That is, every domain description is structured with respect to:– parts and materials using types,– actions using functions,– events using predicates, and– behaviours using processes.• Participants in this tutorial are given a one-sheet upper ontologyfor the domain of domain science & engineering.A Precursor for Requirements Engineering 49 c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33
502. Domain Entities 2.2. Endurants2.2. Endurants• There is sort of a dichotomy buried in our treating endurantsbefore perdurants. The dichotomy is this:– one could claim that the perdurants,i.e., the actions, events and behavioursis “what it, the domain, is all about”;• To describe these, however, we need refer to endurants !c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33 50 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 17: 482. Domain Entities 2.1. Entities2
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 68 and 69:
2. Domain Entities 2.3. Parts2.3.2.
Page 70 and 71:
Page 72 and 73:
Page 74 and 75:
Page 76 and 77:
Page 78 and 79:
Page 80 and 81:
Page 82 and 83:
Page 84 and 85:
Page 86 and 87:
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?