Component-based Construction of Concurrent Systems with Active Components

被引：2

作者：

Lau, Kung-Kiu ^{[1
]}

Ntalamagkas, Ioannis ^{[1
]}

机构：

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

来源：

2009 35TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS, PROCEEDINGS | 2009年

关键词：

active components; concurrent systems; hierarchical composition; compositionality; SOFTWARE COMPONENTS;

D O I：

10.1109/SEAA.2009.45

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

We have defined a software component model which specifies components and composition operators. These operators coordinate and encapsulate concurrency between components. In this paper we explain how our model can be used to specify and construct concurrent systems in a hierarchical manner that is amenable to compositional reasoning. In particular, we extend previous work on active components via introducing new, concurrent connectors and show how they can be used together for compositionally constructing concurrent systems.

引用

页码：497 / 501

页数：5

共 23 条

[1]

ALLEN RJ, 1997, THESIS SCH COMP SC C

[2] Abstract Behavior Types: a foundation model for components and their composition [J].

Arbab, F .

SCIENCE OF COMPUTER PROGRAMMING, 2005, 55 (1-3) :3-52

[3]

Bass L., 2003, Software architecture in practice

[4]

Butler M, 2005, LECT NOTES COMPUT SC, V3582, P221

[5]

deRoever W.-P., 2001, CAMBRIDGE TRACTS THE

[6]

ERICSSONZENITH S, 1987, PRENTICE HALL INT SE

[7] COORDINATION LANGUAGES AND THEIR SIGNIFICANCE [J].

GELERNTER, D ;

CARRIERO, N .

COMMUNICATIONS OF THE ACM, 1992, 35 (02) :96-107

[8]

Heineman GeorgeT., 2001, COMPONENT BASED SOFT

[9]

Hoare C. A. R., 1985, Communicating Sequential Processes.

[10]

Lau K.-K., 2005, LECT NOTES COMPUTER, V7, P1

← 1 2 3 →