A trace-based view on operating guidelines

Authors:
Christian Stahl;Walter Vogler
Affiliations:
Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, The Netherlands;Institut für Informatik, Universität Augsburg, Germany
Venue:
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
Year:
2011

Citing 12
Cited 0

A Theory of Communicating Sequential Processes

Journal of the ACM (JACM)
Interface automata

Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Trace and testing equivalence on asynchronous processes

Information and Computation
Distributed Algorithms

Distributed Algorithms
Communication and Concurrency

Communication and Concurrency
Modular Construction and Partial Order Semantics of Petri Nets

Modular Construction and Partial Order Semantics of Petri Nets
The Failure of Failures in a Paradigm for Asynchronous Communication

CONCUR '91 Proceedings of the 2nd International Conference on Concurrency Theory
The Must Preorder Revisited

CONCUR '07 Proceedings of the 18th international conference on Concurrency Theory
Deciding Substitutability of Services with Operating Guidelines

Transactions on Petri Nets and Other Models of Concurrency II
Proof Techniques for Adapter Generation

Web Services and Formal Methods
Operating guidelines for finite-state services

ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Compact Representations and Efficient Algorithms for Operating Guidelines

Fundamenta Informaticae - Application of Concurrency to System Design, the Eighth Special Issue

Quantified Score

Hi-index	0.00

Visualization

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 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.