Verification of fixed-topology declarative distributed systems with external data

Mostra el registre complet Registre parcial de l'ítem

• dc.contributor.author Calvanese, Diegoca
• dc.contributor.author Montali, Marcoca
• dc.contributor.author Lobo, Jorgeca
• dc.date.accessioned 2018-06-07T15:34:42Z
• dc.date.available 2018-06-07T15:34:42Z
• dc.date.issued 2018
• dc.description Comunicació presentada a: the 12th Alberto Mendelzon International Workshop on Foundations of Data Management, celebrada del 21 al 25 de maig de 2018 a Cali, Colòmbia.ca
• dc.description.abstract Logic-based languages, such as Datalog and Answer Set Programming, have been recently put forward as a data-centric model to specify and implement network services and protocols. This approach provides the basis for declarative distributed computing, where a distributed system consists of a network of computational nodes, each evolving an internal database and exchanging data with the other nodes. Verifying these systems against temporal dynamic specifications is of crucial importance. In this paper, we attack this problem by considering the case where the network is a fixed connected graph, and nodes can incorporate fresh data from the external environment. As a verification formalism, we consider branching-time, first-order temporal logics. We study the problem from different angles, delineating the decidability frontier and providing tight complexity bounds for the decidable cases.en
• dc.description.sponsorship This work is supported by the Spanish Ministry of Economy and Competitiveness under grants MDM-2015-0502 and TIN2016-81032-P, and by the REKAP project funded by unibz through the 2017 research budget.en
• dc.format.mimetype application/pdf
• dc.identifier.citation Calvanese D, Montali M, Lobo J. Verification of fixed-topology declarative distributed systems with external data. In: Olteanu D, Poblete B. Proceedings of the 12th Alberto Mendelzon International Workshop on Foundations of Data Management. Session 5: Graph Data; 2018 May 21-25; Cali, Colombia. [Aachen]: CEUR Workshop Proceedings; 2018. [10] p. (CEUR Workshop Proceedings; no. 2100).
• dc.identifier.issn 1613-0073
• dc.identifier.uri http://hdl.handle.net/10230/34856
• dc.language.iso eng
• dc.publisher CEUR Workshop Proceedingsca
• dc.relation.ispartof Olteanu D, Poblete B. Proceedings of the 12th Alberto Mendelzon International Workshop on Foundations of Data Management. Session 5: Graph Data; 2018 May 21-25; Cali, Colombia. [Aachen]: CEUR Workshop Proceedings; 2018. [10] p. (CEUR Workshop Proceedings; no. 2100).
• dc.relation.projectID info:eu-repo/grantAgreement/ES/1PE/TIN2016-81032-P
• dc.rights © 2018 the authors.
• dc.rights.accessRights info:eu-repo/semantics/openAccess
• dc.title Verification of fixed-topology declarative distributed systems with external dataca
• dc.type info:eu-repo/semantics/conferenceObject
• dc.type.version info:eu-repo/semantics/publishedVersion