Time assignment for distributed service and protocol UML-based specifications

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.