Smart monitors for composed services

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Smart monitors for composed services

Full text

Pdf (333 KB)

Source

International Conference On Service Oriented Computing archive
Proceedings of the 2nd international conference on Service oriented computing table of contents

New York, NY, USA

SESSION: Service delivery table of contents

Pages: 193 - 202

Year of Publication: 2004

ISBN:1-58113-871-7

Authors

Luciano Baresi	Politecnico di Milano
Carlo Ghezzi	Politecnico di Milano
Sam Guinea	Politecnico di Milano

Sponsors

ACM: Association for Computing Machinery
SIGSOFT: ACM Special Interest Group on Software Engineering
SIGWEB: ACM Special Interest Group on Hypertext, Hypermedia, and Web

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 19, Downloads (12 Months): 170, Citation Count: 17

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1035167.1035195 What is a DOI?

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.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	A. Hahmood and E.J. McCluskey. Concurrent Error Detection Using Watchdog Processors - A Survey. Technical report, 1985.
	2	BEA and IBM. BPELJ: BPEL for Java. 2004. http://www-106.ibm.com/developerworks/webservices/library/ws-bpelj/.
	3	BEA and IBM and Microsoft and SAP. Web Service Policy Framework (WSPolicy). 2003.
	4	BEA and IBM and Microsoft and SAP and Siebel. Business Process Execution Language for Web Services Version 1.1. 2003.
	5	Christian Nentwich , Licia Capra , Wolfgang Emmerich , Anthony Finkelstein, xlinkit: a consistency checking and smart link generation service, ACM Transactions on Internet Technology (TOIT), v.2 n.2, p.151-185, May 2002 [doi>10.1145/514183.514186]
	6	Collaxa. Collaxa: Model, deploy and Manage BPEL Business Processes. 2004. http://www.collaxa.com.
	7	David S. Rosenblum, A Practical Approach to Programming With Assertions, IEEE Transactions on Software Engineering, v.21 n.1, p.19-31, January 1995 [doi>10.1109/32.341844]
	8	David C. Luckham, Programming with Specifications: An Introduction to Anna, a Language for Specifying ADA Programs, Springer-Verlag New York, Inc., Secaucus, NJ, 1990
	9	D S Rosenblum , S Sankar , D C Luckham, Concurrent runtime checking of annotated Ada programs, Proc. of the sixth conference on Foundations of software technology and theoretical computer science, p.10-35, December 1986, New Delhi, India
	10	ETH Zurich Department of Computer Science Institute for Pervasive Computing. Jopera: Process Support for Web Services, 2004. http://www.iks.inf.ethz.ch/jopera/.
	11	IBM alphaWorks. IBM Business Process Execution Language for Web Services Java Run Time. 2004. http://www.alphaworks.ibm.com/tech/bpws4j.
	12	James Skene , D. Davide Lamanna , Wolfgang Emmerich, Precise Service Level Agreements, Proceedings of the 26th International Conference on Software Engineering, p.179-188, May 23-28, 2004
	13	Koushik Sen , Abhay Vardhan , Gul Agha , Grigore Rosu, Efficient Decentralized Monitoring of Safety in Distributed Systems, Proceedings of the 26th International Conference on Software Engineering, p.418-427, May 23-28, 2004
	14	Jesse Liberty , Valerie Quercia, Programming C#, O'Reilly & Associates, Inc., Sebastopol, CA, 2003
	15	Bertrand Meyer, Object-oriented software construction (2nd ed.), Prentice-Hall, Inc., Upper Saddle River, NJ, 1997
	16	R. Kramer, iContract - The Java(tm) Design by Contract(tm) Tool, Proceedings of the Technology of Object-Oriented Languages and Systems, p.295, August 03-07, 1998
	17	Jeffrey Richter , Jeffrey Richter, Applied Microsoft .NET Framework Programming, Microsoft Press, Redmond, WA, 2002
	18	William N. Robinson, Monitoring Web Service Requirements, Proceedings of the 11th IEEE International Conference on Requirements Engineering, p.65, September 08-12, 2003
	19	The World Wide Web Consortium (W3C). Web Service Choreography Interface (WSCI) 1.0. 2002.
	20	Vladimir Tosic , Kruti Patel , Bernard Pagurek, WSOL - Web Service Offerings Language, Revised Papers from the International Workshop on Web Services, E-Business, and the Semantic Web, p.57-67, May 27-28, 2002

CITED BY 17

	Giovanni Denaro , Mauro Pezzé , Davide Tosi, Adaptive integration of third-party web services, ACM SIGSOFT Software Engineering Notes, v.30 n.4, July 2005
	Luciano Baresi , Sam Guinea, Tutorial: towards dynamic web services, Proceeding of the 28th international conference on Software engineering, May 20-28, 2006, Shanghai, China
	Liang Chen , Bruno Wassermann , Wolfgang Emmerich , Howard Foster, Web service orchestration with BPEL, Proceeding of the 28th international conference on Software engineering, May 20-28, 2006, Shanghai, China
	G. Denaro , M. Pezzé , D. Tosi , Daniela Schilling, Towards self-adaptive service-oriented architectures, Proceedings of the 2006 workshop on Testing, analysis, and verification of web services and applications, p.10-16, July 17-17, 2006, Portland, Maine
	Massimiliano Di Penta , Gerardo Canfora , Gianpiero Esposito , Valentina Mazza , Marcello Bruno, Search-based testing of service level agreements, Proceedings of the 9th annual conference on Genetic and evolutionary computation, July 07-11, 2007, London, England
	Luciano Baresi , Sam Guinea, Dynamo and Self-Healing BPEL Compositions, Companion to the proceedings of the 29th International Conference on Software Engineering, p.69-70, May 20-26, 2007
	Gerardo CanforaHarman , Massimiliano Di Penta, New Frontiers of Reverse Engineering, 2007 Future of Software Engineering, p.326-341, May 23-25, 2007
	Jeff Kramer , Jeff Magee, Self-Managed Systems: an Architectural Challenge, 2007 Future of Software Engineering, p.259-268, May 23-25, 2007
	Wil M. P. van der Aalst , Marlon Dumas , Chun Ouyang , Anne Rozinat , Eric Verbeek, Conformance checking of service behavior, ACM Transactions on Internet Technology (TOIT), v.8 n.3, p.1-30, May 2008
	Luciano Baresi , Sam Guinea, A dynamic and reactive approach to the supervision of BPEL processes, Proceedings of the 1st conference on India software engineering conference, February 19-22, 2008, Hyderabad, India
	Yuan Gan , Marsha Chechik , Shiva Nejati , Jon Bennett , Bill O'Farrell , Julie Waterhouse, Runtime monitoring of web service conversations, Proceedings of the 2007 conference of the center for advanced studies on Collaborative research, October 22-25, 2007, Richmond Hill, Ontario, Canada
	Mahantesh Hosamani , Harish Narayanappa , Hridesh Rajan, 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, September 03-03, 2007, Dubrovnik, Croatia
	Antonia Bertolino , Guglielmo De Angelis , Antonino Sabetta , Sebastian Elbaum, Scaling up SLA monitoring in pervasive environments, International workshop on Engineering of software services for pervasive environments: in conjunction with the 6th ESEC/FSE joint meeting, p.65-68, September 04-04, 2007, Dubrovnik, Croatia
	Franco Raimondi , James Skene , Wolfgang Emmerich, Efficient online monitoring of web-service SLAs, Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, November 09-14, 2008, Atlanta, Georgia
	Gerardo Canfora , Massimiliano Di Penta , Raffaele Esposito , Maria Luisa Villani, A framework for QoS-aware binding and re-binding of composite web services, Journal of Systems and Software, v.81 n.10, p.1754-1769, October, 2008
	Marco Comuzzi , Barbara Pernici, A framework for QoS-based Web service contracting, ACM Transactions on the Web (TWEB), v.3 n.3, p.1-52, June 2009
	Xavier Le Guillou , Marie-Odile Cordier , Sophie Robin , Laurence Rozé, Chronicles for On-line Diagnosis of Distributed Systems, Proceeding of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence, p.194-198, June 27, 2008