Synthesizing Distributed Protocol Specifications from a UML State Machine Modeled Service Specification.
Jehad Al-DallalKassem SalehPublished in: J. Comput. Sci. Technol. (2012)
Keyphrases
- state machine
- state machines
- fault tolerant
- protocol specification
- finite state machines
- distributed systems
- loosely coupled
- formal specification
- computing environments
- lightweight
- communication protocols
- service oriented
- reactive systems
- distributed computing environment
- model checking
- mobile agents
- web services
- formal methods
- peer to peer