Timed Specification For Web Services Compatibility Analysis
Electronic Notes in Theoretical Computer Science (ENTCS)
Temporal Conformance of Federated Choreographies
DEXA '08 Proceedings of the 19th international conference on Database and Expert Systems Applications
Asynchronous Timed Web Service-Aware Choreography Analysis
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Analysis and applications of timed service protocols
ACM Transactions on Software Engineering and Methodology (TOSEM)
Synthesis of web services orchestrators in a timed setting
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Towards a quality model for choreography
ICSOC/ServiceWave'09 Proceedings of the 2009 international conference on Service-oriented computing
Using motivation and choreography to model distributed workflow
Proceedings of the 5th ACM SIGCHI Annual International Workshop on Behaviour Modelling - Foundations and Applications
From Implicit to Explicit Transitions in Business Protocols: A Semantic-Based Transformation
International Journal of Web Services Research
From Implicit to Explicit Transitions in Business Protocols: A Semantic-Based Transformation
International Journal of Web Services Research
Hi-index | 0.00 |
In this paper we present an approach for modelling and analyzing time-related properties 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 upon of this formalization, we provide techniques and tools for model checking BPEL4WS compositions against time-related requirements. We perform a preliminary experimental evaluation of our approach and tools with the help of the e- Government case study.