Loading...
Thumbnail Image
Item

Idioms for µ-charts

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.
Type
Conference Contribution
Type of thesis
Series
Citation
Anderson, 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.
Date
2001-08-01
Publisher
IEEE COMPUTER SOC
Degree
Supervisors
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.