An empirical evaluation of deadlock detection in software architecture specifications

Annals of Software Engineering

Volumn 7, Issue 1-4, 1999, Pages 95-126

  Tsai, Jeffrey J P ^a   Xu, Kuang ^a  

^a University of Illinois at Chicago   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0033418248     PISSN: 10227091     EISSN: None     Source Type: Journal    
DOI: 10.1023/a:1018954709174     Document Type: Article

References (27)

1. Allen, R. and G. Garlan (1994), "Formalizing Architectural Connection," In Proceedings of the 16th International Conference on Software Engineering, pp. 71-80.
2. Abd-Alah, A. (1996), "Models for Composing Heterogeneous Software Architectures", PhD thesis, Department of Computer Science, University of Southern California, Los Angeles, CA.
3. Clarke, E., K. McMillan, S. Campos and V. Hartonas-Garmhausen (1996), "Symbolic Model Checking," In Proceedings of 8th Computer Aided Verification Conference, Springer, Berlin.
4. Cleaveland, R. and S. Sims (1996), "The NCSU Concurrency Workbench," In Proceedings of 8th International Computer Aided Verification Conference, Springer, Berlin.
5. Clements, P. (1996), "A Survey of Architecture Description Languages," In Proceedings IEEE 8th International Workshop on Software Specification and Design, Germany.
6. Corbett, J. (1996), "Evaluating Deadlock Detection Methods for Concurrent Software," IEEE Transactions on Software Engineering 22, 3, 161-180.
7. Duri, S., U. Buy, R. Devarapalli and S.M. Shatz (1994), "Application and Experimental Evaluation of State Space Reduction Methods for Deadlock Analysis in Ada," ACM Transactions on Software Engineering and Methodology 3, 4, 340-380.
8. Garlan, D., R. Monroe and D. Wile (1995), "ACME: An Architectural Interchange Language," Technical Report CMU-CS-95-219, School of Computer Science, Carnegie Mellon University, PA.
9. Garlan, D. (1995), "An Introduction to the Aesop System," http://www.cs.cmu.edu/afs/cs/ project/able/www/aesop/html/aesop-overview.ps.
10. Hoare, C.A.R. (1985), Communicating Sequential Processes, Prentice-Hall, Englewood Cliffs, NJ.
11. Holzmann, G.J. "Basic Spin Manual," http://cm.bell-labs.com/netlib/spin/ whatispin.html.
12. Helmbold, D. and D. Luckham (1985), "Debugging Ada Tasking Programs," IEEE Software 2, 2, 47-57.
13. Juan, E., J.J.P. Tsai and T. Murata (1998), "Compositional Verification of Concurrent Systems Using Petri-nets-based Condensation Rules," ACM Transactions on Programming Languages and Systems 20, 3, 917-979.
14. Luckham, D. and J. Vera (1995), "An Event-Based Architecture Definition Language," IEEE Transactions on Software Engineering 21, 9, 336-355.
15. Medvidovic, N. and R. Taylor (1997), "A Classification and Comparison Framework for Software Architecture Description Languages," ACM SIGSOFT Notes 22, 6, 60-76.
16. Medvidovic, N., R.N. Taylor and E.J. Whitehead, Jr. (1996), "Formal Modeling of Software Architectures at Multiple Levels of Abstraction," In Proceedings of the California Software Symposium 1996, Los Angeles, CA, pp. 28-40.
17. Milner, R. (1980), A Calculus of Communicating Systems, Lecture Notes in Computer Science, Springer, Berlin.
18. Murata, T. (1989), "Petri-nets: Properties, Analysis and Applications," Proceedings of the IEEE 77, 44, 541-580.
19. Naumovich, G., G. Avrunin and L. Clarke (1997), "Applying Static Analysis to Software Architectures," ACM SIGSOFT Notes 22, 6, 77-93.
20. Shaw, M., R. DeLine, D.V. Klein, T.L. Ross, D.M. Young and G. Zelesnik (1995), "Abstractions for Software Architecture and Tools to Support Them," IEEE Transactions on Software Engineering 21, 4, 314-335.
21. Shaw, M. and D. Garlan (1996), Software Architecture: Perspectives on an Emerging Discipline, Prentice-Hall, Englewood Cliffs, NJ.
22. Sistla, A.P., L. Miliades and V. Gyuris (1997), "SMC: A Symmetry Based Model Checker for Verification of Liveness Properties," In Proceedings of 9th Computer Aided Verification Conference, Haifa, Israel.
23. Tsai, J.J.P, Y. Bi, S. Yang and R. Smith (1996), Distributed Real-Time Systems, Wiley, New York.
24. Tsai, J.J.P. and E. Juan (2000), Compositional Verification of High-Assurance Systems, Kluwer Academic, Boston, MA.
25. Tsai, J.J.P. and T. Weigert (1994), Knowledge-Based Software Development For Real-Time Distributed Systems, World Scientific, Singapore.
26. Tsai, J.J.P. and K. Xu (1999), "Architecture Specification of Multimedia Systems," In Proceedings 6th IEEE International Conf. on Multimedia Computing and Systems, Florence, Italy.
27. Tsai, J.J.P. and S. Yang (1995), Monitoring and Debugging Distributed Real-Time Systems, IEEE Computer Society Press, Washington, DC.