Zobrazeno 1 - 10
of 14
pro vyhledávání: '"Bruno Berstel-Da Silva"'
Autor:
Bruno Berstel-Da Silva
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
Autor:
Bruno Berstel-Da Silva
Publikováno v:
Verification of Business Rules Programs ISBN: 9783642400377
This chapter is the first of Part IV, in which propose a compositional verification method to derive a correctness formula for a rule program from individual correctness formulas for its rules. This verification method is composed of several proof ru
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b752357b46fc00798250b05d445f84cf
https://doi.org/10.1007/978-3-642-40038-4_8
https://doi.org/10.1007/978-3-642-40038-4_8
Autor:
Bruno Berstel-Da Silva
Publikováno v:
Verification of Business Rules Programs ISBN: 9783642400377
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ee8406a16c8cf4ca4bf1768088fbe586
https://doi.org/10.1007/978-3-642-40038-4_1
https://doi.org/10.1007/978-3-642-40038-4_1
Autor:
Bruno Berstel-Da Silva
Publikováno v:
Verification of Business Rules Programs ISBN: 9783642400377
The previous chapter exhibited the core mechanism of our compositional verification method, with a simple proof rule for a particular class of rule programs. In this chapter, we expose the proof rule for the general case. We prove that this proof rul
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5824defcf0485a7e09dca75c1f5a38e4
https://doi.org/10.1007/978-3-642-40038-4_9
https://doi.org/10.1007/978-3-642-40038-4_9
Autor:
Bruno Berstel-Da Silva
Publikováno v:
Verification of Business Rules Programs ISBN: 9783642400377
This chapter builds on the previous two chapters to define an abstract machine that describes the execution of a rule program. This machine is based on such concepts as the working memory and rule instances, which are introduced. The operational sema
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::17a0facc8771d6327bc6088c814b6b3b
https://doi.org/10.1007/978-3-642-40038-4_5
https://doi.org/10.1007/978-3-642-40038-4_5
Autor:
Bruno Berstel-Da Silva
Publikováno v:
Verification of Business Rules Programs ISBN: 9783642400377
This chapter studies the semantics of rule programs from the viewpoint of the relation between their initial and final states. To this end, it defines correctness formulas in the classical form of so-called Hoare triples \(\{p_{}\}\,r_{}\,\{q_{}\}\),
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::01cbe610f5a9c9b1414dac6837943f5c
https://doi.org/10.1007/978-3-642-40038-4_6
https://doi.org/10.1007/978-3-642-40038-4_6
Autor:
Bruno Berstel-Da Silva
Publikováno v:
Verification of Business Rules Programs ISBN: 9783642400377
This chapter defines the semantics of the prototypical rule language described in the previous chapter. To this end, we use first-order logic structures to define states that give a meaning to these syntactic elements. In addition, this chapter defin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fb41ea1e4e77d0c0afafde43b5b25b62
https://doi.org/10.1007/978-3-642-40038-4_4
https://doi.org/10.1007/978-3-642-40038-4_4
Autor:
Bruno Berstel-Da Silva
Publikováno v:
Verification of Business Rules Programs ISBN: 9783642400377
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d189466eef359df796c5dff97d2a9312
https://doi.org/10.1007/978-3-642-40038-4_11
https://doi.org/10.1007/978-3-642-40038-4_11
Autor:
Bruno Berstel-Da Silva
Publikováno v:
Verification of Business Rules Programs ISBN: 9783642400377
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3b9dea7be428e5e6dc27a2d0792f829d
https://doi.org/10.1007/978-3-642-40038-4_2
https://doi.org/10.1007/978-3-642-40038-4_2