Concurrent Transaction Frame Logic Formal Semantics for UML Activity and Class Diagrams
Under a Creative Commons license
open access
Keywords
UML Semantics
Object-Oriented Logic Programming
Concurrent Transaction Logic
Frame Logic
Cited by (0)
- 1
Currently at Centro de Informática at Universidade Federal de Pernambuco, Brazil. This research was supported by grants from CNPq of the Brazilian Federal Government.
Copyright © 2004 Elsevier B.V.