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.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This work is supported by Deutsche Forschungsgemeinschaft under Sa 465/1-1 and Sa 465/1-2.
Preview
Unable to display preview. Download preview PDF.
References
G.A. Agha. ACTORS: A Model of Concurrent Computation in Distributed Systems. The MIT Press, Cambridge, MA, 1986.
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.
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.
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.
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.
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.
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.
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.
C. Hewitt. Viewing Control Structures as Patterns of Passing Messages. Artificial Intelligence, 8:323–364, 1977.
C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs, NJ, 1985.
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.
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.
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.
L. Lamport. Specifying Concurrent Program Modules. ACM Transactions on Programming Languages and Systems, 5(2):190–222, April 1983.
B. Meyer. Object-Oriented Software Construction. Prentice-Hall, Englewood Cliffs, NJ, 1988.
R. Milner. Communication and Concurrency. Prentice-Hall, Englewood Cliffs, 1989.
O. Nierstrasz. A Guide to Specifying Concurrent Behaviour with Abacus. In D. Tsichritzis, editor, Object Management, pages 267–293. Université de Genève, 1990.
O. M. Nierstrasz and M. Papathomas. Towards a Type Theory for Active Objects. In Object Management, pages 295–304. Université de Genève, 1990.
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].
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.
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.
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.
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.
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.
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.
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.
Author information
Authors and Affiliations
Editor information
Rights 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