publication . Report . 2012

Dynamic connector synthesis: revised prototype implementation

Bennaceur, Amel; Cavallaro, Luca; Inverardi, Paola; Issarny, Valerie; Spalazzese, Romina; Sykes, Daniel; Tivoli, Massimo;
Open Access English
  • Published: 29 Feb 2012
  • Publisher: HAL CCSD
Abstract
The CONNECT Integrated Project aims at enabling continuous composition of Networked Systems (NSs) to respond to the evolution of functionalities provided to and required from the networked environment. CONNECT aims at dropping the interoperability barrier by adopting a revolutionary approach to the seamless networking of digital systems, that is, synthesizing on-the-fly the connectors via which networked systems communicate. The resulting emergent connectors are effectively synthesized according to the behavioral semantics of application- down to middleware-layer protocols run by the interacting parties.
Subjects
free text keywords: [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Funded by
EC| CONNECT
Project
CONNECT
Emergent Connectors for Eternal Software Intensive Networked Systems
  • Funder: European Commission (EC)
  • Project Code: 231167
  • Funding stream: FP7 | SP1 | ICT
Communities
FET FP7FET Proactive: FET proactive: ICT forever yours
FET FP7FET Proactive: Emergent Connectors for Eternal Software Intensive Networked Systems
Download from
20 references, page 1 of 2

[23] F. Buschmann, R. Meunier, H. Rohnert, P. Sommerlad, and M. Stal. Pattern-Oriented Software Architecture, Volume 1: A System of Patterns. Wiley, Chichester, UK, 1996.

[24] K. L. Calvert and S. S. Lam. Formal methods for protocol conversion. IEEE Journal on Selected Areas in Communications, 8(1):127-142, 1990.

[25] C. Canal, P. Poizat, and G. Salau¨n. Model-based adaptation of behavioral mismatching components. IEEE Trans. Softw. Eng., 34(4):546-563, 2008. [OpenAIRE]

[26] L. Cavallaro, E. D. Nitto, and M. Pradella. An automatic approach to enable replacement of conversational services. In ICSOC/ServiceWave, 2009. [OpenAIRE]

[27] H. Chang, L. Mariani, and M. Pezze`. In-field healing of integration problems with cots components. In ICSE, pages 166-176, 2009.

[29] E. M. Clarke, O. Grumberg, and D. Peled. Model checking. MIT Press, 2001. [OpenAIRE]

[39] P. Grace, G. S. Blair, and S. Samuel. ReMMoC: A reflective middleware to support mobile client interoperability. In CoopIS/DOA/ODBASE, pages 1170-1187, 2003.

[40] Hamid R. Motahari Nezhad, B. Benatallah, A. Martens, F. Curbera, and F. Casati. Semi-automated adaptation of service interactions. In In Proceedings of WWW '07, 2007. [OpenAIRE]

[41] O. H. Ibarra. Reversal-bounded multicounter machines and their decision problems. J. ACM, 25:116- 133, January 1978.

[42] P. Inverardi, V. Issarny, and R. Spalazzese. A theory of mediators for eternal connectors. In Proceedings of ISoLA 2010 - 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. Springer, 2010. [OpenAIRE]

[43] P. Inverardi, R. Spalazzese, and M. Tivoli. Application-layer connector synthesis. In Formal Methods for Eternal Networked Software Systems (SFM'11), volume 6659, pages 148-190, 2011. [OpenAIRE]

[44] P. Inverardi and M. Tivoli. Deadlock-free software architectures for com/dcom applications. Journal of Systems and Software, 65(3):173-183, 2003.

[58] B. Meyer. Object-Oriented Software Construction, 2nd Edition. Prentice-Hall, 1997.

[59] R. Milner. Communication and concurrency. PHI Series in computer science. Prentice Hall, 1989.

[63] K. Okumura. A formal protocol conversion method. In SIGCOMM, pages 30-37, 1986. [OpenAIRE]

20 references, page 1 of 2
Abstract
The CONNECT Integrated Project aims at enabling continuous composition of Networked Systems (NSs) to respond to the evolution of functionalities provided to and required from the networked environment. CONNECT aims at dropping the interoperability barrier by adopting a revolutionary approach to the seamless networking of digital systems, that is, synthesizing on-the-fly the connectors via which networked systems communicate. The resulting emergent connectors are effectively synthesized according to the behavioral semantics of application- down to middleware-layer protocols run by the interacting parties.
Subjects
free text keywords: [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Funded by
EC| CONNECT
Project
CONNECT
Emergent Connectors for Eternal Software Intensive Networked Systems
  • Funder: European Commission (EC)
  • Project Code: 231167
  • Funding stream: FP7 | SP1 | ICT
Communities
FET FP7FET Proactive: FET proactive: ICT forever yours
FET FP7FET Proactive: Emergent Connectors for Eternal Software Intensive Networked Systems
Download from
20 references, page 1 of 2

[23] F. Buschmann, R. Meunier, H. Rohnert, P. Sommerlad, and M. Stal. Pattern-Oriented Software Architecture, Volume 1: A System of Patterns. Wiley, Chichester, UK, 1996.

[24] K. L. Calvert and S. S. Lam. Formal methods for protocol conversion. IEEE Journal on Selected Areas in Communications, 8(1):127-142, 1990.

[25] C. Canal, P. Poizat, and G. Salau¨n. Model-based adaptation of behavioral mismatching components. IEEE Trans. Softw. Eng., 34(4):546-563, 2008. [OpenAIRE]

[26] L. Cavallaro, E. D. Nitto, and M. Pradella. An automatic approach to enable replacement of conversational services. In ICSOC/ServiceWave, 2009. [OpenAIRE]

[27] H. Chang, L. Mariani, and M. Pezze`. In-field healing of integration problems with cots components. In ICSE, pages 166-176, 2009.

[29] E. M. Clarke, O. Grumberg, and D. Peled. Model checking. MIT Press, 2001. [OpenAIRE]

[39] P. Grace, G. S. Blair, and S. Samuel. ReMMoC: A reflective middleware to support mobile client interoperability. In CoopIS/DOA/ODBASE, pages 1170-1187, 2003.

[40] Hamid R. Motahari Nezhad, B. Benatallah, A. Martens, F. Curbera, and F. Casati. Semi-automated adaptation of service interactions. In In Proceedings of WWW '07, 2007. [OpenAIRE]

[41] O. H. Ibarra. Reversal-bounded multicounter machines and their decision problems. J. ACM, 25:116- 133, January 1978.

[42] P. Inverardi, V. Issarny, and R. Spalazzese. A theory of mediators for eternal connectors. In Proceedings of ISoLA 2010 - 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. Springer, 2010. [OpenAIRE]

[43] P. Inverardi, R. Spalazzese, and M. Tivoli. Application-layer connector synthesis. In Formal Methods for Eternal Networked Software Systems (SFM'11), volume 6659, pages 148-190, 2011. [OpenAIRE]

[44] P. Inverardi and M. Tivoli. Deadlock-free software architectures for com/dcom applications. Journal of Systems and Software, 65(3):173-183, 2003.

[58] B. Meyer. Object-Oriented Software Construction, 2nd Edition. Prentice-Hall, 1997.

[59] R. Milner. Communication and concurrency. PHI Series in computer science. Prentice Hall, 1989.

[63] K. Okumura. A formal protocol conversion method. In SIGCOMM, pages 30-37, 1986. [OpenAIRE]

20 references, page 1 of 2
Powered by OpenAIRE Open Research Graph
Any information missing or wrong?Report an Issue