UML 2 Semantics Symposium: Formal Semantics for UML.
Manfred BroyMichelle L. CraneJürgen DingelAlan HartmanBernhard RumpeBran SelicPublished in: CoRR (2014)
Keyphrases
- formal semantics
- modeling language
- metamodel
- logical language
- formal language
- er model
- operational semantics
- logical reasoning
- sequence diagrams
- software engineering
- software systems
- uml class diagrams
- uml diagrams
- conceptual modeling
- uml activity diagrams
- ontology languages
- speech acts
- database design
- petri net
- specification language
- theorem prover
- database
- formal methods
- first order logic
- artificial intelligence
- databases