Skip to main content
SpringerLink
Log in

Abstract description of distributed object systems

  • Conference paper
  • First Online:
Object-Based Concurrent Computing (ECOOP 1991)

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

Included in the following conference series:

Abstract

In this paper we propose an abstract object-oriented model to describe distributed systems in an actor-oriented way. We introduce Basic Object Structures (BOS) with the basic concepts base objects to represent entities and channels as representations of communications between base objects. Objects are regarded as processes that can be observed. Based on these concepts we show how BOS can be uniformly described using an abstract language, the TROLL-kernel.

This work is supported by Deutsche Forschungsgemeinschaft under Sa 465/1-1 and Sa 465/1-2.

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. G.A. Agha. ACTORS: A Model of Concurrent Computation in Distributed Systems. The MIT Press, Cambridge, MA, 1986.

    Google Scholar 

  2. P. America. POOL-T: A Parallel Object-Oriented Language. In M. Tokoro and A. Yonezawa, editors, Object-Oriented Concurrent Programming, pages 199–220. The MIT Press, 1987.

    Google Scholar 

  3. H.-D. Ehrich, J. A. Goguen, and A. Sernadas. A Categorial Theory of Objects as Observed Processes. In J. de Bakker, W. de Roever, and G. Rozenberg, editors, Foundations of Object-Oriented Languages (Proc. REX School/Workshop), pages 203–228, Noordwijkerhood (NL), 1990. LNCS 489, Springer-Verlag, Berlin, 1991.

    Google Scholar 

  4. H.-D. Ehrich and A. Sernadas. Algebraic Implementation of Objects over Objects. In W. deRoever, editor, Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness (Proc. REX'89), pages 239–266, Mood (NL), 1989. LNCS 394, Springer Verlag, Berlin, 1989.

    Google Scholar 

  5. H.-D. Ehrich and A. Sernadas. Fundamental Object Concepts and Constructions. In G. Saake and A. Sernadas, editors, Information Systems — Correctness and Reusability, pages 97–128. Technical University Braunschweig, Informatik Bericht 91-03, 1991.

    Google Scholar 

  6. H.-D. Ehrich, A. Sernadas, and C. Sernadas. From Data Types to Object Types. Journal on Information Processing and Cybernetics EIK, 26(1/2):33–48, 1990.

    Google Scholar 

  7. J. Fiadeiro and T.S.E. Maibaum. Towards Object Calculi. In G. Saake and A. Sernadas, editors, Information Systems — Correctness and Reusability, pages 129–178. Technical University Braunschweig, Informatik Bericht 91-03, 1991.

    Google Scholar 

  8. J. Fiadeiro, C. Sernadas, T. Maibaum, and G. Saake. Proof-Theoretic Semantics of Object-Oriented Specification Constructs. In R. Meersman and W. Kent, editors, Object-Oriented Databases: Analysis, Design and Construction (Proc. 4th IFIP WG 2.6 Working Conference DS-4), Windermere (UK), 1990. North-Holland, Amsterdam. In print.

    Google Scholar 

  9. C. Hewitt. Viewing Control Structures as Patterns of Passing Messages. Artificial Intelligence, 8:323–364, 1977.

    Google Scholar 

  10. C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs, NJ, 1985.

    Google Scholar 

  11. R. Jungclaus, T. Hartmann, G. Saake, and C. Sernadas. Introduction to TROLL — A Language for Object-Oriented Specification of Information Systems. In G. Saake and A. Sernadas, editors, Information Systems — Correctness and Reusability, pages 97–128. Technical University Braunschweig, Informatik Bericht 91-03, 1991.

    Google Scholar 

  12. R. Jungclaus, G. Saake, and T. Hartmann. Language Features for Object-Oriented Conceptual Modeling. In T. Teory, editor, Proc. 10th Int. Conf. on the ER-Approach, San Mateo (CA), pages 309–324, 1991.

    Google Scholar 

  13. R. Jungclaus, G. Saake, and C. Sernadas. Formal Specification of Object Systems. In S. Abramsky and T. Maibaum, editors, Proc. TAPSOFT'91, pages 60–82, Brighton (UK), 1991. LNCS 494, Springer-Verlag, Berlin.

    Google Scholar 

  14. L. Lamport. Specifying Concurrent Program Modules. ACM Transactions on Programming Languages and Systems, 5(2):190–222, April 1983.

    Google Scholar 

  15. B. Meyer. Object-Oriented Software Construction. Prentice-Hall, Englewood Cliffs, NJ, 1988.

    Google Scholar 

  16. R. Milner. Communication and Concurrency. Prentice-Hall, Englewood Cliffs, 1989.

    Google Scholar 

  17. O. Nierstrasz. A Guide to Specifying Concurrent Behaviour with Abacus. In D. Tsichritzis, editor, Object Management, pages 267–293. Université de Genève, 1990.

    Google Scholar 

  18. O. M. Nierstrasz and M. Papathomas. Towards a Type Theory for Active Objects. In Object Management, pages 295–304. Université de Genève, 1990.

    Google Scholar 

  19. O. M. Nierstrasz and M. Papathomas. Viewing Objects as Patterns of Communicating Agents. In N. Meyrowitz, editor, ECOOP/OOPSLA '90 Proceedings, Ottawa, 1990. ACM, 1990. also in [NP90a].

    Google Scholar 

  20. A. Sernadas and H.-D. Ehrich. What Is an Object, After All? In R. Meersman and W. Kent, editors, Object-Oriented Databases: Analysis, Design and Construction (Proc. 4th IFIP WG 2.6 Working Conference DS-4), Windermere (UK), 1990. North-Holland, Amsterdam. In print.

    Google Scholar 

  21. A. Sernadas, J. Fiadeiro, C. Sernadas, and H.-D. Ehrich. Abstract Object Types: A Temporal Perspective. In Banieqbal, Baringer, and Pnueli, editors, Temporal Logic in Specification. Springer, LNCS 398, 1989.

    Google Scholar 

  22. A. Sernadas, J. Fiadeiro, C. Sernadas, and H.-D. Ehrich. The Basic Building Blocks of Information Systems. In E. Falkenberg and P. Lindgreen, editors, Information System Concepts: An In-Depth Analysis, pages 225–246, Namur (B), 1989. North-Holland, Amsterdam, 1989.

    Google Scholar 

  23. G. Saake and R. Jungclaus. Specification of Database Applications in the TROLL Language. In Proc. Int. Workshop on the Specification of Database Applications, 1991. To appear.

    Google Scholar 

  24. G. Saake, R. Jungclaus, and H.-D. Ehrich. Object-Oriented Specification and Stepwise Refinement. In Proc. International IFIP Workshop on Open Distributed Processing, Berlin. North Holland, 1991. To appear.

    Google Scholar 

  25. A. Sernadas, C. Sernadas, and H.-D. Ehrich. Object-Oriented Specification of Databases: An Algebraic Approach. In P. Hammerslay, editor, Proc. 13th Int. Conf. on Very Large Databases VLDB'87, pages 107–116, Brighton (GB), 1987. Morgan-Kaufmann, Palo Alto, 1987.

    Google Scholar 

  26. A. Yonezawa, E. Shibayama, T. Takada, and Y. Honda. Modelling and Programming in an Object-Oriented Concurrent Language ABCL/1. In M. Tokoro and A. Yonezawa, editors, Object-Oriented Concurrent Programming, pages 55–89. The MIT Press, 1987.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Abt. Datenbanken, TU Braunschweig, P.O. Box 3329, D-W-3300, Braunschweig, FRG

    Thorsten Hartmann & Ralf Jungclaus

Authors
  1. Thorsten Hartmann
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ralf Jungclaus
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

M. Tokoro O. Nierstrasz P. Wegner

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hartmann, T., Jungclaus, R. (1992). Abstract description of distributed object systems. In: Tokoro, M., Nierstrasz, O., Wegner, P. (eds) Object-Based Concurrent Computing. ECOOP 1991. Lecture Notes in Computer Science, vol 612. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55613-3_12

Download citation

  • DOI: https://doi.org/10.1007/3-540-55613-3_12

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55613-8

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation