Luciano Baresi
Carlo Ghezzi
Sam Guinea
ABSTRACT
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.
- A. Hahmood and E.J. McCluskey. Concurrent Error Detection Using Watchdog Processors - A Survey. Technical report, 1985.Google Scholar
- BEA and IBM. BPELJ: BPEL for Java. 2004. http://www-106.ibm.com/developerworks/webservices/library/ws-bpelj/.Google Scholar
- BEA and IBM and Microsoft and SAP. Web Service Policy Framework (WSPolicy). 2003.Google Scholar
- BEA and IBM and Microsoft and SAP and Siebel. Business Process Execution Language for Web Services Version 1.1. 2003.Google Scholar
- C. Nentwich and L. Capra and W. Emmerich ad A. Finkelstein. XlinkIt: a Consistency Checking and Smart Link Generation Service. ACM Transactions on Software Engineering and Methodology, pages 151--185, May 2002. Google ScholarDigital Library
- Collaxa. Collaxa: Model, deploy and Manage BPEL Business Processes. 2004. http://www.collaxa.com.Google Scholar
- David S. Rosenblum. A Practical Approach to Programming with Assertions. IEEE Transactions on Software Engineering, 21(1), Jan 1995. Google ScholarDigital Library
- D.C. Luckham. Programming with Specifications: An Introduction to Anna, A Language for Specifying Ada Programs. Texts and Monographs in Computer Science, Oct 1990. Google ScholarDigital Library
- D.S. Rosenblumand S. Sankar and D.C. Luckham. Concurrent Runtime Checking of Annotated Ada Programs. In Proceedings of the 6th Conf. Foundations Software Technology and Theoretical Computer Science, pages 179--188, 1986. Google ScholarDigital Library
- ETH Zurich Department of Computer Science Institute for Pervasive Computing. Jopera: Process Support for Web Services, 2004. http://www.iks.inf.ethz.ch/jopera/.Google Scholar
- IBM alphaWorks. IBM Business Process Execution Language for Web Services Java Run Time. 2004. http://www.alphaworks.ibm.com/tech/bpws4j.Google Scholar
- James Skene and D. Davide Lamanna and Wolfgang Emmerich. Precise Service Level Agreements. In Proceedings of the 26th International Conference on Software Engineering (ICSE2004), pages 179--188, 2004. Google ScholarDigital Library
- Koushik Sen and Abhay Vardhan and Gul Agha and Grigore Rosu. Efficient Decentralized Monitoring of Safety in Distributed Systems. In Proceedings of the 26th International Conference on Software Engineering (ICSE2004), pages 418--427, 2004. Google ScholarDigital Library
- Jesse Liberty. Programming C #, Third Edition. O'Reilly, 2003. Google ScholarDigital Library
- B. Meyer. Object-oriented Software Construction. Prentice Hall, New York, N.Y., second edition, 1997. Google ScholarDigital Library
- Reto Kramer. iContract - The Java Design by Contract Tool. In Technology of Object-Oriented Languages. TOOLS 26 Proceedings, pages 295--307, Aug 1998. Google ScholarDigital Library
- Jefferey Richter. Applied Microsoft.NET Framework Programming. Microsoft Press, 2002. Google ScholarDigital Library
- W. Robinson. Monitoring web service requirements. In Proccedings of the International Conference on Requirements Engineering, 2003. Google ScholarDigital Library
- The World Wide Web Consortium (W3C). Web Service Choreography Interface (WSCI) 1.0. 2002.Google Scholar
- V. Tosic and K. Patel and B. Pagurek. WSOL - Web Service Offerings Language. In Proceedings of the Workshop on Web Services, e-Business, and the Semantic Web - WES (at CAiSE02), volume 2512 of Lecture Notes in Computer Science, pages 57--67. Springer-Verlag, 2002. Google ScholarDigital Library
Index Terms
- Smart monitors for composed services
Recommendations
Self-healing web service compositions
ICSE '05: Proceedings of the 27th international conference on Software engineeringNo abstract available
IQoS-aware exception resolution for BPEL processes: a middleware-based framework and performance evaluation
Web Services Business Process Execution Language (WS-BPEL) is widely used nowadays for specifying and executing composite business processes. During the execution, however, of such business processes, a number of faults stemming from the nature of SOA ...
VieDAME - flexible and robust BPEL processes through monitoring and adaptation
ICSE Companion '08: Companion of the 30th international conference on Software engineeringVieDAME is a tool for monitoring and dynamic service adaptation of BPEL processes. The tool monitors partner service interaction to compute Quality of Service (QoS) data and performs dynamic service adaptation based on various available service ...
Comments