Paper Info
Title
A model of components with non-regular protocols
Abstract
Behavioral specifications that are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such specifications are typically limited to finite-state protocols because more expressive notions of protocol do not support reasonable basic composition properties, such as compatibility and substitutability. In this paper, we present first results of the integration into component interfaces of a notion of non-regular protocols based on “non-regular process types” introduced by Puntigam [17]. More concretely, we present three contributions: (i) a motivation of the usefulness of non-regular protocols in the context of peer-to-peer applications, (ii) a language for non-regular protocols and an outline of a suitable formal definition, (iii) a discussion of basic composition properties and an analysis of how to adequately integrate protocol-modifying operators in the model.
Year
DOI
Venue
2005
10.1007/11550679_8
Software Composition
Keywords
Field
DocType
behavioral specification,non-regular process type,basic composition property,correct construction,reasonable basic composition property,component interface,expressive notion,non-regular protocol,important mean,component-based system
Programming language,Peer-to-peer,Computer science,Formal specification,Finite-state machine,Composition operator,Artificial intelligence,Operator (computer programming),Regular language,Component-based software engineering,Software development,Distributed computing
Conference
Volume
ISSN
ISBN
3628
0302-9743
3-540-28748-5
Citations 
PageRank 
References 
5
0.51
14
Authors
1
Name
Order
Citations
PageRank
Mario Südholt162554.39