Concurrent Transaction Frame Logic Formal Semantics for UML Activity and Class Diagrams.
Franklin RamalhoJacques RobinUlrich SchielPublished in: Electron. Notes Theor. Comput. Sci. (2004)
Keyphrases
- class diagrams
- formal semantics
- uml class diagrams
- operational semantics
- sequence diagrams
- object oriented
- class diagram
- reverse engineering
- activity diagrams
- object oriented systems
- database
- first order logic
- theorem prover
- uml diagrams
- petri net
- automated reasoning
- modeling language
- software engineering
- software design
- regression testing
- software maintenance
- modal logic
- open source
- data model