Design and Analysis of the Composed Telecom Services

  • Piergiorgio Bertoli
  • Laura Ferrari
  • Raman Kazhamiakin
  • Corrado Moiso
  • Marco Pistore
  • Ermes Thuegaz
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4907)


Telecommunication (TelCo) is a key applicative area where adopting the web service paradigm has an enormous potential to facilitate the development process of powerful, complex functionalities on top of existing ones. At the same time, the specific features of TelCo applications pose difficult challenges to the adoption of standard languages and tools for web services. For instance, they need to cope with asynchronous communications, driven by heterogeneous events, and to handle concurrent, long-running transactions, involving the interaction of dynamically evolving sets of partners.

The contribution of this paper is twofold. First, based on our analysis of current TelCo standards, and referring to a real-life case study, we identify and discuss a restricted set of orchestration patterns, and show how these can be modeled using the de-facto standard language for web services, ws-bpel. Then, we confront with the crucial issue of guaranteeing the correctness of such models, providing an automated support for the formal verification of their behavior, based on specific and advanced model-checking techniques. Our tests on the reference scenario witness the effectiveness of the approach, and identify its limits.


Service Composition Domain Name Server Asynchronous Interaction Open Service Access Multimedia Conference 
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.
    Turner, G.: Service Creation. BT Technology Journal 13(2), 80–86 (1995)Google Scholar
  2. 2.
    Kazhamiakin, R., Pistore, M., Santuari, L.: Analysis of Communication Models in Web Service Compositions. In: Proc. International World Wide Web Conference (WWW) (2006)Google Scholar
  3. 3.
    Kazhamiakin, R., Pistore, M.: Static Verification of Control and Data in Web Service Compositions. In: Proc. International Conference on Web Services (ICWS) (2006)Google Scholar
  4. 4.
    Kazhamiakin, R., Pandya, P.K., Pistore, M.: Representation, Verification, and Computation of Timed Properties in Web Service Compositions. In: Proc. International Conference on Web Services (ICWS) (2006)Google Scholar
  5. 5.
    Parlay-X Group: 3GPP, Open Service Access (OSA) - Parlay X Web Services (Release 6)Google Scholar
  6. 6.
    OSA Parlay Group: 3GPP, Open Service Access (OSA) - Application Programming Interface (Release 6)Google Scholar
  7. 7.
    Barros, A., Dumas, M., ter Hofstede, A.H.M.: Service interaction patterns. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol. 3649, pp. 302–318. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  8. 8.
    Fu, X., Bultan, T., Su, J.: Formal verification of e-services and workflows. In: Bussler, C.J., McIlraith, S.A., Orlowska, M.E., Pernici, B., Yang, J. (eds.) CAiSE 2002 and WES 2002. LNCS, vol. 2512, pp. 188–202. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  9. 9.
    Cimatti, A., Clarke, E.M., Giunchiglia, F., Roveri, M.: NuSMV: a New Symbolic Model Checker. Int. Journal on Software Tools for Technology Transfer (STTT) 2(4) (2000)Google Scholar
  10. 10.
    Holzmann, G.J.: The Model Checker SPIN. Software Engineering 23(5), 279–295 (1997)CrossRefGoogle Scholar
  11. 11.
    Emerson, E.A.: Temporal and Modal Logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics. Elsevier, Amsterdam (1990)Google Scholar
  12. 12.
    Peled, D.: Combining Partal Order Reductions with On-the-fly Model Checking. In: Dill, D.L. (ed.) CAV 1994. LNCS, vol. 818. Springer, Heidelberg (1994)CrossRefGoogle Scholar
  13. 13.
    Fu, X., Bultan, T., Su, J.: Analysis of Interacting BPEL Web Services. In: Proc. International World Wide Web Conference (WWW) (2004)Google Scholar
  14. 14.
    Foster, H., Uchitel, S., Magee, J., Kramer, J.: Model-based verification of web service compositions. In: Proc. International Conference on Automated Software Engineering (ASE) (2003)Google Scholar
  15. 15.
    Wohed, P., van der Aalst, W.M.P., Dumas, M., ter Hofstede, A.H.M.: Analysis of web services composition languages: The case of BPEL4WS. In: Song, I.-Y., Liddle, S.W., Ling, T.-W., Scheuermann, P. (eds.) ER 2003. LNCS, vol. 2813, pp. 200–215. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  16. 16.
    Nakajima, S.: Model-Checking Verification for Reliable Web Wervice. In: Proc. OOPSLA Workshop on Object-Oriented Web Services (2002)Google Scholar
  17. 17.
    Ferrara, A.: Web Services: a Process Algebra Approach. In: Proc. of the International Conference on Service Oriented Computing (ICSOC), pp. 242–251 (2004)Google Scholar
  18. 18.
    Boreale, M., Bruni, R., Caires, L., De Nicola, R., Lanese, I., Loreti, M., Martins, F., Montanari, U., Ravara, A., Sangiorgi, D., Vasconcelos, V., Zavattaro, G.: SCC: A Service Centered Calculus. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 38–57. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  19. 19.
    Schmidt, K., Stahl, C.: A petri net semantic for BPEL4WS – validation and application. In: Proceedings of the 11th Workshop on Algorithms and Tools for Petri Nets, pp. 1–6 (2004)Google Scholar
  20. 20.
    Zhang, J., Chung, J.Y., Chang, C.K., Kim, S.W.: WS-Net: A Petri-net Based Specification Model for Web Services. In: Proc. of the International Conference on Web Services (2004)Google Scholar
  21. 21.
    Fu, X., Bultan, T., Su, J.: Conversation protocols: A formalism for specification and verification of reactive electronic services. In: H. Ibarra, O., Dang, Z. (eds.) CIAA 2003. LNCS, vol. 2759, pp. 188–200. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  22. 22.
    Díaz, G., Pardo, J.J., Cambronero, M., Valero, V., Cuartero, F.: Automatic Translation of WS-CDL Choreographies to Timed Automata. In: Proc. International Workshop on Web Services and Formal Methods (WS-FM) (2005)Google Scholar
  23. 23.
    Benatallah, B., Casati, F., Ponge, J., Toumani, F.: On Temporal Abstractions of Web Service Protocols. In: Procs. of CAiSE Forum (2005)Google Scholar
  24. 24.
    Deutsch, A., Sui, L., Vianu, V.: Specification and Verification of Data-driven Web Services. In: PODS 2004: Proceedings of the 23rd ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pp. 71–82 (2004)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Piergiorgio Bertoli
    • 1
  • Laura Ferrari
    • 2
  • Raman Kazhamiakin
    • 1
  • Corrado Moiso
    • 2
  • Marco Pistore
    • 2
  • Ermes Thuegaz
    • 2
  1. 1.FBK-IrstTrentoItaly
  2. 2.Telecom ItaliaTorinoItaly

Personalised recommendations