A Polyadic pi-Calculus Approach for the Formal Specification of UML-RT.

Juliana de Melo Bezerra Celso Massaki Hirata

Published in: Adv. Softw. Eng. (2009)

Keyphrases

formal specification
process algebra
formal methods
specification language
object oriented design
model checking

specification languages
concurrent systems
reverse engineering
data abstraction
grid workflow
software components

database design
business rules
conceptual modeling
software engineering
modeling language
model checker

object oriented
temporal logic
software architecture
sequence diagrams
multi agent
case study