One small step for a man
One Giant leap for the mankind

There is no wealth like Knowledge
                            No Poverty like Ignorance
Journal of Emerging Trends in Computing and Information Sciences Logo

Journal of Emerging Trends in Computing and Information Sciences >> Call for Papers Vol. 8 No. 3, March 2017

Journal of Emerging Trends in Computing and Information Sciences

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

Full Text Pdf Pdf
Author Jehad Al Dallal
ISSN 2079-8407
On Pages 519-528
Volume No. 4
Issue No. 5
Issue Date June 01, 2013
Publishing Date June 01, 2013
Keywords Communication protocol, service specification, distributed protocol specification, automation, Java tool, UML state machine


Abstract

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, we 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. The tool, which is developed in Java, extends a well known tool, Eclipse. Using the tool, designers draw the UML state machine of the service specification. The tool stores the drawn diagram in XML format, parses the XML files, applies the synthesis rules to derive the corresponding protocol specification, stores the protocol specification in XML format, and allows for displaying and manipulating the protocol specification using the Eclipse diagram editor.
Back

Seperator
    Journal of Computing | Call for Papers (CFP) | Journal Blog | Journal of Systems and Software | ARPN Journal of Science and Technology | International Journal of Health and Medical Sciences | International Journal of Economics, Finance and Management     
Copyrights
© 2015 Journal of Computing