Verification of Business Rules Programs by Bruno Berstel-Da Silva

By Bruno Berstel-Da Silva

Rules symbolize a simplified technique of programming, congruent with our realizing of human mind constructs. With the arrival of industrial ideas administration platforms, it's been attainable to introduce rule-based programming to nonprogrammers, letting them map professional motive into code in functions akin to fraud detection, monetary transactions, healthcare, retail, and advertising. although, a last crisis is the standard, defense, and reliability of the ensuing courses.

 

This e-book is on enterprise ideas courses, that's, rule courses as dealt with in company ideas administration structures. Its conceptual contribution is to give the root for treating company ideas as a subject of medical research in semantics and software verification, whereas its technical contribution is to offer an method of the formal verification of industrial principles courses. the writer proposes a style for proving correctness houses for a company ideas application in a compositional method, that means that the evidence of a correctness estate for a software is outfitted up from correctness houses for the person rules—thus bridging a spot among the intuitive knowing of principles and the formal semantics of rule courses. With this strategy the writer allows rule authors and power builders to appreciate, exhibit officially, and turn out homes of the execution habit of industrial principles programs.

 

This paintings may be of curiosity to practitioners and researchers within the parts of program verification, enterprise computing, database administration, and synthetic intelligence.

Show description

Read Online or Download Verification of Business Rules Programs PDF

Best ai & semantics books

Verification of Business Rules Programs

Ideas characterize a simplified technique of programming, congruent with our realizing of human mind constructs. With the arrival of commercial principles administration platforms, it's been attainable to introduce rule-based programming to nonprogrammers, permitting them to map specialist purpose into code in functions resembling fraud detection, monetary transactions, healthcare, retail, and advertising and marketing.

Decision Science: A Human-Oriented Perspective (Intelligent Systems Reference Library)

This booklet deals a brand new viewpoint on human decision-making via evaluating the proven tools in choice technology with cutting edge modelling on the point of neurons and neural interactions. The publication provides a brand new new release of desktop types, that could are expecting with fabulous accuracy person fiscal offerings whilst humans lead them to through speedy instinct instead of via attempt.

Handbook on Advances in Remote Sensing and Geographic Information Systems: Paradigms and Applications in Forest Landscape Modeling (Intelligent Systems Reference Library)

This publication offers the newest advances in remote-sensing and geographic details platforms and purposes. it really is divided into 4 elements, concentrating on Airborne gentle Detection and varying (LiDAR) and Optical Measurements of Forests; person Tree Modelling; panorama Scene Modelling; and wooded area Eco-system Modelling.

International Joint Conference SOCO’17-CISIS’17-ICEUTE’17 León, Spain, September 6–8, 2017, Proceeding (Advances in Intelligent Systems and Computing)

This quantity contains papers provided at SOCO 2017, CISIS 2017, and ICEUTE 2017, all meetings held within the appealing and old urban of León (Spain) in September 2017. tender computing represents a suite of computational ideas in computing device studying, computing device technology, and a few engineering disciplines, which examine, simulate, and learn hugely complicated matters and phenomena.

Additional resources for Verification of Business Rules Programs

Sample text

Download PDF sample

Rated 4.72 of 5 – based on 6 votes