Digital Library

cab1

 
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:      no-img_eng.gif          
Full Contents:      click to dowload Download
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.
   

Social Media Links

Search

Login