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.
Type de document :
Rapport
[Research Report] 2004, pp.23
Liste complète des métadonnées

Littérature citée [38 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00280939
Contributeur : Radu Kopetz <>
Soumis le : mardi 20 mai 2008 - 12:58:16
Dernière modification le : jeudi 11 janvier 2018 - 06:19:58
Document(s) archivé(s) le : vendredi 28 mai 2010 - 19:38:35

Fichier

psAndRew.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00280939, version 1

Collections

Citation

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

Partager

Métriques

Consultations de la notice

173

Téléchargements de fichiers

214