Back to University of Twente portal
Methodological Aspects of Action Refinement
Rensink, A. (1994) Methodological Aspects of Action Refinement. In: Programming Concepts, Methods and Calculi, San Miniato, Italy.
![[img]](http://doc.utwente.nl/style/images/fileicons/application_pdf.png)
| PDF 249Kb |
| Abstract: | The principle of action refinement refers to the implementation of abstract actions through more complex, concrete processes. In this paper we study the fundamental question how to use this principle in process algebraic system design. We formulate a methodological framework to express design under action refinement, and present two applications of this framework. The first application corresponds to the well-known interpretation of action refinement as an operator in the algebra, requiring a non-interleaving semantics; the second application is new, and results in a much more flexible notion of design, which is moreover compatible with the standard interleaving semantics. |
| Item Type: | Conference or Workshop Item |
| Faculty: | Electrical Engineering, Mathematics and Computer Science (EEMCS) |
| Research Group: | |
| Link to this item: | http://purl.utwente.nl/publications/66643 |
| Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page