THE CATEGORICAL FRAMEWORK OF OBJECT-ORIENTED CONCURRENT SYSTEMS

被引：0
作者：
YOON, DHH
机构：
[1] Department of Computer and Information Science, University of Michigan-Dearborn, Dearborn
来源：
COMPUTERS & MATHEMATICS WITH APPLICATIONS | 1993年 / 25卷 / 02期
关键词：
D O I：
10.1016/0898-1221(93)90220-P
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
Category Theory is introduced as a mathematical model for an object-oriented concurrent system which is viewed as a collection of objects and processes. An object can be represented as an algebra, whereas a process as a subalgebra.
引用
收藏
页码：33 / 38
页数：6
相关论文
共 50 条
[31]   Specifying active database systems in an object-oriented framework [J].
Campin, J ;
Paton, N ;
Williams, MH .
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1997, 7 (01) :101-123
[32]   A Unified Framework for Cohesion Measurement in Object-Oriented Systems [J].
Briand L.C. ;
Daly J.W. ;
Wüst J. .
Empirical Software Engineering, 1998, 3 (1) :65-117
[33]   An object-oriented realtime framework for distributed control systems [J].
Traub, A ;
Schraft, RD .
ICRA '99: IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS 1-4, PROCEEDINGS, 1999, :3115-3121
[34]   A unified framework for cohesion measurement in object-oriented systems [J].
Briand, LC ;
Daly, JW ;
Wust, J .
FOURTH INTERNATIONAL SOFTWARE METRICS SYMPOSIUM, PROCEEDINGS, 1997, :43-53
[35]   Reflection in an Object-Oriented Concurrent Language [J].
Watanabe, Takuo ;
Yonezawa, Akinori .
CONCURRENT OBJECTS AND BEYOND: PAPERS DEDICATED TO AKINORI YONEZAWA ON THE OCCASION OF HIS 65TH BIRTHDAY, 2014, 8665 :44-65
[36]   A survey of concurrent object-oriented languages [J].
Philippsen, M .
CONCURRENCY-PRACTICE AND EXPERIENCE, 2000, 12 (10) :917-980
[37]   CONCURRENT OBJECT-ORIENTED PROGRAMMING IN LISP [J].
PADGET, J ;
BRADFORD, R ;
FITCH, J .
COMPUTER JOURNAL, 1991, 34 (04) :311-319
[38]   SYSTEMATIC CONCURRENT OBJECT-ORIENTED PROGRAMMING [J].
MEYER, B .
COMMUNICATIONS OF THE ACM, 1993, 36 (09) :56-80
[39]   THE HEART OF OBJECT-ORIENTED CONCURRENT PROGRAMMING [J].
LIM, J ;
JOHNSON, RE .
SIGPLAN NOTICES, 1989, 24 (04) :165-167
[40]   Distributed concurrent object-oriented software [J].
Broy, M .
FROM OBJECT-ORIENTATION TO FORMAL METHODS: ESSAYS IN MEMORY OF OLE-JOHAN DAHL, 2004, 2635 :83-95
12345