Finite transition systems: semantics of communicating systems
Finite transition systems: semantics of communicating systems
Protocol specifications and component adaptors
ACM Transactions on Programming Languages and Systems (TOPLAS)
Behavior Protocols for Software Components
IEEE Transactions on Software Engineering
Analysis of interacting BPEL web services
Proceedings of the 13th international conference on World Wide Web
A formal approach to component adaptation
Journal of Systems and Software - Special issue: Automated component-based software engineering
Schema and ontology matching with COMA++
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
LTSA-WS: a tool for model-based verification of web service compositions and choreography
Proceedings of the 28th international conference on Software engineering
Semi-automated adaptation of service interactions
Proceedings of the 16th international conference on World Wide Web
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems
ICSE '07 Proceedings of the 29th international conference on Software Engineering
A Model-Based Approach to the Verification and Adaptation of WF/.NET Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Microsoft® windows® workflow foundation step by step
Microsoft® windows® workflow foundation step by step
Model-Based Adaptation of Behavioral Mismatching Components
IEEE Transactions on Software Engineering
Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
ITACA: An integrated toolbox for the automatic composition and adaptation of Web services
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Automatic Generation of Adaptation Contracts
Electronic Notes in Theoretical Computer Science (ENTCS)
Automated generation of BPEL adapters
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Adapt or perish: algebra and visual notation for service interface adaptation
BPM'06 Proceedings of the 4th international conference on Business Process Management
Hi-index | 0.00 |
An adaptation contract describes composition constraints and adaptation requirements among several services which were not initially built to interoperate with each other. The manual writing of this specification by a designer is a difficult and error-prone task, especially when services are reused taking their behavioural descriptions into account. In this paper, we present a semi-automatic approach to build adaptation contracts. To this purpose, we propose an adaptation contract design process supported by an interactive environment based on a graphical notation, and an engine capable of automatically generating contracts without any human intervention. We also present an experimental study that we carried out using the tool support that we implemented in order to evaluate our approach.