Skip to main content
SpringerLink
Log in

The ACT-system experiences and future enhancements

  • Conference paper
  • First Online:
Recent Trends in Data Type Specification (ADT 1987)

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

Included in the following conference series:

Abstract

The ACT-system, which comprises an implementation of the algebraic specification language ACT ONE, an Interpreter, a Persistency Checker and a Pretty-Printer, is a specification environment, which is used for the development of specifications for software systems. Here we focus on the environment of the Interpreter, which includes implementations for the concept of object-variables with assignment and the concept of input and output conversion. The former concept is analogous to variables and assignment as known from programming languages while the latter is equivalent to the concept of input- and output-formats of high-level programming languages. It will be shown that this environment greatly enhances the usability of the Interpreter in the ACT-system. Furthermore a new interpretation technique is proposed, which works with arbitrary algebraic specifications. These concepts together allow testing of all algebraic specifications with initial or free functor semantics as well as using them as prototypes of software systems in a convenient way.

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.

6. References

  1. Goguen, J.A., Thatcher, J.W., Wagner, E.G.: An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types, IBM Research Report RC 6487, 1976 Also: Current Trends in Programming Methodology IV: Data Structuring (R. Yeh, ed.), Prentice Hall, 1978, pp. 80–144

    Google Scholar 

  2. Bidoit, M., Choppy, C., Voisin, F.: The ASSPEGIQUE specification environment In. Kreowski, H.-J. (ed.): Informatik Fachberichte Nr. 116, Springer Verlag, 1985

    Google Scholar 

  3. Bidoit, M., Gaudel, M.C., Mauboussin, A.: How to make Algebraic Specifications more understandable? Research Report Nr. 343, Laboratory of Computer Science, Universite de Paris-Sud, Orsay 1987

    Google Scholar 

  4. Boehm, P., Hansen, H.: ACT-System User's Guide, Department of Computer Science, TU Berlin, 1986 (German)

    Google Scholar 

  5. Boehm, P., Hansen, H.: ACT-System: Interpreter User's Guide, Department of Computer Science, TU Berlin, 1986 (German)

    Google Scholar 

  6. Brauer, J., Hansen, H.: Spezifikation von VLSI-Entwurfsobjeckten als abstrakte Datentypen, E.I.S. Workshop, Bonn, 13–14. October 1987

    Google Scholar 

  7. Burstall, R. M., MacQueen, D. B., Sannella, D. T.: HOPE: An Experimental Applicative Language, Internal Report No. CSR-62-80, Department of Computer Science, University of Edinburgh, May 1980

    Google Scholar 

  8. The CIP Language Group: The Munich Project CIP-Vol. I: The Wide Spectrum Language CIP-L, Lecture Notes in Computer Science, No. 183, Springer-Verlag, 1985

    Google Scholar 

  9. Diaz, M., Vissers, C., Budkowski, S.: ESTELLE and LOTOS Software Environments for the Design of Open Distributed Systems, In: Commission of the European Communities (ed.): ESPRIT '87 — Achievements and Impact, Proceedings of the 4th Annual ESPRIT Conference, Brussels, September 28–29, 1987; North-Holland, 1987

    Google Scholar 

  10. EDIF — Electronic Design Interchange Format (Version 200), EDIF Steering Committee, Electronic Industries Association, Washington, D.C.

    Google Scholar 

  11. Ehrig, H., Fey, W., Hansen, H.: ACT ONE: An Algebraic Specification Language with two Levels of Semantics, Research Report Nr. 83-03, Department of Computer Science, TU Berlin, 1983

    Google Scholar 

  12. Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 1, Springer Verlag, Berlin, 1985

    Google Scholar 

  13. Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 2, to appear, 1988

    Google Scholar 

  14. Fey, W.: Introduction to Algebraic Specification in ACT TWO, Research Report No. 86-13, Department of Computer Science, TU Berlin, 1986

    Google Scholar 

  15. Fey, W.: The Module Specification and Interconnection Language ACT TWO, to appear 1988

    Google Scholar 

  16. Futatsugi, K., Goguen, J. A., Jouannaud, J.-P., Meseguer, J.: Principles of OBJ2, Proceedings of the 12th ACM Symposium on Principles of Programming Languages, New-Orleans, Lousiana, January 1985, pp. 52–66

    Google Scholar 

  17. Gaudel, M.-C.: A first Introduction to PLUSS, Internal draft report, LRI, UNiversité de Paris-Sud, December 1984

    Google Scholar 

  18. Ganzinger, H.: A Completion Procedure for Conditional Equational Specifications, Internal Report of talk, held at the 5th Workshop on Specification of Abstract Data Types, Gullane, 1–4 September 1987

    Google Scholar 

  19. Guttag, J. V., Horning, J. J.: An Introduction to the LARCH Shared Language; In: Mason, R. E. A. (ed.): Information Processing 83, Elsevier Science Publishers B.V., North-Holland, 1983

    Google Scholar 

  20. Geser, A., Hussmann, H.: Rapid Prototyping for Algebraic Specifications: Examples for the Use of the RAP System, Research Report Nr. MIP-8517, University of Passau, December 1985

    Google Scholar 

  21. Hansen, H.: An ACT ONE Specification for User Operations of a Line-Oriented Editor, Research Report Nr. 84-20, Department of Computer Science, TU Berlin, 1984

    Google Scholar 

  22. Hansen, H.: Von algebraischen Spezifikationen zu algebraischen Programmen, Dissertation thesis, TU Berlin, 1986; also in: Research Report Nr. 87-02, Department of Computer Science, TU Berlin, 1987

    Google Scholar 

  23. Hasler, K.-P., Löwe, M., Reisin, M.: Modell, Spezifikation und Korrektheit eines universellen Interpreters für algebraische Spezifikationen, Master thesis, TU Berlin, 1981

    Google Scholar 

  24. Hasler, K.-P., Meer, J. de: OSI-Transport-Service Considered as an Abstract Data Type; In: Kreowski, H.-J.: Recent Trends in Data Type Specifications, Informatik Fachberichte Nr. 116, Springer Verlag, 1985

    Google Scholar 

  25. Harper, R., MacQueen, D., Milner, R.: Standard ML, LFCS Report Series No. ECS-LFCS-86-2, Department of Computer Science, University of Edinburgh, March 1986

    Google Scholar 

  26. Huet, G., Oppen, D.C.: Equations and Rewrite Rules: A Survey; In: Book, R. V., ed., Formal Language Theory: Perspectives and Open Problems, Academic Press, 1980

    Google Scholar 

  27. Hussmann, H.: Rapid Prototyping for Algebraic Specifications-RAP Systems User's Manual, Research Report Nr. MIP-8504, University of Passau, March 1985

    Google Scholar 

  28. Jensen, K., Wirth, N.: Pascal User Manual and Report; Third Edition, Springer-Verlag, New York 1985

    Google Scholar 

  29. Klaeren, H.A.: A Constructive Method for Abstract Algebraic Software Specification, RWTH Aachen, Schriften zur Informatik und Ang. Math., Nr. 78, 1982; also in: Theoretical Computer Science, 1984

    Google Scholar 

  30. Klaeren, H.A.: Efficient Implementation of an Algebraic Specification Language, Invited talk at the ESPRIT METEOR Workshop on Algebraic Methods: Theory, Tools and Application, Passau, 1987, to appear in LNCS, Springer, 1987

    Google Scholar 

  31. Langen, A.: Algorithmen zur Überprüfung der semantischen Kontextbedingungen der Spezifikationssprache ACT ONE, Research Report Nr. 85-12, Department of Computer Science, TU Berlin 1985

    Google Scholar 

  32. Langen, A.: PERSIST: ein Programm zur Überprüfung syntaktischer hinreichender Bedingungen für Persistenz parametrisierter algebraischer Spezifikationen, Research Report Nr. 85-11, Department of Computer Science, TU Berlin 1985

    Google Scholar 

  33. Lescanne, P.: Computer Experiments with the REVE Term Rewriting System Generator; In: Proceedings of the Symposium on Principles of Programming Languages, ACM, 1983

    Google Scholar 

  34. Lehmann, T., Loeckx, J.: The Specification Language of OBSCURE, Research Report No. A 87/07, Department of Applied Mathematics and Computer Science, Universität des Saarlandes, Saarbrücken, 1987

    Google Scholar 

  35. Mahr, B., Nürnberg, F.: DONALD — A Single Assignment Language for Non-Sequential Algorithms Over Arbitrary Data Types, Research Report Nr. 84-07, Department of Computer Science, TU Berlin, May 1984

    Google Scholar 

  36. Musser, D. R.: Abstract Dta Type Specification in the AFFIRM System, IEEE Transactions on Software Engineering, Vol. SE-6, No. 1, January 1980, pp. 24–32

    Google Scholar 

  37. Padawitz, P.: Correctness, Completeness, and Consistency of Equational Data Type Specifications, Dissertation thesis, TU Berlin 1983; also in: Research Report Nr. 83-15, Department of Computer Science, TU Berlin, 1983

    Google Scholar 

  38. Padawitz, P.: Parameter Preserving Data Type Specifications, Proc. TAPSOFT Vol. 1, 1985, LNCS 185, pp. 323–341, Springer Verlag, 1985

    Google Scholar 

  39. Rieckhoff, C.: Induzierte Korrektheit parametrisierter algebraischer Spezifikationen unter Anwendung kategorieller Methoden, Research Report Nr. 85-13, Department of Computer Science, TU Berlin, 1985

    Google Scholar 

  40. Sannella, D.: Formal Specification of ML Programs, LFCS Report Series No. ECS-LFCS-86-15, Department of Computer Science, University of Edinburgh, November 1986

    Google Scholar 

  41. Schulte, W.: A gebraische Spezifikation und Programmentwicklung eines syntaxgesteuerten Editors, Master thesis, Department of Computer Science, TU Berlin, March 1987

    Google Scholar 

  42. Sannella, D., Tarlecki, A.: Extended ML: an intitution-independent framework for formal program development; In: Proceedings of the Workshop on Category and Computer Programming, Guildford, 1985

    Google Scholar 

  43. Thatcher, J.W., Wagner, E.G., Wright, J.B.: Data Type Specification: Parameterization and the Power of Specification Techniques; 10th Symp. Theory of Computing, 1978, pp. 119–132; Trans. Prog. Languages and Systems 4, 1982, pp. 711–732

    Google Scholar 

  44. Waterloo Prolog User's Manual (Version 1.7), Intralogic Inc., Waterloo, Canada, 1986

    Google Scholar 

  45. Wing, J.: Writing LARCH Interface Language Specifications, ACM Transactions on Programming Languages Vol. 9, No. 2, April 1987, pp. 1–25

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Insitute for Software and Theoretical Computer Science Department of Computer Science, Technical University of Berlin, Franklinstraße 28/29, D-1000, Berlin 10

    Horst Hansen

Authors
  1. Horst Hansen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

D. Sannella A. Tarlecki

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hansen, H. (1988). The ACT-system experiences and future enhancements. In: Sannella, D., Tarlecki, A. (eds) Recent Trends in Data Type Specification. ADT 1987. Lecture Notes in Computer Science, vol 332. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-50325-0_6

Download citation

  • DOI: https://doi.org/10.1007/3-540-50325-0_6

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-50325-5

  • Online ISBN: 978-3-540-45970-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation