Concurrency and Refinement in the Unified Modeling Language.

Jim Davies Charles Crichton

Published in: Formal Aspects Comput. (2003)

Keyphrases

concurrency control
data modeling
object oriented modeling
modeling language
uml profile
sequence diagrams
database systems
uml class diagrams
class diagrams
object oriented
data sets
information systems
software systems
life cycle
nested transactions
concurrent execution