Paper Info
Title
Emergent Properties in Reactive Systems
Abstract
Reactive systems are often described by interconnecting sub-components along architectural connectors defining communication policies. Generally, such global systems may exhibit properties, often called "emergent properties", that cannot be anticipated just from a complete knowledge of components. These emergent properties are twofold: (1) the global system can question properties attached to components; (2) some global properties cannot be inferred only from a complete knowledge of components, but for being inferred, need the knowledge of cooperation mechanisms between components. In practice, properties of the second form combine knowledge inherited from components. Thus, they are often defined in a richer language than the ones associated to each component and the presence of such emergent properties is quite natural. In this paper, we restrict ourselves to reactive systems described by means of transition systems as components and of the usual synchronous product as architectural connector and whose behavior is expressed by logical properties over a modal first-order logic. In this framework, we propose to study complexity of reactive systems through this notion of emergent properties and we will give some conditions to guarantee when a system has not emergent properties of the first form.
Year
DOI
Venue
2008
10.1109/APSEC.2008.28
Beijing
Keywords
Field
DocType
software architecture,architectural connector,architectural connectors,cooperation mechanisms,modal first-order logic,reactive system complexity,subcomponent interconnection,transition systems
Systems engineering,Computer science,Global system,Theoretical computer science,Software architecture,Reactive system,Modal,restrict
Conference
ISSN
ISBN
Citations 
1530-1362
978-0-7695-3446-6
2
PageRank 
References 
Authors
0.41
11
3
Name
Order
Citations
PageRank
Marc Aiguier19814.95
Pascale Le Gall270.83
M'Barka Mabrouki320.41