Specifying and analyzing dynamic software architectures

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

Volumn 1382, Issue , 1998, Pages 21-37

  Allen, Robert ^a,b   Douence, Rémi ^a,b   Garlan, David ^a,b  

^a Carnegie Mellon University   (United States)

^b CAMPUS DE BEAULIEU   (France)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS; SOFTWARE ENGINEERING;

ARCHITECTURAL MODELS; ARCHITECTURAL STRUCTURE; COMPLEX COMPONENTS; DYNAMIC SOFTWARE ARCHITECTURE; MODEL AND ANALYSIS; RECONFIGURATION SYSTEM; SEPARATION OF CONCERNS; STEADY-STATE BEHAVIORS;

MEMORY ARCHITECTURE;

EID: 84957048411     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0053581     Document Type: Conference Paper

References (14)

1. R. J. Allen. A Formal Approach to Software Architecture. Ph. D. Thesis, Carnegie Mellon University, School of Computer Science, May 1997.
2. R. J. Allen and D. Garlan. A Formal Basis for Architectural Connection. In ACM Transactions on Software Engineering and Methodology, July 1997.
3. J.-P. Banâtre, C. Bryce and D. Le Métayer. Compile-time detection of information flow in sequential programs. In Proc. ofESORICS'95, LNCS 875, 1995.
4. Failures Divergence Refinement: User Manual and Tutorial. Formal Systems (Europe) Ltd., Oxford, England, 1. 2ß edition October 1992.
5. D. Garlan, R. T. Monroe and D. Wile. ACME: An Architecture Description Interchange Language. Submitted for publication, January 1997.
6. Hoare, C. A. R. Communicating Sequential Processes. Prentice Hall, 1985.
7. P. Inverardi and A. Wolf. Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model. IEEE Trans. SW Eng., 21(4), 95.
8. L. Lamport. The Temporal Logic of Actions. In ACM TOPLAS, 16(3), 1994.
9. D. Le Métayer. Software Architecture Styles as Graph Grammars. In Proc. of FSE'96, ACM SIG-SOFT.
10. D. Luckham, L. Augustin, J. Kenney, J. Vera, D. Bryan and W. Mann. Specification and Analysis of System Architecture Using Rapide. In IEEE Trans, on Soft. Eng., 21(4), 1995.
11. S. Magee and J. Kramer. Dynamic Structure in Software Architectures. In Proc. of FSE'96, 1996.
12. N. Medvidovic. A Classification and Comparison Framework for Software ADLs. Univ. of Irvine, Dept, of Information and Computer Science, 1997.
13. L. Sha, R. Ragunathan and M. Gagliardi. Evolving Dependable Real-Time Systems. Carnegie Mellon University SEI Report CMU-SEI-95-TR-005, 1995.
14. M. Shaw, R. DeLine, D. Klein, T. Ross, D. Young and G. Zelesnik. Abstractions for Software Architecture and Tools to Support Them. In IEEE Trans, on Soft. Eng., 21(4), 1995.