DocumentCode
2136743
Title
Semantic properties of /spl mu/-charts
Author
Goldson, Doug ; Reeve, Greg
Author_Institution
Sch. of Inf. Technol. & Electr. Eng., Queensland Univ., Australia
fYear
2003
fDate
22-27 Sept. 2003
Firstpage
148
Lastpage
155
Abstract
μ-Charts are a Statechart-like language which is designed for specifying reactive systems. This paper extends the language of μ-charts with a new parallel operator; it defines a formal semantics for the language, and then it explores the semantic properties of the extended language. The work concludes with a simple case study to illustrate how the language may be used to specify and reason about reactive systems.
Keywords
formal specification; programming language semantics; specification languages; visual languages; /spl mu/-chart semantics; formal semantics; parallel operator; reactive system specification; sequential chart; Artificial intelligence; Computer science; Information technology; Signal design; Software engineering;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering and Formal Methods, 2003.Proceedings. First International Conference on
Conference_Location
Brisbane, Queensland, Australia
Print_ISBN
0-7695-1949-0
Type
conf
DOI
10.1109/SEFM.2003.1236216
Filename
1236216
Link To Document