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
Hi-index | 0.00 |
One of the most important methods in communicationsystem design, especially in protocol design, is acomposition method. We propose a method forsimultaneously composing service specifications andprotocol specifications based on the Loros language. Inthis method; asynchronous communication model isadopted which is more realistic in actual communicationnetworks. We use the concept of the weak bisimulationequivalence to represent the correctness of composition.A software support system based on the proposedcomposition method is also described.