Titlebook: Verification of Business Rules Programs; Bruno Berstel-Da Silva Book 2014 Springer-Verlag Berlin Heidelberg 2014 AI.artificial intelligenc

Jackson

書目名稱Verification of Business Rules Programs影響因子(影響力)




書目名稱Verification of Business Rules Programs影響因子(影響力)學(xué)科排名




書目名稱Verification of Business Rules Programs網(wǎng)絡(luò)公開度




書目名稱Verification of Business Rules Programs網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Verification of Business Rules Programs被引頻次




書目名稱Verification of Business Rules Programs被引頻次學(xué)科排名




書目名稱Verification of Business Rules Programs年度引用




書目名稱Verification of Business Rules Programs年度引用學(xué)科排名




書目名稱Verification of Business Rules Programs讀者反饋




書目名稱Verification of Business Rules Programs讀者反饋學(xué)科排名

情愛

暴發(fā)戶

Specialized Proof RulesThis chapters presents additional proof rules that are suited to several particular classes of rule programs. Indeed, in some cases, such as rule programs where eligibility or rule interference plays no role, specialized proof rules can be used that are simpler than the general proof rule exposed in the previous chapter.

BOGUS

ConclusionThis chapters provides a summary of the work exposed in this book. It reviews our contribution from the standpoint of the tension between local and global approaches to rule programs as handled by Business Rules Management Systems. In this last chapter, we also suggest directions for extensions of this work.

愉快嗎

使成核

動(dòng)脈

https://doi.org/10.1007/978-3-642-40038-4AI; artificial intelligence; business rules; business rules management systems; correctness; database man

百靈鳥

Related Worke concentrate on the similarities and differences that have an impact on our objective, which is to help understand the effects, and prove correctness properties on the executions of rule programs as handled by BRMS. We see that, from this viewpoint, these programs share features with databases, programs with pointers, and concurrent programs.

defibrillator

駭人