Towards run-time monitoring of web services conformance to business-level agreements

Authors:
Konstantinos Bratanis;Dimitris Dranidis;Anthony J. H. Simons
Affiliations:
South East European Research Centre, Research Centre of the University of Sheffield and CITY College, Thessaloniki, Greece;Computer Science Department, CITY College, International Faculty of the University of Sheffield, Thessaloniki, Greece;Department of Computer Science, University of Sheffield, Sheffield, UK
Venue:
TAIC PART'10 Proceedings of the 5th international academic and industrial conference on Testing - practice and research techniques
Year:
2010

Citing 16
Cited 1

Automata, Languages, and Machines

Automata, Languages, and Machines
Fulfilling the Web services promise

Communications of the ACM - E-services: a cornucopia of digital offerings ushers in the next Net-based evolution
A framework for requirents monitoring of service based systems

Proceedings of the 2nd international conference on Service oriented computing
Associating assertions with business processes and monitoring their execution

Proceedings of the 2nd international conference on Service oriented computing
Smart monitors for composed services

Proceedings of the 2nd international conference on Service oriented computing
A Runtime Monitoring and Validation Framework for Web Service Interactions

ASWEC '06 Proceedings of the Australian Software Engineering Conference
Run-Time Monitoring of Instances and Classes of Web Service Compositions

ICWS '06 Proceedings of the IEEE International Conference on Web Services
Runtime monitoring of web service conversations

CASCON '07 Proceedings of the 2007 conference of the center for advanced studies on Collaborative research
Letter to the Editor: Convergence of FEM with interpolated coefficients for semilinear hyperbolic equation

Journal of Computational and Applied Mathematics
A Framework for Verifying SLA Compliance in Composed Services

ICWS '08 Proceedings of the 2008 IEEE International Conference on Web Services
Verifying Consistency of Web Services Behavior

APSCC '08 Proceedings of the 2008 IEEE Asia-Pacific Services Computing Conference
Dynamo + Astro: An Integrated Approach for BPEL Monitoring

ICWS '09 Proceedings of the 2009 IEEE International Conference on Web Services
Runtime Monitoring of Web Service Conversations

IEEE Transactions on Services Computing
Run-time Verification of Behavioural Conformance for Conversational Web Services

ECOWS '09 Proceedings of the 2009 Seventh IEEE European Conference on Web Services
Specifying and Monitoring Temporal Properties in Web Services Compositions

ECOWS '09 Proceedings of the 2009 Seventh IEEE European Conference on Web Services
Modeling Service Level Agreements with Binary Decision Diagrams

ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing

Runtime verification of service-oriented systems: a well-rounded survey

International Journal of Web and Grid Services

Quantified Score

Hi-index	0.01

Visualization

Abstract

Web service behaviour is currently specified in a mixture of ways, often using methods that are only partially complete. These range from static functional specifications, based on interfaces in WSDL and preconditions in RIF, to business process simulations using executable process-based models such as BPEL, to detailed quality of service (QoS) agreements laid down in a service level agreement (SLA).This paper recognises that something similar to a SLA is required at the higher business level to govern the contract between service producers, brokers and consumers. We call this a business level agreement (BLA) and within this framework, seek to unify disparate aspects of functional specification, QoS and runtime verification. We propose that the method for validating a web service with respect to its advertised BLA should be based on run-time service monitoring. This is a position paper towards defining these goals.