Idioms for µ-charts

Anderson, Grant; Reeve, Greg; Reeves, Steve

doi:10.1109/ASWEC.2001.948516

Files

content.pdf

181.1Kb

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.

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-01

Type

Conference Contribution

Publisher

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.

Collections

Computing and Mathematical Sciences Papers [1455]