A logical basis for the specification of reconfigurable component-based systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2621, Issue , 2003, Pages 37-51

  Aguirre, Nazareno ^a,b   Maibaum, Tom ^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; RECONFIGURABLE ARCHITECTURES; SOFTWARE ENGINEERING; SPECIFICATION LANGUAGES; SPECIFICATIONS;

COMPONENT BASED SYSTEMS; EXPRESSIVE POWER; REACTIVE SYSTEM; RECONFIGURABLE; RECONFIGURABLE COMPONENTS; RECONFIGURABLE SYSTEMS; RECONFIGURATION OPERATIONS; SYSTEM ARCHITECTURES;

RECONFIGURABLE HARDWARE;

EID: 35248899260     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36578-8_4     Document Type: Article

References (12)

1. R. Allen and D. Garlan, Formalizing Architectural Connection, in Proceedings of the 16th International Conference on Software Engineering ICSE '94, Sorrento, Italy, 1994.
2. 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.
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. D. Garlan, R. Monroe and D. Wile, ACME: An Architecture Description Interchange Language, in Proc. of GASCON'97, 1997.
5. J. Goguen and R. Burstall, Institutions: Abstract Model Theory for Specification and Programming, in Journal of the ACM (JACM), vol. 39, No. 1, 1992.
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. Z. Manna and A. Pnueli, Temporal Verification of Reactive Systems - Safety, Springer, 1995.
9. N. Medvidovic, ADLs and Dynamic Architecture Changes, in Proceedings of the Second Int. Software Architecture Workshop (ISAW-2), 1996.
10. N. Medvidovic and R. Taylor, A Framework for Classifying and Comparing Architecture Description Languages, In ESEC-FSE'97, 1997.
11. J. Ostroff, Temporal Logic for Real-Time Systems, Advanced Software Development Series, Research Studies Press Ltd, John Wiley and Sons, 1989.
12. M. Wermelinger, A. Lopes and J. Fiadeiro, A Graph Based Architectural (Re)configuration Language, in ESEC/FSE'01, V. Gruhn (ed), ACM Press, 2001.