ePrints

Compositional Abstractions for Process Networks

Lookup NU author(s): Professor Maciej KoutnyORCiD, Dr Marta Koutny

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

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.

Publication metadata

Author(s): Koutny M, Pappalardo G, Pietkiewicz-Koutny M

Publication type: Article

Publication status: Published

Journal: IADIS International Journal on Computer Science and Information Systems

Year: 2008

Volume: 3

Issue: 1

Pages: 71-85

ISSN (electronic): 1646-3692

Publisher: International Association for Development of the Information Society

URL: http://www.iadis.net/dl/final_uploads/2008110106.pdf

Share