#Yasu rule engine manual#
#Yasu rule engine verification#

Red Hat: JBoss Rules 5 Reference Guide (2012). Progress: Corticon Business Rules Management System. In: New Dictionary of Scientific Biography. Owicki, S.S., Gries, D.: An axiomatic proof technique for parallel programs I. Newell, A., Simon, H.A.: Human Problem Solving. In: Proceedings of the Sixth National Conference on Artificial Intelligence – Volume 1, AAAI’87, pp. Miranker, D.P.: TREAT: A better match algorithm for AI production systems. McCoy, D.W., Sinur, J.: Achieving Agility: The Agile Power of Business Rules.

#Yasu rule engine manual#

IBM: IBM Operational Decision Manager v8.0 User’s Manual (2012). IBM: VISA Europe: Processing payments with unprecedented agility and reliability. Hendrick, S.D.: Worldwide Business Rules Management Systems 2009–2013 Forecast. Hendrick, S.D.: Business Rule Management Systems: Addressing Referential Rule Integrity.

In: Sixth IFIP/IEEE International Symposium on Integrated Network Management, pp. Hasan, M., Sugla, B., Viswanathan, R.: A conceptual framework for network management event correlation and filtering systems. Hanson, E., Hasan, M.S.: Gator: An optimized discrimination network for active database rule condition testing. Von Halle, B., Goldberg, L.: The Business Rule Revolution. CMU-CS-81-135, Carnegie-Mellon University, Pittsburgh (1981)įorgy, C.: Rete: A fast algorithm for the many patterns/many objects match problem. įloyd, R.W.: A descriptive language for symbol manipulation. Addison-Wesley, Boston (1985)Ĭulbert, C., Riley, G.: CLIPS Basic Programming Guide (2003)įair, Isaac, and Company: High-volume batch processing with Blaze Advisor. Springer, Berlin (2009)īrownston, L., Farrell, R., Kant, E., Martin, N.: Programming Expert Systems in OPS5: An Introduction to Rule-Based Programming.

#Yasu rule engine verification#

Springer, Berlin (1997)Īpt, K.R., de Boer, F.S., Olderog, E.R.: Verification of Sequential and Concurrent Programs, 3rd edn. Technical Report LAFORIA 94/24, Institut Blaise Pascal, Paris (1994)Īpt, K.R., Olderog, E.R.: Verification of Sequential and Concurrent Programs, 2nd edn.

In: Proceedings of the OOPSLA’94 Workshop on Embedded Object-Oriented Production Systems (EOOPS). Expert FootnoteĪll URLs were successfully accessed on January 22, 2013.Īlbert, P.: ILOG Rules, embedding rules in C++: Results and limits. Aiken, M.W., Liu Sheng, O.R.: Nexpert object.