Automated synthesis of application-layer connectors from automata-based specificationsVise andre og tillknytning
2019 (engelsk)Inngår i: Journal of computer and system sciences (Print), ISSN 0022-0000, E-ISSN 1090-2724, Vol. 104, s. 17-40Artikkel i tidsskrift (Fagfellevurdert) Published
Abstract [en]
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.
sted, utgiver, år, opplag, sider
Elsevier, 2019. Vol. 104, s. 17-40
Emneord [en]
Automated mediator synthesis, Interoperability, Protocols, Heterogeneous applications, Communication & coordination, Protocol mismatches
HSV kategori
Identifikatorer
URN: urn:nbn:se:mau:diva-2347DOI: 10.1016/j.jcss.2019.03.001ISI: 000472246300003Scopus ID: 2-s2.0-85063570712Lokal ID: 30237OAI: oai:DiVA.org:mau-2347DiVA, id: diva2:1399100
2020-02-272020-02-272025-02-18bibliografisk kontrollert