A temporal logic approach to the specification of reconfigurable component-based systems

Proceedings - ASE 2002: 17th IEEE International Conference on Automated Software Engineering

Volumn , Issue , 2002, Pages 271-274

  Aguirre, N ^a,b   Maibaum, T ^a  

^a KING'S COLLEGE LONDON   (United Kingdom)

^b DEPARTAMENTO DE QUÍMICA   (Argentina)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER CIRCUITS; FORMAL SPECIFICATION; SEMANTICS; SOFTWARE ENGINEERING; SPECIFICATION LANGUAGES; SPECIFICATIONS; TEMPORAL LOGIC;

ARCHITECTURAL STRUCTURE; COMPONENT BASED SYSTEMS; COMPONENT PART; EXPRESSIVE POWER; RECONFIGURABLE COMPONENTS; RECONFIGURABLE SYSTEMS; SYSTEM CHANGE;

RECONFIGURABLE HARDWARE;

EID: 84983009686     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2002.1115028     Document Type: Conference Paper

References (11)

1. N. Aguirre and T. Maibaum, Reasoning about Reconfigurable Object-Based Systems in a Temporal Logic Setting, in Proceedings of IDPT 2002.
2. R. Allen and D. Garlan, Formalizing Architectural Connection, in Proceedings ICSE '94, Sorrento, Italy, 1994.
3. 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.
4. J. Fiadeiro and T. Maibaum, Design Structures for Object-Based Systems. In Formal Methods and Object Technology, S. Goldsack and S. Kent (eds), Springer-Verlag, 1996.
5. J. Fiadeiro and T. Maibaum, Categorical Semantics of Parallel Program Design, Science of Computer Programming 28(2-3), 1997.
6. P. Inverardi and A. Wolf, Formal Specification and Analysis of Software Architetures using the Chemical Abstract Machine, IEEE Transactions in Software Engineering, 1995.
7. Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems, Springer-Verlag, 1991.
8. N. Medvidovic, ADLs and Dynamic Architecture Changes, in Proceedings of the Second Int. Software Architecture Workshop (ISAW-2), 1996.
9. N. Medvidovic and R. Taylor, A Framework for Classifying and Comparing Architecture Description Languages, In ESEC-FSE'97, 1997.
10. M. Wermelinger and J. Fiadeiro, Algebraic Software Architecture Reconfiguration, in ESEC/FSE'99, LNCS 1687, Springer-Verlag, 1999.
11. M. Wermelinger, A. Lopes and J. Fiadeiro, A Graph Based Architectural (Re)configuration Language, in ESEC/FSE'01, V.Gruhn (ed), ACM Press, 2001.