Temporal Conformance of Federated Choreographies

Authors:
Johann Eder;Amirreza Tahamtan
Affiliations:
Dept. of Information Systems, Alpen-Adria University of Klagenfurt, Klagenfurt, Austria A-9020 and Dept. of Knowledge and Business Engineering, University of Vienna, Vienna, Austria A-1010;Dept. of Knowledge and Business Engineering, University of Vienna, Vienna, Austria A-1010
Venue:
DEXA '08 Proceedings of the 19th international conference on Database and Expert Systems Applications
Year:
2008

Citing 5
Cited 5

Time Constraints in Workflow Systems

CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
Timed Modelling and Analysis inWeb Service Compositions

ARES '06 Proceedings of the First International Conference on Availability, Reliability and Security
Representation, Verification, and Computation of Timed Properties in Web

ICWS '06 Proceedings of the IEEE International Conference on Web Services
Web Services Orchestration and Choreography

Computer
Choreographies as federations of choreographies and orchestrations

CoMoGIS'06 Proceedings of the 2006 international conference on Advances in Conceptual Modeling: theory and practice

Asynchronous Timed Web Service-Aware Choreography Analysis

CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Satisfaction and coherence of deadline constraints in inter-organizational workflows

OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
View driven inter-organisational workflows

International Journal of Intelligent Information and Database Systems
Conceptual modeling of flexible temporal workflows

ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Dynamic instance queuing in process-aware information systems

Proceedings of the 28th Annual ACM Symposium on Applied Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

Web service composition is a new way for implementing business processes. In particular, a choreography supports modeling and enactment of interorganizational business processes consisting of autonomous organizations. Temporal constraints are important quality criteria. We propose a technique for modeling temporal constraints in choreographies and orchestrations, checking whether the orchestrations satisfy the temporal constraints of a choreography and compute internal deadlines for the activities in an interorganizational workflow.