O Λογισμός Πράξης (Event Calculus) είναι μία χρονική λογική που έχει χρησιμοποιηθεί, μεταξύ άλλων, για την αναγνώριση μοτίβων σε ροές δεδομένων από διάφορες εφαρμογές. Μία από αυτές είναι τα Πολυπρακτορικά Συστήματα και συγκεκριμένα η επιτήρηση των προδιαγραφών του πρωτοκόλλου NetBill που περιγράφει τους κανόνες των συναλλαγών μεταξύ εμπόρου και καταναλωτή. Ο στόχος της παρούσας πτυχιακής εργασίας είναι η υλοποίηση ενός συστήματος βασισμένου στον Λογισμού Πράξης με σκοπό την αποδοτική επιτήρηση των κανόνων που ρυθμίζουν τις συναλλαγές μέσω κρυπτονομισμάτων (bitcoin transaction monitoring). Το σύστημα θα αξιολογηθεί σε ροές δεδομένων μεγάλης κλίμακας με στόχο τη βελτιστοποίηση της απόδοσής του.
Βιβλιογραφία:
http://cer.iit.demokritos.gr/publications/papers/2015/artikis-TKDE14.pdf
http://cer.iit.demokritos.gr/publications/papers/2010/artikis-IGPL.pdf
https://eprint.iacr.org/2018/122.pdf
http://ceur-ws.org/Vol-2574/paper4.pdf