Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Obligation Monitoring in Policy Management
POLICY '02 Proceedings of the 3rd International Workshop on Policies for Distributed Systems and Networks (POLICY'02)
Precise Service Level Agreements
Proceedings of the 26th International Conference on Software Engineering
An Audit Logic for Accountability
POLICY '05 Proceedings of the Sixth IEEE International Workshop on Policies for Distributed Systems and Networks
Service offerings for xml web services and their management applications
Service offerings for xml web services and their management applications
Specifications, not meta-models
Proceedings of the 2006 international workshop on Global integrated model management
Monitoring conversational web services
2nd international workshop on Service oriented software engineering: in conjunction with the 6th ESEC/FSE joint meeting
An obligation model bridging access control policies and privacy policies
Proceedings of the 13th ACM symposium on Access control models and technologies
Proceedings of the 3rd international workshop on Services integration in pervasive environments
Model-Based Generation of Testbeds for Web Services
TestCom '08 / FATES '08 Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop
Efficient online monitoring of web-service SLAs
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Managing Non-Functional Properties of Inter-enterprise Business Service Delivery
Service-Oriented Computing - ICSOC 2007 Workshops
The PLASTIC Framework and Tools for Testing Service-Oriented Applications
Software Engineering
Trustworthy Log Reconciliation for Distributed Virtual Organisations
Trust '09 Proceedings of the 2nd International Conference on Trusted Computing
On the Feasibility of Bilaterally Agreed Accounting of Resource Consumption
Service-Oriented Computing --- ICSOC 2008 Workshops
Monitoring probabilistic properties
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
IM'09 Proceedings of the 11th IFIP/IEEE international conference on Symposium on Integrated Network Management
Liability in software engineering: overview of the LISE approach and illustration on a case study
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
The reservoir model and architecture for open federated cloud computing
IBM Journal of Research and Development
Liability issues in software engineering: the use of formal methods to reduce legal uncertainties
Communications of the ACM
A new monitor model for enhancing trust-based systems
ATC'10 Proceedings of the 7th international conference on Autonomic and trusted computing
An effective sequential statistical test for probabilistic monitoring
Information and Software Technology
SMaRT: a workbench for reporting the monitorability of services from SLAs
Proceedings of the 3rd International Workshop on Principles of Engineering Service-Oriented Systems
Simulation based validation of quantitative requirements in service oriented architectures
Winter Simulation Conference
A WS-Agreement-Based QoS Auditor Negotiation Mechanism for Grids
GRID '11 Proceedings of the 2011 IEEE/ACM 12th International Conference on Grid Computing
Statistical detection of QoS violations based on CUSUM control charts
ICPE '12 Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering
Runtime verification of service-oriented systems: a well-rounded survey
International Journal of Web and Grid Services
Hi-index | 0.02 |
Service-Level Agreements (SLAs) mitigate the risks of a service-provision scenario by associating financial penalties with aberrant service behaviour. SLAs are useless if their provisions can be unilaterally ignored by a party without incurring any liability. To avoid this, it is necessary to ensure that each party's conformance to its obligations can be monitored by the other parties. We introduce a technique for analysing systems of SLAs to determine the degree of monitorability possible. We apply this technique to identify the most monitorable system of SLAs including timeliness constraints for a three-role Application-Service Provision (ASP) scenario. The system contains SLAs that are at best mutually monitorable, implying the requirement for reconciliation of monitoring data between the parties, and hence the need to constrain the parties to report honestly while accommodating unavoidable measurement error. We describe the design of a fair constraint on the precision and accuracy of reported measurements, and its approximate monitorability using a statistical hypothesis test.