A gateway for time-triggered control networks
Microprocessors & Microsystems
A Model Checking Approach to Protocol Conversion
Electronic Notes in Theoretical Computer Science (ENTCS)
Review: Construction of protocol converters using formal methods
Computer Communications
Protocol converter generation using the STS approach
Computer Communications
Review paper: Synthesis of communications protocol converters: survey and assessment
Computer Communications
A semantic translation method for data communication protocols
Journal of Systems and Software
A Methodology for SIP and SOAP Integration Using Application-Specific Protocol Conversion
ACM Transactions on the Web (TWEB)
Achieving interoperability through semantics-based technologies: the instant messaging case
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part II
Automatic synthesis of modular connectors via composition of protocol mediation patterns
Proceedings of the 2013 International Conference on Software Engineering
Producing software by integration: challenges and research directions (keynote)
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
| Hi-index | 0.07 |
Consideration is given to ways of overcoming a protocol mismatch using protocol conversion. Three different methods for finding a protocol converter are described. Two of these are bottom up in nature, and involve relating the conversion system to existing protocols. The third approach, which is new, is top down: the desired global properties of the conversion system are used in deriving the converter. An example is used to illustrate each method. The authors discuss more general forms of the abstract problem in the context of layered network architectures