Timing Failures Detection in Web Services



Current business critical environments increasingly rely on SOA standards to execute business operations. These operations are frequently based on web service compositions that use several web services over the internet and have to fulfill specific timing constraints. In these environments, an operation that does not con-clude in due time may have a high cost as it can easily turn into service abandonment with financial and pres-tige losses to the service provider. In fact, at certain points, carrying on with the execution of an operation may be useless as a timely response will be impossible to obtain. This paper proposes a time-aware pro-gramming model for web services that provides trans-parent timing failure detection. The paper illustrates the proposed model using a set of services specified by the TPC-App performance benchmark.


web services, timing failures


Web Services


IEEE Asia-Pacific Services Computing Conference (APSCC 2008), December 2008

Cited by

Year 2012 : 1 citations

 Araceli Acosta, Cecilia Kilmurray, Pablo Castro, Nazareno Aguirre, “Model Checking Propositional Deontic Temporal Logic via a ?-Calculus Characterization”, Formal Methods: Foundations and Applications, ed. Rohit Gheyi and David Naumann, 2012.