NICE TO SEE YOU BACK - DTU Informatics

More documents

Recommendations

Info

2. Domain Entities 2.1. Entities2.1.3. A Description Bias45• One of several “twists”2.1.3. A Description Bias– that make the TripTych form of domain engineering– distinct from that of ontological engineering– is that we use a model-oriented formal specification language 12– where usual ontology formalisation languages are variants ofLisp’s [Lisp1] S-expressions.–KIF: Knowledge Interchange Format,http://www.ksl.stanford.edu/knowledge-sharing/kif/is a leading example.12RSL [RSL], the Raise ([RaiseMethod]) Specification Language. Our remarks in thissection apply equally well had we instead chosen either of the Alloy [alloy], B,Event B [JRAbrial:TheBBooks], VDM SL [e:db:Bj78bwo,e:db:Bj82b,jf-pgl-97], or Z[m:z:jd+jcppw96] formal specification languages.A Precursor for Requirements Engineering 45 c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33
462. Domain Entities 2.1. Entities2.1.3. A Description Bias• The bias is now this:– The model-oriented languages mentioned in this section all sharethe following:∗ (a) a type concept and facilities for defining types, that is:endurants (parts), and∗ (b) a function concept and facilities for defining functions(notably including predicates), that is: perdurants (actionsand events).∗ (c) RSL further has constructs for defining processes, which weshall use to model behaviours.c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33 46 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: 442. Domain Entities 2.1. Entities2
Page 17 and 18: 482. 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 64 and 65:
2. Domain Entities 2.3. Parts2.3.2.
Page 66 and 67:
Page 68 and 69:
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

Create successful ePaper yourself

Delete template?

Save as template?