A Semantics for UML-RT Active Classes via Mapping into Circus.

Rodrigo Ramos Augusto Sampaio Alexandre Mota

Published in: FMOODS (2005)

Keyphrases

uml activity diagrams
uml class diagrams
class diagram
specification language
formal semantics
formal methods
databases
modeling language
database design
object oriented
active databases
class labels
uml diagrams
software engineering
class diagrams
constraint language
source code