A Trace-Based View on Operating Guidelines
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 perspective 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.
- 3.de Alfaro, L., Henzinger, T.A.: Interface automata. In: ESEC / SIGSOFT FSE 2001, pp. 109–120 (2001)Google Scholar
- 9.Lohmann, N., Wolf, K.: Compact representations and efficient algorithms for operating guidelines. Fundam. Inform. (2010) (accepted for publication in January 2010)Google Scholar
- 14.Papazoglou, M.P.: Web Services: Principles and Technology. Pearson, London (2007)Google Scholar