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
J.Adámek, H.Herrlich and G.Strecker: Abstract and Concrete Categories. Wiley, 1990
J.-F.Costa and A.Sernadas: Process Models within a Categorial Framework. Research Report, INESC, 1990 (submitted)
J.-F.Costa and A.Sernadas: Progress Assumption in Concurrent Systems. Research Report, INESC, 1990 (submitted)
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–48
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–228
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–24
J.Goguen: Sheaf Semantics of Concurrent Interacting Objects. To appear in Mathematical Structures in Computer Science.
J.Goguen and S.Ginali: A Categorical Approach to General Systems Theory. In: G.Klir (ed): Applied General Systems Research, Plenum 1978, pp. 257–270
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–58
P.Wegner: Learning the language. In: Byte 14, 1989, pp. 245–253
G.Winskel: Synchronization Trees. In: Theoretical Computer Science 34, 1984
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
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 . https://doi.org/10.1007/3-540-55808-X_18
Download citation
DOI: https://doi.org/10.1007/3-540-55808-X_18
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55808-8
Online ISBN: 978-3-540-47291-9
eBook Packages: Springer Book Archive