A survey on service-oriented network virtualization toward convergence of networking and cloud computing

Q Duan, Y Yan, AV Vasilakos - IEEE Transactions on Network …, 2012 - ieeexplore.ieee.org
The crucial role that networking plays in Cloud computing calls for a holistic vision that
allows combined control, management, and optimization of both networking and computing …

Middleware-layer connector synthesis: Beyond state of the art in middleware interoperability

V Issarny, A Bennaceur, YD Bromberg - … School on Formal Methods for the …, 2011 - Springer
This chapter deals with interoperability among pervasive networked systems, in particular
accounting for the heterogeneity of protocols from the application down to the middleware …

Automated synthesis of mediators to support component interoperability

A Bennaceur, V Issarny - IEEE Transactions on Software …, 2014 - ieeexplore.ieee.org
Interoperability is a major concern for the software engineering field, given the increasing
need to compose components dynamically and seamlessly. This dynamic composition is …

[HTML][HTML] The role of models@ run. time in supporting on-the-fly interoperability

N Bencomo, A Bennaceur, P Grace, G Blair, V Issarny - Computing, 2013 - Springer
Abstract Models at runtime can be defined as abstract representations of a system, including
its structure and behaviour, which exist in tandem with the given system during the actual …

Constraint verification failure recovery in web service composition

T Laleh, J Paquet, S Mokhov, Y Yan - Future Generation Computer Systems, 2018 - Elsevier
Automated service composition aims at fulfilling complex tasks by combining different
existing elementary web services in a workflow and creating value-added services. Many …

Repair vs. recomposition for broken service compositions

Y Yan, P Poizat, L Zhao - … : 8th International Conference, ICSOC 2010, San …, 2010 - Springer
Abstract Service composition supports the automatic construction of value-added distributed
applications. However, this is nowadays mainly a static affair, with compositions being built …

[HTML][HTML] Automated synthesis of application-layer connectors from automata-based specifications

M Autili, P Inverardi, R Spalazzese, M Tivoli… - Journal of Computer and …, 2019 - Elsevier
Abstract Ubiquitous and Pervasive Computing, and the Internet of Things, promote dynamic
interaction among heterogeneous systems. To achieve this vision, interoperability among …

Constraint adaptation in web service composition

T Laleh, J Paquet, S Mokhov… - 2017 IEEE International …, 2017 - ieeexplore.ieee.org
Service constraints are usage restrictions on service features that are imposed by service
providers. Such constraints need to be verified prior to the execution of a service in order to …

Synthesizing self-adaptive connectors meeting functional and performance concerns

A Di Marco, P Inverardi… - 2013 8th International …, 2013 - ieeexplore.ieee.org
Today's networked environment is characterized by a wide variety of heterogeneous
systems that dynamically decide to interoperate to achieve some goal. In this context …

Synthesizing adapters for conversational web-services from their WSDL interface

L Cavallaro, E Di Nitto, P Pelliccione… - Proceedings of the …, 2010 - dl.acm.org
Service-oriented applications are typically built out of existing web-services (WSs) possibly
made available by third party vendors. This requires that the application has to be able to …