{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:35:10Z","timestamp":1759638910861},"reference-count":27,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.48.7","type":"journal-article","created":{"date-parts":[[2011,2,10]],"date-time":"2011-02-10T19:26:41Z","timestamp":1297366001000},"page":"54-68","source":"Crossref","is-referenced-by-count":22,"title":["PORGY: Strategy-Driven Interactive Transformation of Graphs"],"prefix":"10.4204","volume":"48","author":[{"given":"Oana","family":"Andrei","sequence":"first","affiliation":[{"name":"School of Computing Science, University of Glasgow"}]},{"given":"Maribel","family":"Fern\u00e1ndez","sequence":"additional","affiliation":[{"name":"King's College London"}]},{"given":"H\u00e9l\u00e8ne","family":"Kirchner","sequence":"additional","affiliation":[{"name":"INRIA Bordeaux Sud-Ouest"}]},{"given":"Guy","family":"Melan\u00e7on","sequence":"additional","affiliation":[{"name":"INRIA Bordeaux Sud-Ouest"}]},{"given":"Olivier","family":"Namet","sequence":"additional","affiliation":[{"name":"King's College London"}]},{"given":"Bruno","family":"Pinaud","sequence":"additional","affiliation":[{"name":"INRIA Bordeaux Sud-Ouest"}]}],"member":"2720","published-online":{"date-parts":[[2011,2,11]]},"reference":[{"key":"Andrei08","volume-title":"A Rewriting Calculus for Graphs: Applications to Biology and Autonomous Systems","author":"Oana Andrei","year":"2008"},{"key":"AndreiC10a","series-title":"To appear in Electronic Notes in Theoretical Computer Science","article-title":"A Model and Analysis of the AKAP Scaffold","volume-title":"Proc. of CS2Bio'10","author":"Oana Andrei","year":"2010"},{"key":"AndreiIK06","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1007\/11780274_11","article-title":"Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application.","volume-title":"Algebra, Meaning, and Computation","volume":"4060","author":"Oana Andrei","year":"2006"},{"key":"AndreiK08c","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/978-3-642-02029-2_2","article-title":"A Higher-Order Graph Calculus for Autonomic Computing","volume-title":"Graph Theory, Computational Intelligence and Thought","volume":"5420","author":"Oana Andrei","year":"2009"},{"key":"AndreiK09","series-title":"Electronic Notes in Theoretical Computer Science","first-page":"17","article-title":"A Port Graph Calculus for Autonomic Computing and Invariant Verification","volume-title":"Proceedings of the Fifth International Workshop on Computing with Terms and Graphs (TERMGRAPH 2009)","volume":"253","author":"Oana Andrei","year":"2009"},{"key":"tulip2003","series-title":"Mathematics and Visualization Series","first-page":"105","article-title":"Tulip \u2013 A huge graph visualization framework","volume-title":"Graph Drawing Software","author":"David Auber","year":"2003"},{"key":"BalasubramanianNBK06","article-title":"The Graph Rewriting and Transformation Language: GReAT","volume":"1","author":"Daniel Balasubramanian","year":"2006","journal-title":"ECEASST"},{"key":"BournezCCKI03","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1007\/3-540-44881-0_4","article-title":"A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms.","volume-title":"RTA","volume":"2706","author":"Olivier Bournez","year":"2003"},{"issue":"10","key":"cordella:04","doi-asserted-by":"crossref","first-page":"1367","DOI":"10.1109\/TPAMI.2004.75","article-title":"A (Sub)Graph Isomorphism Algorithm for Matching Large Graphs","volume":"26","author":"L. P. Cordella","year":"2004","journal-title":"IEEE Trans. on Pattern Analysis and Machine Intelligence"},{"key":"Courcelle90","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/B978-0-444-88074-1.50010-X","article-title":"Graph Rewriting: An Algebraic and Logic Approach","volume-title":"Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics","author":"Bruno Courcelle","year":"1990"},{"issue":"1","key":"DanosL04","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/j.tcs.2004.03.065","article-title":"Formal Molecular Biology.","volume":"325","author":"Vincent Danos","year":"2004","journal-title":"Theoretical Computer Science"},{"key":"1997handbook2","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages, and Tools","year":"1997"},{"key":"1997handbook3","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformations, Volume 3: Concurrency, Parallelism, and Distribution","year":"1997"},{"key":"ErmelRT97","first-page":"551","article-title":"The AGG Approach: Language and Environment","volume-title":"1997handbook2","author":"Claudia Ermel","year":"1997"},{"key":"FaederBH09","series-title":"Methods in Molecular Biology","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/978-1-59745-525-1_5","article-title":"Rule-Based Modeling of Biochemical Systems with BioNetGen","volume-title":"Systems Biology","author":"James R. Faeder","year":"2009"},{"key":"FernandezN10a","article-title":"Strategic Programming on Graph Rewriting Systems","volume-title":"Proc. of the 1st International Workshop on Strategies in Rewriting, Proving, and Programming","author":"Maribel Fern\u00e1ndez","year":"2010"},{"issue":"2","key":"FoxLC","article-title":"Lambda Calculus, Type Theory, and Natural Language II","volume":"18","author":"Chris Fox","year":"2008","journal-title":"J. Log. Comput."},{"key":"GeissBGHS06","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1007\/11841883_27","article-title":"GrGen: A Fast SPO-Based Graph Rewriting Tool","volume-title":"ICGT","volume":"4178","author":"Rubino Gei\u00df","year":"2006"},{"key":"KrivineMT08","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/j.entcs.2008.10.006","article-title":"Stochastic Bigraphs","volume":"218","author":"Jean Krivine","year":"2008","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"LafontY:intn","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/96709.96718","article-title":"Interaction Nets","volume-title":"Proc. of the 17th ACM Symposium on Principles of Programming Languages (POPL'90)","author":"Yves Lafont","year":"1990"},{"key":"NickelNZ00","doi-asserted-by":"crossref","first-page":"742","DOI":"10.1145\/337180.337620","article-title":"The FUJABA environment","volume-title":"ICSE","author":"Ulrich Nickel","year":"2000"},{"key":"Plump09","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/978-3-642-03564-7_6","article-title":"The Graph Programming Language GP","volume-title":"CAI","volume":"5725","author":"Detlef Plump","year":"2009"},{"key":"Rensink03","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"479","DOI":"10.1007\/978-3-540-25959-6_40","article-title":"The GROOVE Simulator: A Tool for State Space Generation","volume-title":"AGTIVE","volume":"3062","author":"Arend Rensink","year":"2003"},{"key":"1997handbook1","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations","year":"1997"},{"key":"Schurr97b","first-page":"479","article-title":"The PROGRES Approach: Language and Environment.","volume-title":"1997handbook2","author":"Andy Sch\u00fcrr","year":"1997"},{"issue":"1","key":"ullmann:76","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1145\/321921.321925","article-title":"An Algorithm for Subgraph Isomorphism","volume":"23","author":"J. R. Ullmann","year":"1976","journal-title":"JACM"},{"key":"ZhangZ97","doi-asserted-by":"crossref","DOI":"10.1109\/VL.1997.626596","article-title":"Reserved Graph Grammar: A Specification Tool for Diagrammatic VPLs","volume-title":"Proc. of VL'97","author":"Daqian Zhang","year":"1997"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T15:39:59Z","timestamp":1497886799000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/1102.2654v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,2,11]]},"references-count":27,"URL":"https:\/\/doi.org\/10.4204\/eptcs.48.7","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,2,11]]}}}