A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms
Identifieur interne : 000872 ( Istex/Corpus ); précédent : 000871; suivant : 000873A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms
Auteurs : Olivier Bournez ; Guy-Marie Côme ; Valérie Conraud ; Hélène Kirchner ; Liliana Ib NescuSource :
- Lecture Notes in Computer Science [ 0302-9743 ]
Abstract
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.
Url:
DOI: 10.1007/3-540-44881-0_4
Links to Exploration step
ISTEX:2647823E83E0EAC7D45752204EE9E4F2669B7C67Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms</title><author><name sortKey="Bournez, Olivier" sort="Bournez, Olivier" uniqKey="Bournez O" first="Olivier" last="Bournez">Olivier Bournez</name><affiliation><mods:affiliation>LORIA & INRIA Lorraine, 615, rue du Jardin Botanique, BP 101, F-54602, Villers-lès-Nancy Cedex, France</mods:affiliation></affiliation><affiliation><mods:affiliation>E-mail: Olivier.Bournez@loria.fr</mods:affiliation></affiliation></author><author><name sortKey="Come, Guy Marie" sort="Come, Guy Marie" uniqKey="Come G" first="Guy-Marie" last="Côme">Guy-Marie Côme</name><affiliation><mods:affiliation>Département de Chimie Physique des Réactions(DCPR), INPL-ENSIC, 1, rue Grandville, BP 451, F-54001, Nancy, France</mods:affiliation></affiliation><affiliation><mods:affiliation>E-mail: Guy-Marie.Come@ensic.inpl-nancy.fr</mods:affiliation></affiliation></author><author><name sortKey="Conraud, Valerie" sort="Conraud, Valerie" uniqKey="Conraud V" first="Valérie" last="Conraud">Valérie Conraud</name><affiliation><mods:affiliation>Département de Chimie Physique des Réactions(DCPR), INPL-ENSIC, 1, rue Grandville, BP 451, F-54001, Nancy, France</mods:affiliation></affiliation><affiliation><mods:affiliation>E-mail: Valerie.Conraud@ensic.inpl-nancy.fr</mods:affiliation></affiliation></author><author><name sortKey="Kirchner, Helene" sort="Kirchner, Helene" uniqKey="Kirchner H" first="Hélène" last="Kirchner">Hélène Kirchner</name><affiliation><mods:affiliation>LORIA & INRIA Lorraine, 615, rue du Jardin Botanique, BP 101, F-54602, Villers-lès-Nancy Cedex, France</mods:affiliation></affiliation><affiliation><mods:affiliation>E-mail: Helene.Kirchner@loria.fr</mods:affiliation></affiliation></author><author><name sortKey="Ib Nescu, Liliana" sort="Ib Nescu, Liliana" uniqKey="Ib Nescu L" first="Liliana" last="Ib Nescu">Liliana Ib Nescu</name><affiliation><mods:affiliation>LORIA & INRIA Lorraine, 615, rue du Jardin Botanique, BP 101, F-54602, Villers-lès-Nancy Cedex, France</mods:affiliation></affiliation><affiliation><mods:affiliation>E-mail: Mariana-Liliana.Ibanescu@loria.fr</mods:affiliation></affiliation></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:2647823E83E0EAC7D45752204EE9E4F2669B7C67</idno><date when="2003" year="2003">2003</date><idno type="doi">10.1007/3-540-44881-0_4</idno><idno type="url">https://api.istex.fr/ark:/67375/HCB-M3LPVV57-9/fulltext.pdf</idno><idno type="wicri:Area/Istex/Corpus">000872</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">000872</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms</title><author><name sortKey="Bournez, Olivier" sort="Bournez, Olivier" uniqKey="Bournez O" first="Olivier" last="Bournez">Olivier Bournez</name><affiliation><mods:affiliation>LORIA & INRIA Lorraine, 615, rue du Jardin Botanique, BP 101, F-54602, Villers-lès-Nancy Cedex, France</mods:affiliation></affiliation><affiliation><mods:affiliation>E-mail: Olivier.Bournez@loria.fr</mods:affiliation></affiliation></author><author><name sortKey="Come, Guy Marie" sort="Come, Guy Marie" uniqKey="Come G" first="Guy-Marie" last="Côme">Guy-Marie Côme</name><affiliation><mods:affiliation>Département de Chimie Physique des Réactions(DCPR), INPL-ENSIC, 1, rue Grandville, BP 451, F-54001, Nancy, France</mods:affiliation></affiliation><affiliation><mods:affiliation>E-mail: Guy-Marie.Come@ensic.inpl-nancy.fr</mods:affiliation></affiliation></author><author><name sortKey="Conraud, Valerie" sort="Conraud, Valerie" uniqKey="Conraud V" first="Valérie" last="Conraud">Valérie Conraud</name><affiliation><mods:affiliation>Département de Chimie Physique des Réactions(DCPR), INPL-ENSIC, 1, rue Grandville, BP 451, F-54001, Nancy, France</mods:affiliation></affiliation><affiliation><mods:affiliation>E-mail: Valerie.Conraud@ensic.inpl-nancy.fr</mods:affiliation></affiliation></author><author><name sortKey="Kirchner, Helene" sort="Kirchner, Helene" uniqKey="Kirchner H" first="Hélène" last="Kirchner">Hélène Kirchner</name><affiliation><mods:affiliation>LORIA & INRIA Lorraine, 615, rue du Jardin Botanique, BP 101, F-54602, Villers-lès-Nancy Cedex, France</mods:affiliation></affiliation><affiliation><mods:affiliation>E-mail: Helene.Kirchner@loria.fr</mods:affiliation></affiliation></author><author><name sortKey="Ib Nescu, Liliana" sort="Ib Nescu, Liliana" uniqKey="Ib Nescu L" first="Liliana" last="Ib Nescu">Liliana Ib Nescu</name><affiliation><mods:affiliation>LORIA & INRIA Lorraine, 615, rue du Jardin Botanique, BP 101, F-54602, Villers-lès-Nancy Cedex, France</mods:affiliation></affiliation><affiliation><mods:affiliation>E-mail: Mariana-Liliana.Ibanescu@loria.fr</mods:affiliation></affiliation></author></analytic><monogr></monogr><series><title level="s" type="main" xml:lang="en">Lecture Notes in Computer Science</title><idno type="ISSN">0302-9743</idno><idno type="ISSN">0302-9743</idno></series></biblStruct></sourceDesc><seriesStmt><idno type="ISSN">0302-9743</idno></seriesStmt></fileDesc><profileDesc><textClass></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">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.</div></front></TEI><istex><corpusName>springer-ebooks</corpusName><author><json:item><name>Olivier Bournez</name><affiliations><json:string>LORIA & INRIA Lorraine, 615, rue du Jardin Botanique, BP 101, F-54602, Villers-lès-Nancy Cedex, France</json:string><json:string>E-mail: Olivier.Bournez@loria.fr</json:string></affiliations></json:item><json:item><name>Guy-Marie Côme</name><affiliations><json:string>Département de Chimie Physique des Réactions(DCPR), INPL-ENSIC, 1, rue Grandville, BP 451, F-54001, Nancy, France</json:string><json:string>E-mail: Guy-Marie.Come@ensic.inpl-nancy.fr</json:string></affiliations></json:item><json:item><name>Valérie Conraud</name><affiliations><json:string>Département de Chimie Physique des Réactions(DCPR), INPL-ENSIC, 1, rue Grandville, BP 451, F-54001, Nancy, France</json:string><json:string>E-mail: Valerie.Conraud@ensic.inpl-nancy.fr</json:string></affiliations></json:item><json:item><name>Hélène Kirchner</name><affiliations><json:string>LORIA & INRIA Lorraine, 615, rue du Jardin Botanique, BP 101, F-54602, Villers-lès-Nancy Cedex, France</json:string><json:string>E-mail: Helene.Kirchner@loria.fr</json:string></affiliations></json:item><json:item><name>Liliana Ibănescu</name><affiliations><json:string>LORIA & INRIA Lorraine, 615, rue du Jardin Botanique, BP 101, F-54602, Villers-lès-Nancy Cedex, France</json:string><json:string>E-mail: Mariana-Liliana.Ibanescu@loria.fr</json:string></affiliations></json:item></author><arkIstex>ark:/67375/HCB-M3LPVV57-9</arkIstex><language><json:string>eng</json:string></language><originalGenre><json:string>OriginalPaper</json:string></originalGenre><abstract>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.</abstract><qualityIndicators><score>8.212</score><pdfWordCount>5182</pdfWordCount><pdfCharCount>31844</pdfCharCount><pdfVersion>1.3</pdfVersion><pdfPageCount>16</pdfPageCount><pdfPageSize>430.6 x 666 pts</pdfPageSize><refBibsNative>false</refBibsNative><abstractWordCount>101</abstractWordCount><abstractCharCount>748</abstractCharCount><keywordCount>0</keywordCount></qualityIndicators><title>A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms</title><chapterId><json:string>4</json:string><json:string>Chap4</json:string></chapterId><genre><json:string>conference</json:string></genre><serie><title>Lecture Notes in Computer Science</title><language><json:string>unknown</json:string></language><copyrightDate>2003</copyrightDate><issn><json:string>0302-9743</json:string></issn><editor><json:item><name>Gerhard Goos</name><affiliations><json:string>Karlsruhe University, Germany</json:string></affiliations></json:item><json:item><name>Juris Hartmanis</name><affiliations><json:string>Cornell University, NY, USA</json:string></affiliations></json:item><json:item><name>Jan van Leeuwen</name><affiliations><json:string>Utrecht University, The Netherlands</json:string></affiliations></json:item></editor></serie><host><title>Rewriting Techniques and Applications</title><language><json:string>unknown</json:string></language><copyrightDate>2003</copyrightDate><doi><json:string>10.1007/3-540-44881-0</json:string></doi><issn><json:string>0302-9743</json:string></issn><eisbn><json:string>978-3-540-44881-5</json:string></eisbn><bookId><json:string>3-540-44881-0</json:string></bookId><isbn><json:string>978-3-540-40254-1</json:string></isbn><volume>2706</volume><pages><first>30</first><last>45</last></pages><genre><json:string>book-series</json:string></genre><editor><json:item><name>Robert Nieuwenhuis</name><affiliations><json:string>Dpt. Lenguajes y Sistemas Informáticos (LSI), Technical University of Catalonia (UPC), Jordi Girona 1, 08034, Barcelona, Spain</json:string><json:string>E-mail: roberto@lsi.upc.es</json:string></affiliations></json:item></editor><subject><json:item><value>Computer Science</value></json:item><json:item><value>Computer Science</value></json:item><json:item><value>Computer Science, general</value></json:item></subject></host><ark><json:string>ark:/67375/HCB-M3LPVV57-9</json:string></ark><publicationDate>2003</publicationDate><copyrightDate>2003</copyrightDate><doi><json:string>10.1007/3-540-44881-0_4</json:string></doi><id>2647823E83E0EAC7D45752204EE9E4F2669B7C67</id><score>1</score><fulltext><json:item><extension>pdf</extension><original>true</original><mimetype>application/pdf</mimetype><uri>https://api.istex.fr/ark:/67375/HCB-M3LPVV57-9/fulltext.pdf</uri></json:item><json:item><extension>zip</extension><original>false</original><mimetype>application/zip</mimetype><uri>https://api.istex.fr/ark:/67375/HCB-M3LPVV57-9/bundle.zip</uri></json:item><istex:fulltextTEI uri="https://api.istex.fr/ark:/67375/HCB-M3LPVV57-9/fulltext.tei"><teiHeader><fileDesc><titleStmt><title level="a" type="main" xml:lang="en">A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms</title></titleStmt><publicationStmt><authority>ISTEX</authority><availability><licence>Springer-Verlag Berlin Heidelberg</licence></availability><date when="2003">2003</date></publicationStmt><notesStmt><note type="conference" source="proceedings" scheme="https://content-type.data.istex.fr/ark:/67375/XTP-BFHXPBJJ-3">conference</note><note type="publication-type" subtype="book-series" scheme="https://publication-type.data.istex.fr/ark:/67375/JMC-0G6R5W5T-Z">book-series</note></notesStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms</title><author><persName><forename type="first">Olivier</forename><surname>Bournez</surname></persName><email>Olivier.Bournez@loria.fr</email><affiliation><orgName type="institution">LORIA & INRIA Lorraine</orgName><address><street>615, rue du Jardin Botanique</street><postBox>BP 101</postBox><postCode>F-54602</postCode><settlement>Villers-lès-Nancy Cedex</settlement><country key="FR">FRANCE</country></address></affiliation></author><author><persName><forename type="first">Guy-Marie</forename><surname>Côme</surname></persName><email>Guy-Marie.Come@ensic.inpl-nancy.fr</email><affiliation><orgName type="department">Département de Chimie Physique des Réactions(DCPR)</orgName><orgName type="institution">INPL-ENSIC</orgName><address><street>1, rue Grandville</street><postBox>BP 451</postBox><postCode>F-54001</postCode><settlement>Nancy</settlement><country key="FR">FRANCE</country></address></affiliation></author><author><persName><forename type="first">Valérie</forename><surname>Conraud</surname></persName><email>Valerie.Conraud@ensic.inpl-nancy.fr</email><affiliation><orgName type="department">Département de Chimie Physique des Réactions(DCPR)</orgName><orgName type="institution">INPL-ENSIC</orgName><address><street>1, rue Grandville</street><postBox>BP 451</postBox><postCode>F-54001</postCode><settlement>Nancy</settlement><country key="FR">FRANCE</country></address></affiliation></author><author><persName><forename type="first">Hélène</forename><surname>Kirchner</surname></persName><email>Helene.Kirchner@loria.fr</email><affiliation><orgName type="institution">LORIA & INRIA Lorraine</orgName><address><street>615, rue du Jardin Botanique</street><postBox>BP 101</postBox><postCode>F-54602</postCode><settlement>Villers-lès-Nancy Cedex</settlement><country key="FR">FRANCE</country></address></affiliation></author><author><persName><forename type="first">Liliana</forename><surname>Ibănescu</surname></persName><email>Mariana-Liliana.Ibanescu@loria.fr</email><affiliation><orgName type="institution">LORIA & INRIA Lorraine</orgName><address><street>615, rue du Jardin Botanique</street><postBox>BP 101</postBox><postCode>F-54602</postCode><settlement>Villers-lès-Nancy Cedex</settlement><country key="FR">FRANCE</country></address></affiliation></author><idno type="istex">2647823E83E0EAC7D45752204EE9E4F2669B7C67</idno><idno type="ark">ark:/67375/HCB-M3LPVV57-9</idno><idno type="DOI">10.1007/3-540-44881-0_4</idno></analytic><monogr><title level="m" type="main">Rewriting Techniques and Applications</title><title level="m" type="sub">14th International Conference, RTA 2003 Valencia, Spain, June 9–11, 2003 Proceedings</title><title level="m" type="part">Invited Talk</title><idno type="DOI">10.1007/3-540-44881-0</idno><idno type="book-id">3-540-44881-0</idno><idno type="ISBN">978-3-540-40254-1</idno><idno type="eISBN">978-3-540-44881-5</idno><idno type="chapter-id">Chap4</idno><idno type="part-id">Part1</idno><editor><persName><forename type="first">Robert</forename><surname>Nieuwenhuis</surname></persName><email>roberto@lsi.upc.es</email><affiliation><orgName type="department">Dpt. Lenguajes y Sistemas Informáticos (LSI)</orgName><orgName type="institution">Technical University of Catalonia (UPC)</orgName><address><street>Jordi Girona 1</street><postCode>08034</postCode><settlement>Barcelona</settlement><country key="ES">SPAIN</country></address></affiliation></editor><imprint><biblScope unit="vol">2706</biblScope><biblScope unit="page" from="30">30</biblScope><biblScope unit="page" to="45">45</biblScope><biblScope unit="chapter-count">35</biblScope><biblScope unit="part-chapter-count">15</biblScope></imprint></monogr><series><title level="s" type="main" xml:lang="en">Lecture Notes in Computer Science</title><editor><persName><forename type="first">Gerhard</forename><surname>Goos</surname></persName><affiliation><orgName type="institution">Karlsruhe University</orgName><address><country key="DE">GERMANY</country></address></affiliation></editor><editor><persName><forename type="first">Juris</forename><surname>Hartmanis</surname></persName><affiliation><orgName type="institution">Cornell University</orgName><address><region>NY</region><country key="US">UNITED STATES</country></address></affiliation></editor><editor><persName><forename type="first">Jan</forename><nameLink>van</nameLink><surname>Leeuwen</surname></persName><affiliation><orgName type="institution">Utrecht University</orgName><address><country key=""></country></address></affiliation></editor><idno type="pISSN">0302-9743</idno><idno type="seriesID">558</idno></series></biblStruct></sourceDesc></fileDesc><profileDesc><abstract xml:lang="en"><head>Abstract</head><p>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.</p></abstract><textClass ana="subject"><keywords scheme="book-subject-collection"><list><label>SUCO11645</label><item><term>Computer Science</term></item></list></keywords></textClass><textClass ana="subject"><keywords scheme="book-subject"><list><label>I</label><item><term type="Primary">Computer Science</term></item><label>I00001</label><item><term type="Secondary" subtype="priority-1">Computer Science, general</term></item></list></keywords></textClass><langUsage><language ident="EN"></language></langUsage></profileDesc></teiHeader></istex:fulltextTEI><json:item><extension>txt</extension><original>false</original><mimetype>text/plain</mimetype><uri>https://api.istex.fr/ark:/67375/HCB-M3LPVV57-9/fulltext.txt</uri></json:item></fulltext><metadata><istex:metadataXml wicri:clean="corpus springer-ebooks not found" wicri:toSee="no header"><istex:xmlDeclaration>version="1.0" encoding="UTF-8"</istex:xmlDeclaration><istex:docType PUBLIC="-//Springer-Verlag//DTD A++ V2.4//EN" URI="http://devel.springer.de/A++/V2.4/DTD/A++V2.4.dtd" name="istex:docType"></istex:docType><istex:document><Publisher><PublisherInfo><PublisherName>Springer Berlin Heidelberg</PublisherName><PublisherLocation>Berlin, Heidelberg</PublisherLocation></PublisherInfo><Series><SeriesInfo SeriesType="Series" TocLevels="0"><SeriesID>558</SeriesID><SeriesPrintISSN>0302-9743</SeriesPrintISSN><SeriesTitle Language="En">Lecture Notes in Computer Science</SeriesTitle></SeriesInfo><SeriesHeader><EditorGroup><Editor AffiliationIDS="Aff1"><EditorName DisplayOrder="Western"><GivenName>Gerhard</GivenName><FamilyName>Goos</FamilyName></EditorName></Editor><Editor AffiliationIDS="Aff2"><EditorName DisplayOrder="Western"><GivenName>Juris</GivenName><FamilyName>Hartmanis</FamilyName></EditorName></Editor><Editor AffiliationIDS="Aff3"><EditorName DisplayOrder="Western"><GivenName>Jan</GivenName><Particle>van</Particle><FamilyName>Leeuwen</FamilyName></EditorName></Editor><Affiliation ID="Aff1"><OrgName>Karlsruhe University</OrgName><OrgAddress><Country>Germany</Country></OrgAddress></Affiliation><Affiliation ID="Aff2"><OrgName>Cornell University</OrgName><OrgAddress><State>NY</State><Country>USA</Country></OrgAddress></Affiliation><Affiliation ID="Aff3"><OrgName>Utrecht University</OrgName><OrgAddress><Country>The Netherlands</Country></OrgAddress></Affiliation></EditorGroup></SeriesHeader><Book Language="En"><BookInfo BookProductType="Proceedings" Language="En" MediaType="eBook" NumberingStyle="Unnumbered" TocLevels="0"><BookID>3-540-44881-0</BookID><BookTitle>Rewriting Techniques and Applications</BookTitle><BookSubTitle>14th International Conference, RTA 2003 Valencia, Spain, June 9–11, 2003 Proceedings</BookSubTitle><BookVolumeNumber>2706</BookVolumeNumber><BookSequenceNumber>2706</BookSequenceNumber><BookDOI>10.1007/3-540-44881-0</BookDOI><BookTitleID>77334</BookTitleID><BookPrintISBN>978-3-540-40254-1</BookPrintISBN><BookElectronicISBN>978-3-540-44881-5</BookElectronicISBN><BookChapterCount>35</BookChapterCount><BookHistory><OnlineDate><Year>2003</Year><Month>6</Month><Day>18</Day></OnlineDate></BookHistory><BookCopyright><CopyrightHolderName>Springer-Verlag Berlin Heidelberg</CopyrightHolderName><CopyrightYear>2003</CopyrightYear></BookCopyright><BookSubjectGroup><BookSubject Code="I" Type="Primary">Computer Science</BookSubject><BookSubject Code="I00001" Priority="1" Type="Secondary">Computer Science, general</BookSubject><SubjectCollection Code="SUCO11645">Computer Science</SubjectCollection></BookSubjectGroup><BookContext><SeriesID>558</SeriesID></BookContext></BookInfo><BookHeader><EditorGroup><Editor AffiliationIDS="Aff4"><EditorName DisplayOrder="Western"><GivenName>Robert</GivenName><FamilyName>Nieuwenhuis</FamilyName></EditorName><Contact><Email>roberto@lsi.upc.es</Email></Contact></Editor><Affiliation ID="Aff4"><OrgDivision>Dpt. Lenguajes y Sistemas Informáticos (LSI)</OrgDivision><OrgName>Technical University of Catalonia (UPC)</OrgName><OrgAddress><Street>Jordi Girona 1</Street><Postcode>08034</Postcode><City>Barcelona</City><Country>Spain</Country></OrgAddress></Affiliation></EditorGroup></BookHeader><Part ID="Part1"><PartInfo TocLevels="0"><PartID>1</PartID><PartSequenceNumber>1</PartSequenceNumber><PartTitle>Invited Talk</PartTitle><PartChapterCount>15</PartChapterCount><PartContext><SeriesID>558</SeriesID><BookID>3-540-44881-0</BookID><BookTitle>Rewriting Techniques and Applications</BookTitle></PartContext></PartInfo><Chapter ID="Chap4" Language="En"><ChapterInfo ChapterType="OriginalPaper" ContainsESM="No" Language="En" NumberingStyle="Unnumbered" TocLevels="0"><ChapterID>4</ChapterID><ChapterDOI>10.1007/3-540-44881-0_4</ChapterDOI><ChapterSequenceNumber>4</ChapterSequenceNumber><ChapterTitle Language="En">A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms</ChapterTitle><ChapterFirstPage>30</ChapterFirstPage><ChapterLastPage>45</ChapterLastPage><ChapterCopyright><CopyrightHolderName>Springer-Verlag Berlin Heidelberg</CopyrightHolderName><CopyrightYear>2003</CopyrightYear></ChapterCopyright><ChapterHistory><RegistrationDate><Year>2003</Year><Month>6</Month><Day>17</Day></RegistrationDate><OnlineDate><Year>2003</Year><Month>6</Month><Day>18</Day></OnlineDate></ChapterHistory><ChapterGrants Type="Regular"><MetadataGrant Grant="OpenAccess"></MetadataGrant><AbstractGrant Grant="OpenAccess"></AbstractGrant><BodyPDFGrant Grant="Restricted"></BodyPDFGrant><BodyHTMLGrant Grant="Restricted"></BodyHTMLGrant><BibliographyGrant Grant="Restricted"></BibliographyGrant><ESMGrant Grant="Restricted"></ESMGrant></ChapterGrants><ChapterContext><SeriesID>558</SeriesID><PartID>1</PartID><BookID>3-540-44881-0</BookID><BookTitle>Rewriting Techniques and Applications</BookTitle></ChapterContext></ChapterInfo><ChapterHeader><AuthorGroup><Author AffiliationIDS="Aff5"><AuthorName DisplayOrder="Western"><GivenName>Olivier</GivenName><FamilyName>Bournez</FamilyName></AuthorName><Contact><Email>Olivier.Bournez@loria.fr</Email></Contact></Author><Author AffiliationIDS="Aff6"><AuthorName DisplayOrder="Western"><GivenName>Guy-Marie</GivenName><FamilyName>Côme</FamilyName></AuthorName><Contact><Email>Guy-Marie.Come@ensic.inpl-nancy.fr</Email></Contact></Author><Author AffiliationIDS="Aff6"><AuthorName DisplayOrder="Western"><GivenName>Valérie</GivenName><FamilyName>Conraud</FamilyName></AuthorName><Contact><Email>Valerie.Conraud@ensic.inpl-nancy.fr</Email></Contact></Author><Author AffiliationIDS="Aff5"><AuthorName DisplayOrder="Western"><GivenName>Hélène</GivenName><FamilyName>Kirchner</FamilyName></AuthorName><Contact><Email>Helene.Kirchner@loria.fr</Email></Contact></Author><Author AffiliationIDS="Aff5"><AuthorName DisplayOrder="Western"><GivenName>Liliana</GivenName><FamilyName>Ibănescu</FamilyName></AuthorName><Contact><Email>Mariana-Liliana.Ibanescu@loria.fr</Email></Contact></Author><Affiliation ID="Aff5"><OrgName>LORIA & INRIA Lorraine</OrgName><OrgAddress><Street>615, rue du Jardin Botanique</Street><Postbox>BP 101</Postbox><Postcode>F-54602</Postcode><City>Villers-lès-Nancy Cedex</City><Country>France</Country></OrgAddress></Affiliation><Affiliation ID="Aff6"><OrgDivision>Département de Chimie Physique des Réactions(DCPR)</OrgDivision><OrgName>INPL-ENSIC</OrgName><OrgAddress><Street>1, rue Grandville</Street><Postbox>BP 451</Postbox><Postcode>F-54001</Postcode><City>Nancy</City><Country>France</Country></OrgAddress></Affiliation></AuthorGroup><Abstract ID="Abs1" Language="En"><Heading>Abstract</Heading><Para>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.</Para></Abstract><ArticleNote Type="Misc"><SimplePara>Work supported by Peugeot Citroén Automobiles.</SimplePara></ArticleNote></ChapterHeader><NoBody></NoBody></Chapter></Part></Book></Series></Publisher></istex:document></istex:metadataXml><mods version="3.6"><titleInfo lang="en"><title>A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms</title></titleInfo><titleInfo type="alternative" contentType="CDATA"><title>A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms</title></titleInfo><name type="personal"><namePart type="given">Olivier</namePart><namePart type="family">Bournez</namePart><affiliation>LORIA & INRIA Lorraine, 615, rue du Jardin Botanique, BP 101, F-54602, Villers-lès-Nancy Cedex, France</affiliation><affiliation>E-mail: Olivier.Bournez@loria.fr</affiliation><role><roleTerm type="text">author</roleTerm></role></name><name type="personal"><namePart type="given">Guy-Marie</namePart><namePart type="family">Côme</namePart><affiliation>Département de Chimie Physique des Réactions(DCPR), INPL-ENSIC, 1, rue Grandville, BP 451, F-54001, Nancy, France</affiliation><affiliation>E-mail: Guy-Marie.Come@ensic.inpl-nancy.fr</affiliation><role><roleTerm type="text">author</roleTerm></role></name><name type="personal"><namePart type="given">Valérie</namePart><namePart type="family">Conraud</namePart><affiliation>Département de Chimie Physique des Réactions(DCPR), INPL-ENSIC, 1, rue Grandville, BP 451, F-54001, Nancy, France</affiliation><affiliation>E-mail: Valerie.Conraud@ensic.inpl-nancy.fr</affiliation><role><roleTerm type="text">author</roleTerm></role></name><name type="personal"><namePart type="given">Hélène</namePart><namePart type="family">Kirchner</namePart><affiliation>LORIA & INRIA Lorraine, 615, rue du Jardin Botanique, BP 101, F-54602, Villers-lès-Nancy Cedex, France</affiliation><affiliation>E-mail: Helene.Kirchner@loria.fr</affiliation><role><roleTerm type="text">author</roleTerm></role></name><name type="personal"><namePart type="given">Liliana</namePart><namePart type="family">Ibănescu</namePart><affiliation>LORIA & INRIA Lorraine, 615, rue du Jardin Botanique, BP 101, F-54602, Villers-lès-Nancy Cedex, France</affiliation><affiliation>E-mail: Mariana-Liliana.Ibanescu@loria.fr</affiliation><role><roleTerm type="text">author</roleTerm></role></name><typeOfResource>text</typeOfResource><genre displayLabel="OriginalPaper" authority="ISTEX" authorityURI="https://content-type.data.istex.fr" type="conference" valueURI="https://content-type.data.istex.fr/ark:/67375/XTP-BFHXPBJJ-3">conference</genre><originInfo><publisher>Springer Berlin Heidelberg</publisher><place><placeTerm type="text">Berlin, Heidelberg</placeTerm></place><dateIssued encoding="w3cdtf">2003</dateIssued><copyrightDate encoding="w3cdtf">2003</copyrightDate></originInfo><language><languageTerm type="code" authority="rfc3066">en</languageTerm><languageTerm type="code" authority="iso639-2b">eng</languageTerm></language><abstract lang="en">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.</abstract><relatedItem type="host"><titleInfo><title>Rewriting Techniques and Applications</title><subTitle>14th International Conference, RTA 2003 Valencia, Spain, June 9–11, 2003 Proceedings</subTitle></titleInfo><name type="personal"><namePart type="given">Robert</namePart><namePart type="family">Nieuwenhuis</namePart><affiliation>Dpt. Lenguajes y Sistemas Informáticos (LSI), Technical University of Catalonia (UPC), Jordi Girona 1, 08034, Barcelona, Spain</affiliation><affiliation>E-mail: roberto@lsi.upc.es</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><genre type="book-series" authority="ISTEX" authorityURI="https://publication-type.data.istex.fr" valueURI="https://publication-type.data.istex.fr/ark:/67375/JMC-0G6R5W5T-Z">book-series</genre><originInfo><publisher>Springer</publisher><copyrightDate encoding="w3cdtf">2003</copyrightDate><issuance>monographic</issuance></originInfo><subject><genre>Book-Subject-Collection</genre><topic authority="SpringerSubjectCodes" authorityURI="SUCO11645">Computer Science</topic></subject><subject><genre>Book-Subject-Group</genre><topic authority="SpringerSubjectCodes" authorityURI="I">Computer Science</topic><topic authority="SpringerSubjectCodes" authorityURI="I00001">Computer Science, general</topic></subject><identifier type="DOI">10.1007/3-540-44881-0</identifier><identifier type="ISBN">978-3-540-40254-1</identifier><identifier type="eISBN">978-3-540-44881-5</identifier><identifier type="ISSN">0302-9743</identifier><identifier type="BookTitleID">77334</identifier><identifier type="BookID">3-540-44881-0</identifier><identifier type="BookChapterCount">35</identifier><identifier type="BookVolumeNumber">2706</identifier><identifier type="BookSequenceNumber">2706</identifier><identifier type="PartChapterCount">15</identifier><part><date>2003</date><detail type="part"><title>Invited Talk</title></detail><detail type="volume"><number>2706</number><caption>vol.</caption></detail><extent unit="pages"><start>30</start><end>45</end></extent></part><recordInfo><recordOrigin>Springer-Verlag Berlin Heidelberg, 2003</recordOrigin></recordInfo></relatedItem><relatedItem type="series"><titleInfo><title>Lecture Notes in Computer Science</title></titleInfo><name type="personal"><namePart type="given">Gerhard</namePart><namePart type="family">Goos</namePart><affiliation>Karlsruhe University, Germany</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Juris</namePart><namePart type="family">Hartmanis</namePart><affiliation>Cornell University, NY, USA</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Jan</namePart><namePart type="family">van Leeuwen</namePart><affiliation>Utrecht University, The Netherlands</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><originInfo><publisher>Springer</publisher><copyrightDate encoding="w3cdtf">2003</copyrightDate><issuance>serial</issuance></originInfo><identifier type="ISSN">0302-9743</identifier><identifier type="SeriesID">558</identifier><recordInfo><recordOrigin>Springer-Verlag Berlin Heidelberg, 2003</recordOrigin></recordInfo></relatedItem><identifier type="istex">2647823E83E0EAC7D45752204EE9E4F2669B7C67</identifier><identifier type="ark">ark:/67375/HCB-M3LPVV57-9</identifier><identifier type="DOI">10.1007/3-540-44881-0_4</identifier><identifier type="ChapterID">4</identifier><identifier type="ChapterID">Chap4</identifier><accessCondition type="use and reproduction" contentType="copyright">Springer-Verlag Berlin Heidelberg, 2003</accessCondition><recordInfo><recordContentSource authority="ISTEX" authorityURI="https://loaded-corpus.data.istex.fr" valueURI="https://loaded-corpus.data.istex.fr/ark:/67375/XBH-RLRX46XW-4">springer</recordContentSource><recordOrigin>Springer-Verlag Berlin Heidelberg, 2003</recordOrigin></recordInfo></mods><json:item><extension>json</extension><original>false</original><mimetype>application/json</mimetype><uri>https://api.istex.fr/ark:/67375/HCB-M3LPVV57-9/record.json</uri></json:item></metadata></istex></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Corpus
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000872 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Istex/Corpus/biblio.hfd -nk 000872 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Istex
|étape= Corpus
|type= RBID
|clé= ISTEX:2647823E83E0EAC7D45752204EE9E4F2669B7C67
|texte= A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms
}}
| This area was generated with Dilib version V0.6.33. |  |