Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
6873192 | Future Generation Computer Systems | 2018 | 51 Pages |
Abstract
This work investigates the possibility of spreading the compliance monitoring task over a network of computing nodes, achieving the desired scalability. The monitor is realised through the existing SCIFF framework for compliance checking, which provides a high level logic-based language for expressing the properties to be monitored and nicely supports the partitioning of the monitoring task. The distributed computation is achieved through a MapReduce approach and the adoption of an existing general engine for large scale stream processing. Experimental results show the feasibility of the approach as well as the advantages in performance brought to the compliance monitoring task.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Daniela Loreti, Federico Chesani, Anna Ciampolini, Paola Mello,