Skip to main content
SpringerLink
Log in

An Object-Oriented Design for the ACT ONE Environment

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

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

  • 118 Accesses

Abstract

The overall aim of this paper is to stabilize and strengthen the algebraic specification method to software engineering and development. We do not introduce new theoretical results, but define a conceptual model, i.e., an information system schema, for the well-established algebraic specification language ACT ONE and its accompanying specification environment.

This paper gives a formal description of suitable database support for an environment supporting the interactive development of ACT ONE specifications. The object-oriented data model of TROLL light, a language developed recently within the KORSO project, is used to present the design of such an environment and its dynamic behavior. However, the concepts used are general enough to support other specification and even programming languages as well. Therefore, we feel the design of a conceptual schema for ACT ONE is mainly a case study in employing an object-oriented data model for database support of specification or programming languages. It is therefore a proposal for the consolidation of environments for algebraic specification languages.

Work reported here has been partially supported by the CEC under Grant No. 6112 (COMPASS) and BMFT under Grant No. 01 IS 203 D (KORSO).

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. M. Bidoit and C. Choppy. ASSPEGIQUE: An Integrated Environment for Algebraic Specifications. In H. Ehrig, C. Floyd, M. Nivat, and J. Thatcher, editors, Proc. TAP-SOFT’85, pages 246–260. Springer, LNCS 186, 1985.

    Google Scholar 

  2. M. Bidoit, F. Capy, and C. Choppy. The Design and Specification of the ASSPEGIQUE Database. In A. Miola, editor, Proc. DISCO ’90, pages 205–214. Springer, LNCS 429, 1990.

    Google Scholar 

  3. S. Conrad, M. Gogolla, and R. Herzig. TROLL light:A Core Language for Specifying Objects. Informatik-Bericht 92–02, TU Braunschweig, 1992.

    Google Scholar 

  4. I. Claßen. Revised ACT ONE: Categorical constructions for an algebraic specification language. In Categorical Methods in Computer Science, LNCS 393, pages 124–141. Springer, 1989.

    Google Scholar 

  5. H. Ehrig, I. Claßen, and D. Wolz. Algebraic Specification Techniques and Tools for Software Development— The ACT Approach. AMAST Series in Computing. World Scientific Publishing, 1993.

    Google Scholar 

  6. H. Ehrig, W. Fey, and H. Hansen. ACT ONE: An algebraic specification language with two level of semantics. Technical Report 83/03, TU Berlin, 1983.

    Google Scholar 

  7. M. Gogolla, S. Conrad, and R. Herzig. Sketching Concepts and Computational Model of TROLL light.In A. Miola, editor, DISCO’93. Springer, Berlin, LNCS, 1993.

    Google Scholar 

  8. J.A. Goguen and T. Winkler. Introducing OBJ3. Research Report SRI-CSL-88-9, SRI International, 1988.

    Google Scholar 

  9. H. Hansen. The ACT-System: Experiences and Future Enhancements. In D.T. Sannella and A. Tarlecki, editors, Recent Trends in Data Type Specification (WADT’87), pages 113–130. Springer, LNCS 332, 1987.

    Google Scholar 

  10. H. Hussmann. Rapid Prototyping for Algebraic Specifications—RAP-System User’s Manual. Report MIP 8505, CS Department, Passau University, 1985.

    Google Scholar 

  11. R. Jungclaus, G. Saake, T. Hartmann, and C. Sernadas. Object-Oriented Specification of Information Systems: The TROLL Language. Informatik-Bericht 91–104, Technische Universität Braunschweig, 1991.

    Google Scholar 

  12. C. Lamb, G. Landis, J. Orenstein, and D. Weinreib. The ObjectStore Database System. Communications of the ACM, 34(10):50–63, 1991.

    Article  Google Scholar 

  13. J. Loeckx and M. Wolf. The OBSCURE Manual. Technical Report 91/03, Computer Science Department, University of Saabrücken, 1991.

    Google Scholar 

  14. A. Sernadas, C. Sernadas, and H.-D. Ehrich. Object-Oriented Specification of Databases: An Algebraic Approach. In P.M. Stoecker and W. Kent, editors, Proc. 13th Int. Conf. on Very Large Databases, pages 107–116. VLDB Endowment Press, Saratoga (CA), 1987.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Abt. Datenbanken, TU Braunschweig, D-38023, Braunschweig, Germany

    Martin Gogolla

  2. TU Berlin, Fachbereich 20, D-10587, Berlin, Germany

    Ingo Claßen

Authors
  1. Martin Gogolla
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ingo Claßen
    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

Gogolla, M., Claßen, I. (1994). An Object-Oriented Design for the ACT ONE Environment. 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_38

Download citation

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

  • 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