Industrial applications of ASF+SDF

  • Mark van den Brand
  • Arie van Deursen
  • Paul Klint
  • Steven Klusener
  • Emma van der Meulen
Education Day: Industrial Applications of Formal Methods
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1101)


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.


Formal Method Language Design Concrete Syntax Prototype Tool Language Definition 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 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. 2.
    J. A. Bergstra, J. Heering, and P. Klint, editors. Algebraic Specification. The ACM Press in cooperation with Addison-Wesley, 1989.Google Scholar
  3. 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. 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. 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. 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. 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. 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. 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:// Scholar
  10. 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. 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. 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. 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. 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. 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. 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. 17.
    F. Tip. A survey of program slicing techniques. Journal of Programming Languages, 3(3):121–189, 1995.Google Scholar
  18. 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. 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. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Mark van den Brand
    • 1
  • Arie van Deursen
    • 2
  • Paul Klint
    • 1
    • 2
  • Steven Klusener
    • 2
    • 4
  • Emma van der Meulen
    • 3
  1. 1.University of AmsterdamSJ Amsterdam
  2. 2.CWIGB Amsterdam
  3. 3.MeesPiersonAmsterdam
  4. 4.CAP VolmacGN Utrecht

Personalised recommendations