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
Automated Service Composition with Adaptive Planning
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
Service Interaction: Patterns, Formalization, and Analysis
Formal Methods for Web Services
Automatic Generation of Adaptation Contracts
Electronic Notes in Theoretical Computer Science (ENTCS)
Dinapter: Automatic Adapter Specification for Software Composition
Electronic Notes in Theoretical Computer Science (ENTCS)
An Efficient Approach to Web Service Selection
WISM '09 Proceedings of the International Conference on Web Information Systems and Mining
Improving impact of self-adaptation and self-management research through evaluation methodology
Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems
A Formal Framework for Structural Reconfiguration of Components under Behavioural Adaptation
Electronic Notes in Theoretical Computer Science (ENTCS)
Semi-Automatic Specification of Behavioural Service Adaptation Contracts
Electronic Notes in Theoretical Computer Science (ENTCS)
Error-avoiding adaptors for black-box software components
Proceedings of the IEEE/ACM international conference on Automated software engineering
Adaptive composition of conversational services through graph planning encoding
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
A case study in model-based adaptation of web services
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Information Processing Letters
ECSA'11 Proceedings of the 5th European conference on Software architecture
Information and Software Technology
Interactive specification and verification of behavioral adaptation contracts
Information and Software Technology
Optimal Adapter Creation for Process Composition in Synchronous vs. Asynchronous Communication
ACM Transactions on Management Information Systems (TMIS)
Automating the wrapping of software building blocks with test cases
Proceedings of the 17th international doctoral symposium on Components and Architecture
A survey of formal methods in self-adaptive systems
Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering
Enough about standardization, let's build cloud applications
Proceedings of the WICSA/ECSA 2012 Companion Volume
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
Structural reconfiguration of systems under behavioral adaptation
Science of Computer Programming
Satisfying requirements for pervasive service compositions
Proceedings of the 7th Workshop on Models@run.time
A survey of fuzzy service matching approaches in the context of on-the-fly computing
Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering
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
Developing migratable multicloud applications based on MDE and adaptation techniques
Proceedings of the Second Nordic Symposium on Cloud Computing & Internet Technologies
A service-oriented framework for developing cross cloud migratable software
Journal of Systems and Software
Test-and-adapt: An approach for improving service interchangeability
ACM Transactions on Software Engineering and Methodology (TOSEM) - Testing, debugging, and error handling, formal methods, lifecycle concerns, evolution and maintenance
Towards an optimized software architecture for component adaptation at middleware level
ECSA'13 Proceedings of the 7th European conference on Software Architecture
SeaClouds: a European project on seamless management of multi-cloud applications
ACM SIGSOFT Software Engineering Notes
| Hi-index | 0.00 |
Component-Based Software Engineering focuses on the reuse of existing software components. In practice, most components cannot be integrated directly into an application-to-be, because they are incompatible. Software Adaptation aims at generating, as automatically as possible, adaptors to compensate mismatch between component interfaces, and is therefore a promising solution for the development of a real market of components promoting software reuse. In this article, we present our approach for software adaptation which relies on an abstract notation based on synchronous vectors and transition systems for governing adaptation rules. Our proposal is supported by dedicated algorithms that generate automatically adaptor protocols. These algorithms have been implemented in a tool, called Adaptor, that can be used through a user-friendly graphical interface.