Adapting components with mismatching behaviours

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

Volumn 2370, Issue , 2002, Pages 185-199

  Bracciali, Andrea ^a   Brogi, Antonio ^a   Canal, Carlos ^b  

^a UNIVERSITY OF PISA   (Italy)

^b UNIVERSITY OF MÁLAGA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

COMPONENT ADAPTATION; COMPONENT INTERFACES; COMPONENT-BASED SOFTWARE ENGINEERING; FULLY AUTOMATED;

FORMAL SPECIFICATION;

EID: 84947237201     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45440-3_13     Document Type: Conference Paper

References (31)

1. R. Allen and D. Garlan. A formal basis for architectural connection. ACM Trans. on Software Engineering and Methodology, 6(3):213-49, 1997.
2. J. Bosch. Adapting object-oriented components. In 2nd. International Workshop on Component-Oriented Programming (WCOP’97), pages 13-22. Turku Centre for Computer Science, September 1997.
3. A. Bracciali, A. Brogi, and F. Turini. Coordinating interaction patterns. In ACM Symposium on Applied Computing (SAC’2001). ACM Press, 2001.
4. A.W. Brown and H.C. Wallnau. The current state of CBSE. IEEE Software, 1998.
5. G. H. Campbell. Adaptable components. In ICSE 1999, pages 685-686. IEEE Press, 1999.
6. C. Canal, E. Pimentel, and J. M. Troya. Specification and refinement of dynamic software architectures. In Software Architecture, pages 107-126. Kluwer, 1999.
7. C. Canal, E. Pimentel, and J. M. Troya. Compatibility and inheritance in software architectures. Science ofComputer Programming, 41:105-138, 2001.
8. D. Chappell. Understanding ActiveX and OLE. Microsoft Press, 1996.
9. I. Cho, J. McGregor, and L. Krause. A protocol-based approach to specifying interoperability between objects. In Proceedings of TOOLS’26, pages 84-96. IEEE Press, 1998.
10. E. Clarke, O. Grumberg, and D. Long. Verification tools for finite-state concurrent systems. In A Decade of concurrency-Reflections and Perspectives, Lecture Notes in Computer Science, 803. Springer, 1994.
11. D. Compare, P. Inverardi, and A. L. Wolf. Uncovering architectural mismatch in component behavior. Science of Computer Programming, 33(2):101-131, 1999.
12. S. Ducasse and T. Richner. Executable connectors: Towards reusable design elements. In ACM Foundations of Software Engineering (ESEC/FSE’97),number 1301 in LNCS. Springer, 1997.
13. L.M.G. Feijs. Modelling Microsof COM using ^-calculus. In Formal Methods’99, number 1709 in LNCS, pages 1343-1363. Springer, 1999.
14. D. Garlan, R. Allen, and J. Ockerbloom. Architectural mismatch: Why reuse is so hard. IEEE Software, 12(6):17-26, 1995.
15. D. Garlan and B. Schmerl. Component-based software engineering in pervasive computing environments. In 4th ICSE Workshop on Component-Based Software Engineering, 2001.
16. M. Gaspari and G. Zavattaro. A process algebraic specification of the newasyn-chronous CORBA messaging service. In Proceedings of ECOOP 99, number 1628 in LNCS, pages 495-518. Springer, 1999.
17. George T. Heineman. An evaluation of component adaptation techniques. In 2nd ICSE Workshop on Component-Based Software Engineering, 1999.
18. S. Hissam K. Wallnau and R. Seacord. Building Systems from Commercial Components. The SEI Series in Software Engineering, 2001.
19. J. Magee, S. Eisenbach, and J. Kramer. Modeling darwin in the ^-calculus. In Theory and Practice in Distributed Systems, number 938 in LNCS, pages 133-152. Springer, 1995.
20. J. Magee, J. Kramer, and D. Giannakopoulou. Behaviour analysis of software architectures. In Software Architecture, pages 35-49. Kluwer, 1999.
21. Microsoft Corporation. .NET Programming the Web. http://msdn.microsoft.com.
22. R. Milner. The polyadic ^-calculus: a tutorial. Technical report, University of Edinburgh, Octubre 1991.
23. R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes. Journal of Information and Computation, 100:1-77, 1992.
24. A. P. Moore, J. E. Klinker, and D. M. Mihelcic. Howto construct formal arguments that persuade certifiers. In Industrial-Strength Formal Methods in Practice. Springer, 1999.
25. E. Najm, A. Nimour, and JB. Stefani. Infinite types for distributed objects interfaces. In Proceedings of the third IFIP conference on Formal Methods for Open Object-based Distributed Systems-FMOODS’99. Kluwer, 1999.
26. O. Nierstrasz. Regular types for active objects. In O. Nierstrasz and D. Tsichritzis, editors, Object-Oriented Software Composition. Prentice Hall, 1995.
27. OMG. The Common Object Request Broker: Architecture and Specification. Object Management Group. http://www.omg.org.
28. R. H. Reussner. Enhanced component interfaces to support dynamic adaption and extension. In 34th Hawaiin International Conference on System Sciences. IEEE Press, 2001.
29. Sun Microsystems. JavaBeans API specification. http://java.sun.com.
30. A. Vallecillo, J. Hernandez, and J. M. Troya. Newissues in object interoperability. In Object-Oriented Technology: ECOOP 2000 Workshop Reader, number 1964 in LNCS, pages 256-269. Springer, 2000.
31. D. M. Yellin and R. E. Strom. Protocol specifications and components adaptors. ACM Trans. on Programming Languages and Systems, 19(2):292-333, 1997.