A Semantics for UML-RT using n-calculus.
Juliana de Melo BezerraCelso Massaki HirataPublished in: IEEE International Workshop on Rapid System Prototyping (2007)
Keyphrases
- uml activity diagrams
- uml class diagrams
- process algebra
- formal methods
- algebraic structure
- formal language
- database query languages
- specification language
- metamodel
- software development
- software systems
- formal semantics
- class diagrams
- relational calculus
- conceptual modeling
- software engineering
- modeling language
- uml diagrams
- database design
- semantic information
- logic programming
- object oriented
- query language