OOD frameworks in component-based software - Development in computational logic

被引：10

作者：

Lau, KK

Ornaghi, M

机构：

[1] Univ Manchester, Dept Comp Sci, Manchester M13 9PL, Lancs, England

[2] Univ Milan, Dipartimento Sci Informaz, I-20135 Milan, Italy

来源：

LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION | 1999年 / 1559卷

关键词：

D O I：

10.1007/3-540-48958-4_6

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Current Object-oriented Design (OOD) methodologies tend to focus on objects as the unit of reuse, but it is increasingly recognised that frameworks, or groups of interacting objects, are a better unit of reuse. Thus, in next-generation Component-based Development (CBD) methodologies, we can expect components to be frameworks rather than objects. In this paper, we describe a preliminary attempt at a formal semantics for OOD frameworks in CBD in computational logic.

引用

页码：101 / 123

页数：23

共 30 条

[1]

Abadi M., 1996, A Theory Of Objects, DOI DOI 10.1007/978-1-4419-8598-9

[2]

BERTONI A, 1983, FUNDAMENTA INFORMATI, V6, P127

[3] A FORMAL SEMANTICS FOR OBJECT MODEL DIAGRAMS [J].

BOURDEAU, RH ;

CHENG, BHC .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1995, 21 (10) :799-821

[4]

Coleman D., 1994, Object-Oriented Development: The Fusion Method

[5]

Cook Steve, 1994, DESIGNING OBJECT SYS

[6]

DSOUZA DF, 1996, OBJECT ORIENTED DEV

[7]

DSOUZA DF, 1998, CATALYSIS COMPONENTS

[8] Categorical semantics of parallel program design [J].

Fiadeiro, JL ;

Maibaum, T .

SCIENCE OF COMPUTER PROGRAMMING, 1997, 28 (2-3) :111-138

[9]

FILIPE JK, 1998, P 1 INT WORKSH COMP, P43

[10] Towards a rigorous object-oriented analysis and design method [J].

France, RB ;

Bruel, JM ;

LarrondoPetrie, M ;

Grant, E ;

Saksena, M .

FIRST IEEE INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1997, :7-16

← 1 2 3 →