research-article

Adequate monitoring of service compositions

Authors:

Antonia Bertolino,

Andrea MorichettaAuthors Info & Claims

ESEC/FSE 2013: Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering

Pages 59 - 69

https://doi.org/10.1145/2491411.2491441

Published: 18 August 2013 Publication History

Abstract

Monitoring is essential to validate the runtime behaviour of dynamic distributed systems. However, monitors can inform of relevant events as they occur, but by their very nature they will not report about all those events that are not happening. In service-oriented applications it would be desirable to have means to assess the thoroughness of the interactions among the services that are being monitored. In case some events or message sequences or interaction patterns have not been observed for a while, in fact, one could timely check whether this happens because something is going wrong. In this paper, we introduce the novel notion of monitoring adequacy, which is generic and can be defined on different entities. We then define two adequacy criteria for service compositions and implement a proof-of-concept adequate monitoring framework. We validate the approach on two case studies, the Travel Reservation System and the Future Market choreographies.

References

[1]

Web service choreography interface (WSCI) 1.0. http://www.w3.org/TR/wsci/.

[2]

L. Ardissono, R. Furnari, A. Goy, G. Petrone, and M. Segnan. Monitoring choreographed services. In Innovations and Advanced Techniques in Computer and Information Sciences and Engineering, pages 283–288. Springer Netherlands, 2007.

[3]

R. Aschoff and A. Zisman. QoS-driven proactive adaptation of service composition. In ICSOC, pages 421–435, 2011.

Digital Library

[4]

C. Bartolini, A. Bertolino, A. Ciancone, G. De Angelis, and R. Mirandola. Apprehensive QoS monitoring of service choreographies. In Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC ’13. ACM, 2013.

Digital Library

[5]

A. Benharref, R. Dssouli, M. Serhani, A. En-Nouaary, and R. Glitho. New approach for EFSM-based passive testing of web services. In A. Petrenko, M. Veanes, J. Tretmans, and W. Grieskamp, editors, Testing of Software and Communicating Systems, volume 4581 of Lecture Notes in Computer Science, pages 13–27. Springer Berlin Heidelberg, 2007.

Digital Library

[6]

A. Bertolino, A. Calabrò, F. Lonetti, and A. Sabetta. Glimpse: a generic and flexible monitoring infrastructure. In Proceedings of the 13th European Workshop on Dependable Computing, EWDC ’11, pages 73–78, New York, NY, USA, 2011. ACM.

Digital Library

[7]

A. Bertolino and A. Polini. The audition framework for testing web services interoperability. In Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications, pages 134 – 142, aug.-3 sept. 2005.

Digital Library

[8]

A. R. Cavalli, C. Gervy, and S. Prokopenko. New approaches for passive testing using an extended finite state machine specification. Information & Software Technology, 45(12):837––852, 2003.

[9]

G. Dai, X. Bai, Y. Wang, and F. Dai. Contract-based testing for web services. In Proceedings of the 31st International Computer Software and Applications Conference (COMPSAC), volume 1, pages 517 –526, July 2007.

Digital Library

[10]

N. Delgado, A. Gates, and S. Roach. A taxonomy and catalog of runtime software-fault monitoring tools. IEEE Transactions on Software Engineering, 30(12):859 – 872, dec. 2004.

Digital Library

[11]

Drools Fusion: Complex Event Processor. http://www.jboss.org/drools/drools-fusion.html.

[12]

C. Ghezzi and S. Guinea. Run-time monitoring in service-oriented architectures. In L. Baresi and E. Di Nitto, editors, Test and Analysis of Web Services, pages 237–264. Springer, 2007.

[13]

J. Goodenough and S. Gerhart. Toward a theory of test data selection. IEEE Transactions on Software Engineering, SE-1(2):156 –173, 1975.

Digital Library

[14]

D. Ivanovic, M. Carro, and M. V. Hermenegildo. Constraint-based runtime prediction of sla violations in service orchestrations. In ICSOC, pages 62–76, 2011.

Digital Library

[15]

J. Joyce, G. Lomow, K. Slind, and B. Unger. Monitoring distributed systems. ACM Trans. Comput. Syst., 5(2):121–150, 1987.

Digital Library

[16]

D. Lee, A. Netravali, K. Sabnani, B. Sugla, and A. John. Passive testing and applications to network management. In Proceedings of the International Conference on Network Protocols, pages 113 –122, 1997.

Digital Library

[17]

P. Leitner, A. Michlmayr, F. Rosenberg, and S. Dustdar. Monitoring, prediction and prevention of sla violations in composite services. Proceedings of the IEEE International Conference on Web Services, 0:369–376, 2010.

Digital Library

[18]

M. Mansouri-Samani and M. Sloman. Monitoring distributed systems. In Network and distributed systems management, pages 303–347. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 1994.

Digital Library

[19]

A. Metzger, O. Sammodi, K. Pohl, and M. Rzepka. Towards pro-active adaptation with confidence: augmenting service monitoring with online testing. In Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS ’10, pages 20–28, New York, NY, USA, 2010. ACM.

Digital Library

[20]

J. D. Musa, A. Iannino, and K. Okumoto. Software reliability. McGraw-Hill New York, 1987.

[21]

M. P. Papazoglou, P. Traverso, S. Dustdar, and F. Leymann. Service-oriented computing: State of the art and research challenges. IEEE Computer, 40(11):38–45, 2007.

Digital Library

[22]

B. Plattner and J. Nievergelt. Special feature: Monitoring program execution: A survey. Computer, 14(11):76 –93, nov. 1981.

Digital Library

[23]

S. Rapps and E. Weyuker. Selecting software test data using data flow information. IEEE Transactions on Software Engineering, SE-11(4):367–375, 1985.

Digital Library

[24]

O. Sammodi, A. Metzger, X. Franch, M. Oriol, J. Marco, and K. Pohl. Usage-based online testing for proactive adaptation of service-based applications. In Proceedings of the IEEE 35th Annual Computer Software and Applications Conference (COMPSAC), pages 582–587, July 2011.

Digital Library

[25]

M. Winkler, J. Cardoso, and G. Scheithauer. Challenges of business service monitoring in the internet of services. In Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services, iiWAS ’’08, pages 613–616, New York, NY, USA, 2008. ACM.

Digital Library

[26]

P. Zhang, H. Muccini, A. Polini, and X. Li. Run-time systems failure prediction via proactive monitoring. In Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering, ASE’11, pages 484–487, Washington, DC, USA, 2011. IEEE Computer Society.

Digital Library

[27]

H. Zhu, P. A. V. Hall, and J. H. R. May. Software unit test coverage and adequacy. ACM Comput. Surv., pages 366–427, 1997.

Digital Library

Cited By

Corradini FMorichetta ARe BTiezzi F(2019)Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN ChoreographiesThe Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy10.1007/978-3-030-31175-9_10(163-181)Online publication date: 4-Nov-2019
https://doi.org/10.1007/978-3-030-31175-9_10
Corradini FMarcantoni FMorichetta APolini ARe BSampaolo M(2019)Enabling Auditing of Smart Contracts Through Process MiningFrom Software Engineering to Formal Methods and Tools, and Back10.1007/978-3-030-30985-5_27(467-480)Online publication date: 9-Oct-2019
https://doi.org/10.1007/978-3-030-30985-5_27
Calabró ALonetti FMarchetti E(2017)Monitoring of Access Control Policy for Refinement and ImprovementsSoftware Quality: Methods and Tools for Better Software and Systems10.1007/978-3-319-71440-0_2(17-36)Online publication date: 19-Nov-2017
https://doi.org/10.1007/978-3-319-71440-0_2
Show More Cited By

Index Terms

Adequate monitoring of service compositions
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis
        Software testing and debugging

Recommendations

Multilevel event-based monitoring framework for the petals enterprise service bus: industry article
DEBS '12: Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems

In scalable and widely distributed Service-Oriented Architecture (SOA) environments, supervision is necessary to ensure services are behaving as expected and to trigger the corrective actions when needed. More specically, when dealing with distributed ...
Trustworthiness monitoring of dynamic service compositions
WEWST '11: Proceedings of the 6th International Workshop on Enhanced Web Service Technologies

In Web service compositions the number of component services that need to be aggregated may be large and dynamically changing. Web service (WS) compositions require the capability to dynamically adapt to changes that may occur at runtime, including ...
Event driven monitoring for service composition infrastructures
WISE'10: Proceedings of the 11th international conference on Web information systems engineering

We present an event-based monitoring approach for service composition infrastructures. While existing approaches mostly monitor these infrastructures in isolation, we provide a holistic monitoring approach by leveraging Complex Event Processing (CEP) ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

ESEC/FSE 2013: Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering

August 2013

738 pages

ISBN:9781450322379

DOI:10.1145/2491411

General Chair:
Bertrand Meyer
ETH Zurich, Switzerland
,
Program Chairs:
Luciano Baresi
Politecnico di Milano, Italy
,
Mira Mezini
TU Darmstadt, Germany

Copyright © 2013 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 the author(s) 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

SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 18 August 2013

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

ESEC/FSE'13

Sponsor:

SIGSOFT

ESEC/FSE'13: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering

August 18 - 26, 2013

Saint Petersburg, Russia

Acceptance Rates

Overall Acceptance Rate 112 of 543 submissions, 21%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
287
Total Downloads

Downloads (Last 12 months)4
Downloads (Last 6 weeks)1

Reflects downloads up to 04 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

Corradini FMorichetta ARe BTiezzi F(2019)Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN ChoreographiesThe Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy10.1007/978-3-030-31175-9_10(163-181)Online publication date: 4-Nov-2019
https://doi.org/10.1007/978-3-030-31175-9_10
Corradini FMarcantoni FMorichetta APolini ARe BSampaolo M(2019)Enabling Auditing of Smart Contracts Through Process MiningFrom Software Engineering to Formal Methods and Tools, and Back10.1007/978-3-030-30985-5_27(467-480)Online publication date: 9-Oct-2019
https://doi.org/10.1007/978-3-030-30985-5_27
Calabró ALonetti FMarchetti E(2017)Monitoring of Access Control Policy for Refinement and ImprovementsSoftware Quality: Methods and Tools for Better Software and Systems10.1007/978-3-319-71440-0_2(17-36)Online publication date: 19-Nov-2017
https://doi.org/10.1007/978-3-319-71440-0_2
Martinelli FYautsiukhin A(2016)Security by Insurance for Services2016 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C)10.1109/QRS-C.2016.53(344-351)Online publication date: Aug-2016
https://doi.org/10.1109/QRS-C.2016.53
Bertolino ACalabró ALonetti FMarchetti E(2015)Towards Business Process Execution Adequacy CriteriaSoftware Quality. The Future of Systems- and Software Development10.1007/978-3-319-27033-3_3(37-48)Online publication date: 10-Dec-2015
https://doi.org/10.1007/978-3-319-27033-3_3

View Options

Get Access

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