![](/images/graphics-bg.png)
Service-Oriented Synthesis of Distributed and Concurrent Protocol Specifications
Joint Authors
Source
Journal of Computer Networks and Communications
Issue
Vol. 2008, Issue 2008 (31 Dec. 2008), pp.1-13, 13 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2008-07-15
Country of Publication
Egypt
No. of Pages
13
Main Subjects
Information Technology and Computer Science
Abstract EN
Several methods have been proposed for synthesizing computer communication protocol specifications 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.
As a result, these synthesis methods are not applicable to an interesting variety of inherently concurrent applications, such as the Internet and mobile communication systems.
This paper proposes a concurrent-based protocol synthesis method that eliminates the restrictions imposed by the earlier methods.
The proposed method uses a synthesis method to obtain a sequential protocol specification (P-SPEC) from a given service specification (S-SPEC).
The resulting P-SPEC is then remodeled to consider the concurrency behavior specified in the S-SPEC, while guaranteeing that P-SPEC provides the specified service.
American Psychological Association (APA)
Al Dallal, Jehad& Saleh, Kassem. 2008. Service-Oriented Synthesis of Distributed and Concurrent Protocol Specifications. Journal of Computer Networks and Communications،Vol. 2008, no. 2008, pp.1-13.
https://search.emarefa.net/detail/BIM-987989
Modern Language Association (MLA)
Al Dallal, Jehad& Saleh, Kassem. Service-Oriented Synthesis of Distributed and Concurrent Protocol Specifications. Journal of Computer Networks and Communications No. 2008 (2008), pp.1-13.
https://search.emarefa.net/detail/BIM-987989
American Medical Association (AMA)
Al Dallal, Jehad& Saleh, Kassem. Service-Oriented Synthesis of Distributed and Concurrent Protocol Specifications. Journal of Computer Networks and Communications. 2008. Vol. 2008, no. 2008, pp.1-13.
https://search.emarefa.net/detail/BIM-987989
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-987989