Extended distributed UML-based protocol synthesis method

TL;DR

This paper presents an extended method for synthesizing UML-based distributed protocols that incorporates timing constraints, ensuring real-time applications meet their specified timing requirements.

Contribution

It introduces a technique to assign timing to UML state machine events and extends protocol synthesis to include timing constraints, enhancing real-time applicability.

Findings

Synthesizes UML protocols with timing guarantees

Automatically incorporates timing constraints into protocol synthesis

Ensures protocol conformance to specified timing requirements

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.