Structured Axiomatic Semantics for UML Models.

Kevin Lano Juan Bicarregui Andy Evans

Published in: Rigorous Object-Oriented Methods (2000)

Keyphrases

uml models
object oriented
sequence diagrams
logic programming
structured data
formal semantics
database
petri net
databases
low level
logic programs
test cases
decision theory
axiomatic characterization