Skip to main content
SpringerLink
Log in

A Semantic Model for Dynamic Systems

  • Conference paper
Modelling Database Dynamics

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

Abstract

We present a new formal structure, called d-oid, for modelling systems of evolving objects. In our view, d-oids are the dynamic counterpart of many-sorted algebras, in the sense that they can model dynamic structures as much as algebras can model static data types. D-oids are a basis for giving syntax and semantics for kernel languages for defining methods; these languages are built over what we call method expressions, like applicative kernel languages are built over terms. Moreover some hints are given towards modelling classes and inheritance.

This work has been partially supported by ESPRIT BRA WG n.6071 ISCORE, Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo of C.N.R. and MURST-40% Modelli e Specifiche di Sistemi Concorrenti

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. Aczel. An introduction to inductive definitions. In J. Barwise, editor, Handbook of Mathematical logic, Amsterdam, 1977. North-Holland.

    Google Scholar 

  2. D. Ancona, E. Astesiano, and E. Zucca. Towards a classification of inheritance relations. Technical report, Dipartimento di Informatics e Scienze dell’Informazione, Università di Genova, December 1992. Submitted for publication.

    Google Scholar 

  3. E. Astesiano. Inductive and operational semantics. In E. J. Neuhold and M. Paul, editors, Formal description of programming concepts, Berlin, 1990. Springer Verlag.

    Google Scholar 

  4. C. Beer’ Theoretical foundations for oodb’s - a personal perspective. Database Engineering,1991. To appear.

    Google Scholar 

  5. R. Breu. Algebraic specification techniques in object oriented programming environment. PhD thesis, Universität Passau - TU München, Berlin, 1991.

    Book  Google Scholar 

  6. R. Breu and E. Zucca. An algebraic compositional semantics of an object oriented notation with concurrency. In C.E. Veni Madhavan, editor, Proc. 9th Conference on Foundations of Software Technology and Theoretical Computer Science, number 405 in Lecture Notes in Computer Science, pages 131–142, Berlin, 1989. Springer Verlag.

    Google Scholar 

  7. R. M. Burstall and J. A. Goguen. Introducing institutions. In E. Clarke and D. Kozen, editors, Logics of Programming Workshop, number 164 in Lecture Notes in Computer Science, pages 221–254, Berlin, 1992. Springer Verlag.

    Google Scholar 

  8. W. Cook. A denotational semantics of inheritance. PhD thesis, Brown University, 1989.

    Google Scholar 

  9. P. Cousot and R. Cousot. Inductive definitions, semantics and abstract interpretation. In Proc. POPL ‘82, pages 83–94, 1992.

    Chapter  Google Scholar 

  10. H. D. Ehrich, M. Gogolla, and A. Sernadas. Objects and their specification. In M. Bidoit and C. Choppy, editors, Recent Trends in Data Type Specification, number 655 in Lecture Notes in Computer Science, Berlin, 1992. Springer Verlag.

    Google Scholar 

  11. G. Gottlob, G. Kappel, and M. Schrefl. Semantics of object oriented data models-the evolving algebra approach. In J. W. Schmidt, editor, International Workshop on Information Systems for the 90’s, Lecture Notes in Computer Science, Berlin, 1991. Springer Verlag.

    Google Scholar 

  12. Y. Gurevich. Evolving algebras, a tutorial introduction. Bulletin of the EATCS, (43): 264–284, 1991.

    Google Scholar 

  13. E. G. Wagner. Some mathematical thoughts on languages for data directed design. Technical Report RC 16686 (73950), IBM Research Division, 1991.

    Google Scholar 

  14. M. Wirsing and J. A. Bergstra, editors. Algebraic Methods: Theory, Tools and Applications. Number 394 in Lecture Notes in Computer Science. Springer Verlag, Berlin, 1987.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Informatica e Scienze dell’Informazione, Università di Genova, Genova, Italy

    Egidio Astesiano & Elena Zucca

Authors
  1. Egidio Astesiano
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Elena Zucca
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Informatik, Universität Hannover, Lange Laube 22, D-W 3000, Hannover 1, Germany

    Udo W. Lipeck (Dipl.-Inform., Prof. Dr. rer. nat. habil.) (Dipl.-Inform., Prof. Dr. rer. nat. habil.)

  2. Fachbereich Informatik, Universität Rostock, Albert-Einstein-Straße 21, D-O 2500, Rostock 6, Germany

    Bernhard Thalheim (Dipl.-Math., Prof. Dr. rer. nat. habil.) (Dipl.-Math., Prof. Dr. rer. nat. habil.)

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Astesiano, E., Zucca, E. (1993). A Semantic Model for Dynamic Systems. In: Lipeck, U.W., Thalheim, B. (eds) Modelling Database Dynamics. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3554-8_5

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-3554-8_5

  • Publisher Name: Springer, London

  • Print ISBN: 978-3-540-19803-1

  • Online ISBN: 978-1-4471-3554-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation