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 条
[41]   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
[42]   OBJECT-ORIENTED CONCURRENT PROGRAMMING IN CST [J].
DALLY, WJ ;
CHIEN, AA .
SIGPLAN NOTICES, 1989, 24 (04) :28-31
[43]   CONCURRENT OBJECT-ORIENTED PROGRAMMING - INTRODUCTION [J].
不详 .
COMMUNICATIONS OF THE ACM, 1993, 36 (09) :35-36
[44]   Reflection in an object-oriented concurrent language [J].
Watanabe, Takuo ;
Yonezawa, Akinori .
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8665 :44-65
[45]   Object-oriented framework for knowledge-based systems [J].
Ramadhan, HA ;
Shihab, K ;
Al-Khanjari, Z .
IC-AI'2000: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 1-III, 2000, :769-773
[46]   REFLECTION IN AN OBJECT-ORIENTED CONCURRENT LANGUAGE [J].
WATANABE, T ;
YONEZAWA, A .
SIGPLAN NOTICES, 1988, 23 (11) :306-315
[47]   OBJECT-ORIENTED CONCURRENT REFLECTIVE ARCHITECTURES [J].
MATSUOKA, S ;
WATANABE, T ;
ICHISUGI, Y ;
YONEZAWA, A .
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 612 :211-226
[48]   FOUNDATIONS OF CONCURRENT OBJECT-ORIENTED PROGRAMMING [J].
AGHA, G ;
ABRAMSKY, S ;
HEWITT, C ;
MILNER, R ;
WEGNER, P ;
YONEZAWA, A .
SIGPLAN NOTICES, 1990, 25 (10) :100-100
[49]   CONCURRENT OBJECT-ORIENTED LANGUAGE COOL [J].
MARUYAMA, K ;
RAGUIDEAU, N .
SIGPLAN NOTICES, 1994, 29 (09) :105-114
[50]   OBJECT-ORIENTED SYSTEMS [J].
COOK, S .
COMPUTER JOURNAL, 1989, 32 (04) :289-289
12345