Show simple item record

dc.contributor.authorAudrito, Giorgio
dc.contributor.authorDamiani, Ferruccio
dc.contributor.authorStolz, Volker
dc.contributor.authorViroli, Mirko
dc.date.accessioned2019-11-14T14:41:16Z
dc.date.available2019-11-14T14:41:16Z
dc.date.created2019-08-29T08:27:55Z
dc.date.issued2019
dc.identifier.citationAudrito, G., Damiani, F., Stolz, V., & Viroli, M. (2019). On distributed runtime verification by aggregate computing. Electronic Proceedings in Theoretical Computer Science, 302, 47-61.nb_NO
dc.identifier.issn2075-2180
dc.identifier.urihttp://hdl.handle.net/11250/2628614
dc.description.abstractRuntime verification is a computing analysis paradigm based on observing a system at runtime (to check its expected behaviour) by means of monitors generated from formal specifications. Distributed runtime verification is runtime verification in connection with distributed systems: it comprises both monitoring of distributed systems and using distributed systems for monitoring. Aggregate computing is a programming paradigm based on a reference computing machine that is the aggregate collection of devices that cooperatively carry out a computational process: the details of behaviour, position and number of devices are largely abstracted away, to be replaced with a space-filling computational environment. In this position paper we argue, by means of simple examples, that aggregate computing is particularly well suited for implementing distributed monitors. Our aim is to foster further research on how to generate aggregate computing monitors from suitable formal specificationsnb_NO
dc.language.isoengnb_NO
dc.publisherOpen Publishing Associationnb_NO
dc.rightsNavngivelse 4.0 Internasjonal*
dc.rights.urihttp://creativecommons.org/licenses/by/4.0/deed.no*
dc.subjectdistributed, parallel, and cluster computing (cs.DC)nb_NO
dc.subjectmultiagent systems (cs.MA)nb_NO
dc.subjectprogramming languages (cs.PL)nb_NO
dc.titleOn Distributed Runtime Verification by Aggregate Computingnb_NO
dc.typeJournal articlenb_NO
dc.typePeer reviewednb_NO
dc.description.versionpublishedVersionnb_NO
dc.rights.holder© G. Audrito, F. Damiani, V. Stolz & M. Virolinb_NO
dc.subject.nsiVDP::Teoretisk databehandling, programmeringsspråk og -teori: 421nb_NO
dc.subject.nsiVDP::Theoretical computer science, programming science and theory: 421nb_NO
dc.source.pagenumber47-61nb_NO
dc.source.volume302nb_NO
dc.source.journalElectronic Proceedings in Theoretical Computer Sciencenb_NO
dc.identifier.doi10.4204/EPTCS.302.4
dc.identifier.cristin1719699
dc.relation.projectEC/H2020/732016nb_NO
dc.relation.projectEC/H2020/644298nb_NO
dc.relation.projectEC/COST/IC1402 ARVInb_NO
cristin.unitcode203,12,4,0
cristin.unitnameInstitutt for data- og realfag
cristin.ispublishedtrue
cristin.fulltextoriginal
cristin.qualitycode1


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

Navngivelse 4.0 Internasjonal
Except where otherwise noted, this item's license is described as Navngivelse 4.0 Internasjonal