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.
This is a preview of subscription content, log in via an institution.
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