Information Technology Reference
In-Depth Information
3Conluon
We have illustrated how rule-based programming based on the Rete algorithm,
integrated in a high-level programming language, can be used for runtime ver-
ification. The initial experiments show that the system is very expressive and
convenient, and is acceptable from a performance point of view, although not as
ecient as optimized specialized RV algorithms.
References
1. Drools website,
http://www.jboss.org/drools
2. Rooscaloo website,
http://code.google.com/p/rooscaloo
3. Barringer, H., Falcone, Y., Havelund, K., Reger, G., Rydeheard, D.: Quantified
Event Automata - towards expressive and ecient runtime monitors. In: Gian-
nakopoulou, D., Mery, D. (eds.) FM 2012. LNCS, vol. 7436, pp. 68-84. Springer,
Heidelberg (2012)
4. Barringer, H., Havelund, K.: TraceContract: A Scala DSL for trace analysis. In:
Butler, M., Schulte, W. (eds.) FM 2011. LNCS, vol. 6664, pp. 57-72. Springer,
Heidelberg (2011)
5. Barringer, H., Rydeheard, D., Havelund, K.: Rule systems for run-time monitoring:
from Eagle to RuleR. In: Sokolsky, O., Tasıran, S. (eds.) RV 2007. LNCS, vol. 4839,
pp. 111-125. Springer, Heidelberg (2007)
6. Forgy, C.: Rete: A fast algorithm for the many pattern/many object pattern match
problem. Artificial Intelligence 19, 17-37 (1982)
7. Fusco, M.: Hammurabi - a Scala rule engine. In: Scala Days 2011. Stanford Uni-
versity, California (2011)
8. Havelund, K.: What does AI have to do with RV? In: Margaria, T., Steffen, B.
(eds.) ISoLA 2012, Part I. LNCS, vol. 7609, pp. 292-294. Springer, Heidelberg
(2012)
9. Herzeel, C., Gybels, K., Costanza, P.: Escaping with future variables in HALO.
In: Sokolsky, O., Tasıran, S. (eds.) RV 2007. LNCS, vol. 4839, pp. 51-62. Springer,
Heidelberg (2007)
10. Luckham, D.: The Power of Events: An Introduction to Complex Event Processing
in Distributed Enterprise Systems. Addison-Wesley (2002)
11. Meredith, P., Jin, D., Grith, D., Chen, F., Rosu, G.: An overview of the MOP run-
time verification framework. Software Tools for Technology Transfer (STTT) 14(3),
249-289 (2012)
12. Odersky, M.: Contracts for Scala. In: Barringer, H., et al. (eds.) RV 2010. LNCS,
vol. 6418, pp. 51-57. Springer, Heidelberg (2010)
