A Theory of Reactive Components

Jifeng He; Xiaoshan Li; Zhiming Liu

doi:10.1016/j.entcs.2006.05.022

A Theory of Reactive Components

Jifeng He^*
, Xiaoshan Li
, Zhiming Liu

^*Corresponding author for this work

Software Engineering Institute

Research output: Contribution to journal › Article › peer-review

36 Scopus citations

Abstract

We present a theory of reactive components. We identify a component by its provided services, and specify the individual services by a guarded-design, which enables one to separate the responsibility of clients from the commitment made by the component, and model the behaviour of a component by a set of failures and divergences. Protocols are introduced to coordinate the interactions between a component and its environment. We adopt the notion of process refinement to formalise the substitutivity of components, and provide a complete proof method based on the notion of simulations. We also study the algebraic properties of component combinators.

Original language	English
Pages (from-to)	173-195
Number of pages	23
Journal	Electronic Notes in Theoretical Computer Science
Volume	160
Issue number	1
DOIs	https://doi.org/10.1016/j.entcs.2006.05.022
State	Published - 8 Aug 2006

Keywords

Components
Composition
Contracts
Interfaces
Protocols

Access to Document

10.1016/j.entcs.2006.05.022

Cite this

@article{b8bcb64afa3345c89af4523c8eb62244,

title = "A Theory of Reactive Components",

abstract = "We present a theory of reactive components. We identify a component by its provided services, and specify the individual services by a guarded-design, which enables one to separate the responsibility of clients from the commitment made by the component, and model the behaviour of a component by a set of failures and divergences. Protocols are introduced to coordinate the interactions between a component and its environment. We adopt the notion of process refinement to formalise the substitutivity of components, and provide a complete proof method based on the notion of simulations. We also study the algebraic properties of component combinators.",

keywords = "Components, Composition, Contracts, Interfaces, Protocols",

author = "Jifeng He and Xiaoshan Li and Zhiming Liu",

year = "2006",

month = aug,

day = "8",

doi = "10.1016/j.entcs.2006.05.022",

language = "英语",

volume = "160",

pages = "173--195",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier B.V.",

number = "1",

}

TY - JOUR

T1 - A Theory of Reactive Components

AU - He, Jifeng

AU - Li, Xiaoshan

AU - Liu, Zhiming

PY - 2006/8/8

Y1 - 2006/8/8

N2 - We present a theory of reactive components. We identify a component by its provided services, and specify the individual services by a guarded-design, which enables one to separate the responsibility of clients from the commitment made by the component, and model the behaviour of a component by a set of failures and divergences. Protocols are introduced to coordinate the interactions between a component and its environment. We adopt the notion of process refinement to formalise the substitutivity of components, and provide a complete proof method based on the notion of simulations. We also study the algebraic properties of component combinators.

AB - We present a theory of reactive components. We identify a component by its provided services, and specify the individual services by a guarded-design, which enables one to separate the responsibility of clients from the commitment made by the component, and model the behaviour of a component by a set of failures and divergences. Protocols are introduced to coordinate the interactions between a component and its environment. We adopt the notion of process refinement to formalise the substitutivity of components, and provide a complete proof method based on the notion of simulations. We also study the algebraic properties of component combinators.

KW - Components

KW - Composition

KW - Contracts

KW - Interfaces

KW - Protocols

UR - https://www.scopus.com/pages/publications/33746769772

U2 - 10.1016/j.entcs.2006.05.022

DO - 10.1016/j.entcs.2006.05.022

M3 - 文章

AN - SCOPUS:33746769772

SN - 1571-0661

VL - 160

SP - 173

EP - 195

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

IS - 1

ER -

A Theory of Reactive Components

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this