Handbook of theoretical computer science (vol. B)
Handbook of logic in computer science (vol. 2)
Algebraic Foundations of Systems Specification
Algebraic Foundations of Systems Specification
Computer
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Monitoring Web Service Requirements
RE '03 Proceedings of the 11th IEEE International Conference on Requirements Engineering
Analysis of interacting BPEL web services
Proceedings of the 13th international conference on World Wide Web
Precise Service Level Agreements
Proceedings of the 26th International Conference on Software Engineering
A Tool for Writing and Debugging Algebraic Specifications
Proceedings of the 26th International Conference on Software Engineering
A framework for requirents monitoring of service based systems
Proceedings of the 2nd international conference on Service oriented computing
Model variables: cleanly supporting abstraction in design by contract: Research Articles
Software—Practice & Experience
Towards aspect weaving applications
Proceedings of the 27th international conference on Software engineering
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
The monitorability of service-level agreements for application-service provision
WOSP '07 Proceedings of the 6th international workshop on Software and performance
Strategies for the Run-Time Testing of Third Party Web Services
SOCA '07 Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications
Checking the conformance of java classes against algebraic specifications
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Towards dynamic monitoring of WS-BPEL processes
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
An Approach to Monitor Scenario-Based Temporal Properties in Web Service Compositions
Advanced Web and NetworkTechnologies, and Applications
Lifelong verification of dynamic service compositions
Proceedings of the 2008 Foundations of Software Engineering Doctoral Symposium
An Integrated Approach for the Run-Time Monitoring of BPEL Orchestrations
ServiceWave '08 Proceedings of the 1st European Conference on Towards a Service-Based Internet
Dynamic set-up of monitoring infrastructures for service based systems
Proceedings of the 2010 ACM Symposium on Applied Computing
On-the-fly interoperability through automated mediator synthesis and monitoring
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
A monitoring approach for runtime service discovery
Automated Software Engineering
Advanced service monitoring configurations with SLA decomposition and selection
Proceedings of the 2011 ACM Symposium on Applied Computing
Service research challenges and solutions for the future internet
Runtime Monitoring of Contract Regulated Web Services
Fundamenta Informaticae
Monitoring service choreographies from multiple sources
SERENE'12 Proceedings of the 4th international conference on Software Engineering for Resilient Systems
| Hi-index | 0.00 |
The dynamic nature of web service compositions demands continuous monitoring of the quality of the provided service, as perceived by the client. We focus here on monitoring functionality of conversational services, whose behavior depends on the local state resulting from the client-service interaction. We propose a monitoring approach based on an algebraic specification language and we show how this can be integrated into a run-time monitoring architecture.