Paper Info
Title
On Components with Explicit Protocols Satisfying a Notion of Correctness by Construction
Abstract
Component-based programming, which promises to facilitate the construction of large-scale applications, relies to a large degree on interfaces. Interfaces on most component models only declare types and sets of services that components implement, and are not expressive enough to formulate structural and behavioral properties of components. In this paper we show how to integrate one important class of behavioral properties: constraints on the sequentialization of services. We are interested in operators for the construction of components, satisfying a correctness property, allowing a component to be substituted by another one. We define a set of protocol composition operators satisfying the correctness property, we provide a first step toward the integration of additional abstract state information into protocols, and we apply our theory to two widely-used component models: JavaBeans and Enterprise JavaBeans.
Year
DOI
Venue
2002
10.1007/3-540-36124-3_64
Conference on Cooperative Information Systems
Keywords
Field
DocType
large degree,enterprise javabeans,additional abstract state information,behavioral property,correctness property,large-scale application,widely-used component model,important class,component-based programming,component model,satisfiability
Information integration,Programming language,Computer science,Correctness,Theoretical computer science,Enterprise JavaBeans,Composition operator,JavaBeans,Operator (computer programming),Security policy,Distributed computing,Communications protocol
Conference
Volume
ISSN
ISBN
2519
0302-9743
3-540-00106-9
Citations 
PageRank 
References 
15
0.94
8
Authors
2
Name
Order
Citations
PageRank
Andrés Farías1191.51
Mario Südholt262554.39