Constructing replaceable services using operating guidelines and maximal controllers
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
Soundness-preserving refinements of service compositions
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
| Hi-index | 0.00 |
Adapters are used to establish proper interaction betweensystems that have been developed independently. We study anapproach for generating behavioral adapters, and proposesome substantial improvements regarding the computationtime and the complexity of the result. The key insight is toeliminate and introduce concurrency at appropriate placesin the generation process. Finally we discuss how ourmodifications affect the behavior of the generated adapters.