Systematic component adaptation

Electronic Notes in Theoretical Computer Science

Volumn 66, Issue 4, 2002, Pages 97-113

  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

COMPUTATIONAL COMPLEXITY; CONCURRENT ENGINEERING; FINITE AUTOMATA; INTEROPERABILITY; PROBLEM SOLVING; SPECIFICATIONS;

FINITE STATE MACHINES; FORMAL DISCRIPTION; INTERFACE DESCRIPTION LANGUAGES (IDL); SOFTWARE COMPONENTS;

SOFTWARE ENGINEERING;

EID: 0345438714     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80452-3     Document Type: Conference Paper

References (28)

1. Allen R., Garlan D. A formal basis for architectural connection. ACM Trans. on Software Engineering and Methodology. 6:(3):July 1997;213-249
2. A. Bracciali, A. Brogi, and F. Turini. Coordinating interaction patterns. In ACM Symposium on Applied Computing (SAC'2001). ACM Press, 2001.
3. Brown A.W., Wallnau H.C. The current state of CBSE. 1998;IEEE Software
4. Campbell G.H. Adaptable components. ICSE 1999. 1999;685-686 IEEE Press
5. Canal C., Pimentel E., Troya J.M. Specification and refinement of dynamic software architectures. Software Architecture. 1999;107-126 Kluwer Academic Publishers
6. Canal C., Pimentel E., Troya J.M. Compatibility and inheritance in software architectures. Science of Computer Programming. 41:2001;105-138
7. Chappell D. Understanding ActiveX and OLE. 1996;Microsoft Press
8. 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.
9. Clarke E., Grumberg O., Long D. Verification tools for finite-state concurrent systems. A Decade of concurrency - Reflections and Perspectives. Lecture Notes in Computer Science. 803:1994;Springer-Verlag
10. Compare D., Inverardi P., Wolf A.L. Uncovering architectural mismatch in component behavior. Science of Computer Programming. 33:(2):February 1999;101-131
11. Ducasse S., Richner T. Executable connectors: Towards reusable design elements. ACM Foundations of Software Engineering (ESEC/FSE'97), number 1301 in LNCS. 1997;Springer Verlag
12. Feijs L.M.G. Modelling Microsof COM using π-calculus. Formal Methods'99, number 1709 in LNCS. 1999;1343-1363 Springer Verlag
13. Garlan D., Allen R., Ockerbloom J. Architectural mismatch: Why reuse is so hard. IEEE Software. 12:(6):1995;17-26
14. D. Garlan and B. Schmerl. Component-based software engineering in pervasive computing environments. In 4th ICSE Workshop on Component-Based Software Engineering, 2001.
15. M. Gaspari and G. Zavattaro. A process algebraic specification of the new asynchronous CORBA messaging service. In Proceedings of ECOOP?99, number 1628 in LNCS, pages 495-518. Springer, 1999.
16. George T. Heineman. An evaluation of component adaptation techniques. In 2nd ICSE Workshop on Component-Based Software Engineering, 1999.
17. S. Hissam K. Wallnau and R. Seacord. Building Systems from Commercial Components. The SEI Series in Software Engineering, 2001.
18. Magee J., Eisenbach S., Kramer J. Modeling darwin in the π-calculus. Theory and Practice in Distributed Systems, number 938 in LNCS. 1995;133-152 Springer Verlag
19. Magee J., Kramer J., Giannakopoulou D. Behaviour analysis of software architectures. Software Architecture. 1999;35-49 Kluwer Academic Publishers
20. Microsoft Corporation..NET Programming the Web. http://msdn.microsoft. com.
21. R. Milner. The polyadic π-calculus: a tutorial. Technical report, University of Edinburgh, Octubre 1991.
22. Milner R., Parrow J., Walker D. A calculus of mobile processes. Journal of Information and Computation. 100:1992;1-77
23. Moore A.P., Klinker J.E., Mihelcic D.M. How to construct formal arguments that persuade certifiers. Industrial-Strength Formal Methods in Practice. 1999;Springer Verlag
24. 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 Academic Publishers, 1999.
25. OMG. The Common Object Request Broker: Architecture and Specification. Object Management Group. http://www.omg.org.
26. Sun Microsystems. JavaBeans API specification. http://java.sun.com/beans/ docs.
27. Vallecillo A., Hernández J., Troya J.M. New issues in object interoperability. Object-Oriented Technology: ECOOP 2000 Workshop Reader, number 1964 in LNCS. 2000;256-269 Springer Verlag
28. Yellin D.M., Strom R.E. Protocol specifications and components adaptors. ACM Trans. on Programming Languages and Systems. 19:(2):March 1997;292-333