Abstract
In real time applications, the time required to execute the events can be crucial and must be considered. However, the existing technique for synthesizing computer communication protocol specifications from UML-based service specification does not account for timing constraints and, therefore, cannot be used in real time applications. In this paper, we address the problem of time assignment to the events defined in the service specification. In addition, we show how to extend a technique that automatically synthesizes protocol specifications from a service specification to consider the timing constraints given in the service specification. Both the service and protocol specifications are modeled using a UML state machine.
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 call
