Loading...
Thumbnail Image
Publication

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.