Toggle Main Menu Toggle Search

Open Access padlockePrints

Compositional Development in the Event of Interface Difference

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



We present here an implementation relation which allows compositional development of a network of communicating processes, in the event that corresponding specification and implementation components have different interfaces. This relation enjoys two basic properties which are fundamental to its success. It is compositional, in the sense that a target composed of several connected systems may be implemented by connecting their respective implementations. In addition, an implementation, when plugged into an appropriate environment, is to all intents and purposes a conventional implementation of the target. We illustrate our approach by outlining the development of a fault-tolerant system based on co-ordinated atomic actions (CA actions). As a formal framework of concurrent computation, we use the model of Communicating Sequential Processes (CSP).

Publication metadata

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

Publication type: Report

Publication status: Published

Series Title: Department of Computing Science Technical Report Series

Year: 2001

Pages: 22

Report Number: 752

Institution: Department of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne