Modal logics for mobile processes
Selected papers of the 3rd workshop on Concurrency and compositionality
MFPS '92 Selected papers of the meeting on Mathematical foundations of programming semantics
Protocol specifications and component adaptors
ACM Transactions on Programming Languages and Systems (TOPLAS)
Model checking
A survey of approaches to automatic schema matching
The VLDB Journal — The International Journal on Very Large Data Bases
Automata-Based Verification of Temporal Properties on Running Programs
Proceedings of the 16th IEEE international conference on Automated 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
Synthesis of correct and distributed adaptors for component-based systems: an automatic approach
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
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
Web services choreography and orchestration in Reo and constraint automata
Proceedings of the 2007 ACM symposium on Applied computing
Matching and Merging of Statecharts Specifications
ICSE '07 Proceedings of the 29th international conference on Software Engineering
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)
Model-Based Adaptation of Behavioral Mismatching Components
IEEE Transactions on Software Engineering
Generation of Service Wrapper Protocols from Choreography Specifications
SEFM '08 Proceedings of the 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods
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
Proceedings of the 2009 ACM symposium on Applied Computing
WordNet: similarity - measuring the relatedness of concepts
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Interactive Specification and Verification of Behavioural Adaptation Contracts
QSIC '09 Proceedings of the 2009 Ninth International Conference on Quality Software
Adaptation of open component-based systems
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
Protocol-aware matching of web service interfaces for adapter development
Proceedings of the 19th international conference on World wide web
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
Identifying adaptation needs to avoid the vendor lock-in effect in the deployment of cloud SBAs
Proceedings of the 2nd International Workshop on Adaptive Services for the Future Internet and 6th International Workshop on Web APIs and Service Mashups
Hi-index | 0.00 |
Context: Adaptation is a crucial issue when building new applications by reusing existing software services which were not initially designed to interoperate with each other. Adaptation contracts describe composition constraints and adaptation requirements among these services. The writing of this specification by a designer is a difficult and error-prone task, especially when interaction protocols are considered in service interfaces. Objective: In this article, we propose a tool-based, interactive approach to support the contract design process. Method: Our approach includes: (i) a graphical notation to define port bindings, and an interface compatibility measure to compare protocols and suggest some port connections to the designer, (ii) compositional and hierarchical techniques to facilitate the specification of adaptation contracts by building them incrementally, (iii) validation and verification techniques to check that the contract will make the involved services work correctly and as expected by the designer. Results: Our results show a reduction both in the amount of effort that the designer has to put into building the contract, as well as in the number of errors present in the final result (noticeably higher in the case of manual specification). Conclusion: We conclude that it is important to provide integrated tool support for the specification and verification of adaptation contracts, since their incorrect specification induces erroneous executions of the system. To the best of our knowledge, such tool support has not been provided by any other approach so far, and hence we consider the techniques described in this paper as an important contribution to the area of behavioral software adaptation.