Compiling complex database transition triggers
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Model-checking in dense real-time
Information and Computation - Special issue: selections from 1990 IEEE symposium on logic in computer science
Theoretical Computer Science
Automatic monitoring of software requirements
ICSE '97 Proceedings of the 19th international conference on Software engineering
Property specification patterns for finite-state verification
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
IEEE Transactions on Software Engineering
xlinkit: a consistency checking and smart link generation service
ACM Transactions on Internet Technology (TOIT)
Synthesizing Monitors for Safety Properties
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Requirements monitoring in dynamic environments
RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
Monitoring Web Service Requirements
RE '03 Proceedings of the 11th IEEE International Conference on Requirements Engineering
Precise Service Level Agreements
Proceedings of the 26th International Conference on Software Engineering
B2B integration over the Internet with XML: RosettaNet successes and challenges
Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters
A framework for requirents monitoring of service based systems
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
Issues in distributed timed model checking: Building Zeus
International Journal on Software Tools for Technology Transfer (STTT) - Special section on parallel and distributed model checking
Real-time specification patterns
Proceedings of the 27th international conference on Software engineering
Specifications, not meta-models
Proceedings of the 2006 international workshop on Global integrated model management
The monitorability of service-level agreements for application-service provision
WOSP '07 Proceedings of the 6th international workshop on Software and performance
SLA-Driven Clustering of QoS-Aware Application Servers
IEEE Transactions on Software Engineering
Artificial intelligence today
Verification of computation orchestration via timed automata
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions
Advances in Software Engineering
Lifelong verification of dynamic service compositions
Proceedings of the 2008 Foundations of Software Engineering Doctoral Symposium
Context-Aware Adaptive Services: The PLASTIC Approach
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Model evolution by run-time parameter adaptation
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
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
Comprehensive QoS monitoring of Web services and event-based SLA violation detection
Proceedings of the 4th International Workshop on Middleware for Service Oriented Computing
Connectedness testing of RESTful web-services
Proceedings of the 3rd India software engineering conference
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
Improving impact of self-adaptation and self-management research through evaluation methodology
Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems
Dynamically adaptive systems through automated model evolution using service compositions
SC'10 Proceedings of the 9th international conference on Software composition
Performance aware reconfiguration of software systems
EPEW'10 Proceedings of the 7th European performance engineering conference on Computer performance engineering
Improving the trustworthiness of service QoS information in service-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
Using observation ageing to improve markovian model learning in QoS engineering
Proceedings of the 2nd ACM/SPEC International Conference on Performance engineering
GLIMPSE: a generic and flexible monitoring infrastructure
EWDC '11 Proceedings of the 13th European Workshop on Dependable Computing
SMaRT: a workbench for reporting the monitorability of services from SLAs
Proceedings of the 3rd International Workshop on Principles of Engineering Service-Oriented Systems
Passive testing of web services
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
Simulation based validation of quantitative requirements in service oriented architectures
Winter Simulation Conference
Access policy compliance testing in a user centric trust service infrastructure
Proceedings of the International Workshop on Quality Assurance for Service-Based Applications
Runtime support for dynamic and adaptive service composition
Rigorous software engineering for service-oriented systems
A WS-Agreement-Based QoS Auditor Negotiation Mechanism for Grids
GRID '11 Proceedings of the 2011 IEEE/ACM 12th International Conference on Grid Computing
WSCMon: runtime monitoring of web service orchestration based on refinement checking
Service Oriented Computing and Applications
Statistical detection of QoS violations based on CUSUM control charts
ICPE '12 Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering
On-Line monitoring of service-level agreements in the grid
Euro-Par'11 Proceedings of the 2011 international conference on Parallel Processing - Volume 2
QoS-aware automatic service composition: a graph view
Journal of Computer Science and Technology - Special issue on Community Analysis and Information Recommendation
Specification patterns from research to industry: a case study in service-based applications
Proceedings of the 34th International Conference on Software Engineering
Defining an SLA-Aware method to test service-oriented systems
ICSOC'11 Proceedings of the 2011 international conference on Service-Oriented Computing
Proceedings of the 10th International Conference on Advances in Mobile Computing & Multimedia
Runtime verification of service-oriented systems: a well-rounded survey
International Journal of Web and Grid Services
Hi-index | 0.00 |
If an organization depends on the service quality provided by another organization it often enters into a bilateral service level agreement (SLA), which mitigates outsourcing risks by associating penalty payments with poor service quality. Once these agreements are entered into, it becomes necessary to monitor their conditions, which will commonly relate to timeliness, reliability and request throughput, at run-time. We show how these conditions can be translated into timed automata. Acceptance of a timed word by a timed automaton can be decided in quadratic time and because the timed automata can operate while messages are exchanged at run-time there is effectively only a linear run-time overhead. We present an implementation to derive on-line monitors for web services automatically from SLAs using an Eclipse plugin. We evaluate the efficiency and scalability of this approach using a large-scale case study in a service-oriented computational grid.