skip to content
Verification of business rules programs Preview this item
ClosePreview this item
Checking...

Verification of business rules programs

Author: Bruno Berstel-Da Silva
Publisher: Heidelberg [Germany] : Springer, 2014. ©2014
Edition/Format:   eBook : Document : EnglishView all editions and formats
Database:WorldCat
Summary:
Rules represent a simplified means of programming, congruent with our understanding of human brain constructs. With the advent of business rules management systems, it has been possible to introduce rule-based programming to nonprogrammers, allowing them to map expert intent into code in applications such as fraud detection, financial transactions, healthcare, retail, and marketing. However, a remaining concern is  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Ebook
Additional Physical Format: Print version:
Berstel-Da Silva, Bruno.
Verification of business rules programs.
Heidelberg, [Germany] : Springer, ©2014
(LCCN)2013952961
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Bruno Berstel-Da Silva
ISBN: 9783642400384 3642400388 364240037X 9783642400377 130654534X 9781306545341
OCLC Number: 874157543
Description: 1 online resource (241 pages) : illustrations (some color)
Contents: Chap --
1 --
Introduction --
Chap --
2 --
Related Work --
Chap --
3 --
Syntax of Rules and Rule Programs --
Chap --
4 --
States and State Assertions --
Chap --
5 --
Operational Semantics of Rule Programs --
Chap --
6 --
Correctness of Rule Programs --
Chap --
7 --
Correctness of Programs: A Comparison --
Chap --
8 --
Main Steps in Rule Program Verification --
Chap --
9 --
A Verification Method for Rule Programs --
Chap --
10 --
Specialized Proof Rules --
Chap --
11 --
Conclusion --
Appendix A --
Verification in an Industrial Business Rules Management System --
List of Proof Rules --
Index.
Responsibility: Bruno Berstel-Da Silva.
More information:

Abstract:

Verification of Business Rules Programs  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/874157543> # Verification of business rules programs
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
    library:oclcnum "874157543" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1185417613#Topic/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs
    schema:about <http://dewey.info/class/025.0665/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1185417613#Topic/programming_techniques> ; # Programming Techniques
    schema:about <http://experiment.worldcat.org/entity/work/data/1185417613#Topic/rule_based_programming> ; # Rule-based programming
    schema:about <http://experiment.worldcat.org/entity/work/data/1185417613#Topic/language_arts_&_disciplines_library_&_information_science_general> ; # LANGUAGE ARTS & DISCIPLINES--Library & Information Science--General
    schema:about <http://experiment.worldcat.org/entity/work/data/1185417613#Topic/artificial_intelligence_incl_robotics> ; # Artificial Intelligence (incl. Robotics)
    schema:about <http://experiment.worldcat.org/entity/work/data/1185417613#Topic/business_computer_network_resources> ; # Business--Computer network resources
    schema:bookFormat schema:EBook ;
    schema:copyrightYear "2014" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/1185417613#Person/berstel_da_silva_bruno> ; # Bruno Berstel-Da Silva
    schema:datePublished "2014" ;
    schema:description "Rules represent a simplified means of programming, congruent with our understanding of human brain constructs. With the advent of business rules management systems, it has been possible to introduce rule-based programming to nonprogrammers, allowing them to map expert intent into code in applications such as fraud detection, financial transactions, healthcare, retail, and marketing. However, a remaining concern is the quality, safety, and reliability of the resulting programs. This book is on business rules programs, that is, rule programs as handled in business rules management systems. Its conceptual contribution is to present the foundation for treating business rules as a topic of scientific investigation in semantics and program verification, while its technical contribution is to present an approach to the formal verification of business rules programs. The author proposes a method for proving correctness properties for a business rules program in a compositional way, meaning that the proof of a correctness property for a program is built up from correctness properties for the individual rules"thus bridging a gap between the intuitive understanding of rules and the formal semantics of rule programs. With this approach the author enables rule authors and tool developers to understand, express formally, and prove properties of the execution behavior of business rules programs. This work will be of interest to practitioners and researchers in the areas of program verification, enterprise computing, database management, and artificial intelligence."@en ;
    schema:description "Chap -- 1 -- Introduction -- Chap -- 2 -- Related Work -- Chap -- 3 -- Syntax of Rules and Rule Programs -- Chap -- 4 -- States and State Assertions -- Chap -- 5 -- Operational Semantics of Rule Programs -- Chap -- 6 -- Correctness of Rule Programs -- Chap -- 7 -- Correctness of Programs: A Comparison -- Chap -- 8 -- Main Steps in Rule Program Verification -- Chap -- 9 -- A Verification Method for Rule Programs -- Chap -- 10 -- Specialized Proof Rules -- Chap -- 11 -- Conclusion -- Appendix A -- Verification in an Industrial Business Rules Management System -- List of Proof Rules -- Index."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1185417613> ;
    schema:genre "Electronic books"@en ;
    schema:genre "Ebook"@en ;
    schema:inLanguage "en" ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/1185417613#CreativeWork/verification_of_business_rules_programs> ;
    schema:name "Verification of business rules programs"@en ;
    schema:productID "874157543" ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=1636603> ;
    schema:url <http://site.ebrary.com/id/10826217> ;
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=678570> ;
    schema:url <http://www.myilibrary.com?id=585785> ;
    schema:url <http://dx.doi.org/10.1007/978-3-642-40038-4> ;
    schema:workExample <http://worldcat.org/isbn/9783642400384> ;
    schema:workExample <http://worldcat.org/isbn/9783642400377> ;
    schema:workExample <http://worldcat.org/isbn/9781306545341> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/874157543> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1185417613#Person/berstel_da_silva_bruno> # Bruno Berstel-Da Silva
    a schema:Person ;
    schema:familyName "Berstel-Da Silva" ;
    schema:givenName "Bruno" ;
    schema:name "Bruno Berstel-Da Silva" ;
    .

<http://experiment.worldcat.org/entity/work/data/1185417613#Topic/artificial_intelligence_incl_robotics> # Artificial Intelligence (incl. Robotics)
    a schema:Intangible ;
    schema:name "Artificial Intelligence (incl. Robotics)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1185417613#Topic/business_computer_network_resources> # Business--Computer network resources
    a schema:Intangible ;
    schema:name "Business--Computer network resources"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1185417613#Topic/language_arts_&_disciplines_library_&_information_science_general> # LANGUAGE ARTS & DISCIPLINES--Library & Information Science--General
    a schema:Intangible ;
    schema:name "LANGUAGE ARTS & DISCIPLINES--Library & Information Science--General"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1185417613#Topic/logics_and_meanings_of_programs> # Logics and Meanings of Programs
    a schema:Intangible ;
    schema:name "Logics and Meanings of Programs"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1185417613#Topic/programming_techniques> # Programming Techniques
    a schema:Intangible ;
    schema:name "Programming Techniques"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1185417613#Topic/rule_based_programming> # Rule-based programming
    a schema:Intangible ;
    schema:name "Rule-based programming"@en ;
    .

<http://worldcat.org/entity/work/data/1185417613#CreativeWork/verification_of_business_rules_programs>
    a schema:CreativeWork ;
    rdfs:label "Verification of business rules programs." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/874157543> ; # Verification of business rules programs
    .

<http://worldcat.org/isbn/9781306545341>
    a schema:ProductModel ;
    schema:isbn "130654534X" ;
    schema:isbn "9781306545341" ;
    .

<http://worldcat.org/isbn/9783642400377>
    a schema:ProductModel ;
    schema:isbn "364240037X" ;
    schema:isbn "9783642400377" ;
    .

<http://worldcat.org/isbn/9783642400384>
    a schema:ProductModel ;
    schema:isbn "3642400388" ;
    schema:isbn "9783642400384" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.