Idioms for µ-charts
Files
181.1Kb
Citation
Export citationAnderson, G., Reeve, G. & Reeves, S. (2001). Idioms for -charts. In 2001 Australian Software Engineering Conference: proceedings, 27-28 August 2001, Canberra, Australia. (pp. 224-231). Los Alamitos, Calif.: IEEE Computer Society Press.
Permanent Research Commons link: https://hdl.handle.net/10289/75
Abstract
This paper presents an idiomatic construct for µ-charts which reflects the high-level specification construct of synchronization between activities. This, amongst others, has emerged as a common and useful idea during our use of µ-charts to design and specify commonly-occurring reactive systems. The purpose of this example, apart from any inherent interest in being able to use synchronization in a specification, is to show how the very simple language of µ-charts can used as a basis for a more expressive language built by definitional extension.
Date
2001-08-01Publisher
IEEE COMPUTER SOC
Rights
©2001 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.