Skip to main content
SpringerLink
Log in

Industrial applications of ASF+SDF

  • Education Day: Industrial Applications of Formal Methods
  • Conference paper
  • First Online:
Algebraic Methodology and Software Technology (AMAST 1996)

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

Abstract

In recent years, a number of Dutch companies have used the algebraic specification formalism Asf+Sdf. Bank MeesPierson has specified a language for describing interest rate products, their translation into COBOL, and their generation from interactive questionnaires. A consultancy company has specified a language to represent the company's object-oriented models, and the compilation of this language into Access. Bank ABN-AMRO has started investigating the use of algebraic specifications for renovating legacy COBOL systems. We discuss the implications of such projects for teaching algebraic specifications and software engineering, and the role students have been playing in these projects.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. B. R. T. Arnold, A. van Deursen, and M. Res. An algebraic specification of a language for describing financial products. In M. Wirsing, editor, ICSE-17 Workshop on Formal Methods Application in Software Engineering, pages 6–13. IEEE, April 1995.

    Google Scholar 

  2. J. A. Bergstra, J. Heering, and P. Klint, editors. Algebraic Specification. The ACM Press in cooperation with Addison-Wesley, 1989.

    Google Scholar 

  3. J. A. Bergstra and P. Klint. The ToolBus coordination architecture. In Proceedings of the First International Conference on Coordination Models, Languages and Applications, Cesena, Italy, April 15–17 1996. to appear.

    Google Scholar 

  4. F. Bonsu and R. Oudejans. Graphic generation language—automatic code generation from design. Master's thesis, Programming Research Group, University of Amsterdam, 1995.

    Google Scholar 

  5. M. van den Brand, S. M. Eijkelkamp, D. K. A. Geluk, H. Meijer, H. R. Osborne, and M. J. F. Polling. Program transformations using ASF+SDF. In M. van den Brand, A. van Deursen, T. B. Dinesh, J. F. Th. Kamperman, and E. Visser, editors, ASF+SDF '95: A Workshop on Generating Tools from Algebraic Specifications, Technical Report P9505, pages 29–52. Programming Research Group, University of Amsterdam, May 1995.

    Google Scholar 

  6. M. van den Brand and Eelco Visser. Generation of formatters for context-free languages. Technical Report P9506, Programming Research Group, University of Amsterdam, 1995. To appear in ACM Transactions on Software Engineering Methodology.

    Google Scholar 

  7. A. van Deursen, J. Heering, and P. Klint (eds.). Language Prototyping, An Algebraic Specification Approach, volume 5 of AMAST Series in Computing. World Scientific Publising Co., 1996. To Appear.

    Google Scholar 

  8. A. van Deursen, P. Klint, and F. Tip. Origin tracking. Journal of Symbolic Computation, 15:523–545, 1993. Special Issue on Automatic Programming.

    Google Scholar 

  9. T. B. Dinesh and S. M. Üsküdarh (Eds.). Teaching formal methods using the ASF+SDF Meta-environment. Technical report, CWI and University of Amsterdam, July 1994. Proceedings of the NSF Workshop on Teaching Formal Methods, URL: ftp:// ftp.cwi.nl/pub/gipe/drafts/TFM.ps.Z.

    Google Scholar 

  10. J.N. Entken. A prototype of a simulator for hydraulic systems. Master's thesis, Programming Research Group, University of Amsterdam, 1993.

    Google Scholar 

  11. J. F. Groote, S. F. M. van Vlijmen, and J. W. C. Koorn. The safety guaranteeing system at station Hoorn-Kersenboogerd. Technical report, Department of Philosophy, Utrecht University, 1995.

    Google Scholar 

  12. J. F. Th. Kamperman and H.R. Walters. Lazy rewriting and eager machinery. In J. Hsiang, editor, Rewriting Techniques and Applications, RTA'95, volume 914 of Lecture Notes in Computer Science, pages 147–162. Springer-Verlag, 1995.

    Google Scholar 

  13. J. F. Th. Kamperman, T. B. Dinesh, and H. R. Walters. An extensible language for the generation of parallel data manipulation and control packages. In Peter A. Fritzson, editor, Proceedings of the Poster Session of Compiler Construction '94, 1994. Appeared as technical report LiTH-IDA-R-94–11, university of Linköping; Full version as CWI Report CS–R9575.

    Google Scholar 

  14. P. Klint A meta-environment for generating programming environments. ACM Transactions on Software Engineering and Methodology, 2(2):176–201, 1993.

    Google Scholar 

  15. L.H. Oei. Pruning the search tree of interlocking design and application language operational semantics. Technical Report P9418, Programming Research Group, University of Amsterdam, 1994.

    Google Scholar 

  16. M. Res. A generated programming environment for RISLA, a specification language defining financial products. Master's thesis, Programming Research Group, University of Amsterdam, 1994.

    Google Scholar 

  17. F. Tip. A survey of program slicing techniques. Journal of Programming Languages, 3(3):121–189, 1995.

    Google Scholar 

  18. H. R. Walters and J. F. Th. Kamperman. A model for I/O in equational languages with don't care non-determinism. In Workshop on Abstract Data Types ADT'95, Lecture Notes in Computer Science. Springer-Verlag, 1996.

    Google Scholar 

  19. D. Weber-Wulff. Selling formal methods to industry. In J. C. P. Woodcock and P. G. Larsen, editors, FME'93: Industrial Strength Formal Methods, volume 670 of Lecture Notes in Computer Science. Springer-Verlag, 1993.

    Google Scholar 

  20. C. Zaadnoordijk. An ASF+SDF specification of a query optimizer for a RDBMS. Master's thesis, Programming Research Group, University of Amsterdam, 1994.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Amsterdam, Kruislaan 403, 1098, SJ Amsterdam

    Mark van den Brand & Paul Klint

  2. CWI, P.O. Box 94079, 1090, GB Amsterdam

    Arie van Deursen, Paul Klint & Steven Klusener

  3. MeesPierson, Rokin 55, Amsterdam

    Emma van der Meulen

  4. CAP Volmac, P.O. Box 2575, 3500, GN Utrecht

    Steven Klusener

Authors
  1. Mark van den Brand
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Arie van Deursen
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Paul Klint
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Steven Klusener
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Emma van der Meulen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Martin Wirsing Maurice Nivat

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

van den Brand, M., van Deursen, A., Klint, P., Klusener, S., van der Meulen, E. (1996). Industrial applications of ASF+SDF. In: Wirsing, M., Nivat, M. (eds) Algebraic Methodology and Software Technology. AMAST 1996. Lecture Notes in Computer Science, vol 1101. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0014303

Download citation

  • DOI: https://doi.org/10.1007/BFb0014303

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61463-0

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation