Checking Semantics Equivalence of MDA Transformations in Concurrent Systems.
Paulo E. S. BarbosaFranklin RamalhoJorge C. A. de FigueiredoAntonio D. dos S. JuniorAnikó CostaLuís GomesPublished in: J. Univers. Comput. Sci. (2009)
Keyphrases
- concurrent systems
- process algebra
- temporal logic
- distributed systems
- formal specification
- transition systems
- petri net
- model checking
- formal semantics
- transformation rules
- software engineering
- logic programming
- data model
- semantic information
- building blocks
- open source
- formal methods
- query containment
- formal language
- relational databases