Casl-Chart: A Combination of Statecharts and of the Algebraic Specification Language Casl

  • Gianna Reggio
  • Lorenzo Repetto
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1816)

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]).

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    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.Google Scholar
  2. 2.
    E. Astesiano, B. Krieg-Bruckner, and H.-J. Kreowski, editors. IFIP WG 1.3 Book on Algebraic Foundations of System Specification. Springer Verlag, 1999.Google Scholar
  3. 3.
    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.Google Scholar
  4. 4.
    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.Google Scholar
  5. 5.
    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.Google Scholar
  6. 6.
    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.Google Scholar
  7. 7.
    D. Harel and A. Naamad. The Statemate Semantics of Statecharts. ACM Transactions on Software Engineering and Methodology, 5(4):293–333, 1996.CrossRefGoogle Scholar
  8. 8.
    D. Harel and M. Politi. Modeling Reactive Systems With Statecharts: The Statemate Approach. McGraw Hill, 1998.Google Scholar
  9. 9.
    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.Google Scholar
  10. 10.
    R. Milner. A Calculus of Communicating Systems. Number 92 in Lecture Notes in Computer Science. Springer Verlag, Berlin, 1980.MATHGoogle Scholar
  11. 11.
    T. Mossakowski. Casl: From Semantics to Tools (tool). In Proc. TACAS 2000, Lecture Notes in Computer Science. Springer Verlag, Berlin, 2000. To appear.Google Scholar
  12. 12.
    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.CrossRefGoogle Scholar
  13. 13.
    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/.
  14. 14.
    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.Google Scholar
  15. 15.
    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.Google Scholar
  16. 16.
    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/.
  17. 17.
    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/.
  18. 18.
    UML Revision Task Force. OMG UML Specification, 1999. Available at http://uml.shl.com.
  19. 19.
    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.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • Gianna Reggio
    • 1
  • Lorenzo Repetto
    • 1
  1. 1.DISI - Università di GenovaItaly

Personalised recommendations