HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

Production and Rewrite Systems

Horatiu Cirstea 1 Claude Kirchner 1, 2 Michael Moossen 1 Pierre-Etienne Moreau 1
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : There is a strong and somewhat renewed interest in production and business rule systems. For example it is significant that in April 2004Gardner published a comparative study of the different business rule systems and vendors and estimated that the current market of 200millions of dollars was promised to a sustained increased for several years. Production systems, as we will call them from now on, are widely appreciated in industry for their agility, reactivity and flexibility. But putting them in action is also delicate since their semantics is unclear or even unknown and therefore make the development of large systems quite depend of test and experience. Term rewriting is a different kind a rule based systemthat emerged fromautomated deduction and semantics of programming languages in the early seventies. It is nowa prettywell understood concept and many implementations show their usefulness, robustness and efficiency. This report intends to bridge these a priori different views of rule based systems.
Document type :
Complete list of metadata

Cited literature [38 references]  Display  Hide  Download

Contributor : Radu Kopetz Connect in order to contact the contributor
Submitted on : Tuesday, May 20, 2008 - 12:58:16 PM
Last modification on : Friday, February 4, 2022 - 3:30:13 AM
Long-term archiving on: : Friday, May 28, 2010 - 7:38:35 PM


Files produced by the author(s)


  • HAL Id : inria-00280939, version 1



Horatiu Cirstea, Claude Kirchner, Michael Moossen, Pierre-Etienne Moreau. Production and Rewrite Systems. [Research Report] 2004, pp.23. ⟨inria-00280939⟩



Record views


Files downloads