Automatic Generation of Adaptation Contracts

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.

[1]  Carlos Canal,et al.  Model-Based Adaptation of Behavioral Mismatching Components , 2008, IEEE Transactions on Software Engineering.

[2]  Daniel M. Yellin,et al.  Protocol specifications and component adaptors , 1997, TOPL.

[3]  Schahram Dustdar,et al.  Non-intrusive monitoring and service adaptation for WS-BPEL , 2008, WWW.

[4]  Manfred Reichert,et al.  Business Process Execution Language for Web Service (BPEL) , 2006 .

[5]  Javier Cubo,et al.  A Model-Based Approach to the Verification and Adaptation of WF/.NET Components , 2008, Electron. Notes Theor. Comput. Sci..

[6]  Antonio Brogi,et al.  On the semantics of software adaptation , 2006, Sci. Comput. Program..

[7]  Roberto Bruni,et al.  SCC: A Service Centered Calculus , 2006, WS-FM.

[8]  Antonio Brogi,et al.  A formal approach to component adaptation , 2005, J. Syst. Softw..

[9]  Fabio Casati,et al.  Semi-automated adaptation of service interactions , 2007, WWW '07.

[10]  J. Bergstra,et al.  Handbook of Process Algebra , 2001 .

[11]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[12]  Anna Ingólfsdóttir,et al.  A Symbolic Approach to Value-Passing Processes , 2001, Handbook of Process Algebra.

[13]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[14]  Gwen Salaün,et al.  Describing and reasoning on Web services using process algebra , 2004, Proceedings. IEEE International Conference on Web Services, 2004..

[15]  Steffen Becker,et al.  Towards an Engineering Approach to Component Adaptation , 2004, Architecting Systems with Trustworthy Components.

[16]  Ernest Friedman Hill,et al.  Jess in Action: Java Rule-Based Systems , 2003 .

[17]  Ralf H. Reussner,et al.  Generating Adapters for Concurrent Component Protocol Synchronisation , 2002, FMOODS.

[18]  Antonio Brogi,et al.  Automated Generation of BPEL Adapters , 2006, CIbSE.

[19]  Erhard Rahm,et al.  Schema and ontology matching with COMA++ , 2005, SIGMOD '05.

[20]  Ted Pedersen,et al.  WordNet::Similarity - Measuring the Relatedness of Concepts , 2004, NAACL.

[21]  P. Y. A. Ryan.  Towards an Engineering Approach to Component Adaptation , 2006 .

[22]  Matjaz B. Juric,et al.  Business process execution language for web services , 2004 .

[23]  Gwen Salaün,et al.  Describing and reasoning on Web services using process algebra , 2004 .

[24]  Paola Inverardi,et al.  SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems , 2007, 29th International Conference on Software Engineering (ICSE'07).