Toggle Main Menu Toggle Search

ePrints

Modelling and Verification of Communicating Processes in the Event of Interface Difference

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

Downloads


Abstract

We extend our investigation of the notion that a system built of communicating processes is an acceptable implementation of another base or target system, in the case that respective specification and implementation processes have different interfaces and we combine into a single scheme implementation relations previously presented. We also relax significantly the restrictions placed upon target processes. Using this implementation relation scheme, two basic kinds of results are obtained: realisability and compositionality. The former ensures that implementations may be put to good use; in practice, this means that plugging an implementation into an appropriate environment should yield a conventional implementation of the target. The latter requires that a target composed of several connected systems may be implemented by connecting their respective implementations. We then give graph-based representations of the formal structures which we use, develop graph theoretic statements of the implementation relations and finally present algorithms for their automatic verification.


Publication metadata

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

Publication type: Report

Publication status: Published

Series Title: Department of Computing Science Technical Report Series

Year: 2000

Pages: 38

Report Number: 696

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/696.pdf


Share