UM  > 科技學院  > 電腦及資訊科學系
A Theory of Reactive Components
He J.; Li X.; Liu Z.
Source PublicationElectronic Notes in Theoretical Computer Science
AbstractWe 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. © 2006 Elsevier B.V. All rights reserved.
KeywordComponents Composition Contracts Interfaces Protocols
URLView the original
The Source to ArticleScopus
Fulltext Access
Citation statistics
Document TypeJournal article
Recommended Citation
GB/T 7714
He J.,Li X.,Liu Z.. A Theory of Reactive Components[J]. Electronic Notes in Theoretical Computer Science,2006,160(1):173.
APA He J.,Li X.,&Liu Z..(2006).A Theory of Reactive Components.Electronic Notes in Theoretical Computer Science,160(1),173.
MLA He J.,et al."A Theory of Reactive Components".Electronic Notes in Theoretical Computer Science 160.1(2006):173.
Files in This Item:
There are no files associated with this item.
Related Services
Recommend this item
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[He J.]'s Articles
[Li X.]'s Articles
[Liu Z.]'s Articles
Baidu academic
Similar articles in Baidu academic
[He J.]'s Articles
[Li X.]'s Articles
[Liu Z.]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[He J.]'s Articles
[Li X.]'s Articles
[Liu Z.]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.