Run-Time Monitoring for Privacy-Agreement Compliance
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Temporal Conformance of Federated Choreographies
DEXA '08 Proceedings of the 19th international conference on Database and Expert Systems Applications
Timed Automata with Integer Resets: Language Inclusion and Expressiveness
FORMATS '08 Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems
Timed Properties-Aware Asynchronous Web Service Composition
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
Towards Correctness Assurance in Adaptive Service-Based Applications
ServiceWave '08 Proceedings of the 1st European Conference on Towards a Service-Based Internet
Design and Analysis of the Composed Telecom Services
Service-Oriented Computing - ICSOC 2007 Workshops
Composing Time-Aware Web Service Orchestrations
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Asynchronous Timed Web Service-Aware Choreography Analysis
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
WISE '09 Proceedings of the 10th International Conference on Web Information Systems Engineering
Exploiting assumption-based verification for the adaptation of service-based applications
Proceedings of the 2010 ACM Symposium on Applied Computing
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
Service research challenges and solutions for the future internet
Incremental service level agreements violation handling with time impact analysis
Journal of Systems and Software
A Formal Approach for the Validation of Web Service Orchestrations
International Journal of Web Portals
Hi-index | 0.00 |
In this paper we address the problem of qualitative and quantitative analysis of timing aspects of Web service compositions defined as a set of BPEL4WS processes. We introduce a formalism, called Web Service Timed State Transition Systems (WSTTS), to capture the timed behavior of the composite web services. We also exploit an interval temporal logic to express complex timed assumptions and requirements on the system's behavior. Building on top of this formalization, we provide techniques and tools for modelchecking BPEL4WS compositions against time-related requirements. We also present a symbolic algorithm that can be used to compute duration bounds of behavioral intervals that satisfy such requirements. We perform a preliminary experimental evaluation of our approach and tools with the help of an e-Government case study.