Protocol conformance checking of services with exceptions

  • Authors:
  • Christian Heike;Wolf Zimmermann;Andreas Both

  • Affiliations:
  • Zuehlke Engineering AG, Schlieren, Switzerland;Institut für Informatik, Universität Halle-Wittenberg, Halle/Saale, Germany;Unister GmbH, Leipzig, Germany

  • Venue:
  • ESOCC'12 Proceedings of the First European conference on Service-Oriented and Cloud Computing
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

In our previous work we defined a conservative abstraction of the behaviour of service-oriented systems and a contract based on interactions (named service protocol) to be verified. We have achieved modeling unbound concurrency and unbound recursion within this abstraction. However, these works are based only on services that do not raise exceptions. In this paper, we extend our previous work such that service protocols can be verified even if the service interface may raise exceptions.