Open Access
Automatic Synthesis of Timed Protocol Specifications from Service Specifications
Reads0
Chats0
TLDR
An automatic method for synthesizing protocol specifications is extended to consider timing constraints given in the service specification to ensure that the resulting synthesized protocol is guaranteed to conform to the timing constraints give in theservice specification.Abstract:
Several methods have been proposed for synthesizing computer communication protocol specifications from service specifications. In real time applications, the time required to execute the events can be crucial and has to be considered. Some of the protocol synthesis methods do not consider timing constraints and, therefore, cannot be used in real time applications. In this paper, the assignment of the timing constraints to the service specification is discussed. In addition, an automatic method for synthesizing protocol specifications is extended to consider timing constraints given in the service specification. Both the service and protocol specifications are modeled using Timed Finite State Machines (TFSMs). The resulting synthesized protocol is guaranteed to conform to the timing constraints given in the service specification.read more
Citations
More filters
Journal ArticleDOI
Synthesizing Distributed Protocol Specifications from a UML State Machine Modeled Service Specification
Jehad Al Dallal,Kassem Saleh +1 more
TL;DR: A synthesis method is proposed that automatically synthesizes the protocol specification of distributed protocol entities from the service specification, given that both types of specifications are modeled in UML protocol state machines.
Journal ArticleDOI
Service-Oriented Synthesis of Distributed and Concurrent Protocol Specifications
Jehad Al Dallal,Kassem Saleh +1 more
TL;DR: The proposed method uses a synthesis method to obtain a sequential protocol specification (P-SPEC) from a given service specification (S-SPEC), which is remodeled to consider the concurrency behavior specified in the S-SPEC, while guaranteeing that P-SPEC provides the specified service.
Proceedings ArticleDOI
Time assignment for distributed service and protocol UML-based specifications
TL;DR: This paper addresses the problem of time assignment to the events defined in the service specification and shows how to extend a technique that automatically synthesizes protocol specifications from a service specification to consider the timing constraints given in theservice specification.
Journal ArticleDOI
State‐expansion‐based techniques for synthesizing concurrent protocol specifications in distributed systems
Jehad Al Dallal,Kassem Saleh +1 more
TL;DR: This paper's main contribution is proposing synthesis methods that allow the protocol designers to model their service specifications with concurrency behaviors, using FSM‐based models, and to derive, automatically, the corresponding protocol specifications for the concurrently executable protocol entities.
Proceedings Article
A novel technique for synthesizing distributed and concurrent protocol specifications
Jehad Al Dallal,Kassem Saleh +1 more
TL;DR: A concurrent-based protocol synthesis method that eliminates the restrictions imposed by the earlier methods for synthesizing computer communication protocol specifications starting from service specifications is proposed.
References
More filters
Journal ArticleDOI
Synthesis of communication protocols: survey and assessment
R.L. Probert,Kassem Saleh +1 more
TL;DR: Eleven methods for the synthesis of communication protocols are described and it is noted that interactive methods allow flexibility in the design process; as a result, communication patterns are not prespecified but may be constructed interactively.
Journal ArticleDOI
Deriving protocol specifications from service specifications
TL;DR: An algorithm for deriving a protocol specification from a given service specification, assumed that services are described by expressions including operators for sequence, parallelism and alternatives and primitive service interactions is presented.
Journal ArticleDOI
Deriving protocol specifications from service specifications including parameters
TL;DR: An algorithm for deriving a protocol specification from a given service specification, where names identifying both service primitives and previously defined services are composed using operators for sequence, parallelism and alternative, is presented.
Journal ArticleDOI
An interactive protocol synthesis algorithm using a global state transition graph
TL;DR: An interactive synthesis algorithm, to construct two communicating finite-state machines (protocols), is presented, which prevents a designer from creating unspecified reception and nonexecutable transition, avoids the occurrence of deadlocks, and monitors for the presence of buffer overflow.
Related Papers (5)
Synthesizing protocol specifications from service specifications in timed extended finite state machines
Jun-Cheol Park,R.E. Miller +1 more