This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Second International Conference on Application of Concurrency to System Design (ACSD'01)
Implementing Communicating Processes in the Event of Interface Difference
Newcastle upon Tyne, UK
June 25-June 29
ISBN: 0-7695-1071-X
Jonathan Burton, University of Newcastle
Maciej Koutny, University of Newcastle
Giuseppe Pappalardo, Universit? di Catania
We present here an implementation relation which formalises the notion that a system built of communicating processes is an acceptable implementation of another base or specification system in the event that the two systems have different interfaces. Such a treatment has obvious applicability to the software development process, where an implementation component may be expressed at a different level of abstraction to the relevant specification component. We extend the results of our previous work and combine into a single scheme implementation relations previously presented. We also relax the restrictions previously placed upon specification processes. Using this new implementation relation, two basic kinds of results are obtained: realisability and compositionality. The former ensures that an implementation, when plugged into an appropriate environment, should yield a conventional implementation of the specification, and also that the implementation relation is acceptable when used in the event that specification and implementation systems have the same interfaces. The latter requires that a specification composed of several connected systems may be implemented by connecting their respective implementations.
Index Terms:
Theory of parallel and distributed computation, behaviour abstraction, refinement, communicating sequential processes, compositionality.
Citation:
Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo, "Implementing Communicating Processes in the Event of Interface Difference," acsd, pp.87, Second International Conference on Application of Concurrency to System Design (ACSD'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.