Correct object-oriented systems in computational logic

被引：3

作者：

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 | 2002年 / 2372卷

关键词：

D O I：

10.1007/3-540-45607-4_10

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

In our previous work in program development, we have defined steadfastness, a notion of correctness that captures at once modularity, correctness and reusability. This paper extends it to Object-Oriented Systems, namely systems of cooperating objects, and is a first step towards the introduction of correctness in Object-Oriented Design Frameworks. Such frameworks are increasingly recognised as more reusable than single objects, and promise to be useful components in next-generation Component-based Software Development.

引用

页码：168 / 190

页数：23

共 14 条

[1]

ABADI M, 1985, THEORY OBJECTS

[2]

[Anonymous], 1999, Objects, components, and frameworks with uml: the catalysis approach

[3]

Astesiano E., 1999, ALGEBRAIC FDN SYSTEM, Vfirst

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

BOURDEAU, RH ;

CHENG, BHC .

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

[5]

CHEESMAN J, 2001, UML COMPONENTS SIMPL

[6]

EHRIG H, 1989, FUNDAMENTALS ALGEBRA, V2

[7] Designing component-based frameworks - Using patterns in the UML [J].

Larsen, G .

COMMUNICATIONS OF THE ACM, 1999, 42 (10) :38-45

[8] OOD frameworks in component-based software - Development in computational logic [J].

Lau, KK ;

Ornaghi, M .

LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 1999, 1559 :101-123

[9] Steadfast logic programs [J].

Lau, KK ;

Ornaghi, M ;

Tärnlund, SÅ .

JOURNAL OF LOGIC PROGRAMMING, 1999, 38 (03) :259-294

[10]

Lau KK, 2000, LECT NOTES ARTIF INT, V1861, P223

← 1 2 →