article

Runtime Monitoring of Contract Regulated Web Services

Authors:

Alessio Lomuscio,

Wojciech Penczek,

Monika Solanki,

Maciej SzreterAuthors Info & Claims

Fundamenta Informaticae, Volume 111, Issue 3

Pages 339 - 355

Published: 01 August 2011 Publication History

Abstract

We investigate the problem of locally monitoring contract regulated behaviours in agent-based web services. We encode contract clauses in service specifications by using extended timed automata. We propose a non intrusive local monitoring framework along with an API to monitor the fulfillment (or violation) of contractual obligations. A key feature of the framework is that it is fully symbolic thereby providing a scalable solution to monitoring. At runtime execution steps generated by the service are passed as input to the runtime monitor. Conformance of the execution against the service specification is checked using a symbolically represented extended timed automaton. This allows us to monitor service behaviours over large state spaces generated by multiple, long running contracts. We illustrate our methodology by monitoring a service composition scenario from the vehicle repair domain, and report on the experimental results.

References

[1]

R. Alur. Timed Automata. In Proceedings of the 11th International Conference on Computer Aided Verification (CAV'99), volume 1633 of LNCS, pages 8-22. Springer-Verlag, 1999.

Digital Library

[2]

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 IEEE International Conference on Web Services, pages 63-71, 2006.

Digital Library

[3]

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. ACM, 2004.

Digital Library

[4]

D. Bianculli and C. Ghezzi. Monitoring conversational web services. In IW-SOSWE '07: 2nd international workshop on Service oriented software engineering, pages 15-21. ACM, 2007.

Digital Library

[5]

P. Dembinski, A. Janowska, P. Janowski, W. Penczek, A. Pólrola, M. Szreter, B. Wozna, and A. Zbrzezny. VerICS: A tool for verifying Timed Automata and Estelle specifications. In TACAS'03: Proc. of the 9th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, LNCS, pages 278-283. Springer-Verlag, 2003.

Digital Library

[6]

N. Desai, N. C. Narendra, and M. P. Singh. Checking correctness of business contracts via commitments. In AAMAS '08: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems, pages 787-794, 2008.

Digital Library

[7]

N. Eén and N. Sörensson. MiniSat. http://minisat.se/MiniSat.html.

[8]

Andrew D. H. Farrell, Marek J. Sergot, Mathias Sallé, and Claudio Bartolini. Using the event calculus for tracking the normative state of contracts. Int. J. Cooperative Inf. Syst., 14(2-3):99-129, 2005.

[9]

N. Fornara and M. Colombetti. Specifying and enforcing norms in artificial institutions. In AAMAS'08: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems, pages 1481-1484, 2008.

Digital Library

[10]

G. J. Holzmann. SPIN Model Checker, The: Primer and Reference Manual. Addison Wesley Professional, 2003.

Digital Library

[11]

Gal A. Kaminka, David V. Pynadath Milind Tambe, David V. Pynadath, and Milind Tambe. Monitoring teams by overhearing: A multi-agent plan-recognition approach. Journal of Artificial Intelligence Research, 17:2002, 2002.

Digital Library

[12]

A. Keller and H. Ludwig. The WSLA Framework: Specifying and Monitoring Service Level Agreements for Web Services. J. Netw. Syst. Manage. 11(1), pages 257-265, 2003.

Digital Library

[13]

M. Krichen and S. Tripakis. Black-box conformance testing for real-time systems. In SPIN'04: the 11th International SPIN Workshop on Model Checking of Software, LNCS, pages 109-126, 2004.

[14]

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

Digital Library

[15]

A. Lomuscio and M. Sergot. Deontic interpreted systems. Studia Logica, 75(1):63-92, 2003.

[16]

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

Digital Library

[17]

K. L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.

Digital Library

[18]

S. Modgil, N. Faci, F. Meneguzzi, N. Oren, S. Miles, and M. Luck. A framework for monitoring agent-based normative systems. In AAMAS '09: Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems, pages 153-160, 2009.

Digital Library

[19]

C. Molina-Jimenez, S. Shrivastava, E. Solaiman, and J. Warne. Contract representation for run-time monitoring and enforcement. CEC, pages 103-110, 2003.

[20]

S. Dustdar O. Moser, F. Rosenberg. Non-intrusive monitoring and service adaptation for ws-bpel. In WWW '08: Proceeding of the 17th international conference on World Wide Web, pages 815-824. ACM, 2008.

Digital Library

[21]

OASIS Web service Business Process Execution Language (WSBPEL) TC. Web service Business Process Execution Language Version 2.0, 2007.

[22]

P. Pettersson and K. G. Larsen. UPPAAL2k. Bulletin of the European Association for Theoretical Computer Science, 70:40-44, February 2000.

[23]

Marco Pistore, F. Barbon, Piergiorgio Bertoli, D. Shaparau, and Paolo Traverso. Planning and monitoring web service composition. In AIMSA, pages 106-115, 2004.

[24]

F. Raimondi, J. Skene, L. Chen, and W. Emmerich. "efficient monitoring of web service slas". Technical report, UCL, London, 2007.

[25]

Monika Solanki. A Compositional Framework for the Specification, Verification and Runtime Validation of Reactive Web Service. PhD thesis, De Montfort University, Leicester, UK, October 2005.

[26]

M. Wooldridge. An introduction to multi-agent systems. John Wiley, England, 2002.

Digital Library

[27]

A. Zbrzezny and A. Pó¿rola. SAT-based reachability checking for timed automata with discrete data. Fundamenta Informaticae, 79(3-4):579-593, 2007.

Digital Library

Cited By

Belardinelli FLomuscio APatrizi F(2018)Verification of agent-based artifact systemsJournal of Artificial Intelligence Research10.5555/2750423.275043251:1(333-376)Online publication date: 20-Dec-2018
https://dl.acm.org/doi/10.5555/2750423.2750432
Bartoletti MCimoli TDi Giamberardino PZunino R(2018)Vicious circles in contracts and in logicScience of Computer Programming10.1016/j.scico.2015.01.005109:C(61-95)Online publication date: 31-Dec-2018
https://dl.acm.org/doi/10.1016/j.scico.2015.01.005
Governatori GIdelberger FMilosevic ZRiveret RSartor GXu X(2018)On legal contracts, imperative and declarative smart contracts, and blockchain systemsArtificial Intelligence and Law10.1007/s10506-018-9223-326:4(377-409)Online publication date: 1-Dec-2018
https://dl.acm.org/doi/10.1007/s10506-018-9223-3
Show More Cited By

Recommendations

Runtime monitoring of contract regulated web services
AAMAS '10: Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1

We investigate the problem of locally monitoring contract regulated behaviours agent-based in web services. We encode contract clauses in service specifications by using extended timed automata. We propose a non intrusive local monitoring framework ...
Runtime monitoring composite web services through stateful aspect extension

The execution of composite Web services with WS-BPEL relies on externally autonomous Web services. This implies the need to constantly monitor the running behavior of the involved parties. Moreover, monitoring the execution of composite Web services for ...
Runtime Monitoring of Data-centric Temporal Properties for Web Services
ICWS '11: Proceedings of the 2011 IEEE International Conference on Web Services

Runtime monitoring of Web service compositions has been widely acknowledged as a significant approach to understand and guarantee the quality of services. However, existing runtime monitoring solutions consider only the constraints on the sequence of ...

Comments

Information & Contributors

Information

Published In

cover image Fundamenta Informaticae

Fundamenta Informaticae Volume 111, Issue 3

August 2011

96 pages

ISSN:0169-2968

Issue’s Table of Contents

Publisher

IOS Press

Netherlands

Publication History

Published: 01 August 2011

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 30 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Belardinelli FLomuscio APatrizi F(2018)Verification of agent-based artifact systemsJournal of Artificial Intelligence Research10.5555/2750423.275043251:1(333-376)Online publication date: 20-Dec-2018
https://dl.acm.org/doi/10.5555/2750423.2750432
Bartoletti MCimoli TDi Giamberardino PZunino R(2018)Vicious circles in contracts and in logicScience of Computer Programming10.1016/j.scico.2015.01.005109:C(61-95)Online publication date: 31-Dec-2018
https://dl.acm.org/doi/10.1016/j.scico.2015.01.005
Governatori GIdelberger FMilosevic ZRiveret RSartor GXu X(2018)On legal contracts, imperative and declarative smart contracts, and blockchain systemsArtificial Intelligence and Law10.1007/s10506-018-9223-326:4(377-409)Online publication date: 1-Dec-2018
https://dl.acm.org/doi/10.1007/s10506-018-9223-3
Belardinelli FLomuscio A(2013)Decidability of model checking non-uniform artifact-centric quantified interpreted systemsProceedings of the Twenty-Third international joint conference on Artificial Intelligence10.5555/2540128.2540234(725-731)Online publication date: 3-Aug-2013
https://dl.acm.org/doi/10.5555/2540128.2540234

View Options

View options

Figures

Tables

Media

View Issue’s Table of Contents