Object interaction

  • J. F. Costa
  • A. Sernadas
  • C. Sernadas
  • H. -D. Ehrich
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 629)

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.

References

  1. 1.
    J.Adámek, H.Herrlich and G.Strecker: Abstract and Concrete Categories. Wiley, 1990Google Scholar
  2. 2.
    J.-F.Costa and A.Sernadas: Process Models within a Categorial Framework. Research Report, INESC, 1990 (submitted)Google Scholar
  3. 3.
    J.-F.Costa and A.Sernadas: Progress Assumption in Concurrent Systems. Research Report, INESC, 1990 (submitted)Google Scholar
  4. 4.
    H.-D.Ehrich, A.Sernadas, and C.Sernadas: From Data Types to Object Types. In: Journal of Information Processing and Cybernetics, EIK 26(1/2), 1990, pp. 33–48MathSciNetGoogle Scholar
  5. 5.
    H.-D.Ehrich, J.Goguen and A.Sernadas: A Categorial Theory of Objects as Observed Processes. In: J.W.deBakker, W.P.deRoever, and G.Rozenberg (eds): Proc. of the REX90/Workshop on Foundations of Object-Oriented Languages. LNCS 489, Springer-Verlag, 1991, pp. 203–228Google Scholar
  6. 6.
    H.-D.Ehrich and A.Sernadas: Object Concepts and Constructions. In: G.Saake and A.Sernadas (eds): Proc. of the IS-CORE Workshop'91. Informatik-Berichte 91-03, Tech. Univ. Braunschweig, 1991, pp. 1–24Google Scholar
  7. 7.
    J.Goguen: Sheaf Semantics of Concurrent Interacting Objects. To appear in Mathematical Structures in Computer Science.Google Scholar
  8. 8.
    J.Goguen and S.Ginali: A Categorical Approach to General Systems Theory. In: G.Klir (ed): Applied General Systems Research, Plenum 1978, pp. 257–270Google Scholar
  9. 9.
    B.Jonsson: A Model and Proof System for Asynchronous Networks. In: Proc. of the 4th Annual ACM Symposium on Principles on Distributed Computing, Minaki, Canada, 1985, pp. 49–58Google Scholar
  10. 10.
    P.Wegner: Learning the language. In: Byte 14, 1989, pp. 245–253Google Scholar
  11. 11.
    G.Winskel: Synchronization Trees. In: Theoretical Computer Science 34, 1984Google Scholar

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

Personalised recommendations