Artificial intelligence: a modern approach
Artificial intelligence: a modern approach
Protocol specifications and component adaptors
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Generating adapters for concurrent component protocol synchronisation
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
Jess in Action: Java Rule-Based Systems
Jess in Action: Java Rule-Based Systems
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
On the semantics of software adaptation
Science of Computer Programming - Special issue on second international workshop on foundations of coordination languages and software architectures (FOCLASA'03)
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
Non-intrusive monitoring and service adaptation for WS-BPEL
Proceedings of the 17th international conference on World Wide Web
Model-Based Adaptation of Behavioral Mismatching Components
IEEE Transactions on Software Engineering
WordNet: similarity - measuring the relatedness of concepts
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Automated generation of BPEL adapters
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
SCC: a service centered calculus
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Semi-Automatic Specification of Behavioural Service Adaptation Contracts
Electronic Notes in Theoretical Computer Science (ENTCS)
Automated creation and assessment of component adapters with test cases
CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering
A generic framework for n-protocol compatibility checking
Science of Computer Programming
Automating the wrapping of software building blocks with test cases
Proceedings of the 17th international doctoral symposium on Components and Architecture
Towards an optimized software architecture for component adaptation at middleware level
ECSA'13 Proceedings of the 7th European conference on Software Architecture
Hi-index | 0.00 |
Software development based on the composition of black-box software like Web Services and Software Components is impeded by incompatibilities in their interfaces. Software adaptation has emerged as a solution to these incompatibilities by using processes in-the-middle (called adapters) that allow the correct interaction between the services. There are several approaches that focused on the automated generation of adapters guided by adaptation contracts which specify how the incompatibilities can be resolved. However, the generation of these contracts is not automated and most existing approaches require these contracts to be specified by hand, which obliges the designer to know all the service details. In this paper, we propose an approach to automatically generate adaptation contracts from the behavioral description of the services. These contracts overcome incompatibilities at signature and behavioral levels. Finally we present our prototype tool that accepts as input the service behaviors written in abstract BPEL and generates adaptation contracts using a combination of an A* algorithm and an expert system.