Connectors synthesis for deadlock-free component based architectures

Proceedings - 16th Annual International Conference on Automated Software Engineering, ASE 2001

Volumn , Issue , 2001, Pages 174-181

  Inverardi, Paola ^a   Scriboni, Simone ^a  

^a UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

MEMORY ARCHITECTURE;

ARCHITECTURAL CONNECTORS; BUILDING APPLICATIONS; COMPONENT-BASED ARCHITECTURE; COMPONENT-BASED TECHNOLOGY; DEADLOCK-FREE; DYNAMIC BEHAVIORS; FREE COMPONENT; SYSTEMS ARCHITECTURE;

COMMON OBJECT REQUEST BROKER ARCHITECTURE (CORBA);

EID: 35048858754     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2001.989803     Document Type: Conference Paper

References (16)

1. P. Inverardi, S. Uchitel. Proving Deadlock Freedom in Component-based Programming. Proceed. FASE 2001, LNCS 2029, 2001.
2. L. Bass, P. Clements, and R. Kazman. Software Architecture in Practice, Addison Wesley, 1998.
3. B. Boehm, C. Abts. COTS Integration: Plug and Pray?, Computer, 1999, pp.135-138
4. R. Milner. Communication and Concurrency, Prentice Hall, New York, 1989.
5. R. Cleaveland, J. Parrow and B. Steffen. The concurrency workbench: a semantic based tool for the verification of concurrence systems, ACM TOPLAS, 15(1):36-72, 1993.
6. N. Kaveh and W. Emmerich. Deadlock Detection in Distributed Object Systems, In V. Gruhn (ed). ACM Proc. ESEC/FSE 2001,2001.
7. R. De Nicola, F. Vaandrager. Three Logics for Branching Bisimulation, JACM, Vol. 42, N. 2:458-487, 1995.
8. K. Knight. Unification: a Multidisciplinary Survey, ACM Computer Surveys, vol. 21 N. 1:93-124, 1989.
9. S. Scriboni. Generazione Automatica di connettori deadlock free in architetture basate su componenti, Tesi di laurea in Informatica, Universita' deH'Aquila, 2000.
10. 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 Trans. on Soft. Eng., vol. 22, no. 6, pp. 390-406 1996.
11. P. Inverardi, A. L. Wolf, and D. Yankelevich. Static Checking of System Behaviors Using Derived Component Assumptions, ACM Trans. on Soft. Eng. and Methodology, vol. 9, no. 3, 2000, pp. 239-272.
12. D. Giannakopoulou, J. Kramer and S. C. Cheung. Analysing the behaviour of distributed systems using tracta. Automated Software Engineering, 6(1):7-35,1999.
13. J. Kramer and J. Magee. The Evolving Philosophers Problem: Dynamic Change Management IEEE Trans. on Soft. Eng., SE-16, 11, 1990, 1293-1306.
14. D. Garlan, R. Allen and J. Ockerbloom. Architectural mismatch: Why reuse is so hard, IEEE Software, 12(6).
15. R. C. Holt. Some Deadlock Properties of Computer Systems Computer Surveys, vol4, pp 179-196, September 1972.
16. P. Inverardi, M. Tivoli. Automatic Synthesis of Deadlock free connectors for COM/DCOM Applications In V. Gruhn (ed). ACM Proc. ESEC/FSE 2001, September 2001.