Theoretical Computer Science
Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
PROPEL: an approach supporting property elucidation
Proceedings of the 24th International Conference on Software Engineering
Composite Event Specification in Active Databases: Model & Implementation
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Analysis of interacting BPEL web services
Proceedings of the 13th international conference on World Wide Web
Implementing protocols via declarative event patterns
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Hybrid web service composition: business processes meet business rules
Proceedings of the 2nd international conference on Service oriented computing
A framework for requirents monitoring of service based systems
Proceedings of the 2nd international conference on Service oriented computing
A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools
IEEE Transactions on Software Engineering
Towards aspect weaving applications
Proceedings of the 27th international conference on Software engineering
Real-time specification patterns
Proceedings of the 27th international conference on Software engineering
Adding trace matching with free variables to AspectJ
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A scenario based notation for specifying temporal properties
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Recovery Policies for Enhancing Web Services Reliability
ICWS '06 Proceedings of the IEEE International Conference on Web Services
AO4BPEL: An Aspect-oriented Extension to BPEL
World Wide Web
History-Based Aspect Weaving for WS-BPEL Using Padus
ECOWS '07 Proceedings of the Fifth European Conference on Web Services
Policies and aspects for the supervision of BPEL processes
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
On the semantics of matching trace monitoring patterns
RV'07 Proceedings of the 7th international conference on Runtime verification
Isolating process-level concerns using padus
BPM'06 Proceedings of the 4th international conference on Business Process Management
Towards dynamic monitoring of WS-BPEL processes
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Methods for enabling recovery actions in Ws-BPEL
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
SC'05 Proceedings of the 4th international conference on Software Composition
FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
WS-Policy for service monitoring
TES'05 Proceedings of the 6th international conference on Technologies for E-Services
Towards self-healing web services composition
Proceedings of the First Asia-Pacific Symposium on Internetware
Weaving the fabric of the control loop through aspects
SOAR'09 Proceedings of the First international conference on Self-organizing architectures
Runtime verification of service-oriented systems: a well-rounded survey
International Journal of Web and Grid Services
Hi-index | 0.00 |
The execution of composite Web services with WS-BPEL relies on externally autonomous Web services. This implies the need to constantly monitor the running behavior of the involved parties. Moreover, monitoring the execution of composite Web services for particular patterns is critical to enhance the reliability of the processes. In this paper, we propose an aspect-oriented framework as a solution to provide monitoring and recovery support for composite Web services. In particular, this framework includes 1) a stateful aspect based template, where history-based pointcut specifies patterns of interest cannot be violated within a range, while advice specifies the associated recovery action; 2) a tool support for runtime monitoring and recovery based on aspect-oriented execution environment. Our experiments indicate that the proposed monitoring approach incurs minimal overhead and is efficient.