Object interaction

J. F. Costa; A. Sernadas; C. Sernadas; H. -D. Ehrich

doi:10.1007/3-540-55808-X_18

International Symposium on Mathematical Foundations of Computer Science

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

Object interaction

Authors
Authors and affiliations

J. F. Costa
A. Sernadas
C. Sernadas
H. -D. Ehrich

Conference paper

First Online:: 30 July 2005

DOI: 10.1007/3-540-55808-X_18

Part of the Lecture Notes in Computer Science book series (LNCS, volume 629)

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.

References

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

Object interaction

Abstract

Preview

Copyright information

Authors and Affiliations

Personalised recommendations

Cookies