Skip to main content
SpringerLink
Log in

The Common Framework Initiative for Algebraic Specification and Development of Software

  • Conference paper
  • First Online:
Perspectives of System Informatics (PSI 1999)

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

Abstract

The Common Framework Initiative (CoFI) is an open international collaboration which aims to provide a common framework for algebraic specification and development of software. The central element of the Common Framework is a specification language called Casl for formal specification of functional requirements and modular software design which subsumes many previous algebraic specification languages. This paper is a brief summary of past and present work on CoFI.

This research was supported by the ESPRIT-funded CoFI Working Group.

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. R. Allen and D. Garlan. A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology, July 1997.

    Google Scholar 

  2. E. Astesiano, H.-J. Kreowski and B. Krieg-Brückner (eds.). Algebraic Foundations of Systems Specification. Springer (1999).

    Google Scholar 

  3. S. Autexier, D. Hutter, H. Mantel and A. Schairer. Inka 5.0: a logic voyager. Proc. 16th Intl. Conference on Automated Deduction, Trento. Springer LNAI 1632, 207–211 (1999).

    Google Scholar 

  4. M. Bidoit, H.-J. Kreowski, P. Lescanne, F. Orejas and D. Sannella (eds.). Algebraic System Specification and Development: A Survey and Annotated Bibliography. Springer LNCS 501 (1991).

    MATH  Google Scholar 

  5. M. Bidoit, D. Sannella and A. Tarlecki. Architectural specifications in Casl. Proc. 7th Intl. Conference on Algebraic Methodology and Software Technology, Manaus, Brazil. Springer LNCS 1548, 341–357 (1999).

    Chapter  Google Scholar 

  6. M. van den Brand, P. Klint and P. Olivier. ATerms: exchanging data between heterogeneous tools for Casl. CoFI Note T-3, http://www.brics.dk/Projects/CoFI/Notes/T-3/ (1998).

  7. CoFI Task Group on Language Design. Casl — The CoFI algebraic specification language — Summary (version 1.0). http://www.brics.dk/Projects/CoFI/Documents/CASL/Summary/ (1998).

  8. CoFI Task Group on Semantics. Casl — The CoFI algebraic specification language — Semantics (version 1.0). CoFI Note S-9, http://www.brics.dk/Projects/CoFI/Notes/S-9/ (1999).

  9. J. Goguen and R. Burstall. Institutions: abstract model theory for specification and programming. Journal of the Assoc. for Computing Machinery 39:95–146 (1992).

    MATH  MathSciNet  Google Scholar 

  10. T. Mossakowski. Institution-independent semantics for Casl-in-the-large. CoFI Note S-8, http://www.brics.dk/Projects/CoFI/Notes/S-8/ (1998).

  11. T. Mossakowski, A. Haxthausen and B. Krieg-Brückner. Subsorted partial higher-order logic as an extension of Casl. CoFI Note L-10, http://www.brics.dk/Projects/CoFI/Notes/L-10/ (1998).

  12. T. Mossakowski, Kolyang and B. Krieg-Brückner. Static semantic analysis and theorem proving for Casl. Recent Trends in Algebraic Development Techniques: Selected Papers from WADT’97, Tarquinia. Springer LNCS 1376, 333–348 (1998).

    Google Scholar 

  13. J. Loeckx, H.-D. Ehrich and M. Wolf. Specification of Abstract Data Types. Wiley (1996).

    Google Scholar 

  14. P. Mosses. CoFI: the common framework initiative for algebraic specification and development. Proc. 7th Intl. Joint Conf. on Theory and Practice of Software Development, Lille. Springer LNCS 1214, 115–137 (1997).

    Google Scholar 

  15. P. Mosses. Casl: a guided tour of its design. Recent Trends in Algebraic Development Techniques: Selected Papers from WADT’98, Lisbon. Springer LNCS 1589, 216–240 (1999).

    Google Scholar 

  16. B. Nordström, K. Petersson and J. Smith. Programming in Martin-Löf’s Type Theory: An Introduction. Oxford Univ. Press (1990).

    Google Scholar 

  17. L. Paulson. Isabelle: A Generic Theorem Prover. Springer LNCS 828 (1994).

    MATH  Google Scholar 

  18. D. Sannella and A. Tarlecki. Essential concepts of algebraic specification and program development. Formal Aspects of Computing 9:229–269 (1997).

    Article  MATH  Google Scholar 

  19. D. Sannella and A. Tarlecki. Foundations of Algebraic Specifications and Formal Program Development. Cambridge Univ. Press, to appear.

    Google Scholar 

  20. M. Wirsing. Algebraic specification. Handbook of Theoretical Computer Science (J. van Leeuwen, ed.). North-Holland (1990).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Laboratory for Foundations of Computer Science, University of Edinburgh, UK

    Donald Sannella

Authors
  1. Donald Sannella
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Information Technology, Technical University of Denmark, Bldg. 244, 2800, Lyngby, Denmark

    Dines Bjøner

  2. Computer Science Department, Technical University of Munich, Arcisstr. 21, 80290, Munich, Germany

    Manfred Broy

  3. A.P. Ershov Institute of Informatics Systems, av. Ac. Lavrentyev 6, Novosibirsk, 630090, Russia

    Alexandre V. Zamulin

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Sannella, D. (2000). The Common Framework Initiative for Algebraic Specification and Development of Software. In: Bjøner, D., Broy, M., Zamulin, A.V. (eds) Perspectives of System Informatics. PSI 1999. Lecture Notes in Computer Science, vol 1755. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46562-6_1

Download citation

  • DOI: https://doi.org/10.1007/3-540-46562-6_1

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-67102-2

  • Online ISBN: 978-3-540-46562-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation