Telecommunication is a key area where the use of web services has an enormous potential to facilitate the development of powerful and complex functionalities on top of existing ones. At the same time, the specic features of TelCo applications (asynchronous, event-driven communications, handling concurrent, long-running transactions, dynamically evolving sets of partners) pose difcult challenges to the adoption of standard languages and tools for web services. In this work, based on our analysis of TelCo standards and applications, we discuss a set of orchestration patterns, and show how these can be modeled using the WS-BPEL language. We also address the issue of guaranteeing the correctness of such applications, providing an automated support for the formal analysis of their behavior.

Design and Verification of Web Services Compositions in the Telecommunication Domain

Bertoli, Piergiorgio;Kazhamiakin, Raman;Pistore, Marco;
2007

Abstract

Telecommunication is a key area where the use of web services has an enormous potential to facilitate the development of powerful and complex functionalities on top of existing ones. At the same time, the specic features of TelCo applications (asynchronous, event-driven communications, handling concurrent, long-running transactions, dynamically evolving sets of partners) pose difcult challenges to the adoption of standard languages and tools for web services. In this work, based on our analysis of TelCo standards and applications, we discuss a set of orchestration patterns, and show how these can be modeled using the WS-BPEL language. We also address the issue of guaranteeing the correctness of such applications, providing an automated support for the formal analysis of their behavior.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11582/11568
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
social impact