Compositional Abstractions for Interacting Processes (2007)

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

    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. But so far abstraction has been shown to distribute only over network composition which restricts its usefulness for compositional correctness analysis. In this paper we extend the treatment to other process constructs which proved to be useful in the development of complex distributed applications.

    Notes: Paper presented at International Conference on Principles of Information Technology and Applications session of 2007 Multiconference.

      • Date: 15-17 October 2007
      • Conference Name: Proceedings of the International Multiconference on Computer Science and Information Technology
      • Volume: 2
      • Pages: 745-754
      • Publisher: Polish Information Processing Society
      • Publication type: Conference Proceedings (inc. abstract)
      • Bibliographic status: Published

      Keywords: behaviour abstraction, communicating sequential processes, compositionality, algebra of abstractions

      Staff

      Professor Maciej Koutny
      Professor of Computing Science

      Dr Marta Pietkiewicz-Koutny
      Lecturer