International Symposium on Mathematical Foundations of Computer Science

MFCS 1992: Mathematical Foundations of Computer Science 1992 pp 200-208

Object interaction

  • J. F. Costa
  • A. Sernadas
  • C. Sernadas
  • H. -D. Ehrich
Conference paper

DOI: 10.1007/3-540-55808-X_18

Volume 629 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Costa J.F., Sernadas A., Sernadas C., Ehrich H.D. (1992) Object interaction. In: Havel I.M., Koubek V. (eds) Mathematical Foundations of Computer Science 1992. MFCS 1992. Lecture Notes in Computer Science, vol 629. Springer, Berlin, Heidelberg

Abstract

Objects are presented as processes endowed with state-dependent slots. Active objects have non-quiescent states. A morphism between two objects expresses that the source object is part-of the target object, in such a way that the possible observations of the part, considered in isolation, are constrained within the whole. Our semantic domain for object-oriented concepts includes a cocomplete category of objects where several kinds of dynamic interaction like event and memory sharing are reflected by colimits.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1992

Authors and Affiliations

  • J. F. Costa
    • 1
  • A. Sernadas
    • 1
  • C. Sernadas
    • 1
  • H. -D. Ehrich
    • 2
  1. 1.NESCLisboa CodexPortugal
  2. 2.Tech. Univ. BraunschweigBraunschweigGermany