An Approach to Monitor Scenario-Based Temporal Properties in Web Service Compositions

Authors:
Pengcheng Zhang;Bixin Li;Henry Muccini;Mingjie Sun
Affiliations:
School of Computer Science and Engineering, Southeast University, Nanjing, China;School of Computer Science and Engineering, Southeast University, Nanjing, China;Dipartimento di Informatica, University of L'Aquila, Via Vetoio, L'Aquila, Italy;School of Computer Science and Engineering, Southeast University, Nanjing, China
Venue:
Advanced Web and NetworkTechnologies, and Applications
Year:
2008

Citing 11
Cited 2

An Overview of AspectJ

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
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
A Runtime Monitoring and Validation Framework for Web Service Interactions

ASWEC '06 Proceedings of the Australian Software Engineering Conference
A scenario based notation for specifying temporal properties

Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Run-Time Monitoring of Instances and Classes of Web Service Compositions

ICWS '06 Proceedings of the IEEE International Conference on Web Services
Graphical scenarios for specifying temporal properties: an automated approach

Automated Software Engineering
Monitoring conversational web services

2nd international workshop on Service oriented software engineering: in conjunction with the 6th ESEC/FSE joint meeting
A PSC-Based Approach to Monitor the Timed Properties in Web Service Compositions

COMPSAC '08 Proceedings of the 2008 32nd Annual IEEE International Computer Software and Applications Conference
Monitoring architectural properties in dynamic component-based systems

CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
Towards dynamic monitoring of WS-BPEL processes

ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing

WS-PSC monitor: a tool chain for monitoring temporal and timing properties in composite service based on property sequence chart

RV'10 Proceedings of the First international conference on Runtime verification
Enhancing Federated Cloud Management with an Integrated Service Monitoring Approach

Journal of Grid Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

Keeping composite services satisfying desired properties has been widely accepted as an important and challenging problem due to the dynamically evolving attribute of web service compositions. Runtime monitoring and dynamic verification techniques become first class activities to be performed during the execution of web service compositions. Scenario-based temporal properties depicting the complex interactions among the different services are a kind of important property which needs to be monitored at runtime. However, some complex scenario-based temporal properties cannot be easily represented by the traditional formalism such as temporal logic. In this paper, we first propose to represent the scenario-based temporal properties of web service compositions by the use of a novel notation (Property Sequence Chart). Then, we use Aspect-Oriented Programming techniques to extend the open-source BPEL engine (ActiveBPEL) and monitor its execution. Based on these assumptions, we propose a more intuitive approach to monitor the scenario-based temporal properties in web service compositions.