Browse by author
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).
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
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/752.pdf
