Smart monitors for composed services

Service-based approaches are widely used to integrate heterogenous systems. Web services allow for the definition of highly dynamic systems where components (services) can be discovered and QoS parameters negotiated at run-time. This justifies the need for monitoring service compositions at run-time. Research on this issue, however, is still in its infancy. We investigate how to monitor dynamic service compositions with respect to contracts expressed via assertions on services. Dynamic compositions are represented as BPEL processes which can be monitored at run-time to check whether individual services comply with their contracts. Monitors can be automatically defined as additional services and linked to the service composition. We present two alternative implementations of our monitoring approach: one based on late-binding and reflection and the other based on a standard assertion system. The two implementations are exemplified on a case study.

[1]  Jeffrey Richter Applied Microsoft .NET Framework Programming , 2002 .

[2]  Vladimir Tosic,et al.  WSOL - Web Service Offerings Language , 2002, WES.

[3]  William N. Robinson,et al.  Monitoring Web service requirements , 2003, Proceedings. 11th IEEE International Requirements Engineering Conference, 2003..

[4]  Matjaz B. Juric,et al.  Business process execution language for web services , 2004 .

[5]  Wolfgang Emmerich,et al.  Precise service level agreements , 2004, Proceedings. 26th International Conference on Software Engineering.

[6]  Edward J. McCluskey,et al.  Concurrent Error Detection Using Watchdog Processors - A Survey , 1988, IEEE Trans. Computers.

[7]  R. Kramer iContract - The Java(tm) Design by Contract(tm) Tool , 1998 .

[8]  Frank Leymann,et al.  BPELJ: BPEL for Java , 2004 .

[9]  S. Lanka. Technical report 1989. , 1990 .

[10]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

[11]  Koushik Sen,et al.  Efficient decentralized monitoring of safety in distributed systems , 2004, Proceedings. 26th International Conference on Software Engineering.

[12]  Licia Capra,et al.  xlinkit: a consistency checking and smart link generation service , 2002, TOIT.

[13]  David S. Rosenblum A Practical Approach to Programming With Assertions , 1995, IEEE Trans. Software Eng..

[14]  David C. Luckham Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs , 1990 .

[15]  Tony Andrews Business Process Execution Language for Web Services Version 1.1 , 2003 .

[16]  Sriram Sankar,et al.  Concurrent Runtime Checking of Annotated Ada Programs , 1986, FSTTCS.