A Software Tool for Generating UML Concurrent Communication Protocol Specification from Service Specification

Download Now
Provided by: Journal of Computing
Topic: Software
Format: PDF
Manually synthesizing specifications for concurrent and distributed communication protocol entities from a service specification, which is modeled in the UML state machine with composite states is a time consuming and labor-intensive task. To save a time and generate error free specifications for distributed protocol entities modeled in UML state machines, the authors introduce a tool, called the UML Protocol Specification Synthesizer (UPSS). The tool automates an existing synthesis method that derives a protocol specification from a service specification, where both specifications are modeled in the UML state machine.
Download Now

Find By Topic