Skip to main content
SpringerLink
Log in

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

  • Conference paper
  • First Online:
Algebraic Methodology and Software Technology (AMAST 2000)

Part of the book series: Lecture Notes in Computer Science ((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]).

Work supported by CoFI (ESPRIT Working Group 29432).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. 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. 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. 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. 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. 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. D. Harel and A. Naamad. The Statemate Semantics of Statecharts. ACM Transactions on Software Engineering and Methodology, 5(4):293–333, 1996.

    Article  Google Scholar 

  8. D. Harel and M. Politi. Modeling Reactive Systems With Statecharts: The Statemate Approach. McGraw Hill, 1998.

    Google Scholar 

  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. R. Milner. A Calculus of Communicating Systems. Number 92 in Lecture Notes in Computer Science. Springer Verlag, Berlin, 1980.

    MATH  Google Scholar 

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

    Chapter  Google Scholar 

  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. 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. 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. 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. 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. UML Revision Task Force. OMG UML Specification, 1999. Available at http://uml.shl.com.

  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 

Download references

Author information

Authors and Affiliations

  1. DISI - Università di Genova, Italy

    Gianna Reggio & Lorenzo Repetto

Authors
  1. Gianna Reggio
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Lorenzo Repetto
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, The University of Iowa, Iowa City, IA, 52242, USA

    Teodor Rus

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation