Behaviour Abstraction for Communicating Sequential Processes

• Autorzy: Koutny M. , Pappalardo G.
• Języki publikacji: EN

Abstrakty

EN

We investigate the notion that a system is an acceptable implementation of another base or target system, in the case that the two systems (or processes) have different interfaces. For instance, the base processes can be thought of as specifications, or ideal processes operating in an error-free environment, while the implementations model their actual realisations, operating in an error-prone environment and possibly employing a variety of fault-tolerant techniques. Using the CSP model, we relate implementations and base systems in terms of their observable behaviours. We obtain two fundamental results, viz. realisability and compositionality. The former ensures that implementations may be put to good use, while the latter guarantees that a target composed of several connected subsystems may be implemented by connecting their respective implementations.

Słowa kluczowe

EN

theory of parallel and distributed computation; behaviour abstraction; communicating sequential processes; compositionality

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2001
• Tom: Vol. 48, nr 1
• Strony: 21--54

Twórcy

autor

Koutny M.

autor

Pappalardo G.

• Department of Computing Science, University of Newcastle, Newcastle upon Tyne NE1 7RU, U.K.,