IEEE Transactions on Software Engineering - Special issue on COMPSAC 1982 and 1983
Deriving protocol specifications from service specifications
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
Synthesis of two-party error-recoverable protocols
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
CCITT SDL: overview of the language and its application
Computer Networks and ISDN Systems - CCITT SDL
A top-down step-wise refinement methodology for protocol specification
International Conference on Concurrency on Concurrency 88
New results on deriving protocol specifications from service specifications
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
On the Specification and Synthesis of Communicating Processes
IEEE Transactions on Software Engineering
Synthesis of Communication Protocols: Survey and Assessment
IEEE Transactions on Computers - Special issue on protocol engineering
Deriving protocol specifications from service specifications including parameters
ACM Transactions on Computer Systems (TOCS)
Formal description techniques and automated protocol synthesis
Information and Software Technology
Service-driven protocol synthesis for specific users
Microprocessing and Microprogramming - Special quadruple issue: short notes from EUROMICRO 93
Automated derivation of protocols implementing Intelligent Network services
Selected papers of the short notes session on Euromicro '94
On specifying services and synthesizing protocols for real-time applications
PSTV '94 Proceedings of the fourteenth of a series of annual meetings on Protocol specification, testing and verification XIV
Two formal methods for the synthesis of discrete event systems
Computer Networks and ISDN Systems
On Communicating Finite-State Machines
Journal of the ACM (JACM)
On the Construction of Submodule Specifications and Communication Protocols
ACM Transactions on Programming Languages and Systems (TOPLAS)
Synthesis of Communicating Processes from Temporal Logic Specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
An Interactive Protocol Synthesis Algorithm Using a Global State Transition Graph
IEEE Transactions on Software Engineering
An Algorithm to Construct Distributed Systems from State-Machines
Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification
Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification
The importance of the service concept in the design of data communications protocols
Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V
Decomposition of functionality: a correctness-preserving LOTOS transformation
Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification X
Supervisory control of communicating processes
Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification X
The Knitting Technique and Its Application to Communication Protocol Synthesis
MASCOTS '94 Proceedings of the Second International Workshop on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems
A protocol synthesis algorithm: a relational approach
ICNP '95 Proceedings of the 1995 International Conference on Network Protocols
Verifying concurrent processes using temporal logic
Verifying concurrent processes using temporal logic
Rules for synthesizing correct communication protocols
ACM SIGCOMM Computer Communication Review
INFOCOM'96 Proceedings of the Fifteenth annual joint conference of the IEEE computer and communications societies conference on The conference on computer communications - Volume 3
INFOCOM'96 Proceedings of the Fifteenth annual joint conference of the IEEE computer and communications societies conference on The conference on computer communications - Volume 3
Negative scenarios for implied scenario elicitation
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Negative scenarios for implied scenario elicitation
ACM SIGSOFT Software Engineering Notes
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios
ACM Transactions on Software Engineering and Methodology (TOSEM)
Telecommunications Systems - Modeling, analysis, design and management
A Component-Based Approach to Automated Web Service Composition
WI '06 Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence
Synthesis of trustworthy protocol specifications from service specifications
ISP'06 Proceedings of the 5th WSEAS International Conference on Information Security and Privacy
Synthesizing SDL from use case maps: an experiment
SDL'03 Proceedings of the 11th international conference on System design
Conversation-based specification and composition of agent services
CIA'06 Proceedings of the 10th international conference on Cooperative Information Agents
| Hi-index | 0.00 |
Protocol synthesis attempts to formalize and automate the process of designing communications protocols. Protocol design is an important step in the communications software or protocol engineering development process. Protocol synthesis has been addressed extensively by many researchers around the world, and various approaches have been proposed: from the stepwise refinement of a high level requirements specification to the automatic generation starting from a formal service specification. In this paper, we introduce protocol synthesis in the context of the protocol engineering process, and we briefly describe and survey the main features of the proposed synthesis methods. Tables summarizing this survey are also provided.