| Title | Action Refinement in System Specification: Comparing a Process Algebraic and an Object-Oriented Approach |
| Publication Type | Conference Proceedings |
| Year of Conference | 1996 |
| Authors | Huhn, M., H. Wehrheim, and G. Denker |
| Conference Name | GI/ITG-Fachgespräch: ``Formale Beschreibungstechniken für verteilte Systeme'', 20/21. Juni 1996, Universität Erlangen, Germany |
| Pagination | 77-88 |
| Publisher | Universität Erlangen |
| 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 \em action reification - the replacement of actions by transactions in object-oriented specification - corresponds to \em action refinement in process algebra where actions are replaced by process terms. |
| Public | no |