On Architectural Support for Behaviour Refinement in Distributed Systems Design

Share/Save/Bookmark

Quartel, Dick and Ferreira Pires, Luis and Sinderen, Marten van (2002) On Architectural Support for Behaviour Refinement in Distributed Systems Design. Journal of Integrated Design and Process Science, 6 (1). pp. 1-30. ISSN 1092-0617

open access
[img]
Preview
PDF
374kB
Abstract:During the top-down design of distributed systems, abstract designs have to be replaced by more concrete designs, which add details that define how these systems can be implemented using available building blocks. Behaviour refinement is a design operation in which abstract behaviours are replaced by more concrete behaviours. Methods that guide and enforce the correctness of these replacements are necessary. This paper presents a set of methods to perform behaviour refinement, based on a careful consideration of the architectural concepts of action and causality relation. Correctness is enforced by validation of the conformance relation between an abstract and a concrete behaviour. Rules are provided to determine whether a concrete behaviour conforms to an abstract behaviour.
Item Type:Article
Additional information:Imported from research group ASNA (ID number 140)
Copyright:© 2002 IOS Press
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/66752
Official URL:http://iospress.metapress.com/content/u3pxrydll276etp4/
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 209721