Abstract
We present a logic and a prototypical specification language for specifying and reasoning about component-based systems with support for dynamic, i.e., run-time, architectural reconfiguration.We present the logic, an adaptation of an existing one proposed for specifying reactive systems, and some results that demonstrate its suitability for the specification of reconfigurable systems.
We then explicate how the specification language can be used to specify a reconfigurable (sub)system via layers defining component templates, association/connector templates and a layer specifying reconfiguration operations used to dynamically change the system architecture. We also illustrate the expressive power and proof capabilities of the logic.
This work was partially supported by the Engineering and Physical Sciences Research Council of the UK, Grant Nr. GR/N00814.
On leave from Departamento de Computaci’on, FCEFQyN, Universidad Nacional de R’ýo Cuarto, R’ýo Cuarto, Córdoba, Argentina
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
R. Allen and D. Garlan, Formalizing Architectural Connection, in Proceedings of the 16th International Conference on Software Engineering ICSE’ 94, Sorrento, Italy, 1994.
N. Bjorner, A. Browne, M. Colon, B. Finkbeiner, Z. Manna, H. Sipma and T. Uribe, Verifying Temporal Properties of Reactive Systems: a STeP Tutorial, in Formal Methods in System Design, vol. 16, 2000.
J. Fiadeiro and T. Maibaum, Temporal Theories as Modularisation Units for Concurrent System Specification. Formal Aspects of Computing, vol. 4, No. 3, Springer-Verlag, 1992.
D. Garlan, R. Monroe and D. Wile, ACME: An Architecture Description Interchange Language, in Proc. of CASCON’97, 1997.
J. Goguen and R. Burstall, Institutions: Abstract Model Theory for Specification and Programming, in Journal of the ACM (JACM), vol. 39, No. 1, 1992.
P. Inverardi and A. Wolf, Formal Specification and Analysis of Software Architetures using the Chemical Abstract Machine, IEEE Transactions in Software Engineering, 1995.
Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems, Springer-Verlag, 1991.
Z. Manna and A. Pnueli, Temporal Verification of Reactive Systems-Safety, Springer, 1995.
N. Medvidovic, ADLs and Dynamic Architecture Changes, in Proceedings of the Second Int. Software Architecture Workshop (ISAW-2), 1996.
N. Medvidovic and R. Taylor, A Framework for Classifying and Comparing Architecture Description Languages, In ESEC-FSE’97, 1997.
J. Ostro., Temporal Logic for Real-Time Systems, Advanced Software Development Series, Research Studies Press Ltd, John Wiley and Sons, 1989.
M. Wermelinger, A. Lopes and J. Fiadeiro, A Graph Based Architectural (Re)configuration Language, in ESEC/FSE’01, V. Gruhn (ed), ACM Press, 2001.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Aguirre, N., Maibaum, T. (2003). A Logical Basis for the Specification of Reconfigurable Component-Based Systems. In: Pezzè, M. (eds) Fundamental Approaches to Software Engineering. FASE 2003. Lecture Notes in Computer Science, vol 2621. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36578-8_4
Download citation
DOI: https://doi.org/10.1007/3-540-36578-8_4
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00899-6
Online ISBN: 978-3-540-36578-5
eBook Packages: Springer Book Archive