关于流运行时验证和聚合编程

Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution Pub Date : 2023-07-18 DOI:10.1145/3605159.3605854

Ferruccio Damiani, G. Torta

{"title":"关于流运行时验证和聚合编程","authors":"Ferruccio Damiani, G. Torta","doi":"10.1145/3605159.3605854","DOIUrl":null,"url":null,"abstract":"Stream Runtime Verification (SRV) has been recently proposed for monitoring input streams of data while producing output streams in response. The Aggregate Programming (AP) paradigm for collection of distributed devices has been used to implement distributed runtime verification of spatial and temporal Boolean properties. In this paper we outline how distributed SRV could be implemented by AP and the new opportunities AP could bring to the field of distributed SRV.","PeriodicalId":365047,"journal":{"name":"Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2023-07-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"On Stream Runtime Verification and Aggregate Programming\",\"authors\":\"Ferruccio Damiani, G. Torta\",\"doi\":\"10.1145/3605159.3605854\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Stream Runtime Verification (SRV) has been recently proposed for monitoring input streams of data while producing output streams in response. The Aggregate Programming (AP) paradigm for collection of distributed devices has been used to implement distributed runtime verification of spatial and temporal Boolean properties. In this paper we outline how distributed SRV could be implemented by AP and the new opportunities AP could bring to the field of distributed SRV.\",\"PeriodicalId\":365047,\"journal\":{\"name\":\"Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2023-07-18\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/3605159.3605854\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/3605159.3605854","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

流运行时验证(SRV)最近被提出用于监控输入数据流，同时产生输出流作为响应。用于分布式设备集合的聚合编程(AP)范式已被用于实现空间和时间布尔属性的分布式运行时验证。本文概述了AP如何实现分布式SRV，以及AP可能给分布式SRV领域带来的新机遇。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

On Stream Runtime Verification and Aggregate Programming

Stream Runtime Verification (SRV) has been recently proposed for monitoring input streams of data while producing output streams in response. The Aggregate Programming (AP) paradigm for collection of distributed devices has been used to implement distributed runtime verification of spatial and temporal Boolean properties. In this paper we outline how distributed SRV could be implemented by AP and the new opportunities AP could bring to the field of distributed SRV.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution

自引率

0.00%

发文量