Skip to main content
Erschienen in:
Buchtitelbild

2014 | OriginalPaper | Buchkapitel

1. Introduction

verfasst von : Bruno Berstel-Da Silva

Erschienen in: Verification of Business Rules Programs

Verlag: Springer Berlin Heidelberg

Aktivieren Sie unsere intelligente Suche um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

This chapter provides the context for the book. It starts with an example of a verification problem for a business rules program that was inspired by real-life business cases. It then gives an overview of what a Business Rules Management System is. Before a short description of the subsequent chapters, it presents the motivation of our work. Namely, we aim at enabling rule authors and tool developers to understand, express formally, and prove, properties of the execution behavior of business rules programs. More generally, the book proposes a formal framework for treating business rules as a topic of scientific investigation in semantics and program verification.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
1
All URLs were successfully accessed on January 22, 2013.
 
Literatur
1.
Zurück zum Zitat Aiken, M.W., Liu Sheng, O.R.: Nexpert object. Expert1 Syst. 7(1), 54–57 (1990) Aiken, M.W., Liu Sheng, O.R.: Nexpert object. Expert1 Syst. 7(1), 54–57 (1990)
2.
Zurück zum Zitat Albert, P.: ILOG Rules, embedding rules in C++: Results and limits. In: Proceedings of the OOPSLA’94 Workshop on Embedded Object-Oriented Production Systems (EOOPS). Technical Report LAFORIA 94/24, Institut Blaise Pascal, Paris (1994) Albert, P.: ILOG Rules, embedding rules in C++: Results and limits. In: Proceedings of the OOPSLA’94 Workshop on Embedded Object-Oriented Production Systems (EOOPS). Technical Report LAFORIA 94/24, Institut Blaise Pascal, Paris (1994)
3.
Zurück zum Zitat Apt, K.R., Olderog, E.R.: Verification of Sequential and Concurrent Programs, 2nd edn. Texts in Computer Science. Springer, Berlin (1997)CrossRefMATH Apt, K.R., Olderog, E.R.: Verification of Sequential and Concurrent Programs, 2nd edn. Texts in Computer Science. Springer, Berlin (1997)CrossRefMATH
4.
Zurück zum Zitat Apt, K.R., de Boer, F.S., Olderog, E.R.: Verification of Sequential and Concurrent Programs, 3rd edn. Texts in Computer Science. Springer, Berlin (2009)CrossRefMATH Apt, K.R., de Boer, F.S., Olderog, E.R.: Verification of Sequential and Concurrent Programs, 3rd edn. Texts in Computer Science. Springer, Berlin (2009)CrossRefMATH
5.
Zurück zum Zitat Brownston, L., Farrell, R., Kant, E., Martin, N.: Programming Expert Systems in OPS5: An Introduction to Rule-Based Programming. Addison-Wesley, Boston (1985) Brownston, L., Farrell, R., Kant, E., Martin, N.: Programming Expert Systems in OPS5: An Introduction to Rule-Based Programming. Addison-Wesley, Boston (1985)
6.
Zurück zum Zitat Culbert, C., Riley, G.: CLIPS Basic Programming Guide (2003) Culbert, C., Riley, G.: CLIPS Basic Programming Guide (2003)
10.
Zurück zum Zitat Forgy, C.: OPS5 User’s manual. Tech. Rep. CMU-CS-81-135, Carnegie-Mellon University, Pittsburgh (1981) Forgy, C.: OPS5 User’s manual. Tech. Rep. CMU-CS-81-135, Carnegie-Mellon University, Pittsburgh (1981)
11.
Zurück zum Zitat Forgy, C.: Rete: A fast algorithm for the many patterns/many objects match problem. Artif. Intell. 19(1), 17–37 (1982)CrossRef Forgy, C.: Rete: A fast algorithm for the many patterns/many objects match problem. Artif. Intell. 19(1), 17–37 (1982)CrossRef
12.
Zurück zum Zitat Friedman-Hill, E.J.: JESS in Action. Manning Publications, New York (2003) Friedman-Hill, E.J.: JESS in Action. Manning Publications, New York (2003)
13.
Zurück zum Zitat von Halle, B.: Business Rules Applied. Wiley, New York (2002) von Halle, B.: Business Rules Applied. Wiley, New York (2002)
14.
Zurück zum Zitat von Halle, B., Goldberg, L.: The Business Rule Revolution. Happy About, Cupertino (2006) von Halle, B., Goldberg, L.: The Business Rule Revolution. Happy About, Cupertino (2006)
15.
Zurück zum Zitat Hanson, E., Hasan, M.S.: Gator: An optimized discrimination network for active database rule condition testing. Tech. Rep. TR93-036, University of Florida (1993) Hanson, E., Hasan, M.S.: Gator: An optimized discrimination network for active database rule condition testing. Tech. Rep. TR93-036, University of Florida (1993)
16.
Zurück zum Zitat Hasan, M., Sugla, B., Viswanathan, R.: A conceptual framework for network management event correlation and filtering systems. In: Sixth IFIP/IEEE International Symposium on Integrated Network Management, pp. 233–246. Boston (1999) Hasan, M., Sugla, B., Viswanathan, R.: A conceptual framework for network management event correlation and filtering systems. In: Sixth IFIP/IEEE International Symposium on Integrated Network Management, pp. 233–246. Boston (1999)
24.
Zurück zum Zitat Miranker, D.P.: TREAT: A better match algorithm for AI production systems. In: Proceedings of the Sixth National Conference on Artificial Intelligence – Volume 1, AAAI’87, pp. 42–47. AAAI, Seattle (1987) Miranker, D.P.: TREAT: A better match algorithm for AI production systems. In: Proceedings of the Sixth National Conference on Artificial Intelligence – Volume 1, AAAI’87, pp. 42–47. AAAI, Seattle (1987)
25.
Zurück zum Zitat Newell, A., Simon, H.A.: Human Problem Solving. Prentice Hall, Englewood Cliffs (1972) Newell, A., Simon, H.A.: Human Problem Solving. Prentice Hall, Englewood Cliffs (1972)
27.
32.
Zurück zum Zitat Ross, R.: Principles of the Business Rules Approach. Addison-Wesley, Boston (2003) Ross, R.: Principles of the Business Rules Approach. Addison-Wesley, Boston (2003)
36.
Zurück zum Zitat Soloway, E., Bachant, J., Jensen, K.: Assessing the maintainability of XCON-in-RIME: Coping with the problems of a VERY large rule-base. In: AAAI, pp. 824–829. Seattle (1987) Soloway, E., Bachant, J., Jensen, K.: Assessing the maintainability of XCON-in-RIME: Coping with the problems of a VERY large rule-base. In: AAAI, pp. 824–829. Seattle (1987)
37.
Zurück zum Zitat Taylor, J., Raden, N.: Smart (Enough) Systems: How to Deliver Competitive Advantage by Automating the Decisions Hidden in your Business. Prentice Hall, Upper Saddle River (2007) Taylor, J., Raden, N.: Smart (Enough) Systems: How to Deliver Competitive Advantage by Automating the Decisions Hidden in your Business. Prentice Hall, Upper Saddle River (2007)
40.
Zurück zum Zitat Urquhart, A.: Emil Post. In: Gabbay, D.M., Woods, J. (eds.) Logic from Russell to Church. Handbook of the History of Logic, vol. 5, pp. 617–666. North-Holland, Amsterdam (2009)CrossRef Urquhart, A.: Emil Post. In: Gabbay, D.M., Woods, J. (eds.) Logic from Russell to Church. Handbook of the History of Logic, vol. 5, pp. 617–666. North-Holland, Amsterdam (2009)CrossRef
Metadaten
Titel
Introduction
verfasst von
Bruno Berstel-Da Silva
Copyright-Jahr
2014
Verlag
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/978-3-642-40038-4_1