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 条
[21]   GRASS: An object-oriented framework for SCADA systems [J].
Kojima, Taizo ;
Sugimoto, Akira .
Mitsubishi Electric Advance, 1998, 82 :33-34
[22]   CONCURRENT OBJECT-ORIENTED REAL-TIME SYSTEMS RESEARCH [J].
KAFURA, D .
SIGPLAN NOTICES, 1989, 24 (04) :203-205
[23]   EXECUTABLE SPECIFICATION AND ANALYSIS FOR THE DESIGN OF CONCURRENT OBJECT-ORIENTED SYSTEMS [J].
DENG, Y ;
CHANG, SK ;
LIN, XL .
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1994, 4 (04) :427-450
[24]   Evolutionary computation for scheduling controls in concurrent object-oriented systems [J].
Elrad, T ;
Lin, JL ;
Cork, DJ .
10TH INTERNATIONAL CONFERENCE ON COMPUTER APPLICATIONS IN INDUSTRY AND ENGINEERING, 1997, :72-75
[25]   A UNIFYING FRAMEWORK FOR PROCESS CALCULUS SEMANTICS OF CONCURRENT OBJECT-ORIENTED LANGUAGES [J].
PAPATHOMAS, M .
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 612 :53-79
[26]   Object-oriented realtime framework for distributed control systems [J].
Fraunhofer Inst, Stuttgart, Germany .
Proc IEEE Int Conf Rob Autom, (3115-3121)
[27]   JColibri:: An object-oriented framework for building CBR systems [J].
Bello-Tomás, JJ ;
González-Calero, PA ;
Díaz-Agudo, B .
ADVANCES IN CASE-BASED REASONING, PROCEEDINGS, 2004, 3155 :32-46
[28]   AN OBJECT-ORIENTED FRAMEWORK OF PATTERN-RECOGNITION SYSTEMS [J].
YOSHIDA, N ;
HINO, K .
SIGPLAN NOTICES, 1988, 23 (11) :259-266
[29]   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
[30]   A unified framework for coupling measurement in object-oriented systems [J].
Briand, LC ;
Daly, JW ;
Wüst, JK .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1999, 25 (01) :91-121
12345