A formal protocol conversion method
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
Extensional equivalence for transition systems
Acta Informatica
Deriving a protocol converter: a top-down method
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
Submodule construction as equation solving in CCS
Theoretical Computer Science
Synthesizing a Protocol Converter From Executable Protocol Traces
IEEE Transactions on Computers - Special issue on protocol engineering
An approach to indirect protocol conversion
Computer Networks and ISDN Systems - Managing complexity: protocols and reliability
A polynomial algorithm for gateway generation from formal specifications
IEEE/ACM Transactions on Networking (TON)
On the Construction of Submodule Specifications and Communication Protocols
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communication and Concurrency
Elements of the Theory of Computation
Elements of the Theory of Computation
IEEE Transactions on Software Engineering
CHARME '01 Proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Journal of Network and Computer Applications
Converting conversation protocols using an XML based differential behavioral model
DEXA'11 Proceedings of the 22nd international conference on Database and expert systems applications - Volume Part II
A Methodology for SIP and SOAP Integration Using Application-Specific Protocol Conversion
ACM Transactions on the Web (TWEB)
Hi-index | 0.00 |
Abstract: We propose an efficient algorithm for constructing optimized protocol converters to achieve interoperability between heterogeneous computer networks. This method first generates constraints from existing protocols and imposes them to channel specifications, which removes message sequences of the channel specifications that do not contribute to system progress. Then, an optimized converter is generated from a given deterministic service specification, the two protocol specifications and the modified channel specifications. The observation equivalence is used to compare the service specification and the internetworking system. Compared with related works reported by Calvert and Lam (1989), our method has two advantages: (1) it generates an optimized converter; and (2) it needs less computation.