Abstract
In this paper we present Casl-Chart a formal visual specification language for reactive systems obtained by combining an already existing language for reactive systems, precisely the statecharts as supported by Statemate ([6,7]), with an already existing language for the specification of data structures, precisely the algebraic specification language Casl ([12,17]).
Work supported by CoFI (ESPRIT Working Group 29432).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
E. Astesiano, M. Broy, and G. Reggio. Algebraic Specification of Concurrent Systems. In E. Astesiano, B. Krieg-Bruckner, and H.-J. Kreowski, editors, IFIP WG 1.3 Book on Algebraic Foundations of System Specification, pages 467–520. Springer Verlag, 1999.
E. Astesiano, B. Krieg-Bruckner, and H.-J. Kreowski, editors. IFIP WG 1.3 Book on Algebraic Foundations of System Specification. Springer Verlag, 1999.
M. Bidoit, D. Sannella, and A. Tarlecki. Architectural specifications in Casl. In Proc. 7th Int. Conf. Algebraic Methodology and Software Technology (AMAST’98), Amazonia, Brazil, Lecture Notes in Computer Science, pages 341–357. Springer Verlag, Berlin, 1999.
R. Bussow, R. Geisler, and M. Klar. Specifying Safety-Critical Embedded Systems with Statecharts and Z: A Case Study. In E. Astesiano, editor, Proc. FASE’98, number 1382 in Lecture Notes in Computer Science. Springer Verlag, Berlin, 1998.
H. Ehrig, W. Fey, and H. Hansen. ACT ONE: An Algebraic Specification Language with two Levels of Semantics. Technical Report 83-01, TUB, Berlin, 1983.
D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, and M. Trakhtenbrot. STATEMATE: A Working Environment for the Development of Complex Reactive Systems. EEE Transactions on Software Engineering, 16(4):396–406, 1990.
D. Harel and A. Naamad. The Statemate Semantics of Statecharts. ACM Transactions on Software Engineering and Methodology, 5(4):293–333, 1996.
D. Harel and M. Politi. Modeling Reactive Systems With Statecharts: The Statemate Approach. McGraw Hill, 1998.
I.S.O. ISO 8807 Information Processing Systems — Open Systems Interconnection — LOTOS — A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. IS, International Organization for Standardization, 1989.
R. Milner. A Calculus of Communicating Systems. Number 92 in Lecture Notes in Computer Science. Springer Verlag, Berlin, 1980.
T. Mossakowski. Casl: From Semantics to Tools (tool). In Proc. TACAS 2000, Lecture Notes in Computer Science. Springer Verlag, Berlin, 2000. To appear.
P.D. Mosses. CoFI: The Common Framework Initiative for Algebraic Specification and Development. In M. Bidoit and M. Dauchet, editors, Proc. TAPSOFT’ 97, number 1214 in Lecture Notes in Computer Science, pages 115–137, Berlin, 1997. Springer Verlag.
The CoFI Task Group on Semantics. Casl The Common Algebraic Specification Language: Semantics CoFI Note S-9. Technical report, 1999. ftp://ftp.brics.dk/Projects/CoFI/Notes/S-9/.
G. Reggio, E. Astesiano, C. Choppy, and H. Hussmann. Analysing UML Active Classes and Associated State Machines — A Lightweight Formal Approach. In Proc. FASE 2000-Fundamental Approaches to Software Engineering, Lecture Notes in Computer Science. Springer Verlag, Berlin, 2000. To appear.
G. Reggio and L. Repetto. Casl-Chart: Syntax and Semantics. Technical Report DISI-TR-00-1, DISI — Università di Genova, Italy, 2000. ftp://ftp.disi.unige.it/person/ReggioG/ReggioRepetto00a.ps.
M. Roggenbach and T. Mossakovski. Basic Data Types in Casl. CoFI Note L-12. Technical report, 1999. http://www.brics.dk/Projects/CoFI/Notes/L-12/.
The CoFI Task Group on Language Design. Casl The Common Algebraic Specification Language Summary. Version 1.0. Technical report, 1999. Available on http://www.brics.dk/Projects/CoFI/Documents/CASL/Summary/.
UML Revision Task Force. OMG UML Specification, 1999. Available at http://uml.shl.com.
M. Weber. Combining Statecharts and Z for the Desgin of Safety-Critical Control Systems. In M.-C. Gaudel and J. Woodcock, editors, FME’96: Industrial Benefit and Advances in Formal Methods, number 1051 in Lecture Notes in Computer Science, pages 307–326. Springer Verlag, Berlin, 1996.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Reggio, G., Repetto, L. (2000). Casl-Chart: A Combination of Statecharts and of the Algebraic Specification Language Casl. In: Rus, T. (eds) Algebraic Methodology and Software Technology. AMAST 2000. Lecture Notes in Computer Science, vol 1816. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45499-3_19
Download citation
DOI: https://doi.org/10.1007/3-540-45499-3_19
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67530-3
Online ISBN: 978-3-540-45499-1
eBook Packages: Springer Book Archive