Database system concepts
On the Specification and Synthesis of Communicating Processes
IEEE Transactions on Software Engineering
Deriving protocol specifications from service specifications including parameters
ACM Transactions on Computer Systems (TOCS)
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
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Two formal methods for the synthesis of discrete event systems
Computer Networks and ISDN Systems
Protocol Synthesis from Time Petri Net Based Service Specification
ICPADS '97 Proceedings of the 1997 International Conference on Parallel and Distributed Systems
The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets
Proceedings of the International Sympoisum on Semantics of Concurrent Computation
Designing a Security System by Means of Coloured Petri Nets
Proceedings of the 17th International Conference on Application and Theory of Petri Nets
On Net Modeling of Industrial Size Concurrent Systems
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
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
sFlow: Towards Resource-Efficient and Agile Service Federation in Service Overlay Networks
ICDCS '04 Proceedings of the 24th International Conference on Distributed Computing Systems (ICDCS'04)
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 in LOTOS
Distributed Computing
CPN tools for editing, simulating, and analysing coloured Petri nets
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
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
An integrated tool for development of overlay services
Proceedings of the 2nd International Conference on Simulation Tools and Techniques
Hi-index | 0.00 |
We consider the derivation of a protocol specification from a service specification written in Predicate/Transition-nets (Pr/T-nets). The service specification describes the global behavior of a system and includes the allocation of the Pr/T-net places to N distributed sites. The paper presents a new algorithm for deriving a protocol specification that defines the behavior of N communicating entities that execute on the N sites and coordinate their actions in order to conform to the global behavior defined by the service specification. Our algorithm decomposes each transition of the service specification into a set of communicating Pr/T-subnets running on the N entities. Moreover, for efficiently controlling the conflict for shared resources, we present a timestamp-based contention control algorithm and incorporate it into the derivation algorithm. A tool has been developed that implements our algorithm and works together with other existing tools for the graphical representation of the service and derived protocol specifications. Two application examples are discussed.