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 |