Scalable Process Monitoring through Rules and Neural Networks

In this paper we introduce RuleRunner, a Runtime Verification system for monitoring LTL properties over finite traces. By exploiting results from the Neural-Symbolic Integration area, a RuleRunner monitor can be encoded in a recurrent neural network. The results show that neural networks can perform real-time runtime verification and techniques of parallel computing can be applied to improve the performance in terms of scalability. Furthermore, our framework allows for property adaptation by using a standard neural network learning algorithm.

[1]  David Breitgand,et al.  Efficient Control of False Negative and False Positive Errors with Separate Adaptive Thresholds , 2011, IEEE Transactions on Network and Service Management.

[2]  Martin Leucker,et al.  The Good, the Bad, and the Ugly, But How Ugly Is Ugly? , 2007, RV.

[3]  Simon Haykin,et al.  Neural Networks: A Comprehensive Foundation (3rd Edition) , 2007 .

[4]  Doron Drusinsky,et al.  The Temporal Rover and the ATG Rover , 2000, SPIN.

[5]  Tao Wang,et al.  Deep learning with COTS HPC systems , 2013, ICML.

[6]  S. Hyakin,et al.  Neural Networks: A Comprehensive Foundation , 1994 .

[7]  Martin Leucker,et al.  Monitoring of Real-Time Properties , 2006, FSTTCS.

[8]  Marc'Aurelio Ranzato,et al.  Building high-level features using large scale unsupervised learning , 2011, 2013 IEEE International Conference on Acoustics, Speech and Signal Processing.

[9]  Howard Barringer,et al.  Rule Systems for Run-time Monitoring: from Eagle to RuleR , 2010, J. Log. Comput..

[10]  Artur S. d'Avila Garcez,et al.  The Connectionist Inductive Learning and Logic Programming System , 1999, Applied Intelligence.

[11]  Martin Leucker,et al.  A brief account of runtime verification , 2009, J. Log. Algebraic Methods Program..

[12]  Ricardo Seguel,et al.  Process Mining Manifesto , 2011, Business Process Management Workshops.

[13]  Fred Kröger,et al.  Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.

[14]  Sebastian Fischmeister,et al.  GPU-based Runtime Verification , 2013, 2013 IEEE 27th International Symposium on Parallel and Distributed Processing.

[15]  Jude W. Shavlik,et al.  Knowledge-Based Artificial Neural Networks , 1994, Artif. Intell..

[16]  Sylvain Hallé,et al.  MapReduce for parallel trace validation of LTL properties , 2015, Journal of Cloud Computing.

[17]  Bernhard Westfechtel,et al.  DYNAMITE: DYNAMIc Task nEts for software process management , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.

[18]  Amir Pnueli,et al.  The Glory of the Past , 1985, Logic of Programs.

[19]  Dana Fisman,et al.  Reasoning with Temporal Logic on Truncated Paths , 2003, CAV.