Towards a Formal Semantics of UML 2.0 Activities.

Harald Störrle Jan Hendrik Hausmann

Published in: Software Engineering (2005)

Keyphrases

formal semantics
modeling language
metamodel
operational semantics
logical language
first order logic
modelling language
er model
ontology languages
formal language
theorem prover
software systems
logical reasoning
database design
database
formal methods
data modeling