A general approach to deadlock freedom verification for software architectures

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

Volumn 2805, Issue , 2003, Pages 658-677

  Aldini, Alessandro ^a   Bernardo, Marco ^a  

^a UNIVERSITY OF URBINO   (Italy)

Author keywords

Deadlock; Process algebra; Software architecture

Indexed keywords

FORMAL METHODS; FORMAL VERIFICATION; SOFTWARE ARCHITECTURE;

BUILDING COMPLEXES; DEADLOCK; DEADLOCK FREEDOM; EARLY DESIGN STAGES; NOVEL TECHNIQUES; PROCESS ALGEBRAS;

VERIFICATION;

EID: 35248831791     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45236-2_36     Document Type: Article

References (11)

1. G.D. Abowd, R. Allen, and D. Garlan, "Formalizing Style to Understand Descriptions of Software Architecture", in ACM Trans. on Software Engineering and Methodology 4:319-364, 1995.
2. R. Allen and D. Garlan, "A Formal Basis for Architectural Connection", in ACM Trans. on Software Engineering and Methodology 6:213-249, 1997.
3. M. Bernardo, P. Ciancarini, and L. Donatiello, "Architecting Families of Software Systems with Process Algebras", in ACM Trans. on Software Engineering and Methodology 11:386-426, 2002.
4. M. Bernardo and F. Franzè, "Architectural Types Revisited: Extensible And/Or Connections", in Proc. of the 5th Int. Conf. on Fundamental Approaches to Software Engineering (FASE 2002), LNCS 2306:113-128, Grenoble (France), 2002.
5. M. Bernardo and F. Franzè, "Exogenous and Endogenous Extensions of Architectural Types", in Proc. of the 5th Int. Conf. on Coordination Models and Languages (COORDINATION 2002), LNCS 2315:40-55, York (UK), 2002.
6. P. Inverardi and A.L. Wolf, "Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model", in IEEE Trans. on Software Engineering 21:373-386, 1995.
7. P. Inverardi, A.L. Wolf, and D. Yankelevich, "Static Checking of System Behaviors Using Derived Component Assumptions", in ACM Trans. on Software Engineering and Methodology 9:239-272, 2000.
8. J. Magee, N. Dulay, S. Eisenbach, and J. Kramer, "Specifying Distributed Software Architectures", in Proc. of the 5th European Software Engineering Conf. (ESEC 1995), LNCS 989:137-153, Barcelona (Spain), 1995.
9. R. Milner, "Communication and Concurrency", Prentice Hall, 1989.
10. D.E. Perry and A.L. Wolf, "Foundations for the Study of Software Architecture", in ACM SIGSOFT Software Engineering Notes 17:40-52, 1992.
11. M. Shaw and D. Garlan, "Software Architecture: Perspectives on an Emerging Discipline", Prentice Hall, 1996.