Skip to main content
SpringerLink
Log in
Book cover

Recent Trends in Algebraic Development Techniques pp 216–240Cite as

Casl: A Guided Tour of Its Design

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1589))

Abstract

Casl is an expressive language for the specification of functional requirements and modular design of software. It has been designed by CoFI, the international Common Framework Initiative for algebraic specification and development. It is based on a critical selection of features that have already been explored in various contexts, including subsorts, partial functions, first-order logic, and structured and architectural specifications. Casl should facilitate interoperability of many existing algebraic prototyping and verification tools.

This guided tour of the Casl design is based closely on a 1/2-day tutorial held at ETAPS’98 (corresponding slides are available from the CoFI archives). The major issues that had to be resolved in the design process are indicated, and all the main concepts and constructs of Casl are briefly explained and illustrated—the reader is referred to the Casl Language Summary for further details. Some familiarity with the fundamental concepts of algebraic specification would be advantageous.

This is a preview of subscription content, 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   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Michel Bidoit, Donald Sannella, and Andrzej Tarlecki. Architectural specifications in CASL. In Proc. 7th Intl. Conference on Algebraic Methodology and Software Technology (AMAST’98), volume 1548 of LNCS, pages 341–357. Springer, 1998.

    Chapter  Google Scholar 

  2. CoFI The Common Framework Initiative for algebraic specification and development, electronic archives. Notes and Documents accessible by WWW6 and FTP7.

    Google Scholar 

  3. CoFI Language Design Task Group. Response to the Referee Report on Casl. Documents/CASLRefereeResponse, in [2], August 1997.

    Google Scholar 

  4. CoFI Language Design Task Group. Casl-The CoFI Algebraic Specification Language-Summary. Documents/CASLSummary, in [2], October 1998.

    Google Scholar 

  5. CoFI Semantics Task Group. Casl-The CoFI Algebraic Specification Language (version 0.97)-Semantics. Note S6, in [2], July 1997.

    Google Scholar 

  6. CoFI Semantics Task Group. Casl-The CoFI Algebraic Specification Language-Semantics (Preliminary Version). Note S9, in [2], November 1998.

    Google Scholar 

  7. Anne Haxthausen, Bernd Krieg-Brückner, and Till Mossakowski. Subsorted partial higher-order logic as an extension of Casl. Note L10, in [2], October 1998.

    Google Scholar 

  8. Einar W. Karlsen. Interoperability of Casl tools using CORBA. Note T5, in [2], October 1997.

    Google Scholar 

  9. Till Mossakowski. Translating other specification languages into Casl. Presented at WADT’98.

    Google Scholar 

  10. Till Mossakowski. Sublanguages of Casl. Note L7, in [2], December 1997.

    Google Scholar 

  11. Till Mossakowski. Two “functional programming” sublanguages of Casl. Note L9, in [2], March 1998.

    Google Scholar 

  12. Till Mossakowski, A. Kolyang, and Bernd Krieg-Brückner. Static semantic analysis and theorem proving for Casl. In 12th Workshop on Algebraic Development Techniques, Tarquinia, volume 1376 of LNCS, pages 333–348. Springer-Verlag, 1998.

    Google Scholar 

  13. Peter D. Mosses. CoFI: The Common Framework Initiative for algebraic specification. Bull. EATCS, (59):127–132, June 1996.

    Google Scholar 

  14. Peter D. Mosses. Casl for ASF+SDF users. In ASF+SDF’97, 2nd Intl. Workshop on the Theory and Practice of Algebraic Specifications, volume http://www.springer.co.uk/ewic/workshops/ASFSDF97 of Electronic Workshops in Computing. Springer-Verlag, 1997. Invited lecture.

  15. Peter D. Mosses. Potential use of SGML for the Casl interchange format. Note T4, in [2], October 1997.

    Google Scholar 

  16. Peter D. Mosses. CoFI: The Common Framework Initiative for Algebraic Specification and Development. In TAPSOFT ’97: Theory and Practice of Software Development, volume 1214 of LNCS, pages 115–137. Springer-Verlag, 1997. Documents/Tentative/Mosses97TAPSOFT, in [2].

    Chapter  Google Scholar 

  17. Peter D. Mosses. Formatting Casl specifications using LATEX. Note C2, in [2], June 1998.

    Google Scholar 

  18. W. Reif. The KIV-approach to Software Verification. In KORSO: Methods, Languages, and Tools for the Construction of Correct Software-Final Report, volume 1009 of LNCS, pages 339–368. Springer-Verlag, 1995.

    Chapter  Google Scholar 

  19. Mark van den Brand, Paul Klint, and Pieter Olivier. Aterms: Exchanging data between heterogeneous tools for Casl. Note T3 (revised draft), in [2], March 1998

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. BRICS and Department of Computer Science, University of Aarhus, Denmark

    Peter D. Mosses

  2. CoFI: The Common Framework Initiative for algebraic specification and development, Denmark

    Peter D. Mosses

Authors
  1. Peter D. Mosses
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Informatics, University of Lisbon, Campo Grande 1700, Lisbon, Portugal

    José Luiz Fiadeiro

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Mosses, P.D. (1999). Casl: A Guided Tour of Its Design. In: Fiadeiro, J.L. (eds) Recent Trends in Algebraic Development Techniques. Lecture Notes in Computer Science, vol 1589. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48483-3_15

Download citation

  • DOI: https://doi.org/10.1007/3-540-48483-3_15

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-66246-4

  • Online ISBN: 978-3-540-48483-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation