A trace-based view on operating guidelines

C. Stahl, W. Vogler

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

1 Citation (Scopus)


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
ISBN (Print)978-3-642-19804-5
Publication statusPublished - 2011

Publication series

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


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

Cite this