Automatic synthesis of deadlock free connectors for COM/DCOM applications

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn , Issue , 2001, Pages 121-131

  Inverardi, Paola ^a   Tivoli, Massimo ^a  

^a UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; INTEROPERABILITY; PROBLEM SOLVING; SOFTWARE ENGINEERING;

SOFTWARE CONNECTORS;

COMPUTER SYSTEM RECOVERY;

EID: 0035783428     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/503271.503227     Document Type: Conference Paper

References (15)

1. Microsoft Developer Network Library, July 2000.
2. P. Inverardi and S. Scriboni. Connectors syntesis for deadlock-free component based architectures. Technical Report, Università dell'Aquila. Submitted for pubblication, February 2001.
3. P. Inverardi and S. Uchitel. Proving deadlock freedom in component-based programming. Proceed. FASE 2001, LNCS 2029 pp. 60-75, April 2001.
4. P. Inverardi, D. Yankelevich, and A. Wolf. Static checking of system behaviors using derived component assumptions. ACM TOSEM Volume 9, Number 3, July 2000.
5. D. Jackson and K.J. Sullivan. Com revisited: Tool-assisted modelling of an architectural framework. Foundations of Software Engineering, San Diego, CA, 2000.
6. N. Kaveh and W. Emmerich. Deadlock detection in distributed object system. 8th FSE/ESEC, Vienna, September 2001.
7. N. Medvidovic, P. Oreizy, and R.N. Taylor. Reuse of off-the-shelf components in c2-style architectures. In In Proceedings of the 1997 Symposium on Software Reusability and Proceedings of the 1997 International Conference on Software Engineering, May 1997.
8. N.R. Metha, N. Medvidovic, and S. Phadke. Towards a taxonomy of software connectors. In In Proceedings of the 2000 International Conference on Software Engineering, 2000.
9. R. Milner. Communication and Concurrency. Prentice Hall, New York, 1989.
10. D.S. Platt. Understanding COM+. Microsoft Press, 1999.
11. M. Shaw and D. Garlan. Software Architecture: Perspectives on an emerging Discipline. 1996.
12. K.J. Sullivan, M. Marchucov, and J. Socha. Analysis of a conflict between aggregation and interface negotiation in microsoft's component object model. IEEECS Log Number 106183, 1999.
13. K.J. Sullivan, J. Socha, and M. Marchucov. Using formal methods to reason about architectural standards. In In Proceedings of the 1997 International Conference on Software Engineering, 1997.
14. A.S. Tanenbaum. Modern Operating Systems. Prentice Hall Inc., 1992.
15. R.N. Taylor, N. Medvidovic, K.M. Anderson, E.J. Whitehead, J.E. Robbins, K.A. Nies, P. Oreizy, and D.L. Dubrow. A component- and message-based architectural style for gui software. IEEE Transactions on Software Engineering, 22(6):390-406, June 1996.