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 …

Synthesis and verification of self-aware computing systems

R Calinescu, M Autili, J Cámara, A Di Marco… - Self-Aware Computing …, 2017 - Springer
Self-aware computing systems are envisaged to exploit the knowledge of their own software
architecture, hardware infrastructure and environment in order to follow high-level goals …

Human empowerment in self-adaptive socio-technical systems

N Boltz, S Getir Yaman, P Inverardi… - Proceedings of the 19th …, 2024 - dl.acm.org
Recent advances in generative AI and machine learning have stirred up fears about the
unbridled adoption of autonomous, self-adaptive decision mechanisms in socio-technical …

[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 …

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 …

Application-layer connector synthesis

P Inverardi, R Spalazzese, M Tivoli - … School on Formal Methods for the …, 2011 - Springer
The heterogeneity characterizing the systems populating the Ubiquitous Computing
environment prevents their seamless interoperability. Heterogeneous protocols may be …

Achieving functional and non functional interoperability through synthesized connectors

N Nostro, R Spalazzese, F Di Giandomenico… - Journal of Systems and …, 2016 - Elsevier
Our everyday life is pervaded by the use of a number of heterogeneous systems that are
continuously and dynamically available in the networked environment to interoperate to …

Dependability and performance assessment of dynamic connected systems

A Bertolino, A Calabro, F Di Giandomenico… - Formal Methods for …, 2011 - Springer
In this chapter we present approaches for analysis and monitoring of dependability and
performance of connect ed systems, and their combined usage. These approaches need to …

Generative technique of version control systems for software diagrams

T Oda, M Saeki - 21st IEEE International Conference on …, 2005 - ieeexplore.ieee.org
In iterative software development methodology, a version control system is used in order to
record and manage modification histories of products such as source codes and models …

An empirical evaluation of data interoperability—A case of the disaster management sector in Uganda

A Mazimwe, I Hammouda, A Gidudu - ISPRS International Journal of Geo …, 2019 - mdpi.com
One of the grand challenges of disaster management is for stakeholders to be able to
discover, access, integrate and analyze task-appropriate data together with their associated …