More Web Proxy on the site http://driver.im/

Article

Monitoring conversational web services

Authors:

Domenico Bianculli,

Carlo GhezziAuthors Info & Claims

IW-SOSWE '07: 2nd international workshop on Service oriented software engineering: in conjunction with the 6th ESEC/FSE joint meeting

Pages 15 - 21

https://doi.org/10.1145/1294928.1294933

Published: 03 September 2007 Publication History

Abstract

The dynamic nature of web service compositions demands continuous monitoring of the quality of the provided service, as perceived by the client. We focus here on monitoring functionality of conversational services, whose behavior depends on the local state resulting from the client-service interaction. We propose a monitoring approach based on an algebraic specification language and we show how this can be integrated into a run-time monitoring architecture.

References

[1]

T. Andrews, F. Curbera, H. Dholakia, Y. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, and S. Weerawarana. Business Process Execution Language for Web Services, Version 1.1, May 2003.

[2]

E. Astesiano, H.-J. Kreowski, and B. Krieg-Brueckner, editors. Algebraic Foundations of Systems Specification. Springer-Verlag New York, Inc., Secaucus, NJ, USA, 1999.

Digital Library

[3]

F. Barbon, P. Traverso, M. Pistore, and M. Trainotti. Run-time monitoring of instances and classes of web service compositions. In ICWS '06: Proceedings of the 2006 IEEE International Conference on Web Services, pages 63--71, Washington, DC, USA, 2006. IEEE Computer Society.

Digital Library

[4]

L. Baresi, D. Bianculli, C. Ghezzi, S. Guinea, and P. Spoletini. Validation of web service compositions. IET Software, 2007. submitted for publication.

[5]

L. Baresi, E. Di Nitto, and C. Ghezzi. Towards Open-World Software. IEEE Computer, 39:36--43, October 2006.

Digital Library

[6]

L. Baresi and S. Guinea. Towards dynamic monitoring of WS-BPEL processes. In ICSOC 2005: Proceedings of the 3rd International Conference on Service Oriented Computing, volume 3826 of Lecture Notes in Computer Science, pages 269--282. Springer, 2005.

Digital Library

[7]

M. Bidoit and P. D. Mosses. Casl User Manual. LNCS 2900 (IFIP Series). Springer, 2004. With chapters by T. Mossakowski, D. Sannella, and A. Tarlecki.

[8]

D. Brenner, C. Atkinson, O. Hummel, and D. Stoll. Strategies for the run-time testing of third party web services. In Proceedings of the 2007 IEEE International Conference on Service-Oriented Computing and Applications (IEEE SOCA 2007), pages 114--121, Los Alamitos, CA, USA, 2007. IEEE Computer Society.

Digital Library

[9]

Y. Cheonand, G. Leavensand, M. Sitaramanand, and S. Edwards. Model variables: cleanly supporting abstraction in design by contract. Software: Practice and Experience, 35(6):583--599, 2005.

Digital Library

[10]

C. Courbis and A. Finkelstein. Towards aspect weaving applications. In ICSE '05: Proceedings of the 27th international conference on Software engineering, pages 69--77, New York, NY, USA, 2005. ACM Press.

Digital Library

[11]

L. D'Ercole. Monitoraggio di processi di workflow mediante programmazione orientata agli aspetti. Master's thesis, Politecnico di Milano, 2006.

[12]

N. Dershowitz and J.-P. Jouannaud. Rewrite systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science B: Formal Methods and Semantics, chapter 6, pages 243--320. North-Holland, 1990.

Digital Library

[13]

X. Fu, T. Bultan, and J. Su. Analysis of interacting BPEL web services. In WWW '04: Proceedings of the 13th international conference on World Wide Web, pages 621--630, New York, NY, USA, 2004. ACM Press.

Digital Library

[14]

K. Futatsugi and A. Nakagawa. An overview of CAFE specification environment. In Proceedings of the 1st International Conference on Formal Engineering Methods (ICFEM 1997), pages 170--182. IEEE Computer Society, 1997.

Digital Library

[15]

J. A. Goguen, J. Thatcher, and E. Wagner. An initial algebra approach to the specification, correctness and implementation of abstract data types. In R. Yeh, editor, Current Trends in Programming Methodology, volume IV: Data Structuring, pages 80--149, Prentice-Hall, 1978.

[16]

J. Henkel and A. Diwan. A tool for writing and debugging algebraic specifications. In ICSE '04: Proceedings of the 26th international conference on Software engineering, pages 449--558, Washington, DC, USA, 2004. IEEE Computer Society.

Digital Library

[17]

G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. G. Griswold. An overview of AspectJ. In ECOOP 2001 -- Object-Oriented Programming, 15th European Conference, Proceedings, volume 2072 of Lecture Notes in Computer Science, pages 327--353. Springer, 2001.

Digital Library

[18]

G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. V. Lopes, J. Loingtier, and J. Irwin. Aspect-oriented programming. In ECOOP'97 -- Object-Oriented Programming, 11th European Conference, Proceedings, volume 1241 of Lecture Notes in Computer Science, pages 220--242. Springer, 1997.

[19]

J. W. Klop. Term rewriting systems. In S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, editors, Handbook of Logic in Computer Science, volume 2, chapter 1, pages 1--117. Oxford University Press, 1992.

Digital Library

[20]

G. T. Leavens, A. L. Baker, and C. Ruby. JML: A notation for detailed design. In H. Kilov, B. Rumpe, and I. Simmonds, editors, Behavioral Specifications of Businesses and Systems, pages 175--188. Kluwer Academic Publishers, Boston, 1999.

Digital Library

[21]

Z. Li, Y. Jin, and J. Han. A runtime monitoring and validation framework for web service interactions. In ASWEC'06: Proceedings of the 17th Australian Software Engineering Conference, pages 70--79. IEEE Computer Society, 2006.

Digital Library

[22]

K. Mahbub and G. Spanoudakis. A framework for requirements monitoring of service based systems. In ICSOC '04: Proceedings of the 2nd international conference on Service oriented computing, pages 84--93, New York, NY, USA, 2004. ACM Press.

Digital Library

[23]

B. Meyer. Applying "design by contract". Computer, 25(10):40--51, Oct. 1992.

Digital Library

[24]

I. Nunes, A. Lopes, V. Vasconcelos, J. Abreu, and L. S. Reis. Checking the conformance of Java classes against algebraic specifications. In 8th International Conference on Formal Engineering Methods (ICFEM), volume 4260 of Lecture Notes in Computer Science, pages 494--513. Springer-Verlag, October 2006.

Digital Library

[25]

M. Papazoglou and J.-J. Dubray. A survey of web service technologies. Technical Report DIT-04-058, Department of Information and Communication Technology, University of Trento, June 2004.

[26]

M. Pistore, F. Barbon, P. Bertoli, D. Shaparau, and P. Traverso. Planning and monitoring web service composition. In Artificial Intelligence: Methodology, Systems, and Applications, 11th International Conference, AIMSA 2004, Proceedings, volume 3192 of Lecture Notes in Computer Science, pages 106--115. Springer, 2004.

[27]

W. N. Robinson. Monitoring web service requirements. In RE'03: Proceedings of the 11th IEEE International Conference on Requirements Engineering, page 65, Washington, DC, USA, 2003. IEEE Computer Society.

Digital Library

[28]

J. Skene, D. D. Lamanna, and W. Emmerich. Precise service level agreements. In ICSE '04: Proceedings of the 26th International Conference on Software Engineering, pages 179--188, Washington, DC, USA, 2004. IEEE Computer Society.

Digital Library

[29]

J. Skene, A. Skene, J. Crampton, and W. Emmerich. The monitorability of service-level agreements for application-service provision. In WOSP '07: Proceedings of the 6th international workshop on Software and performance, pages 3--14, New York, NY, USA, 2007. ACM Press.

Digital Library

Cited By

Anjum MBudgen D(2017)An investigation of modelling and design for software service applicationsPLOS ONE10.1371/journal.pone.017693612:5(e0176936)Online publication date: 10-May-2017
https://doi.org/10.1371/journal.pone.0176936
Ardagna CAsal RDamiani EVu Q(2015)From Security to Assurance in the CloudACM Computing Surveys10.1145/276700548:1(1-50)Online publication date: 22-Jul-2015
https://dl.acm.org/doi/10.1145/2767005
Ghezzi CMocci ASangiorgio M(2014)Synthesis of Infinite-State Abstractions and Their Use for Software ValidationSpecification, Algebra, and Software10.1007/978-3-642-54624-2_14(276-295)Online publication date: 2014
https://doi.org/10.1007/978-3-642-54624-2_14
Show More Cited By

Recommendations

Smart monitors for composed services
ICSOC '04: Proceedings of the 2nd international conference on Service oriented computing

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 ...
VieDAME - flexible and robust BPEL processes through monitoring and adaptation
ICSE Companion '08: Companion of the 30th international conference on Software engineering

VieDAME 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 ...
Securing Data in Composite Web Services
KSE '12: Proceedings of the 2012 Fourth International Conference on Knowledge and Systems Engineering

Service-oriented architecture provides a solution for building information systems with reusability, flexibility, and extensibility. In SOA, new services can be developed by using existing services. BPEL is considered as the main means for composing ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

IW-SOSWE '07: 2nd international workshop on Service oriented software engineering: in conjunction with the 6th ESEC/FSE joint meeting

September 2007

56 pages

ISBN:9781595937230

DOI:10.1145/1294928

Program Chairs:
Elisabetta Di Nitto
University of Camerino, City University London
,
Andrea Polini
University of Camerino, City University London
,
Andrea Zisman
University of Camerino, City University London

Copyright © 2007 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

ACM: Association for Computing Machinery
SIGSOFT: ACM Special Interest Group on Software Engineering
CEPIS: The Council of European Professional Informatics Societies

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 03 September 2007

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

ESEC/FSE07

Sponsor:

ACM
SIGSOFT
CEPIS

ESEC/FSE07: Joint 11th European Software Engineering Conference 2007

September 3, 2007

Dubrovnik, Croatia

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

26
Total Citations
View Citations
467
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)0

Reflects downloads up to 13 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Anjum MBudgen D(2017)An investigation of modelling and design for software service applicationsPLOS ONE10.1371/journal.pone.017693612:5(e0176936)Online publication date: 10-May-2017
https://doi.org/10.1371/journal.pone.0176936
Ardagna CAsal RDamiani EVu Q(2015)From Security to Assurance in the CloudACM Computing Surveys10.1145/276700548:1(1-50)Online publication date: 22-Jul-2015
https://dl.acm.org/doi/10.1145/2767005
Ghezzi CMocci ASangiorgio M(2014)Synthesis of Infinite-State Abstractions and Their Use for Software ValidationSpecification, Algebra, and Software10.1007/978-3-642-54624-2_14(276-295)Online publication date: 2014
https://doi.org/10.1007/978-3-642-54624-2_14
Li BJi SLiao LQiu DSun M(2013)Monitoring Web Services for ConformanceProceedings of the 2013 IEEE Seventh International Symposium on Service-Oriented System Engineering10.1109/SOSE.2013.16(92-102)Online publication date: 25-Mar-2013
https://dl.acm.org/doi/10.1109/SOSE.2013.16
Chen SLevy DYao J(2012)Accountability for Service ComplianceInternational Journal of Systems and Service-Oriented Engineering10.4018/jssoe.20120101023:1(16-43)Online publication date: 1-Jan-2012
https://dl.acm.org/doi/10.4018/jssoe.2012010102
Tsamoura EGounaris AManolopoulos Y(2012)Optimization of decentralized multi-way join queries over pipelined filtering servicesComputing10.1007/s00607-012-0209-994:12(939-972)Online publication date: 24-Aug-2012
https://doi.org/10.1007/s00607-012-0209-9
Hamida ABertolino ACalabrò ADe Angelis GLago NLesbegueries J(2012)Monitoring service choreographies from multiple sourcesProceedings of the 4th international conference on Software Engineering for Resilient Systems10.1007/978-3-642-33176-3_10(134-149)Online publication date: 27-Sep-2012
https://dl.acm.org/doi/10.1007/978-3-642-33176-3_10
Lomuscio APenczek WSolanki MSzreter M(2011)Runtime Monitoring of Contract Regulated Web ServicesFundamenta Informaticae10.5555/2361502.2361505111:3(339-355)Online publication date: 1-Aug-2011
https://dl.acm.org/doi/10.5555/2361502.2361505
Foster HSpanoudakis GChu WWong WPalakal MHung C(2011)Advanced service monitoring configurations with SLA decomposition and selectionProceedings of the 2011 ACM Symposium on Applied Computing10.1145/1982185.1982519(1582-1589)Online publication date: 21-Mar-2011
https://dl.acm.org/doi/10.1145/1982185.1982519
Calinescu RGrunske LKwiatkowska MMirandola RTamburrelli G(2011)Dynamic QoS Management and Optimization in Service-Based SystemsIEEE Transactions on Software Engineering10.1109/TSE.2010.9237:3(387-409)Online publication date: 1-May-2011
https://dl.acm.org/doi/10.1109/TSE.2010.92
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents