Abstract
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.
Chapter PDF
Similar content being viewed by others
Keywords
- 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.
References
Turner, G.: Service Creation. BT Technology Journal 13(2), 80–86 (1995)
Kazhamiakin, R., Pistore, M., Santuari, L.: Analysis of Communication Models in Web Service Compositions. In: Proc. International World Wide Web Conference (WWW) (2006)
Kazhamiakin, R., Pistore, M.: Static Verification of Control and Data in Web Service Compositions. In: Proc. International Conference on Web Services (ICWS) (2006)
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)
Parlay-X Group: 3GPP, Open Service Access (OSA) - Parlay X Web Services (Release 6)
OSA Parlay Group: 3GPP, Open Service Access (OSA) - Application Programming Interface (Release 6)
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)
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)
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)
Holzmann, G.J.: The Model Checker SPIN. Software Engineering 23(5), 279–295 (1997)
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)
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)
Fu, X., Bultan, T., Su, J.: Analysis of Interacting BPEL Web Services. In: Proc. International World Wide Web Conference (WWW) (2004)
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)
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)
Nakajima, S.: Model-Checking Verification for Reliable Web Wervice. In: Proc. OOPSLA Workshop on Object-Oriented Web Services (2002)
Ferrara, A.: Web Services: a Process Algebra Approach. In: Proc. of the International Conference on Service Oriented Computing (ICSOC), pp. 242–251 (2004)
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)
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)
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)
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)
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)
Benatallah, B., Casati, F., Ponge, J., Toumani, F.: On Temporal Abstractions of Web Service Protocols. In: Procs. of CAiSE Forum (2005)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bertoli, P., Ferrari, L., Kazhamiakin, R., Moiso, C., Pistore, M., Thuegaz, E. (2009). Design and Analysis of the Composed Telecom Services. In: Di Nitto, E., Ripeanu, M. (eds) Service-Oriented Computing - ICSOC 2007 Workshops. ICSOC 2007. Lecture Notes in Computer Science, vol 4907. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-93851-4_28
Download citation
DOI: https://doi.org/10.1007/978-3-540-93851-4_28
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-93850-7
Online ISBN: 978-3-540-93851-4
eBook Packages: Computer ScienceComputer Science (R0)