|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
| | ||
| 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
| ASCII Text | x | ||
| Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo, "Implementing Communicating Processes in the Event of Interface Difference," 2010 10th International Conference on Application of Concurrency to System Design, pp. 87, Second International Conference on Application of Concurrency to System Design (ACSD'01), 2001. | |||
| BibTex | x | ||
| @article{ 10.1109/CSD.2001.981767, author = {Jonathan Burton and Maciej Koutny and Giuseppe Pappalardo}, title = {Implementing Communicating Processes in the Event of Interface Difference}, journal ={2010 10th International Conference on Application of Concurrency to System Design}, volume = {0}, year = {2001}, isbn = {0-7695-1071-X}, pages = {87}, doi = {http://doi.ieeecomputersociety.org/10.1109/CSD.2001.981767}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - 2010 10th International Conference on Application of Concurrency to System Design TI - Implementing Communicating Processes in the Event of Interface Difference SN - 0-7695-1071-X SP EP A1 - Jonathan Burton, A1 - Maciej Koutny, A1 - Giuseppe Pappalardo, PY - 2001 KW - Theory of parallel and distributed computation KW - behaviour abstraction KW - refinement KW - communicating sequential processes KW - compositionality. VL - 0 JA - 2010 10th International Conference on Application of Concurrency to System Design ER - | |||
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.
