1
|
Abstract:
In hierarchical system design, refinement allows to incrementally increase the level of detail in the system description. Several notions of refinement have been investigated in process theory and in object-orientation. From a process algebraic viewpoint, an object as the basic unit of structure and control can be understood as a process. Then action reification- the replacement of actions by transactions in object-oriented specification- corresponds to action refinement in process algebra where actions are replaced by process terms. Questions of distributed control, synchronisation, and serialisability translate naturally from the object-oriented framework into process theory and vice versa. In both frameworks, correctness critera exist which prevent the use of refinements that would cause serious problems in synchronisation and distributed control. We compare an object-oriented and a process algebraic approach for action refinement. We show how restrictions ensuring correct refinement known from in process algebra can be applied in the object-oriented approach. 1
Citations
| 2677 | Communicating Sequential Processes – Hoare - 1978 |
| 1345 | A.: The Temporal Logic of Reactive and Concurrent Systems – Manna, Pnueli - 1992 |
| 223 | Event structures – Winskel - 1986 |
| 50 | A trace based extension of linear time temporal logic – Thiagarajan - 1994 |
| 38 | Temporal Logics for Communicating Sequential Agents – Lodaya, Ramanujam, et al. - 1992 |
| 28 | Local Specification of Distributed Families of Sequential Objects – Ehrich, Sernadas - 1995 |
| 28 | Proof Systems for Satisfiability in Hennessy-Milner Logic with Recursion – LARSEN - 1990 |
| 12 | Verfeinerung in objektorientierten Spezifikationen: Von Aktionen zu Transaktionen – Denker - 1996 |
| 11 | Action Reification In Object Oriented Specification – Denker, Ehrich - 1994 |
| 10 | A -calculus with local views for systems of sequential agents – Niebert - 1995 |
| 3 | On refining logical specifications – Huhn - 1995 |
