A formal protocol conversion method
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
Extensional equivalence for transition systems
Acta Informatica
Communication and concurrency
Deriving a protocol converter: a top-down method
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
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
Efficient gateway synthesis from formal specifications
SIGCOMM '91 Proceedings of the conference on Communications architecture & protocols
A framework based on implementation relations for implementing LOTOS specifications
Computer Networks and ISDN Systems
AIRMAIL: a link-layer protocol for wireless networks
Wireless Networks
Formal method for the design of real-time communicating subsystems and controllers
Formal method for the design of real-time communicating subsystems and controllers
On the Construction of Submodule Specifications and Communication Protocols
ACM Transactions on Programming Languages and Systems (TOPLAS)
Elements of the Theory of Computation
Elements of the Theory of Computation
IEEE Transactions on Software Engineering
Submodule Construction and Supervisory Control: A Generalization
CIAA '01 Revised Papers from the 6th International Conference on Implementation and Application of Automata
Progressive solutions to a parallel automata equation
Theoretical Computer Science
Protocol mediation for adaptation in semantic web services
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Generalizing the submodule construction techniques for extended state machine models
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Submodule construction for extended state machine models
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Using logic to solve the submodule construction problem
Discrete Event Dynamic Systems
Hi-index | 0.01 |
As mobile information networks are expanding rapidly, we expect to integrate voice, paging, electronic mail and other wireless information services. Interworking units that perform protocol conversion at the boundaries of different networks will play an important role. In this paper, we propose an efficient algorithm for constructing optimized protocol converters to achieve interoperability between heterogeneous data networks. This algorithm first derives constraints from two given protocols, and apply the constraints to channel specifications, thus removing message sequences that do not contribute to system progress. Then, an optimized converter is generated from a given service specification, the two protocol specifications and the modified channel specifications. A reduction relation is used to compare the service specification and the constructed internetworking system in order to deal with the problem of nondeterministic services. Compared with related works, our method has two advantages: (1) it generates an optimized converter; (2) it can be applied to the case that the service specification is nondeterministic. The application of the method to mobile networks is given by an example.