UML 2 Semantics Symposium: Formal Semantics for UML.
Manfred BroyMichelle L. CraneJürgen DingelAlan HartmanBernhard RumpeBran SelicPublished in: MoDELS (Workshops) (2006)
Keyphrases
- formal semantics
- modeling language
- metamodel
- logical language
- operational semantics
- database design
- er model
- formal methods
- uml activity diagrams
- artificial intelligence
- conceptual modeling
- formal language
- software systems
- logical reasoning
- object oriented
- modelling language
- speech acts
- specification language
- uml diagrams
- owl dl ontology
- software engineering
- epistemic logic
- constraint language
- life cycle
- first order logic
- logic programs