Behavior Based Service Composition

  • Fangzhe Chang
  • Pavithra Prabhakar
  • Ramesh Viswanathan
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7176)


To enable flexible leveraging of the growing plethora of available web services, service clients should be automatically composed based on required behavior. In this paper, we present a foundational framework for behavior based composition. Services advertise their behavior as labeled transition systems with the action labels corresponding to their externally invocable operations. Query logics are defined in a simple extension of μ-calculus with modalities in which variables are allowed to occur. Query logics specify the desired behavior of the composition with the variables standing for the programs that need to be synthesized. We define a special subclass of programs, called deterministic and crash-free, which behave deterministically (even if the services used are non-deterministic) with all program steps successfully executing in whichever state the services may be in during entire execution. We present an algorithm that synthesises deterministic and crash-free programs whenever there exists such a solution. Since the μ-calculus is the most expressive logic for regular properties, our results yield a complete solution to the automatic composition problem for regular behavioral properties.


Transition Relation Label Transition System Discrete Event System Query Logic Synthesis Algorithm 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    OASIS Standard Web Services Business Process Execution Language Version 2.0 (April 2007),
  2. 2.
    Arnold, A., Vincent, A., Walukiewicz, I.: Games for synthesis of controllers with partial observation. Theoretical Computer Science 303(1), 7–34 (2003)MathSciNetzbMATHCrossRefGoogle Scholar
  3. 3.
    Aydin, O., Cicekli, N.K., Cicekli, I.: Automated Web Services Composition with the Event Calculus. In: Artikis, A., O’Hare, G.M.P., Stathis, K., Vouros, G.A. (eds.) ESAW 2007. LNCS (LNAI), vol. 4995, pp. 142–157. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  4. 4.
    Backhouse, R.: Galois Connections and Fixed Point Calculus. In: Blackhouse, R., Crole, R., Gibbons, J. (eds.) Algebraic and Coalgebraic Methods in the Mathematics of Program Construction. LNCS, vol. 2297, pp. 89–150. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  5. 5.
    Berardi, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Mecella, M.: Automatic Composition of E-services That Export Their Behavior. In: Orlowska, M.E., Weerawarana, S., Papazoglou, M.P., Yang, J. (eds.) ICSOC 2003. LNCS, vol. 2910, pp. 43–58. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  6. 6.
    Berardi, D., Mecella, M., Calvanese, D.: Composing web services with nondeterministic behavior. In: IEEE International Conference on Web Services, ICWS 2006 (2006)Google Scholar
  7. 7.
    Bradfield, J., Stirling, C.: Modal mu-calculi. In: Handbook of Modal Logic, pp. 721–756. Elsevier (2007)Google Scholar
  8. 8.
    Casati, F., Ilnicki, S., Jin, L.-J., Krishnamoorthy, V., Shan, M.-C.: eFlow: A platform for developing and managing composite e-services. In: Proc. of the Academia/Industry Working Conference on Research Challenges (AIWORC 2000), Washington, DC, USA (2000)Google Scholar
  9. 9.
    Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: Web services description language (WSDL) 1.1 (2001),
  10. 10.
    De Giacomo, G., Sardina, S.: Automatic synthesis of new behaviors from a library of available behaviors. In: Proc. of IJCAI 2007, pp. 1866–1871 (2007)Google Scholar
  11. 11.
    Fielding, R.: Architectural Styles and the Design of Network-based Software Architectures. PhD thesis, University of California, Irvine (2000),
  12. 12.
    Fielding, R., Taylor, R.N.: Principled design of the modern web architecture. In: Proc. of 22nd International Conference on Software Engineering (ICSE), Limerick, Ireland (2000)Google Scholar
  13. 13.
    Hadley, M.: Web application description language (WADL). TR-2006-153 (April 2006),
  14. 14.
    Jiang, S., Kumar, R.: Supervisory control of discrete event systems with CTL* temporal logic specifications. SIAM J. Control Optim. 44(6), 2079–2103 (2006)MathSciNetzbMATHCrossRefGoogle Scholar
  15. 15.
    Kozen, D., Tiuryn, J.: Logics of programs. In: Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B), pp. 789–840 (1990)Google Scholar
  16. 16.
    Kumar, R., Garg, V.K.: Modeling and Control of Logical Discrete Event Systems. Kluwer Academic Publishers, Norwell (1999)Google Scholar
  17. 17.
    Kupferman, O., Madhusudan, P., Thiagarajan, P.S., Vardi, M.Y.: Open Systems in Reactive Environments: Control and Synthesis. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol. 1877, pp. 92–107. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  18. 18.
    Levesque, H.J., Reiter, R., Lesperance, Y., Lin, F., Scherl, R.B.: GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming 31(1-3) (1997)Google Scholar
  19. 19.
    Mcilraith, S., Son, T.C.: Adapting Golog for composition of semantic Web services. In: Proc. of International Conference on Principles of Knowledge Representation and Reasoning, KR 2002 (2002)Google Scholar
  20. 20.
    Nanz, S., Tolstrup, T.K.: Goal-Oriented Composition of Services. In: Pautasso, C., Tanter, É. (eds.) SC 2008. LNCS, vol. 4954, pp. 109–124. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  21. 21.
    Pathak, J., Basu, S., Lutz, R., Honavar, V.: Selecting and composing web services through iterative reformulation of functional specifications. In: Proc. of 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2006), Washington, DC, USA (2006)Google Scholar
  22. 22.
    Ramadge, P.J.G., Wonham, W.M.: The control of discrete event systems. Proceedings of the IEEE 77 (1989)Google Scholar
  23. 23.
    Rao, J., Küngas, P., Matskin, M.: Composition of semantic web services using linear logic theorem proving. Information Systems 31(4-5), 340–360 (2006)CrossRefGoogle Scholar
  24. 24.
    Roman, D., Keller, U., Lausen, H., de Bruijn, J., Lara, R., Stollberg, M., Polleres, A., Feier, C., Bussler, C., Fensel, D.: Web service modeling ontology. Applied Ontology 1(1), 77–106 (2005)Google Scholar
  25. 25.
    Sardina, S., Patrizi, F., De Giacomo, G.: Automatic synthesis of a global behavior from multiple distributed behaviors. In: AAAI 2007: Proceedings of the 22nd National Conference on Artificial Intelligence, pp. 1063–1069. AAAI Press (2007)Google Scholar
  26. 26.
    Sycara, K., Paolucci, M., Ankolekar, A., Srinivasan, N.: Automated discovery, interaction and composition of semantic web services. Journal of Web Semantics 1(1), 27–46 (2003)CrossRefGoogle Scholar
  27. 27.
    W3C Recommendation. SOAP version 1.2 (April 2007),
  28. 28.
    Wu, D., Sirin, E., Hendler, J.A., Nau, D.S., Parsia, B.: Automatic web services composition using shop2. In: Proc. of World Wide Web Conference (2003)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Fangzhe Chang
    • 1
  • Pavithra Prabhakar
    • 2
  • Ramesh Viswanathan
    • 1
  1. 1.Bell Laboratories, Alcatel-LucentUSA
  2. 2.University of Illinois at Urbana-ChampaignUSA

Personalised recommendations