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 …
accounting for the heterogeneity of protocols from the application down to the middleware …
Introduction to active automata learning from a practical perspective
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 …
model particularly suited for modeling the behavior of realistic reactive systems. Active …
Myhealthassistant: An event-driven middleware for multiple medical applications on a smartphone-mediated body sensor network
C Seeger, K Van Laerhoven… - IEEE journal of …, 2014 - ieeexplore.ieee.org
An ever-growing range of wireless sensors for medical monitoring has shown that there is
significant interest in monitoring patients in their everyday surroundings. It however remains …
significant interest in monitoring patients in their everyday surroundings. It however remains …
The role of ontologies in emergent middleware: Supporting interoperability in complex distributed systems
Interoperability is a fundamental problem in distributed systems, and an increasingly difficult
problem given the level of heterogeneity and dynamism exhibited by contemporary systems …
problem given the level of heterogeneity and dynamism exhibited by contemporary systems …
On middleware for emerging health services
J Singh, JM Bacon - Journal of Internet Services and Applications, 2014 - Springer
Healthcare concerns have become diverse, ranging from acute and chronic conditions to
lifestyle, wellbeing and the prevention of illness. Increasingly, individuals are taking …
lifestyle, wellbeing and the prevention of illness. Increasingly, individuals are taking …
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 …
today's and future digital systems that increasingly need be connected. The resulting …
On Handling Data in Automata Learning: Considerations from the CONNECT Perspective
Most communication with real-life systems involves data values being relevant to the
communication context and thus influencing the observable behavior of the communication …
communication context and thus influencing the observable behavior of the communication …
Plug-and-play higher-order process integration
J Neubauer, B Steffen - Computer, 2013 - ieeexplore.ieee.org
Unexpected hurdles in dealing with integration, variability, and interoperability in software
development can be overcome using higher-order process integration. Even in its simplicity …
development can be overcome using higher-order process integration. Even in its simplicity …
Automated inference of models for black box systems based on interface descriptions
In this paper we present a method and tool to fully automatically infer data-sensitive
behavioral models of black-box systems in two coordinated steps:(1) syntactical analysis of …
behavioral models of black-box systems in two coordinated steps:(1) syntactical analysis of …
Automated continuous quality assurance
J Neubauer, B Steffen, O Bauer… - … Workshop on Formal …, 2012 - ieeexplore.ieee.org
We present a case study that illustrates the power of active learning for enabling the
automated quality assurance of complex and distributed evolving systems. We illustrate how …
automated quality assurance of complex and distributed evolving systems. We illustrate how …