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-01-01
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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
