A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems

17th IEEE International Conference on Automated Software Engineering (ASE'02) p. 271
A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems
Nazareno Aguirre, King’s College
Tom Maibaum, King’s College

Full Article Text:

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ASE.2002.1115028
Send link to a friend

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-low one 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.
Back to Top Additional Information
Citation: Nazareno Aguirre, Tom Maibaum, "A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems," ase, p. 271, 17th IEEE International Conference on Automated Software Engineering (ASE'02), 2002

	Advanced Search
CS Search Google Search