A formal approach to component adaptation

Journal of Systems and Software

Volumn 74, Issue 1 SPEC. ISS., 2005, Pages 45-54

  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

AUTOMATIC TESTING; AUTOMATION; ELECTRIC NETWORK TOPOLOGY; INTERFACES (COMPUTER); INTEROPERABILITY; JAVA PROGRAMMING LANGUAGE; MAPPING; NETWORK PROTOCOLS; SOFTWARE ENGINEERING;

BEHAVIOR SPECIFICATIONS; COMPONENT ADAPTATION; COMPONENT-BASED SOFTWARE ENGINEERING (CBSE); MISMATCHING INTERACTION;

COMPUTER SOFTWARE;

EID: 4944251280     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jss.2003.05.007     Document Type: Conference Paper

References (24)

1. Allen R., Garlan D. A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology. 6(3):1997;213-249.
2. Bracciali, A., Brogi, A., Turini, F., 2001. Coordinating interaction patterns. In: ACM Symposium on Applied Computing (SAC'2001). ACM Press.
3. Brown A.W., Wallnau K.C. The current state of CBSE. IEEE Software. 5(5):1998;37-47.
4. Campbell, G.H., 1999. Adaptable components. In: ICSE 1999. IEEE Press, pp. 685-686.
5. Canal C., Pimentel E., Troya J.M. Specification and refinement of dynamic software architectures. Software Architecture. 1999;107-126 Kluwer.
6. Canal C., Pimentel E., Troya J.M. Compatibility and inheritance in software architectures. Science of Computer Programming. 41:2001;105-138.
7. Cho, I., McGregor, J., Krause, L., 1998. A protocol-based approach to specifying interoperability between objects. In: TOOLS'26. IEEE Press, pp. 84-96.
8. Clarke, E., Grumberg, O., Long, D., 1994. Verification tools for finite-state concurrent systems. In: A Decade of Concurrency, LNCS 803. Springer.
9. Compare D., Inverardi P., Wolf A.L. Uncovering architectural mismatch in component behavior. Science of Computer Programming. 33(2):1999;101-131.
10. Ducasse, S., Richner, T., 1997. Executable connectors: towards reusable design elements. In: ESEC/FSE'97, LNCS 1301. Springer.
11. Feijs, L.M.G, 1999. Modelling Microsof COM using π -calculus. In: Formal Methods'99, LNCS 1709. Springer, pp. 1343-1363.
12. Garlan D., Allen R., Ockerbloom J. Architectural mismatch: why reuse is so hard. IEEE Software. 12(6):1995;17-26.
13. Gaspari, M., Zavattaro, G., 1999. A process algebraic specification of the new asynchronous CORBA messaging service. In: ECOOP'99, LNCS 1628. Springer, pp. 495-518.
14. Heineman, G.T., 1999. An evaluation of component adaptation techniques. In: ICSE'99 Workshop on CBSE.
15. Inverardi, P., Tivoli, M., 2001. Automatic synthesis of deadlock free connectors for COM/DCOM applications. In: ESEC/FSE'2001. ACM Press.
16. Magee, J., Eisenbach, S., Kramer, J., 1995. Modeling Darwin in the π -calculus. In: Theory and Practice in Distributed Systems, LNCS 938. Springer, pp. 133-152.
17. Magee J., Kramer J., Giannakopoulou D. Behaviour analysis of software architectures. Software Architecture. 1999;35-49 Kluwer.
18. Milner R., Parrow J., Walker D. A calculus of mobile processes. Journal of Information and Computation. 100:1992;1-77.
19. 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.
20. Najm, E., Nimour, A., Stefani, J.B., 1999. Infinite types for distributed objects interfaces. In: FMOODS'99. Kluwer.
21. Vallecillo, A., Hernández, J., Troya, J.M., 2000. New issues in object interoperability. In: Object-Oriented Technology, LNCS 1964. Springer, pp. 256-269.
22. Wallnau, K., Hissam, S., Seacord, R., 2001. Building systems from commercial components. SEI Series in Soft. Engineering.
23. Wermelinger M., Fiadeiro J.L. Connectors for mobile programs. IEEE Transactions on Software Engineering. 24(5):1998;331-341.
24. Yellin D.M., Strom R.E. Protocol specifications and components adaptors. ACM Transactions on Programming Languages and Systems. 19(2):1997;292-333.