Real-time web services orchestration and choreography
Kawtar Benghazi, Manuel Noguera, Carlos Rodríguez-Domínguez, Ana Belén Pelegrina, José Luis García Garrido · 2010
Abstract. Real-Time issues are not usually considered when describing and composing web services. However, modern web services are usually involvedinthe software implementation oftime-constrained business processes [1]. The satisfaction of time constraints is crucial in order to ensure the validity of systems where the response to a certain stimulation has to take place in a shortened period of time. Thus, the service composition problem becomes more complex, since time restrictions should be taken into account both in the choreography and orchestration processes in order to establish the temporal consistency of the web services. In this paper, we present a formal approach for real-time service orchestration and choreography. In this regard, we use UML-RT as a visual and user-friendly notation in order to model services and their interactions, Timed CSP as an underlying formal grounding to enable services verification and WS-BPEL as an execution language. Key words: Timed-web services, web-services composition 1