Object interaction
Conference paper
First Online:
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.
References
- 1.J.Adámek, H.Herrlich and G.Strecker: Abstract and Concrete Categories. Wiley, 1990Google Scholar
- 2.J.-F.Costa and A.Sernadas: Process Models within a Categorial Framework. Research Report, INESC, 1990 (submitted)Google Scholar
- 3.J.-F.Costa and A.Sernadas: Progress Assumption in Concurrent Systems. Research Report, INESC, 1990 (submitted)Google Scholar
- 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.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.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.J.Goguen: Sheaf Semantics of Concurrent Interacting Objects. To appear in Mathematical Structures in Computer Science.Google Scholar
- 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.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.P.Wegner: Learning the language. In: Byte 14, 1989, pp. 245–253Google Scholar
- 11.G.Winskel: Synchronization Trees. In: Theoretical Computer Science 34, 1984Google Scholar
Copyright information
© Springer-Verlag 1992