An Executable and Extensible Formal Semantics for UML-RT.
Stefan LeueWei WeiPublished in: MBEES (2009)
Keyphrases
- formal semantics
- modeling language
- metamodel
- object oriented
- data model
- logical language
- database design
- er model
- software engineering
- logical reasoning
- formal language
- software systems
- operational semantics
- first order logic
- modelling language
- database
- conceptual modeling
- markup language
- formal methods
- formal specification
- theorem prover
- software development
- speech acts
- sequence diagrams
- data modeling
- owl dl ontology
- conceptual models