Formal Semantics of UML with Real-Time Constructs.

Subash Shankar Sinan Asa

Published in: UML (2003)

Keyphrases

formal semantics
real time
modeling language
operational semantics
modelling language
logical language
database design
formal language
theorem prover
database
formal methods
case study
speech acts
er model
database management systems
first order logic
metamodel
data modeling
logical reasoning