iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://doi.org/10.1007/BFb0015034
Algebraic specification a step towards future software engineering | SpringerLink
Skip to main content
Springer Nature Link
Log in

Algebraic specification a step towards future software engineering

  • Part I Algebraic Specification
  • Conference paper
  • First Online:
Algebraic Methods: Theory, Tools and Applications (Algebraic Methods 1987)

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

Included in the following conference series:

  • 140 Accesses

Abstract

The wide spectrum language CIP-L offers, among other concepts, algebraic abstract types for the formulation of formal problem specifications. This concept has been used for a real-life, large-scale application, viz. the (formal) specification of the (kernel of the) program transformation system CIP-S. From the general experiences with formal specification and the technical experiences in using CIP-L (with all its particularities) that were gained in this project, a number of objectives are derived, both for the design of practically usable languages based on the idea of algebraic specification and their support by appropriate tools as part of a comprehensive software engineering discipline.

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. Bartels, U., Olthoff, W., Raulefs, P.: APE: An expert system for automatic programming from abstract specifications of data types and algorithms. Fachbereich Informatik, Universität Kaiserslautern, MEMO SEKI-01-81, 1981

    Google Scholar 

  2. Bauer, F.L., Berghammer, R., Broy, M., Dosch, W., Geiselbrechtinger, F., Gnatz, R., Hangel, E., Hesse, W., Krieg-Brückner, B., Laut, A., Matzner, T., Möller, B., Nickl, F., Partsch, H., Pepper, P., Samelson, K., Wirsing, M., Wössner, H.: The Munich project CIP. Volume I: The wide spectrum language CIP-L. Lecture Notes in Computer Science 183, Berlin: Springer 1985

    Google Scholar 

  3. Bauer, F.L., Horsch, A., Möller, B., Partsch, H., Paukner, O., Pepper, P.: The Munich project CIP. Volume II: The transformation system CIP-S. Lecture Notes in Computer Science 292, Berlin: Springer 1987

    Google Scholar 

  4. Bauer, F.L., Möller, B., Partsch, H., Pepper, P: Programming by formal reasoning — an overview of the Munich CIP project. To appear in: IEEE Transactions on Software Engineering, 1988

    Google Scholar 

  5. Bergstra, J.A., Heering, J., Klint P.: ASF — An algebraic specification formalism. Centre for Mathematics and Computer Science, Amsterdam, Technical Report CS-R8705, 1987

    Google Scholar 

  6. Bidoit, M., Choppy, C.: ASSPEGIQUE: an integrated environment for algebraic specifications. Proc. International Joint Conference on Theory an Practice of Software Development, Berlin 1985. Lecture Notes in Computer Science 186, Berlin: Springer 1985, pp. 246–260

    Google Scholar 

  7. Bidoit, M., Capy, F., Choppy, C., Choquet, N., Gresse, C., Kaplan, S., Schlienger, F., Voisin, F.: ASSPRO: an interactive and integrated programming environment. Technology and Science of Informatics 6:4, 259–278 (1987)

    Google Scholar 

  8. Bird, R.S.: An introduction to the theory of lists. Oxford University Computing Laboratory, Programming Research Group, Technical Monograph PRG-56, 1986

    Google Scholar 

  9. Botma, B.: AXLAB: A specification environment for algebraic types. Dept. of Computer Science, University of Nijmegen, Master thesis, 1988

    Google Scholar 

  10. Broy, M.: Fixed Point theory for communication and concurrency. In: Bjørner, D. (ed.): IFIP TC2 Working Conference on Formal Description of Programming Concepts II, Garmisch-Partenkirchen, June 1982. Amsterdam: North-Holland, 1983

    Google Scholar 

  11. Broy, M.: Applicative real time programming. In: Mason, R.E.A. (ed.): Information Processing 83. Proc. 9th IFIP World Computer Congress, Paris, Sept. 19–23, 1983. Amsterdam: North-Holland 1983, pp. 259–264

    Google Scholar 

  12. Broy, M.: Semantics of communicating processes. Information and Control 61, 202–246 (1984)

    Article  Google Scholar 

  13. Broy, M.: Specification and top down design of distributed systems. In: Ehrig, H., et al. (eds.): Formal methods and software development. Lecture Notes in Computer Science 186. Berlin: Springer 1985, pp. 4–28

    Google Scholar 

  14. Broy, M., Möller, B., Pepper, P., Wirsing, M.: Algebraic implementations preserve program correctness. Science of Computer Programming 7, 35–53 (1986)

    Article  Google Scholar 

  15. Burstall, R.M., Goguen, J.A.: Semantics of CLEAR, a specification language. In: Bjørner, D. (ed.): Abstract software specifications. Lecture Notes in Computer Science 86, Berlin: Springer 1980, pp. 292–332

    Google Scholar 

  16. Ehler, H.: Making formal specifications readable. Institut für Informatik, TU München, TUM-I8527, 1985

    Google Scholar 

  17. Ehrig, H., Fey, W., Hansen, H.: ACT ONE — an algebraic specification language with two levels of semantics. Fachbereich 20, TU Berlin, Technical Report 83-03, 1983

    Google Scholar 

  18. Feijs, L.M.G., Jonkers, H.B.M, Obbink, J.H., Koymans, C.P.J., Renardel de Lavalette, G.R., Rodenburg, P.H.: A survey of the design language COLD. In: ESPRIT '86: Results and Achievements. Amsterdam: North-Holland 1987, pp. 631–644

    Google Scholar 

  19. Futatsugi, K., Goguen J.A., Jouannaud, J.P., Meseguer, J.: Principles of OBJ2. Proc. 12th Ann. ACM Symp. on Principles of Programming Languages, ACM, 1985, pp. 52–66

    Google Scholar 

  20. Gaudel, M.C.: Toward structured algebraic specification. In: ESPRIT '85: Status Report of Continuing Work. Part I. Amsterdam: North-Holland, 1986, pp. 493–510

    Google Scholar 

  21. Gerhart, S.L., Musser, D.R., Thompson, D.H., Baker, D.A., Bates, R.L., Erickson, R.W., London, R.L., Taylor, D.G., Wile, D.S.: An overview of AFFIRM: a specification and verification system. In: Lavington, S.H. (ed.): Information Processing 80, Amsterdam: North-Holland, 1980, pp. 343–347

    Google Scholar 

  22. Gerhart, S. (ed.): AFFIRM-type library. USC/Information Sciences Institute, Technical report 1981

    Google Scholar 

  23. Goguen, J.A., Tardo, J.: OBJ-0 preliminary users manual. Computer Science Department, University of California at Los Angeles, 1977

    Google Scholar 

  24. Goguen, J., Meseguer, J.: OBJ-1, a study in executable algebraic formal specifications. SRI International, Technical Report 1981

    Google Scholar 

  25. Guttag, J.V., Horning, J.J.: The algebraic specification of abstract data types. Acta Informatica 10, 27–52 (1978)

    Article  Google Scholar 

  26. Guttag, J.V., Horning, J.J.: Preliminary Report on the LARCH shared language. Technical Report CSL 83-6, Xerox, Palo Alto, 1983

    Google Scholar 

  27. Heering, J., Klint, P.: A syntax definition formalism. In: ESPRIT '86: Results and Achievements. Amsterdam: North-Holland, 1987, pp. 619–630

    Google Scholar 

  28. Hußmann, H.: Rapid prototyping for algebraic specifications. RAP-System User's Manual. Fakultät für Mathematik und Informatik, Universität Passau, Report MIP-8504, 1985

    Google Scholar 

  29. Hußmann, H.: RAP-2 User Manual. Fachbereich Mathematik und Informatik, Universität Passau, Technischer Bericht 1987

    Google Scholar 

  30. Jonkers, H.B.M., Koymans C.P.J., Renardel de Lavalette, G.R.: A semantic framework for the COLD-family of languages. Logic Group Preprint Series No. 9, Department of Philosophy, University of Utrecht, 1986

    Google Scholar 

  31. Krämer, B.: SEGRAS — a formal language combining Petri nets and abstract data types for specifying distributed systems. Proc. 9th International Conference on Software Engineering, Monterey, Ca., 1987, pp. 116–125

    Google Scholar 

  32. Kühnel, B., Partsch, H., Reinshagen, K.P.: Requirements Engineering — Versuch einer Begriffsklärung. Informatik-Spektrum 10:6, 334–335 (1987)

    Google Scholar 

  33. Lescanne, P.: Computer experiments with the REVE term rewriting system generator. Centre de Recherche en Informatique de Nancy, Technical Report, 1982

    Google Scholar 

  34. Leszcylowski, J., Wirsing, M.: A system for reasoning within and about algebraic specifications. In: Dezani-Ciancaglini, M., Montanari, U. (eds.): 5th Int. Symp. on Programming, Turin, Italy, 1982. Lecture Notes in Computer Science 137, Berlin: Springer 1982, pp. 257–282

    Google Scholar 

  35. London, P., Feather, M.S.: Implementing specification freedom. Science of Computer Programming 2, 91–131 (1982)

    Article  Google Scholar 

  36. Möller, B.: Algebraic specifications with higher-order operations. In: Meertens, L.G.L.T. (ed.): Program Specification and Transformation. Amsterdam: North-Holland 1986, pp. 367–392

    Google Scholar 

  37. Möller, B.: Higher-order algebraic specifications. Fachbereich Mathematik und Informatik, TU München, Habilitation thesis, 1987

    Google Scholar 

  38. Möller, B., Partsch, H.: Formal specification of large-scale software: objectives, design decisions, and experiences in a concrete software project. In: Meertens, L.G.L.T. (ed.): Program Specification and Transformation. Amsterdam: North-Holland 1986

    Google Scholar 

  39. Neighbors, J.M.: Software construction using components. Ph. D. dissertation, Technical Report 160, University of California at Irvine, 1980

    Google Scholar 

  40. Parnas, D.L.: On the criteria to be used in decomposing systems into modules. Comm. ACM 15:12, 1053–1058 (1972)

    Article  Google Scholar 

  41. Partsch, H., Möller, B.: Konstruktion korrekter Programme durch Transformation. Informatik-Spektrum 10:6, 309–323 (1987)

    Google Scholar 

  42. Pepper, P.: A simple calculus for program transformations (inclusive of induction). Institut für Informatik, TU München, TUM-18409, 1984

    Google Scholar 

  43. Wile, D.S.: Local formalisms. In: Meertens, L.G.L.T. (ed.): Program Specification and Transformation. Amsterdam: North-Holland 1986

    Google Scholar 

  44. Wirsing, M.: A Specification Language. Fachbereich Mathematik und Informatik, TU München, Habilitation thesis, 1983

    Google Scholar 

  45. Wirsing, M., Pepper, P., Partsch, H., Dosch, W., Broy, M.: On hierarchies of abstract data types. Acta Informatica 20, 1–33 (1983)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. KU Nijmegen, The Netherlands

    H. Partsch

Authors
  1. H. Partsch
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Martin Wirsing Jan A. Bergstra

Rights and permissions

Reprints and permissions

Copyright information

© 1989 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Partsch, H. (1989). Algebraic specification a step towards future software engineering. In: Wirsing, M., Bergstra, J.A. (eds) Algebraic Methods: Theory, Tools and Applications. Algebraic Methods 1987. Lecture Notes in Computer Science, vol 394. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0015034

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-51698-9

  • Online ISBN: 978-3-540-46758-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation