Automatic synthesis of protocol specifications from service specifications

Saleh, Kassem; Probert, Robert L.

doi:10.1109/pccc.1991.113871

Cited by 15 publications

(39 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In the synthesis approach, the protocol design is constructed or completed in such a way that no further validation is needed. Some protocol synthesis methods start the derivation process from a complete service specification [4][5][6][7][8][9][10][12][13][14][15] and others do not [17,18]. The protocol synthesis methods can be further classified according to the models used, which include finite state machines [4,6,7,9,10,15], Petri nets [8,13], and LOTOS-like [5,12,14].…”

Section: Related Researchmentioning

confidence: 99%

“…The synthesis method extends the sequentially based synthesis method introduced earlier by them in Saleh and Probert [4]. After applying the three steps of their original method, the extended method added transitions to solve the controlled concurrency problem.…”

Section: Related Researchmentioning

confidence: 99%

“…The synthesis of concurrent protocol specifications method introduced in this paper extends a sequentially based synthesis method introduced by Saleh and Probert [4]. In their method, three steps are applied to obtain the PESPECs.…”

Section: Synthesizing Concurrent Protocol Specificationsmentioning

confidence: 99%

“…The synthesis approach is used to construct or complete a partially specified protocol design, such that the interactions between the constructed or completed protocol entities proceed without encountering any logical error while providing the specified service. Several protocol synthesis methods have appeared in the literature [4][5][6][7][8][9][10][11][12][13][14][15][16]. The methods introduced by Saleh and Probert [4], Higashino et al [7], Yamaguchi et al [8], Bista et al [11], Maneerat et al [12], Yamaguchi et al [13], Maneerat et al [14], Dallal [15], and Stakhanova et al [16] are either not based on the FSM model or support only sequential applications.…”

Section: Introductionmentioning

confidence: 99%

“…This paper introduces a method for the synthesis of protocol specifications that do not necessarily start from sequential service specifications. The synthesis method extends the synthesis method introduced in Saleh and Probert [4] to derive the sequential P-SPEC. The synthesis method then remodels the sequential P-SPEC to consider the concurrency behavior specified in the S-SPEC.…”

Section: Introductionmentioning

confidence: 99%

See 4 more Smart Citations

Service‐Oriented Synthesis of Distributed and Concurrent Protocol Specifications

Dallal

Saleh

2008

Journal of Computer Networks and Communications

View full text Add to dashboard Cite

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 concurrentbased 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.

show abstract

Section: Related Researchmentioning

confidence: 99%

Section: Related Researchmentioning

confidence: 99%

Section: Synthesizing Concurrent Protocol Specificationsmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

Service‐Oriented Synthesis of Distributed and Concurrent Protocol Specifications

Dallal

Saleh

2008

Journal of Computer Networks and Communications

View full text Add to dashboard Cite

show abstract

State‐expansion‐based techniques for synthesizing concurrent protocol specifications in distributed systems

Dallal

Saleh

2012

Int J Communication

View full text Add to dashboard Cite

SUMMARYSeveral methods have been proposed for synthesizing communication protocol specifications starting from given service specifications. Because of the inherently sequential nature of a finite state machine (FSM), some FSM‐based protocol synthesis methods assume that primitives in the service specifications cannot be executed simultaneously. However, other synthesis methods were introduced to handle controlled primitive concurrency by imposing restrictions on the applicable FSM topologies. This paper proposes two alternative FSM‐based protocol synthesis methods that eliminate the restrictions on concurrency imposed by earlier methods. The first method applies a sequential‐based synthesis method to derive a sequential protocol specification (P‐SPEC) from a service specification (S‐SPEC) and then applies several state‐expansion rules to remodel the resulting P‐SPEC to consider the concurrency behavior specified in the S‐SPEC. The second method remodels a concurrent S‐SPEC into a sequential‐like one by expanding its states and applies a sequential‐based synthesis method to derive the concurrent P‐SPEC. Thus, the 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. The derived protocol specifications are guaranteed to be free of design errors; therefore, they do not require any further verification. The complexity of the two methods is discussed and their syntactic and semantic correctness are proven. As an example application, the synthesis method is used to derive the protocol specification of the H.323 call release standard used in Internet calls. Copyright © 2012 John Wiley & Sons, Ltd.

show abstract

Application of Protocol Synthesis Technique to Resolution of the Service Interaction Problem

Kakuda

Asada

Kikuno

1995

Formal Description Techniques VII

View full text Add to dashboard Cite

This paper proposes a method for resolving the service interaction problem in the Advanced Intelligent Network (1] (5]. Since this method is based on the protocol synthesis technique, the service interaction problem is resolved in the protocol specification rather than in the service specification. As a result, invalid interactions between communication services can be dynamically avoided. 1. Service Interactions and Specifications D. Hogrefe et al. (eds.

show abstract

Automatic synthesis of protocol specifications from service specifications

Cited by 15 publications

References 9 publications

Service‐Oriented Synthesis of Distributed and Concurrent Protocol Specifications

Service‐Oriented Synthesis of Distributed and Concurrent Protocol Specifications

State‐expansion‐based techniques for synthesizing concurrent protocol specifications in distributed systems

Application of Protocol Synthesis Technique to Resolution of the Service Interaction Problem

Contact Info

Product

Resources

About