Real-time web services orchestration and choreography

Authors:
Kawtar Benghazi;Manuel Noguera;Carlos Rodríguez-Domínguez;Ana Belén Pelegrina;José Luis Garrido
Affiliations:
University of Granada, Granada, Spain;University of Granada, Granada, Spain;University of Granada, Granada, Spain;University of Granada, Granada, Spain;University of Granada, Granada, Spain
Venue:
Proceedings of the 6th International Workshop on Enterprise & Organizational Modeling and Simulation
Year:
2010

Citing 12
Cited 1

An operational semantics for timed CSP

Information and Computation
Communicating sequential processes

Communications of the ACM
The Theory and Practice of Concurrency

The Theory and Practice of Concurrency
Concurrent and Real Time Systems: The CSP Approach

Concurrent and Real Time Systems: The CSP Approach
Describing and Reasoning on Web Services using Process Algebra

ICWS '04 Proceedings of the IEEE International Conference on Web Services
Using UML Diagrams to Model Real-Time Web Services

ICIW '07 Proceedings of the Second International Conference on Internet and Web Applications and Services
CSP-Based Verification for Web Service Orchestration and Choreography

Simulation
UML Based Modeling of Web Service Composition - A Survey

SERA '08 Proceedings of the 2008 Sixth International Conference on Software Engineering Research, Management and Applications
Formalizing WSBPEL Business Processes Using Process Algebra

Electronic Notes in Theoretical Computer Science (ENTCS)
Soundness verification of business processes specified in the Pi-calculus

OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
A reasoning method for timed CSP based on constraint solving

ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Analyzing web service based business processes

FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering

Designing the software support for partially virtual communities

CRIWG'12 Proceedings of the 18th international conference on Collaboration and Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

Real-Time issues are not usually considered when describing and composing web services. However, modern web services are usually involved in the software implementation of time-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.