Title:
|
COMPOSITIONAL ABSTRACTIONS FOR PROCESS NETWORKS |
Author(s):
|
Maciej Koutny , Giuseppe Pappalardo , Marta Pietkiewicz-koutny |
ISBN:
|
ISSN: 1646-3692 |
Editors:
|
Anna Derezińska (Guest Editor) |
Year:
|
2008 |
Edition:
|
V III, 1 |
Keywords:
|
Behaviour abstraction, communicating sequential processes, compositionality, algebra of abstractions. |
Type:
|
Journal Paper |
First Page:
|
71 |
Last Page:
|
85 |
Language:
|
English |
Cover:
|
|
Full Contents:
|
click to dowload
|
Paper Abstract:
|
A promising way of dealing with complex behaviours of networks of communicating processes is to use
abstractions. In our previous work, interface abstraction, modelled through a suitable relation, allowed us
to `interpretÂ’ the behaviour of an implementation process as that of a specification process, even in the
event that their interfaces differ. The proposed relation is compositional, in the sense that a composition
of communicating sub-systems may be implemented by connecting their respective implementations. In
our previous work, abstraction has been shown to distribute only over network composition, which
restricts its usefulness for compositional correctness analysis. In this paper we extend our treatment to
other process constructs, known to be useful in the development of complex distributed applications. |
|
|
|
|