Communication and concurrency
On the Specification and Synthesis of Communicating Processes
IEEE Transactions on Software Engineering
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
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
Synthesis of communications protocols: an annotated bibliography
ACM SIGCOMM Computer Communication Review
Software process description using LOTOS and its enaction
ICSE '94 Proceedings of the 16th international conference on Software engineering
Two formal methods for the synthesis of discrete event systems
Computer Networks and ISDN Systems
Distributed Algorithms
Decomposition of functionality: a correctness-preserving LOTOS transformation
Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification X
Protocol Synthesis from Time Petri Net Based Service Specification
ICPADS '97 Proceedings of the 1997 International Conference on Parallel and Distributed Systems
Structure Theory of Petri Nets: the Free Choice Hiatus
Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986-Part I
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
ICDCS '97 Proceedings of the 17th International Conference on Distributed Computing Systems (ICDCS '97)
Protocol synthesis from timed and structured specifications
ICNP '95 Proceedings of the 1995 International Conference on Network Protocols
Protocol synthesis using basic Lotos and global variables
ICNP '95 Proceedings of the 1995 International Conference on Network Protocols
A flexible protocol synthesis method for adopting requirement changes
ICPADS '96 Proceedings of the 1996 International Conference on Parallel and Distributed Systems
ICDCS '95 Proceedings of the 15th International Conference on Distributed Computing Systems
Deriving protocol specifications from service specifications written in LOTOS
Distributed Computing
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
On constructing communication protocols from component-based service specifications
Computer Communications
A formal approach to design optimized multimedia service overlay
NOSSDAV '05 Proceedings of the international workshop on Network and operating systems support for digital audio and video
Deriving protocol specifications from service specifications written as predicate/transition-nets
Computer Networks: The International Journal of Computer and Telecommunications Networking
A novel technique for synthesizing distributed and concurrent protocol specifications
SEPADS'08 Proceedings of the 7th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems
Synthesizing components with sessions from collaboration-oriented service specifications
SDL'07 Proceedings of the 13th international SDL Forum conference on Design for dependable systems
Reactive semantics for distributed UML activities
FMOODS'10/FORTE'10 Proceedings of the 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Resource reconstruction algorithms for on-demand allocation in virtual computing resource pool
International Journal of Automation and Computing
Hi-index | 0.00 |
Protocol synthesis is used to derive a protocol specification, that is, the specification of a set of application components running in a distributed system of networked computers, from a specification of services (called the service specification) to be provided by the distributed application to its users. Protocol synthesis reduces design costs and errors by specifying the message exchanges between the application components, as defined by the protocol specification. In general, maintaining such a distributed application involves applying frequent minor modifications to the service specification due to changes in the user requirements. Deriving the protocol specification after each modification using the existing synthesis methods is considered expensive and time consuming. Moreover, we cannot identify what changes we should make to the protocol specification in correspondence to the changes in the service specification, in this paper, we present a new synthesis method to re-synthesize only those parts of the protocol specification that must be modified in order to satisfy the changes in the service specification. The method consists of a set of simple rules that are applied to the protocol specification written in an extended Petri net model. An application example is given along with some experimental results.