A rule-based approach for automated generation of kinetic chemical mechanisms

Authors:
Olivier Bournez;Guy-Marie Côme;Valérie Conraud;Hélène Kirchner;Liliana Ibănescu
Affiliations:
LORIA & INRIA Lorraine, Villers-lèès-Nancy Cedex, France;Département de Chimie Physique des Réactions, INPL-ENSIC, Nancy, France;Département de Chimie Physique des Réactions, INPL-ENSIC, Nancy, France;LORIA & INRIA Lorraine, Villers-lèès-Nancy Cedex, France;LORIA & INRIA Lorraine, Villers-lèès-Nancy Cedex, France
Venue:
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
Year:
2003

Citing 4
Cited 4

SMILES, a chemical language and information system. 1. introduction to methodology and encoding rules

Journal of Chemical Information & Computer Sciences
The chemical abstract machine

POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A meta-environment for generating programming environments

ACM Transactions on Software Engineering and Methodology (TOSEM)
An overview of CAFE specification environment-an algebraic approach for creating, verifying, and maintaining formal specifications over networks

ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods

From Chemical Rules to Term Rewriting

Electronic Notes in Theoretical Computer Science (ENTCS)
Attenuation regulation as a term rewriting system

AB'07 Proceedings of the 2nd international conference on Algebraic biology
Rule-based programming and proving: the ELAN experience outcomes

ASIAN'04 Proceedings of the 9th Asian Computing Science conference on Advances in Computer Science: dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday
Thermodynamic graph-rewriting

CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory

Quantified Score

Hi-index	0.00

Visualization

Abstract

Several software systems have been developed recently for the automated generation of combustion reactions kinetic mechanisms using different representations of species and reactions and different generation algorithms. In parallel, several software systems based on rewriting have been developed for the easy modeling and prototyping of systems using rules controlled by strategies. This paper presents our current experience in using the rewrite system ELAN for the automated generation of the combustion reactions mechanisms previously implemented in the EXGAS kinetic mechanism generator system. We emphasize the benefits of using rewriting and rule-based programming controlled by strategies for the generation of kinetic mechanisms.