research-article

Exploiting assumption-based verification for the adaptation of service-based applications

Authors:

Andreas Gehlert,

Antonio Bucchiarone,

Raman Kazhamiakin,

Andreas Metzger,

Klaus PohlAuthors Info & Claims

SAC '10: Proceedings of the 2010 ACM Symposium on Applied Computing

Pages 2430 - 2437

https://doi.org/10.1145/1774088.1774593

Published: 22 March 2010 Publication History

Abstract

Service-based applications (SBAs) need to operate in a highly dynamic world, in which their constituent services could fail or become unavailable. Monitoring is typically used to identify such failures and, if needed, to trigger an adaptation of the SBA to compensate for those failures.

However, existing monitoring approaches exhibit several limitations: (1) Monitoring individual services can uncover failures of services. Yet, it remains open whether those individual failures lead to a violation of the SBA's requirements, which would necessitate an adaptation. (2) Monitoring the SBA can uncover requirements deviations. However, it will not provide information about the failures leading to this deviation, which constitutes important information needed for the adaptation activities. Even a combination of (1) and (2) is limited. For instance, a requirements deviation will only be identified after it has occurred, e. g., after the execution of the whole SBA, which then in case of failures might require costly compensation actions.

In this paper we introduce an approach that addresses those limitations by augmenting monitoring techniques for individual services with formal verification techniques. The approach explicitly encodes assumptions that the constituent services of an SBA will perform as expected. Based on those assumptions, formal verification is used to assess whether the SBA requirements are satisfied and whether a violation of those assumptions during run-time leads to a violation of the SBA requirements. Thereby, our approach allows for (a) pro-actively deciding whether the SBA requirements will be violated based on monitored failures, and (b) identifying the specific root cause for the violated requirements.

References

[1]

L. Ardissono, R. Furnari, A. Goy, G. Petrone, and M. Segnan. Fault tolerant web service orchestration by means of diagnosis. In V. Gruhn and F. Oquendo, editors, EWSA, volume 4344 of Lecture Notes in Computer Science, pages 2--16. Springer, 2006.

Digital Library

[2]

M. Autili, P. Inverardi, and P. Pelliccione. Graphical scenarios for specifying temporal properties: an automated approach. Automated Software Eng., 14(3):293--340, 2007.

Digital Library

[3]

F. Barbon, P. Traverso, M. Pistore, and M. Trainotti. Run-Time Monitoring of Instances and Classes of Web Service Compositions. In IEEE International Conference on Web Services (ICWS 2006), pages 63--71, 2006.

Digital Library

[4]

L. Baresi, C. Ghezzi, and S. Guinea. Smart monitors for composed services. In ICSOC '04: Proceedings of the 2nd international conference on Service oriented computing, pages 193--202, New York, NY, USA, 2004. ACM.

Digital Library

[5]

L. Baresi and S. Guinea. Towards dynamic monitoring of ws-bpel processes. In ICSOC, pages 269--282, 2005.

Digital Library

[6]

L. Baresi, S. Guinea, M. Trainotti, and M. Pistore. Dynamo + ASTRO: An integrated approach for bpel monitoring. In 7th International Conference on Web Services (ICWS 2009), 2009.

Digital Library

[7]

J. R. Büchi. On a decision method in restricted second-order arithmetic. In Proc. 1960 Int. Congr. for Logic, Methodology, and Philosophy of Science, pages 1--1. Stanford Univ. Press, 1962.

[8]

A. Cimatti, E. Clarke, F. Giunchiglia, and M. Roveri. Nusmv: a new symbolic model checker. International Journal on Software Tools for Technology Transfer, 2:2000, 2000.

[9]

D. Cohen, M. S. Feather, K. Narayanaswamy, and S. S. Fickas. Automatic monitoring of software requirements. In ICSE '97: Proceedings of the 19th international conference on Software engineering, pages 602--603, New York, NY, USA, 1997. ACM.

Digital Library

[10]

A. Dardenne, A. V. Lamsweerde, and S. Fickas. Goal-directed requirements acquisition. In Science of Computer Programming, pages 3--50, 1993.

Digital Library

[11]

S. Fickas, T. Beauchamp, and N. A. R. Mamy. Monitoring requirements: A case study. In ASE '02: Proceedings of the 17th IEEE international conference on Automated software engineering, page 299, Washington, DC, USA, 2002. IEEE Computer Society.

Digital Library

[12]

S. Fickas and M. S. Feather. Requirements monitoring in distributed environments. In SDNE '95: Proceedings of the 2nd International Workshop on Services in Distributed and Networked Environments, page 93, Washington, DC, USA, 1995. IEEE Computer Society.

Digital Library

[13]

S. Fickas and M. S. Feather. Requirements monitoring in dynamic environments. In RE '95: Proceedings of the Second IEEE International Symposium on Requirements Engineering, page 140, Washington, DC, USA, 1995. IEEE Computer Society.

Digital Library

[14]

H. Foster, S. Uchitel, J. Magee, and J. Kramer. Model-based verification of web service compositions. In ASE '03, pages 152--161. IEEE, 2003.

Digital Library

[15]

C. Ghezzi and S. Guinea. Run-time monitoring in service-oriented architectures. In Test and Analysis of Web Services, pages 237--264, 2007.

[16]

O. Grumberg and D. E. Long. Model checking and modular verification. ACM Transactions on Programming Languages and Systems, 16, 1991.

Digital Library

[17]

M. R. Hansen and Z. Chaochen. Duration calculus: Logical foundations. Formal Asp. Comput., 9(3):283--330, 1997.

Digital Library

[18]

P. Inverardi, P. Pelliccione, and M. Tivoli. Towards an assume-guarantee theory for adaptable systems. Software Engineering for Adaptive and Self-Managing Systems, International Workshop on, 0:106--115, 2009.

Digital Library

[19]

M. Jackson and P. Zave. Deriving specifications from requirements: an example. In ICSE '95: Proceedings of the 17th international conference on Software engineering, pages 15--24, New York, NY, USA, 1995. ACM.

Digital Library

[20]

R. Kazhamiakin, A. Metzger, and M. Pistore. Towards correctness assurance in adaptive service-based applications. In ServiceWave 2008, number 5377 in LNCS. Springer, 10--13 December 2008.

Digital Library

[21]

R. Kazhamiakin, P. Pandya, and M. Pistore. Representation, verification, and computation of timed properties. International Conference on Web Services, pages 497--504, 2006.

Digital Library

[22]

R. Kazhamiakin and M. Pistore. Static verification of control and data in web service compositions. In ICWS '06: Proceedings of the IEEE International Conference on Web Services, pages 83--90, Washington, DC, USA, 2006. IEEE Computer Society.

Digital Library

[23]

Z. Lu, S. Li, A. Ghose, and P. Hyland. Extending semantic web service description by service assumption. In WI '06: Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence, pages 637--643, Washington, DC, USA, 2006. IEEE Computer Society.

Digital Library

[24]

K. Mahbub and G. Spanoudakis. Run-time monitoring of requirements for systems composed of web-services: Initial implementation and evaluation experience. In ICWS '05: Proceedings of the IEEE International Conference on Web Services, pages 257--265, Washington, DC, USA, 2005. IEEE Computer Society.

Digital Library

[25]

S. Nakajima. Model-checking verification for reliable web service. OOPSLA Workshop on Object-Oriented Web Services (OOWS 2002), 2002.

[26]

S. Narayanan and S. A. McIlraith. Simulation, verification and automated composition of web services. In WWW '02: Proceedings of the 11th international conference on World Wide Web, pages 77--88, New York, NY, USA, 2002. ACM.

Digital Library

[27]

G. Newton, J. Pollock, and D. L. McGuinness. Semantic web rule language (SWRL), 2004.

[28]

E. D. Nitto, C. Ghezzi, A. Metzger, M. Papazoglou, and K. Pohl. A journey to highly dynamic, self-adaptive service-based applications. Automated Software Engineering, 15(3--4):257--402, 2008.

Digital Library

[29]

M. Pistore and P. Traverso. Assumption-based composition and monitoring of web services. In Test and Analysis of Web Services, pages 307--335, 2007.

[30]

A. van Lamsweerde. Requirements engineering in the year 00: a research perspective. In ICSE '00: Proceedings of the 22nd international conference on Software engineering, pages 5--19, New York, NY, USA, 2000. ACM.

Digital Library

[31]

A. van Lamsweerde, E. Letier, and R. Darimont. Managing conflicts in goal-driven requirements engineering. IEEE Trans. Softw. Eng., 24(11):908--926, 1998.

Digital Library

Cited By

Metzger ASchmieders ESammodi OPohl KMetzger APohl KPapazoglou M(2012)Verification and testing at run-time for online quality predictionProceedings of the First International Workshop on European Software Services and Systems Research: Results and Challenges10.5555/2666742.2666757(49-50)Online publication date: 5-Jun-2012
https://dl.acm.org/doi/10.5555/2666742.2666757
Bucchiarone AKazhamiakin RMarconi APistore MMetzger APohl KPapazoglou M(2012)Adaptivity in dynamic service-based systemsProceedings of the First International Workshop on European Software Services and Systems Research: Results and Challenges10.5555/2666742.2666753(36-37)Online publication date: 5-Jun-2012
https://dl.acm.org/doi/10.5555/2666742.2666753
Metzger ASchmieders ESammodi OPohl K(2012)Verification and testing at run-time for online quality prediction2012 First International Workshop on European Software Services and Systems Research - Results and Challenges (S-Cube)10.1109/S-Cube.2012.6225511(49-50)Online publication date: Jun-2012
https://doi.org/10.1109/S-Cube.2012.6225511
Show More Cited By

Index Terms

Exploiting assumption-based verification for the adaptation of service-based applications
1. Information systems
  1. Data management systems
    1. Middleware for databases
      1. Distributed transaction monitors
2. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Formal software verification
  2. Software organization and properties
    1. Contextual software domains
      1. Operating systems
        Process management
        Monitors
    2. Software functional properties
      1. Formal methods

Recommendations

Event-Based Design and Runtime Verification of Composite Service Transactional Behavior

Different from process components, Web services are defined independently from any execution context. A key challenge of (Web) service compositions is how to ensure reliable execution. Due to their inherent autonomy and heterogeneity, it is difficult to ...
Automata-Based Verification of Security Requirements of Composite Web Services
ISSRE '10: Proceedings of the 2010 IEEE 21st International Symposium on Software Reliability Engineering

With the increasing reliance of complex real-world applications on composite web services assembled from independently developed component services, there is a growing need for effective approaches to verifying that a composite service not only offers ...
Monitoring BPEL-Based Web Service Composition Using AOP
ICIS '09: Proceedings of the 2009 Eigth IEEE/ACIS International Conference on Computer and Information Science

With the loose coupling and dynamic attributes of Web Service, the implementation behavior may be different from original requirement, so it’s essential to implement the run-time monitoring. Monitoring analyzes the conformance of a Web Service to the ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

SAC '10: Proceedings of the 2010 ACM Symposium on Applied Computing

March 2010

2712 pages

ISBN:9781605586397

DOI:10.1145/1774088

Conference Chairs:
Sung Y. Shin
South Dakota State University
,
Sascha Ossowski
University Rey Juan Carlos, Spain
,
Michael Schumacher
University of Applied Sciences Western Switzerland, Switzerland
,
Program Chairs:
Mathew J. Palakal
Indiana University Purdue University
,
Chih-Cheng Hung
Southern Polytechnic State University

Copyright © 2010 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

SIGAPP: ACM Special Interest Group on Applied Computing

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 22 March 2010

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

Seventh Framework Programme

Conference

SAC'10

Sponsor:

SIGAPP

SAC'10: The 2010 ACM Symposium on Applied Computing

March 22 - 26, 2010

Sierre, Switzerland

Acceptance Rates

SAC '10 Paper Acceptance Rate 364 of 1,353 submissions, 27%;

Overall Acceptance Rate 1,650 of 6,669 submissions, 25%

Upcoming Conference

SAC '25

Sponsor:
sigapp

The 40th ACM/SIGAPP Symposium on Applied Computing

March 31 - April 4, 2025

Catania , Italy

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

8
Total Citations
View Citations
249
Total Downloads

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

Reflects downloads up to 08 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Metzger ASchmieders ESammodi OPohl KMetzger APohl KPapazoglou M(2012)Verification and testing at run-time for online quality predictionProceedings of the First International Workshop on European Software Services and Systems Research: Results and Challenges10.5555/2666742.2666757(49-50)Online publication date: 5-Jun-2012
https://dl.acm.org/doi/10.5555/2666742.2666757
Bucchiarone AKazhamiakin RMarconi APistore MMetzger APohl KPapazoglou M(2012)Adaptivity in dynamic service-based systemsProceedings of the First International Workshop on European Software Services and Systems Research: Results and Challenges10.5555/2666742.2666753(36-37)Online publication date: 5-Jun-2012
https://dl.acm.org/doi/10.5555/2666742.2666753
Metzger ASchmieders ESammodi OPohl K(2012)Verification and testing at run-time for online quality prediction2012 First International Workshop on European Software Services and Systems Research - Results and Challenges (S-Cube)10.1109/S-Cube.2012.6225511(49-50)Online publication date: Jun-2012
https://doi.org/10.1109/S-Cube.2012.6225511
Bucchiarone AKazhamiakin RMarconi APistore M(2012)Adaptivity in dynamic service-based systems2012 First International Workshop on European Software Services and Systems Research - Results and Challenges (S-Cube)10.1109/S-Cube.2012.6225507(36-37)Online publication date: Jun-2012
https://doi.org/10.1109/S-Cube.2012.6225507
Gu QParkin MLago P(2011)A taxonomy of service engineering stakeholder typesProceedings of the 4th European conference on Towards a service-based internet10.5555/2050869.2050892(206-219)Online publication date: 26-Oct-2011
https://dl.acm.org/doi/10.5555/2050869.2050892
Schmieders EMetzger A(2011)Preventing performance violations of service compositions using assumption-based run-time verificationProceedings of the 4th European conference on Towards a service-based internet10.5555/2050869.2050891(194-205)Online publication date: 26-Oct-2011
https://dl.acm.org/doi/10.5555/2050869.2050891
Gu QParkin MLago P(2011)A Taxonomy of Service Engineering Stakeholder TypesTowards a Service-Based Internet10.1007/978-3-642-24755-2_20(206-219)Online publication date: 2011
https://doi.org/10.1007/978-3-642-24755-2_20
Metzger ASammodi OPohl KRzepka Mde Lemos RPezzè M(2010)Towards pro-active adaptation with confidenceProceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems10.1145/1808984.1808987(20-28)Online publication date: 3-May-2010
https://dl.acm.org/doi/10.1145/1808984.1808987

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.

Figures

Tables

Media

View Table of Conten