Soft component adaptation

Electronic Notes in Theoretical Computer Science

Volumn 85, Issue 3, 2003, Pages 1-16

  Brogi, Antonio ^a   Canal, Carlos ^b   Pimentel, Ernesto ^b  

^a UNIVERSITY OF PISA   (Italy)

^b UNIVERSITY OF MÁLAGA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

INTEROPERABILITY; NETWORK PROTOCOLS; PROBLEM SOLVING; SECURITY OF DATA; SPECIFICATIONS; VIDEO ON DEMAND;

AUTHENTICATION; INTERFACE DESCRIPTON LANGUAGES (IDL); SECRECY PROTOCOLS; SOFTWARE INTEGRATION;

COMPUTER SOFTWARE;

EID: 14544270808     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80681-9     Document Type: Conference Paper

References (14)

1. Abadi M. Secrecy by typing in security protocols. Journal of ACM. 46:(5):1999;749-786
2. Aceto L., Hennessy M. Adding action refinement to a finite process algebra. Information and Computation. 115:(2):December 1994;179-247
3. Allen R., Garlan D. A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology. 6:(3):1997;213-249
4. A. Bracciali, A. Brogi, and C. Canal. A formal approach to component adaptation. Journal of Systems and Software, Special Issue on Automated Component-Based Software Engineering, 2003. (in press). A preliminary version of this paper was published in Component Deployment, LNCS 2370, pages 185-199. Springer, 2002.
5. Brogi A., Pimentel E., Roldán A. Compatibility of Linda-based component interfaces. Electronic Notes in Theoretical Computer Science (ENTCS). 66:(4):2002
6. Brown A.W., Wallnau K.C. The current state of CBSE. IEEE Software. 15:(5):1998;37-47
7. Campbell G.H. Adaptable components. ICSE 1999. 1999;685-686 IEEE Press
8. Roberto Gorrieri, Arend Rensink. Action refinement. Bergstra J., Ponse A., Smolka S. Handbook of Process Algebra. 2000;Elsevier
9. G.T. Heineman. An evaluation of component adaptation techniques. In ICSE'99 Workshop on CBSE, 1999.
10. K. Honda, V.T. Vasconcelos, and M. Kubo. Language primitives and type disciplines for structured communication-based programming. In European Symposium on Programming (ESOP'98), volume 1381 of LNCS, pages 122-138. Springer, 1998.
11. Inverardi P., Tivoli M. Automatic synthesis of deadlock free connectors for COM/DCOM applications. ESEC/FSE'2001. 2001;ACM Press
12. Sewell P., Vitek J. Composition of untrusted code: Wrappers and causality types. Journal of Computer Security. 2003
13. Vallecillo A., Hernández J., Troya J.M. New issues in object interoperability. Object-Oriented Technology. LNCS 1964 :2000;256-269 Springer
14. Vallecillo A., Vasconcelos V.T., Ravara A. Typing the behavior of objects and components using session types. Electronic Notes in Theoretical Computer Science (ENTCS). 68:(3):2003