Adaptation of Asynchronously Communicating Software

Software adaptation techniques aim at generating new components called adapters, which make a set of services work correctly together by compensating for existing mismatch. Most approaches assume that services interact synchronously using rendez-vous communication. In this paper, we focus on asynchronous communication, where services interact exchanging messages via buffers. We overview a method for automatically generating adapters in such asynchronous environments.

[1]  Luca Padovani,et al.  Formal Methods for Web Services , 2009, Lecture Notes in Computer Science.

[2]  Paola Inverardi,et al.  Automatic synthesis of modular connectors via composition of protocol mediation patterns , 2013, 2013 35th International Conference on Software Engineering (ICSE).

[3]  Thomas A. Henzinger,et al.  Interface automata , 2001, ESEC/FSE-9.

[4]  Carlos Canal,et al.  Software Adaptation , 2006, Obj. Logiciel Base données Réseaux.

[5]  Winfried Lamersdorf,et al.  Service-Oriented Computing - ICSOC 2006, 4th International Conference, Chicago, IL, USA, December 4-7, 2006, Proceedings , 2006, ICSOC.

[6]  Ricardo Seguel,et al.  Generating Minimal Protocol Adaptors for Loosely Coupled Services , 2010, 2010 IEEE International Conference on Web Services.

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

[8]  Javier Cámara,et al.  ITACA: An integrated toolbox for the automatic composition and adaptation of Web services , 2009, 2009 IEEE 31st International Conference on Software Engineering.

[9]  Radu Mateescu,et al.  CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes , 2011, TACAS.

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

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

[12]  Arjan J. Mooij,et al.  Reducing Adapter Synthesis to Controller Synthesis , 2012, IEEE Transactions on Services Computing.

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

[14]  Bengt Jonsson,et al.  Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning , 2013, SEFM.

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

[16]  Boualem Benatallah,et al.  Protocol-aware matching of web service interfaces for adapter development , 2010, WWW '10.

[17]  Dimitra Giannakopoulou,et al.  Behaviour Analysis of Software Architectures , 1999, WICSA.

[18]  Frantisek Plasil,et al.  Behavior Protocols for Software Components , 2002, IEEE Trans. Software Eng..

[19]  Luca Padovani.  Contract-Based Discovery and Adaptation of Web Services , 2009, SFM.

[20]  Gwen Salaün,et al.  Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques , 2008, IEEE Transactions on Software Engineering.

[21]  Samik Basu,et al.  Deciding choreography realizability , 2012, POPL '12.

[22]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[23]  Wil M. P. van der Aalst,et al.  Service Interaction: Patterns, Formalization, and Analysis , 2009, SFM.

[24]  Daniel Brand,et al.  On Communicating Finite-State Machines , 1983, JACM.

[25]  Tevfik Bultan,et al.  Compatibility Checking for Asynchronously Communicating Software , 2013, FACS.

[26]  Rajeev Alur,et al.  A Temporal Logic of Nested Calls and Returns , 2004, TACAS.