Reliable QoS monitoring based on client feedback
Proceedings of the 16th international conference on World Wide Web
Monitoring conversational web services
2nd international workshop on Service oriented software engineering: in conjunction with the 6th ESEC/FSE joint meeting
Monitoring the monitor: an approach towards trustworthiness in service oriented architecture
2nd international workshop on Service oriented software engineering: in conjunction with the 6th ESEC/FSE joint meeting
Towards a methodology for lifelong validation of service compositions
Proceedings of the 2nd international workshop on Systems development in SOA environments
Commitment Monitoring in a Multiagent System
CEEMAS '07 Proceedings of the 5th international Central and Eastern European conference on Multi-Agent Systems and Applications V
Run-Time Monitoring for Privacy-Agreement Compliance
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
An Approach to Monitor Scenario-Based Temporal Properties in Web Service Compositions
Advanced Web and NetworkTechnologies, and Applications
XML Methods for Validation of Temporal Properties on Message Traces with Data
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
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
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
Towards Correctness Assurance in Adaptive Service-Based Applications
ServiceWave '08 Proceedings of the 1st European Conference on Towards a Service-Based Internet
A Framework for Proactive Self-adaptation of Service-Based Applications Based on Online Testing
ServiceWave '08 Proceedings of the 1st European Conference on Towards a Service-Based Internet
Green Computing: Energy Consumption Optimized Service Hosting
SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science
Development Support for Specifying and Monitoring Goals of Open Business Processes
SOCCER '08 Proceedings of the 2008 International Workshop on Service-Oriented Computing Consequences for Engineering Requirements
Automatic web service composition with abstraction and refinement
Proceedings of the 18th international conference on World wide web
Runtime monitoring of web service choreographies using streaming XML
Proceedings of the 2009 ACM symposium on Applied Computing
Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services
ESOP '09 Proceedings of the 18th European Symposium on Programming Languages and Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
A framework for QoS-based Web service contracting
ACM Transactions on the Web (TWEB)
Browser-Based Enforcement of Interface Contracts in Web Applications with BeepBeep
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Towards self-healing web services composition
Proceedings of the First Asia-Pacific Symposium on Internetware
Non-functional data collection for adaptive business processes and decision making
Proceedings of the 4th International Workshop on Middleware for Service Oriented Computing
Efficient abstraction and refinement for behavioral description based web service composition
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
An Integrated Declarative Approach to Web Services Composition and Monitoring
WISE '09 Proceedings of the 10th International Conference on Web Information Systems Engineering
Contract Observation in Web Services Environments
SOCASE '09 Proceedings of the AAMAS 2009 International Workshop on Service-Oriented Computing: Agents, Semantics, and Engineering
Generating Interface Grammars from WSDL for Automated Verification of Web Services
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
Monitoring and analyzing influential factors of business process performance
EDOC'09 Proceedings of the 13th IEEE international conference on Enterprise Distributed Object Computing
Dynamic set-up of monitoring infrastructures for service based systems
Proceedings of the 2010 ACM Symposium on Applied Computing
Exploiting assumption-based verification for the adaptation of service-based applications
Proceedings of the 2010 ACM Symposium on Applied Computing
Cross-organizational process monitoring based on service choreographies
Proceedings of the 2010 ACM Symposium on Applied Computing
Towards run-time monitoring of web services conformance to business-level agreements
TAIC PART'10 Proceedings of the 5th international academic and industrial conference on Testing - practice and research techniques
Cross-layer adaptation and monitoring of service-based applications
ICSOC/ServiceWave'09 Proceedings of the 2009 international conference on Service-oriented computing
Identifying, modifying, creating, and removing monitor rules for service oriented computing
Proceedings of the 3rd International Workshop on Principles of Engineering Service-Oriented Systems
Service research challenges and solutions for the future internet
Event driven monitoring for service composition infrastructures
WISE'10 Proceedings of the 11th international conference on Web information systems engineering
Runtime Verification for LTL and TLTL
ACM Transactions on Software Engineering and Methodology (TOSEM)
Measures and mechanisms for process monitoring in evolving business networks
Data & Knowledge Engineering
Monitoring of service based e-governance systems
Proceedings of the 5th International Conference on Theory and Practice of Electronic Governance
WSCMon: runtime monitoring of web service orchestration based on refinement checking
Service Oriented Computing and Applications
Processing flows of information: From data stream to complex event processing
ACM Computing Surveys (CSUR)
Runtime verification of data-centric properties in service based systems
RV'11 Proceedings of the Second international conference on Runtime verification
Runtime Monitoring of Contract Regulated Web Services
Fundamenta Informaticae
ECMAF: an event-based cross-layer service monitoring and adaptation framework
ICSOC'11 Proceedings of the 2011 international conference on Service-Oriented Computing
Specification and monitoring of data-centric temporal properties for service-based systems
Journal of Systems and Software
Applying CVL to business process variability management
Proceedings of the VARiability for You Workshop: Variability Modeling Made Useful for Everyone
An optimized derivation of event queries to monitor choreography violations
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
Towards proactive cross-layer service adaptation
WISE'12 Proceedings of the 13th international conference on Web Information Systems Engineering
Behavioural description based web service composition using abstraction and refinement
International Journal of Web and Grid Services
Incremental service level agreements violation handling with time impact analysis
Journal of Systems and Software
Adaptive Web Services Monitoring in Cloud Environments
International Journal of Web Portals
Runtime verification of service-oriented systems: a well-rounded survey
International Journal of Web and Grid Services
High volumes of event stream indexing and efficient multi-keyword searching for cloud monitoring
Future Generation Computer Systems
Probabilistic top-K dominating services composition with uncertain QoS
Service Oriented Computing and Applications
Hi-index | 0.00 |
The run-time monitoring of web service compositions has been widely acknowledged as a significant and challenging problem. In this paper, we propose a novel solution to the problem of monitoring web services implemented in BPEL. We devise an architecture that clearly separates the business logic of a web service from its monitoring functionality. The architecture supports both "instance monitors" that deal with the execution of a single instance of BPEL process, as well as "class monitors" that report aggregated information about all the instances of a BPEL process. We also define a language for the specification of instance and class monitors. The language allows for specifying boolean, statistic, and time-related properties. Finally, we devise a technique for the automatic translation of all these kinds of monitors to Java programs.