Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Cover of the book

2014 | OriginalPaper | Chapter

1. Introduction

Author : Bruno Berstel-Da Silva

Published in: Verification of Business Rules Programs

Publisher: Springer Berlin Heidelberg

Log in

Activate our intelligent search to find suitable subject content or patents.

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.

Dont have a licence yet? Then find out more about our products and how to get one now:

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!

inform now

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!

inform now

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!

inform now
next chapter Related Work
Footnotes
1
All URLs were successfully accessed on January 22, 2013.
 
Literature
1.
Aiken, M.W., Liu Sheng, O.R.: Nexpert object. Expert1 Syst. 7(1), 54–57 (1990)
2.
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.
Apt, K.R., Olderog, E.R.: Verification of Sequential and Concurrent Programs, 2nd edn. Texts in Computer Science. Springer, Berlin (1997)CrossRefMATH
4.
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.
Brownston, L., Farrell, R., Kant, E., Martin, N.: Programming Expert Systems in OPS5: An Introduction to Rule-Based Programming. Addison-Wesley, Boston (1985)
6.
Culbert, C., Riley, G.: CLIPS Basic Programming Guide (2003)
7.
8.
9.
10.
Forgy, C.: OPS5 User’s manual. Tech. Rep. CMU-CS-81-135, Carnegie-Mellon University, Pittsburgh (1981)
11.
Forgy, C.: Rete: A fast algorithm for the many patterns/many objects match problem. Artif. Intell. 19(1), 17–37 (1982)CrossRef
12.
Friedman-Hill, E.J.: JESS in Action. Manning Publications, New York (2003)
13.
von Halle, B.: Business Rules Applied. Wiley, New York (2002)
14.
von Halle, B., Goldberg, L.: The Business Rule Revolution. Happy About, Cupertino (2006)
15.
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.
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)
17.
18.
19.
20.
21.
22.
23.
24.
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.
Newell, A., Simon, H.A.: Human Problem Solving. Prentice Hall, Englewood Cliffs (1972)
26.
27.
28.
29.
30.
31.
32.
Ross, R.: Principles of the Business Rules Approach. Addison-Wesley, Boston (2003)
33.
34.
35.
36.
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.
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)
38.
39.
40.
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
Metadata
Title
Introduction
Author
Bruno Berstel-Da Silva
Copyright Year
2014
Publisher
Springer Berlin Heidelberg
Book
Verification of Business Rules Programs

Print ISBN: 978-3-642-40037-7

Electronic ISBN: 978-3-642-40038-4

Copyright Year: 2014

DOI
https://doi.org/10.1007/978-3-642-40038-4_1

Premium Partner

    Image Credits