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.
|Title of host publication||Foundations 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)|
|Place of Publication||Berlin|
|Publication status||Published - 2011|
|Name||Lecture Notes in Computer Science|