Hierarchical temporal specifications of dynamically reconfigurable component based systems

Electronic Notes in Theoretical Computer Science

Volumn 108, Issue , 2004, Pages 69-81

  Aguirre, Nazareno ^a,b   Maibaum, Tom ^b  

^a DEPARTAMENTO DE QUÍMICA   (Argentina)

^b KING'S COLLEGE LONDON   (United Kingdom)

Author keywords

Dynamic reconfiguration; Software architectures; Temporal logic

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER HARDWARE DESCRIPTION LANGUAGES; HIERARCHICAL SYSTEMS; SOFTWARE ENGINEERING;

DYNAMIC RECONFIGURATION; HIERARCHIAL SUBSYSTEMS; SOFTWARE ARCHITECTURES; TEMPORAL LOGIC;

COMPUTER SCIENCE;

EID: 23144443667     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.01.013     Document Type: Conference Paper

References (15)

1. N. Aguirre, and T. Maibaum A Logical Basis for the Specification of Reconfigurable Component-Based Systems Proc. of FASE 2003, Warsaw, Poland LNCS 2621 2003 Springer
2. N. Aguirre, and T. Maibaum Some Institutional Requirements for Temporal Reasoning about Dynamic Reconfiguration to appear Proc. of Symposium on Verification: Theory and Practice, Taormina, Italy LNCS 2003 Springer
3. R. Allen, R. Douence, and D. Garlan Specifying and Analyzing Dynamic Software Architectures Proc. of FASE 98, Lisbon, Portugal LNCS 1998 Springer
4. N. Bjorner, A. Browne, M. Colon, B. Finkbeiner, Z. Manna, H. Sipma, and T. Uribe Verifying Temporal Properties of Reactive Systems: a STeP Tutorial Formal Methods in System Design vol 16 2000
5. J. Fiadeiro, and T. Maibaum Temporal Theories as Modularisation Units for Concurrent System Specification Formal Aspects of Computing 4 3 1992 Springer
6. J. Fiadeiro, and A. Sernadas Structuring Theories on Consequence D. Sannella A. Tarlecki Recent Trends in Data Type Specification LNCS 332 1988 Springer
7. D. Garlan Software Architecture: A Roadmap A. Filkenstein The Future of Software Engineering 2000 ACM Press
8. D. Garlan, R. Monroe, and D. Wile ACME: An Architecture Description Interchange Language Proc. of CASCON'97 1997
9. D. Garlan, and D. Perry Software Architecture. Panel Introduction Proc. of ICSE '94, Sorrento, Italy 1994
10. J. Goguen, and R. Burstall Institutions: Abstract Model Theory for Specification and Programming Journal of the ACM 39 1 1992 95 146
11. J. Magee, N. Dulay, S. Eisenbach, and J. Kramer Specifying Distributed Software Architectures Proc. of ESEC'95, Sitges, Spain LNCS 989 1995 Springer
12. Z. Manna, and A. Pnueli The Temporal Logic of Reactive and Concurrent Systems 1991 Springer
13. N. Medvidovic ADLs and Dynamic Architecture Changes Proc. of ISAW 96 1996
14. B. Meyer Object-Oriented Software Construction Second Edition 2000 Prentice-Hall International
15. M. Wermelinger, and J. Fiadeiro A Graph Transformation Approach to Software Architecture Reconfiguration Science of Computer Programming 44 2002 Elsevier