Paper Info
Title
A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems
Abstract
We propose a formal specification language for dynamically reconfigurable component-based systems, based on temporal logic. The main aim of the language is to al-lowone to specify behaviours of component-based systems declaratively, with special emphasis on behaviours in which the architectural structure of the system changes dynamically.Due to the semantics and organisation of our language, it is straightforward to hierarchically build reconfigurable systems in terms of subsystems and basic component parts,and reason about them within the language. Despite its expressive power, the language is rather simple.
Year
DOI
Venue
2002
10.1109/ASE.2002.1115028
ASE
Keywords
Field
DocType
formal specification,object-oriented programming,software architecture,specification languages,temporal logic,architectural structure,dynamically reconfigurable component-based systems,formal specification language,semantics,temporal logic
Specification language,Programming language,Object-oriented programming,Computer science,Object language,Theoretical computer science,Formal specification,Language Of Temporal Ordering Specification,Software architecture,Temporal logic,Semantics
Conference
ISSN
ISBN
Citations 
1938-4300
0-7695-1736-6
24
PageRank 
References 
Authors
1.20
6
2
Name
Order
Citations
PageRank
Nazareno Aguirre115921.79
Tom Maibaum228131.90