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
New results on deriving protocol specifications from service specifications
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
Synthesis methods for the design and validation of communication protocols
Synthesis methods for the design and validation of communication protocols
On the Construction of Submodule Specifications and Communication Protocols
ACM Transactions on Programming Languages and Systems (TOPLAS)
An Interactive Protocol Synthesis Algorithm Using a Global State Transition Graph
IEEE Transactions on Software Engineering
Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification
Decomposition of functionality: a correctness-preserving LOTOS transformation
Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification X
Specification for Verification
FORTE '89 Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols
A unified approach to fault-tolerance in communication protocols based on recovery procedures
IEEE/ACM Transactions on Networking (TON)
Synthesis of communications protocols: an annotated bibliography
ACM SIGCOMM Computer Communication Review
Proceedings of the 39th annual Design Automation Conference
A Decomposition of a Formal Specification: An Improved Constraint-Oriented Method
IEEE Transactions on Software Engineering
Deriving protocol specifications from service specifications written in LOTOS
Distributed Computing
Telecommunications Systems - Modeling, analysis, design and management
Synthesis of trustworthy protocol specifications from service specifications
ISP'06 Proceedings of the 5th WSEAS International Conference on Information Security and Privacy
The process mediation framework for semantic web services
International Journal of Agent-Oriented Software Engineering
Evolutionary and embryogenic approaches to autonomic systems
Proceedings of the 3rd International Conference on Performance Evaluation Methodologies and Tools
A survey of evolutionary and embryogenic approaches to autonomic networking
Computer Networks: The International Journal of Computer and Telecommunications Networking
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
Harnessing self-modifying code for resilient software
WRAC'05 Proceedings of the Second international conference on Radical Agent Concepts: innovative Concepts for Autonomic and Agent-Based Systems
Experiments on the automatic evolution of protocols using genetic programming
WAC'05 Proceedings of the Second international IFIP conference on Autonomic Communication
Recovery approach to the design of stabilizing communication protocols
Computer Communications
Research: Modified distributed snapshots algorithm for protocol stabilization
Computer Communications
Protocol quality engineering: addressing industry concerns about formal methods
Computer Communications
Research: Protocol validation by simultaneous reachability analysis
Computer Communications
| Hi-index | 0.00 |
Eleven methods for the synthesis of communication protocols are described. Based on particular features of the synthesis process, these methods are classified and compared. In particular, 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. Methods that only consider the synchronous mode of behavior of communicating entities exclude a wide range of real-life protocols. Methods that make no reference to service requirements do not guarantee the semantic correctness of the synthesized protocol and therefore require the application of a semantic verification procedure. Most methods concentrate on the synthesis of the control part of the protocol entities, which mainly consists of the exchange of synchronization messages. The data part is not adequately treated by any of the synthesis methods. Other than the exchange of synchronization messages, some methods have been extended to deal with unreliable media by synthesizing error-recovery patterns. Some new research directions for enhancing the applicability of the synthesis approach to the design of real-life protocols are obtained.