A trace-based view on operating guidelines

C. Stahl, W. Vogler

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)

Abstract

Operating guidelines have been introduced to characterize all controllers for a given service S. A controller of S is a service that interacts with S without deadlocking. An operating guideline of S can be used to decide whether S refines another service. It is a special-purpose structure to describe the behavior of service S from the perspective of its controllers rather than from the perspective of S. This paper provides a more conceptual understanding of operating guidelines from the erspective of a traditional concurrency semantics: a trace-based semantics. As benefits, we get an easier characterization of service refinement, and prove that this is a fully abstract precongruence.
Original languageEnglish
Title of host publicationFoundations of Software Science and Computational Structures (14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings)
EditorsM. Hofmann
Place of PublicationBerlin
PublisherSpringer
Pages411-425
ISBN (Print)978-3-642-19804-5
DOIs
Publication statusPublished - 2011

Publication series

NameLecture Notes in Computer Science
Volume6604
ISSN (Print)0302-9743

Fingerprint

Dive into the research topics of 'A trace-based view on operating guidelines'. Together they form a unique fingerprint.

Cite this