Skip to main content
SpringerLink
Log in

Abstract and Concrete Objects — An Algebraic Design Method for Object-Based Systems

  • Conference paper
Algebraic Methodology and Software Technology (AMAST’93)

Part of the book series: Workshops in Computing ((WORKSHOPS COMP.))

Abstract

This paper outlines a design method for an object-based system using algebraic specification techniques. A two-tiered approach supports the design of objects. At an abstract level, objects are described by state independent values. The transition to a state based representation of objects is deferred to later stages of the design. Abstraction functions ensure the correctness of the system developed.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. P. America: Designing an object-oriented programming language with behavioural subtyping. In: J.W. de Bakker et al. (eds.): Foundations of Object-Oriented Languages, Proc. REX School/Workshop, The Netherlands, May/June 1990. Lecture Notes in Computer Science 489, Springer, 1991, 60–90

    Google Scholar 

  2. P. America, F. de Boer: A Proof System for Process Creation.In: Proc. IFIP TC 2 Working Conference on Programming Concepts and Methods, April 1990

    Google Scholar 

  3. M. Breu: Development of Implementations. In: PROgram Development by SPECification and TRAnsformation, Volume I. Esprit Project 390 PROSPECTRA, Report M2.2.S4—R—11.0, 1990 (to appear in the series of Springer Lecture Notes in Computer Science)

    Google Scholar 

  4. R. Breu: Algebraic Specification Techniques in Object Oriented Programming Environments. Lecture Notes in Computer Science 562, Springer, 1991

    Google Scholar 

  5. M. Broy, C. Facchi, R. Grosu, R. Hettler, H. Hussmann, D. Nazareth, F. Regensburger, K. Stolen: The Requirement and Design Specification Language SPECTRUM—An Informal Introduction, Version 0.3. Report TUM-I9140, Technische Universität München, 1991

    Google Scholar 

  6. J.A. Goguen, J. Meseguer: Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics. In: B. Shriver, P. Wegner (eds.): Research Directions in Object-Oriented Programming. MIT Press, 1987, 417–477

    Google Scholar 

  7. J. M. Wing: Writing Larch Interface Language Specifications. ACM Transactions on Programming Languages and Systems 9:1, 1–24 (1987)

    Article  MATH  Google Scholar 

  8. M. Wirsing: Algebraic Specification. In: J. van Leeuwen (ed.): Handbook of Theoretical Computer Science. Elsevier Science Publishers, 1990

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik, Technische Universität München, D-80290, München, Germany

    Ruth Breu

  2. Siemens Nixdorf Informationssysteme AG, European Methodology and Systems Center, D-81730, München, Germany

    Michael Breu

Authors
  1. Ruth Breu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Michael Breu
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. LITP, Université Paris VII, 2 Place Jussieu, 75251, Paris-Cedex 05, France

    Maurice Nivat

  2. Department of Computing Science, University of Stirling, Stirling, FK9 4LA, Scotland, UK

    Charles Rattray BSc, MSc, FIMA, FBCS, C.Eng., C.Math.

  3. Department of Computer Science, University of Iowa, Iowa City, IA, 52242, USA

    Teodor Rus PhD

  4. Fac. Informatica, University of Twente, PO Box 217, NL-7500 AE, Enschede, The Netherlands

    Giuseppe Scollo PhD

Rights and permissions

Reprints and permissions

Copyright information

© 1994 British Computer Society

About this paper

Cite this paper

Breu, R., Breu, M. (1994). Abstract and Concrete Objects — An Algebraic Design Method for Object-Based Systems. In: Nivat, M., Rattray, C., Rus, T., Scollo, G. (eds) Algebraic Methodology and Software Technology (AMAST’93). Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3227-1_36

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-3227-1_36

  • Publisher Name: Springer, London

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

  • Online ISBN: 978-1-4471-3227-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation