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 …

Introduction to active automata learning from a practical perspective

B Steffen, F Howar, M Merten - … International School on Formal Methods for …, 2011 - Springer
In this chapter we give an introduction to active learning of Mealy machines, an automata
model particularly suited for modeling the behavior of realistic reactive systems. Active …

The role of ontologies in emergent middleware: Supporting interoperability in complex distributed systems

GS Blair, A Bennaceur, N Georgantas, P Grace… - Middleware 2011: ACM …, 2011 - Springer
Interoperability is a fundamental problem in distributed systems, and an increasingly difficult
problem given the level of heterogeneity and dynamism exhibited by contemporary systems …

Starlink: runtime interoperability between heterogeneous middleware protocols

YD Bromberg, P Grace… - 2011 31st International …, 2011 - ieeexplore.ieee.org
Interoperability remains a challenging and growing problem within distributed systems. A
range of heterogeneous network and middleware protocols which cannot interact with one …

[PDF][PDF] Active learning of interface programs

FM Howar - 2012 - researchgate.net
Computer systems today are no longer monolithic programs; instead they usually comprise
multiple interacting programs. With the continuous growth of these systems and with their …

Never-stop context-free learning

M Frohme, B Steffen - Model Checking, Synthesis, and Learning: Essays …, 2021 - Springer
In this paper, we revisit the concept of never-stop learning, a combination of active automata
learning and runtime monitoring. Published research focuses on regular systems and …

A theory of mediators for eternal connectors

P Inverardi, V Issarny, R Spalazzese - International Symposium On …, 2010 - Springer
On the fly synthesis of mediators is a revolutionary approach to the seamless networking of
today's and future digital systems that increasingly need be connected. The resulting …

Bridging the interoperability gap: Overcoming combined application and middleware heterogeneity

YD Bromberg, P Grace, L Réveillere… - Middleware 2011: ACM …, 2011 - Springer
Interoperability remains a significant challenge in today's distributed systems; it is necessary
to quickly compose and connect (often at runtime) previously developed and deployed …

Machine learning for emergent middleware

A Bennaceur, V Issarny, D Sykes, F Howar… - … Eternal Systems via …, 2013 - Springer
Highly dynamic and heterogeneous distributed systems are challenging today's middleware
technologies. Existing middleware paradigms are unable to deliver on their most central …

[PDF][PDF] Models and Methods for E-Commerce Systems Designing in the Global Economy Development Conditions Based on Mealy and Moore Machines.

A Berko, M Bublyk, L Chyrun, Y Matseliukh, R Levus… - COLINS, 2021 - ceur-ws.org
The article examines the features of conducting and organising e-commerce in the
development of the global economy. The efficiency of e-commerce is assessed by complex …