DocumentCode
3459922
Title
Idioms for μ-charts
Author
Anderson, Grant ; Reeve, Greg ; Reeves, Steve
Author_Institution
Dept. of Comput. Sci., Waikato Univ., New Zealand
fYear
2001
fDate
2001
Firstpage
224
Lastpage
231
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
Keywords
formal specification; synchronisation; μ-charts; high-level specification; idiomatic construct; reactive systems; specification construct; synchronization; Computer science; Heart; Interactive systems; Logic; Unified modeling language;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering Conference, 2001. Proceedings. 2001 Australian
Conference_Location
Canberra, ACT
ISSN
1530-0803
Print_ISBN
0-7695-1254-2
Type
conf
DOI
10.1109/ASWEC.2001.948516
Filename
948516
Link To Document