Behavioural types and component adaptation

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

Volumn 3116, Issue , 2004, Pages 42-56

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

^a UNIVERSITY OF PISA   (Italy)

^b UNIVERSITY OF MÁLAGA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

SPECIFICATIONS;

BEHAVIOURAL TYPES; COMPONENT ADAPTATION; COMPONENT INTERFACES; COMPONENT-BASED SOFTWARE ENGINEERING; FORMAL DEFINITION; FORMAL FOUNDATION; HETEROGENEOUS COMPONENT; TWO-COMPONENT;

SOFTWARE ENGINEERING;

EID: 35048817930     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27815-3_8     Document Type: Article

References (13)

1. R. Allen and D. Garlan. A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology, 6(3):213-49, 1997.
2. 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.
3. A.W. Brown and K.C. Wallnau. The current state of CBSE. IEEE Software, 15(5):37-47, 1998.
4. G.H. Campbell. Adaptable components. In ICSE 1999, pages 685-686. IEEE Press, 1999.
5. G.T. Heineman. An evaluation of component adaptation techniques. In ICSE'99 Workshop on CBSE, 1999.
6. 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.
7. P. Inverardi and M. Tivoli. Automatic synthesis of deadlock free connectors for COM/DCOM applications. In ESEC/FSE'2001. ACM Press, 2001.
8. A. Lopes, M. Wermelinger, and J.L. Fiadeiro. Higher-order connectors. ACM Transactions on Software Engineering and Methodology, 12(1):64-104, 2003.
9. J. Magee, S. Eisenbach, and J. Kramer. Modeling Darwin in the π-calculus. In Theory and Practice in Distributed Systems, LNCS 938, pages 133-152. 1995.
10. B. Morel and P. Alexander. Automating component adaptation for reuse. In Proc. IEEE International Conference on Automated Software Engineering (ASE 2003), pages 142-151. IEEE Computer Society Press, 2003.
11. A. Vallecillo, J. Hernández, and J.M. Troya. New issues in object interoperability. In Object-Oriented Technology, LNCS 1964, pages 256-269. Springer, 2000.
12. A. Vallecillo, V.T. Vasconcelos, and A. Ravara. Typing the behavior of objects and components using session types. ENTCS, 68(3), 2003.
13. D.M. Yellin and R.E. Strom. Protocol specifications and components adaptors. ACM Transactions on Programming Languages and Systems, 19(2):292-333, 1997.