Behavioural Presentations and an Automata Theory of Components

DOI: 10.5176/978-981-08-7654-8_R-43

Authors: M.W. Shields, S. Moschoyiannis and P.J. Krause

Abstract:
In this paper, we make an intensive study of a mathematical model of components, as a preliminary to an analysis of problems arising in the area of component-based software. We begin with a simple model, link it to the behavioural presentation model, which suggests certain refinements of the original model. These refinements lead to an automata theory of components. Finally, we establish that two such automata determine the same component if and only if they are related by a form of behavioural equivalence, reminiscent of strong equivalence in CCS [7]