A novel technique for synthesizing distributed and concurrent protocol specifications

Authors:
Jehad Al Dallal;Kassem Saleh
Affiliations:
Department of Information Sciences, Kuwait University, Safat, Kuwait;Department of Information Sciences, Kuwait University, Safat, Kuwait
Venue:
SEPADS'08 Proceedings of the 7th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems
Year:
2008

Citing 5
Cited 0

Switching and Finite Automata Theory: Computer Science Series

Switching and Finite Automata Theory: Computer Science Series
An Interactive Protocol Synthesis Algorithm Using a Global State Transition Graph

IEEE Transactions on Software Engineering
Composition Method of Communication System Specifications in Asynchronous Model and its Support System

ICON '01 Proceedings of the 9th IEEE International Conference on Networks
Synthesizing Protocol Specifications from Service Specifications in Timed Extended Finite State Machines

ICDCS '97 Proceedings of the 17th International Conference on Distributed Computing Systems (ICDCS '97)
Protocol synthesis and re-synthesis with optimal allocation of resources based on extended petri nets

Distributed Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

Several methods have been proposed for synthesizing computer communication protocol specifications starting from service specifications. Some protocol synthesis methods based on the Finite State Machine (FSM) model assume that primitives in the service specifications cannot be executed simultaneously. Others either handle only controlled primitive concurrency or have tight restrictions on the applicable FSM topologies. This paper proposes a concurrent-based protocol synthesis method that eliminates the restrictions imposed by the earlier methods. The synthesis method uses a sequential-based synthesis method to derive a sequential protocol specification (P-SPEC) from a service specification (S-SPEC) and then applies several transformation rules to re-model the resulting P-SPEC to consider the concurrency behavior specified in the SSPEC.