Info: Zenodo’s user support line is staffed on regular business days between Dec 23 and Jan 5. Response times may be slightly longer than normal.

Published February 19, 2019 | Version v1
Journal article Open

EXTENDED DISTRIBUTED UML-BASED PROTOCOL SYNTHESIS METHOD

  • 1. Department of Information Science, Kuwait University, Kuwait

Description

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.

Files

4414ijcseit01.pdf

Files (162.2 kB)

Name Size Download all
md5:dbee0f444eaf2939d2e09f46d907f6d7
162.2 kB Preview Download