Automatic synthesis of modular connectors via composition of protocol mediation patterns

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2013, Pages 3-12

  Inverardi, Paola ^a   Tivoli, Massimo ^a  

^a UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC SYNTHESIS; COMPOSITION OF PROTOCOL; COMPUTING TECHNOLOGY; ERROR PRONES; INTER-ACTION PROTOCOLS; NETWORKED SYSTEMS; SYNTHESIS PROBLEMS; UBIQUITOUS AND PERVASIVE COMPUTING;

UBIQUITOUS COMPUTING;

SOFTWARE ENGINEERING;

EID: 84885790474     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE.2013.6606546     Document Type: Conference Paper

References (35)

1. M. Weiser, "The computer for the twenty-first century," Scientific American, 1991.
2. D. E. Perry and A. L. Wolf, "Foundations for the study of software architecture," SIGSOFT Softw. Eng. Notes, vol. 17, no. 4, 1992.
3. R. Allen and D. Garlan, "A formal basis for architectural connection," ACM Trans. Softw. Eng. Methodol., vol. 6, no. 3, 1997.
4. D. M. Yellin and R. E. Strom, "Protocol specifications and component adaptors," ACM Trans. Program. Lang. Syst., vol. 19, no. 2, 1997.
5. P. Inverardi, R. Spalazzese, and M. Tivoli, "Application-layer connector synthesis," in SFM, 2011.
6. V. Issarny, A. Bennaceur, and Y.-D. Bromberg, "Middleware-layer connector synthesis: Beyond state of the art in middleware interoperability, " in SFM, 2011.
7. C. Canal, P. Poizat, and G. Saläun, "Model-based adaptation of behavioral mismatching components," IEEE Trans. Software Eng., 2008.
8. R. Passerone, L. de Alfaro, T. A. Henzinger, and A. L. Sangiovanni-Vincentelli, "Convertibility verification and converter synthesis: two faces of the same coin," in ICCAD, 2002.
9. J. Cortadella, A. Kondratyev, L. Lavagno, C. Passerone, and Y. Watanabe, "Quasi-static scheduling of independent tasksfor reactive systems," in ICATPN, 2002.
10. F. Jiang, Y. Fan, and X. Zhang, "Rule-based automatic generation of mediator patterns for service composition mismatches," in GPC, 2008.
11. X. Li, Y. Fan, J. Wang, L. Wang, and F. Jiang, "A pattern-based approach to development of service mediators for protocol mediation," in WICSA, 2008.
12. B. Spitznagel and D. Garlan, "A compositional formalization of connector wrappers," in ICSE, 2003.
13. G. Wiederhold and M. Genesereth, "The conceptual basis for mediation services," IEEE Expert: Intelligent Systems and Their Applications, vol. 12, no. 5, 1997.
14. L. de Alfaro and T. A. Henzinger, "Interface automata," in ESEC/FSE, 2001.
15. T. Chen, C. Chilton, B. Jonsson, and M. Kwiatkowska, "A compositional specification theory for component behaviours," in ESOP, 2012.
16. M. Autili, C. Chilton, P. Inverardi, M. Kwiatkowska, and M. Tivoli, "Towards a connector algebra," in ISoLA, 2010.
17. D. Lo, L. Mariani, and M. Santoro, "Learning extended fsa from software: An empirical assessment," J. Syst. Softw., vol. 85, no. 9, 2012.
18. D. Lorenzoli, L. Mariani, and M. Pezzè, "Automatic generation of software behavioral models," in Proc. of ICSE08, 2008.
19. M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin, "Dynamically discovering likely program invariants to support program evolution," IEEE Trans. Software Eng., vol. 27, no. 2, 2001.
20. V. Dallmeier, N. Knopp, C. Mallon, G. Fraser, S. Hack, and A. Zeller, "Automatically generating test cases for specification mining," IEEE Transactions on Software Engineering, vol. 38, no. 2.
21. A. Bertolino, P. Inverardi, P. Pelliccione, and M. Tivoli, "Automatic synthesis of behavior protocols for composable web-services," in Proc. of the ESEC/FSE09, 2009.
22. H. Raffelt, B. Steffen, T. Berg, and T. Margaria, "Learnlib: a framework for extrapolating behavioral models," Int. J. Softw. Tools Technol. Transf., vol. 11, no. 5, 2009.
23. R. Alur, T. A. Henzinger, O. Kupferman, and M. Y. Vardi, "Alternating refinement relations," in CONCUR'98, 1998.
24. J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, 1979.
25. "CONNECT consortium. CONNECT Deliverable D3.3: Dynamic connector synthesis: revised prototype implementation. FET IP CONNECT EU project, FP7 GA n.231167, http://connect-forever.eu/."
26. U. Aßmann, S. Zschaler, and G. Wagner, Ontologies, Meta-Models, and the Model-Driven Paradigm. Springer, 2006.
27. F. Baader, D. Calvanese, D. L. McGuinness, D. Nardi, and P. F. Patel-Schneider, Eds., The description logic handbook: theory, implementation, and applications. Cambridge University Press, 2003.
28. Y. Kalfoglou and M. Schorlemmer, "Ontology mapping: the state of the art," Knowl. Eng. Rev., vol. 18, no. 1, 2003.
29. F. Buschmann, R. Meunier, H. Rohnert, P. Sommerlad, and M. Stal, Pattern-Oriented Software Architecture, Volume 1: A System of Patterns. Chichester, UK: Wiley, 1996.
30. M. Dumas, M. Spork, and K. Wang, "Adapt or perish: Algebra and visual notation for service interface adaptation," in Business Process Management, 2006.
31. K. L. Calvert and S. S. Lam, "Formal methods for protocol conversion," IEEE Journal on Selected Areas in Communications, vol. 8, no. 1, 1990.
32. S. S. Lam, "Correction to "protocol conversion"," IEEE Trans. Software Eng., vol. 14, no. 9, 1988.
33. R. Vaculín and K. Sycara, "Towards automatic mediation of OWL-S process models," Web Services, IEEE International Conference on, 2007.
34. R. Vaculín, R. Neruda, and K. P. Sycara, "An agent for asymmetric process mediation in open environments." in SOCASE, 2008.
35. R. Bruni, I. Lanese, and U. Montanari, "A basic algebra of stateless connectors," Theor. Comput. Sci., vol. 366, no. 1, 2006.