Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques

  • Radu Mateescu
  • Pascal Poizat
  • Gwen Salaün
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5364)


Software Adaptation is a hot topic in Software Engineering since it is the only way to compose non-intrusively black-box components or services with mismatching interfaces. However, adaptation is a complex issue especially when behavioral descriptions of services are considered. This paper presents optimised techniques to generate adaptor protocols, being given a set of service interfaces involved in a composition and an adaptation contract. In this work, interfaces are described using a signature, and a protocol that takes value passing into account. Our proposal is completely supported by tools that automate the generation and the verification of the adaptor protocols. Last, we show how our adaptation techniques are implemented into BPEL.


Service Composition Service Interface Vector Process Adaptor Generation Propositional Dynamic Logic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Arnold, A.: Finite Transition Systems. International Series in Computer Science. Prentice-Hall, Englewood Cliffs (1994)Google Scholar
  2. 2.
    Autili, M., Inverardi, P., Navarra, A., Tivoli, M.: SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-based Systems. In: Proc. of ICSE 2007, pp. 784–787. IEEE Computer Society, Los Alamitos (2007)Google Scholar
  3. 3.
    Becker, S., Brogi, A., Gorton, I., Overhage, S., Romanovsky, A., Tivoli, M.: Towards an Engineering Approach to Component Adaptation. In: Reussner, R., Stafford, J.A., Szyperski, C. (eds.) Architecting Systems with Trustworthy Components. LNCS, vol. 3938, pp. 193–215. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  4. 4.
    Bracciali, A., Brogi, A., Canal, C.: A Formal Approach to Component Adaptation. Journal of Systems and Software 74(1), 45–54 (2005)CrossRefGoogle Scholar
  5. 5.
    Brogi, A., Popescu, R.: Automated Generation of BPEL Adapters. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol. 4294, pp. 27–39. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  6. 6.
    Canal, C., Poizat, P., Salaün, G.: Model-Based Adaptation of Behavioural Mismatching Components. IEEE Transactions on Software Engineering 34(4), 546–563 (2008)CrossRefGoogle Scholar
  7. 7.
    Dumas, M., Wang, K.W.S., Spork, M.L.: Adapt or Perish: Algebra and Visual Notation for Service Interface Adaptation. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol. 4102, pp. 65–80. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  8. 8.
    Fischer, M.J., Ladner, R.E.: Propositional Dynamic Logic of Regular Programs. Journal of Computer and System Sciences 18(2), 194–211 (1979)MathSciNetCrossRefzbMATHGoogle Scholar
  9. 9.
    Foster, H., Uchitel, S., Kramer, J.: LTSA-WS: A Tool for Model-based Verification of Web Service Compositions and Choreography. In: Proc. of ICSE 2006, pp. 771–774. ACM Press, New York (2006)Google Scholar
  10. 10.
    Fu, X., Bultan, T., Su, J.: Analysis of Interacting BPEL Web Services. In: Proc. of WWW 2004, pp. 621–630. ACM Press, New York (2004)Google Scholar
  11. 11.
    Garavel, H.: Open/Cæsar: An Open Software Architecture for Verification, Simulation, and Testing. In: Steffen, B. (ed.) TACAS 1998. LNCS, vol. 1384, pp. 68–84. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  12. 12.
    Garavel, H., Lang, F.: SVL: a Scripting Language for Compositional Verification. In: Proc. of FORTE 2001, IFIP, pp. 377–392. Kluwer Academic, Dordrecht (2001)Google Scholar
  13. 13.
    Garavel, H., Mateescu, R., Lang, F., Serwe, W.: CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol. 4590, pp. 158–163. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  14. 14.
    ISO/IEC. LOTOS — A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. International Standard 8807, ISO (1989)Google Scholar
  15. 15.
    Mateescu, R.: On-the-fly State Space Reductions for Weak Equivalences. In: Proc. of FMICS 2005, pp. 80–89. ACM Computer Society Press, New York (2005)Google Scholar
  16. 16.
    Mateescu, R.: CAESAR_SOLVE: A Generic Library for On-the-Fly Resolution of Alternation-Free Boolean Equation Systems. STTT Journal 8(1), 37–56 (2006)CrossRefGoogle Scholar
  17. 17.
    Mateescu, R., Poizat, P., Salaün, G.: Behavioral Adaptation of Component Compositions based on Process Algebra Encodings. In: Proc. of ASE 2007, pp. 385–388. IEEE Computer Society, Los Alamitos (2007)Google Scholar
  18. 18.
    Mateescu, R., Sighireanu, M.: Efficient On-the-Fly Model-Checking for Regular Alternation-Free Mu-Calculus. Science of Computer Programming 46(3), 255–281 (2003)MathSciNetCrossRefzbMATHGoogle Scholar
  19. 19.
    Moser, O., Rosenberg, F., Dustdar, S.: Non-Intrusive Monitoring and Adaptation for WS-BPEL. In: Proc. of WWW 2008, pp. 815–824 (2008)Google Scholar
  20. 20.
    Motahari-Nezhad, H.R., Benatallah, B., Martens, A., Curbera, F., Casati, F.: Semi-Automated Adaptation of Service Interactions. In: Proc. of WWW 2007, pp. 993–1002 (2007)Google Scholar
  21. 21.
    Salaün, G., Bordeaux, L., Schaerf, M.: Describing and Reasoning on Web Services using Process Algebra. International Journal of Business Process Integration and Management 1(2), 116–128 (2006)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Radu Mateescu
    • 1
  • Pascal Poizat
    • 2
    • 3
  • Gwen Salaün
    • 4
  1. 1.INRIA/VASY project-team, aile de l’Ingénieur, bât. LE2I, DijonFrance
  2. 2.INRIA/ARLES project-teamFrance
  3. 3.IBISC FRE 3910 CNRSUniversité d’Évry Val d’EssonneFrance
  4. 4.University of MálagaSpain

Personalised recommendations