Abstract
Synthesizing specifications for real time applications that involve 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. Existing synthesis techniques for UML-based service specifications do not account for timing constrains and, therefore, cannot be used in real time applications for which the timing constraints are crucial and must be considered. In this paper, we address the problem of time assignment to the events defined in the service specification modeled in UML state machine. In addition, we show how to extend a technique that automatically synthesizes UML-based protocol specifications from a service specification to consider the timing constraints given in the service specification. The resulting synthesized protocol is guaranteed to conform to the timing constraints given in the service specification.
Highlights
A protocol can be defined as an agreement on the exchange of information between communicating entities
To complete the proof, we prove here that the time assignments to the transitions of the PEs as a result of applying the extended synthesis method conform to the time constraints assigned to the transitions of the service specification (S-SPEC)
A synthesis method for protocol specifications from UML-based service specifications is extended such that the timing constraints provided in the service specification are considered in the resulting protocol specifications
Summary
A protocol can be defined as an agreement on the exchange of information between communicating entities. The specification of the service provided by the layer is defined by the ordering of the visible SPs and by the timing requirements between the SP occurrences. This specification is called service specification (S-SPEC). Refined level of abstraction, the service provided by the layer is performed using a number of cooperating protocol entities. These protocol entities exchange protocol messages through a communication medium. Both S-SPEC and P-SPEC can be modelled using UML state machine.
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: International Journal of Computer Science, Engineering and Information Technology
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
