Compact Representations and Efficient Algorithms for Operating Guidelines

  • Authors:

  • Niels Lohmann;Karsten Wolf

  • Affiliations:

  • Universität Rostock, Institut für Informatik, 18051 Rostock, Germany. niels.lohmann@uni-rostock.de;(Correspd.) Universität Rostock, Institut für Informatik, 18051 Rostock, Germany. karsten.wolf@uni-rostock.de

  • Venue:
  • Fundamenta Informaticae - Application of Concurrency to System Design, the Eighth Special Issue
  • Year:
  • 2011

  • A trace-based view on operating guidelines

    FOSSACS'11/ETAPS'11 Proceedings of the 14th international conference on Foundations of software science and computational structures: part of the joint European conferences on theory and practice of software

  • Ensuring reachability by design

    ICTAC'12 Proceedings of the 9th international conference on Theoretical Aspects of Computing

Quantified Score

Hi-index 0.00

Visualization

Abstract

Operating guidelines characterize correct interaction (e. g., deadlock freedom) with a service. They can be stored in a service registry. They are typically represented as an annotated transition system where the annotations are Boolean formulae attached to the states. The core result of this article is to propose an alternative representation of operating guidelines where, instead of a Boolean formula, only a few bits need to be stored with a state. This way, we safe one order of magnitude in the space complexity of the representation. Moreover, we demonstrate that the new representation yields efficiency gains in several algorithms which involve operating guidelines. Finally we show that the new representation permits the translation of the transition system representing the operating guidelines into a Petri net which typically yields further gains concerning the space for storing operating guidelines.