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.
Preview
Unable to display preview. Download preview PDF.
References
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.
J. A. Bergstra, J. Heering, and P. Klint, editors. Algebraic Specification. The ACM Press in cooperation with Addison-Wesley, 1989.
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.
F. Bonsu and R. Oudejans. Graphic generation language—automatic code generation from design. Master's thesis, Programming Research Group, University of Amsterdam, 1995.
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.
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.
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.
A. van Deursen, P. Klint, and F. Tip. Origin tracking. Journal of Symbolic Computation, 15:523–545, 1993. Special Issue on Automatic Programming.
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.
J.N. Entken. A prototype of a simulator for hydraulic systems. Master's thesis, Programming Research Group, University of Amsterdam, 1993.
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.
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.
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.
P. Klint A meta-environment for generating programming environments. ACM Transactions on Software Engineering and Methodology, 2(2):176–201, 1993.
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.
M. Res. A generated programming environment for RISLA, a specification language defining financial products. Master's thesis, Programming Research Group, University of Amsterdam, 1994.
F. Tip. A survey of program slicing techniques. Journal of Programming Languages, 3(3):121–189, 1995.
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.
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.
C. Zaadnoordijk. An ASF+SDF specification of a query optimizer for a RDBMS. Master's thesis, Programming Research Group, University of Amsterdam, 1994.
Author information
Authors and Affiliations
Editor information
Rights 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