Automated synthesis of application-layer connectors from automata-based specifications

DSpace Repository

Automated synthesis of application-layer connectors from automata-based specifications

Details

Files for download

Find Full text There are no files associated with this item..

Overview of item record
Publication Article, peer reviewed scientific
Title Automated synthesis of application-layer connectors from automata-based specifications
Author Autili, Marco ; Inverardi, Paola ; Spalazzese, Romina ; Tivoli, Massimo ; Mignosi, Filippo
Research Centre Internet of Things and People Research Centre (IOTAP)
Date 2019
English abstract
Ubiquitous and Pervasive Computing, and the Internet of Things, promote dynamic interaction among heterogeneous systems. To achieve this vision, interoperability among heterogeneous systems represents a key enabler, and mediators are often built to solve protocol mismatches. Many approaches propose the synthesis of mediators. Unfortunately, a rigorous characterization of the concept of interoperability is still lacking, hence making hard to assess their applicability and soundness. In this paper, we provide a framework for the synthesis of mediators that allows us to: (i) characterize the conditions for the mediator existence and correctness; and (ii) establish the applicability boundaries of the synthesis method. (C) 2019 Elsevier Inc. All rights reserved.
DOI https://doi.org/10.1016/j.jcss.2019.03.001 (link to publisher's fulltext.)
Publisher Elsevier
Host/Issue Journal of Computer and System Sciences;
Volume 104
ISSN 0022-0000
Language eng (iso)
Subject Automated mediator synthesis
Interoperability
Protocols
Heterogeneous applications
Communication & coordination
Protocol mismatches
Technology
Research Subject Categories::TECHNOLOGY
Handle http://hdl.handle.net/2043/30237 Permalink to this page
Facebook

This item appears in the following Collection(s)

Details

Search


Browse

My Account

Statistics