publications: - title: "From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence" author: - name: "Andrea Corradini" link: "https://researchr.org/alias/andrea-corradini" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Ugo Montanari" link: "https://researchr.org/alias/ugo-montanari" year: "1999" doi: "http://www.elsevier.com/gej-ng/31/29/23/43/23/show/Products/notes/index.htt#010" links: doi: "http://www.elsevier.com/gej-ng/31/29/23/43/23/show/Products/notes/index.htt#010" tags: - "SOS" researchr: "https://researchr.org/publication/CorradinHM99" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "19" pages: "118-141" kind: "article" key: "CorradinHM99" - title: "Design of an Agent-Oriented Modeling Language Based on Graph Transformation" author: - name: "Ralph Depke" link: "https://researchr.org/alias/ralph-depke" - name: "Jan Hendrik Hausmann" link: "https://researchr.org/alias/jan-hendrik-hausmann" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" year: "2003" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3062&spage=106" links: doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3062&spage=106" tags: - "model-to-model transformation" - "rule-based" - "agent based modeling" - "graph transformation" - "meta-model" - "modeling language" - "modeling" - "transformation language" - "language modeling" - "language design" - "source-to-source" - "graph-rewriting" - "model transformation" - "Meta-Environment" - "rewriting" - "design" - "transformation" researchr: "https://researchr.org/publication/DepkeHH03" cites: 0 citedby: 0 pages: "106-119" booktitle: "Applications of Graph Transformations with Industrial Relevance, Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited Papers" editor: - name: "John L. Pfaltz" link: "https://researchr.org/alias/john-l.-pfaltz" - name: "Manfred Nagl" link: "https://researchr.org/alias/manfred-nagl" - name: "Boris Böhlen" link: "https://researchr.org/alias/boris-b%C3%B6hlen" volume: "3062" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-22120-4" kind: "inproceedings" key: "DepkeHH03" - title: "Preface" author: - name: "Barbara König" link: "https://researchr.org/alias/barbara-k%C3%B6nig" - name: "Arend Rensink" link: "http://wwwhome.cs.utwente.nl/~rensink/" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" year: "2008" doi: "http://dx.doi.org/10.1016/j.entcs.2008.04.070" links: doi: "http://dx.doi.org/10.1016/j.entcs.2008.04.070" researchr: "https://researchr.org/publication/KonigRH08" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "213" number: "1" pages: "1-2" kind: "article" key: "KonigRH08" - title: "Towards Model-Driven Testing" author: - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Marc Lohmann" link: "https://researchr.org/alias/marc-lohmann" year: "2003" doi: "http://www1.elsevier.com/gej-ng/31/29/23/133/50/show/Products/notes/index.htt#005" links: doi: "http://www1.elsevier.com/gej-ng/31/29/23/133/50/show/Products/notes/index.htt#005" tags: - "meta-model" - "testing" - "Meta-Environment" researchr: "https://researchr.org/publication/HeckelL03" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "82" number: "6" pages: "33-43" kind: "article" key: "HeckelL03" - title: "The Consistency Workbench: A Tool for Consistency Management in UML-Based Development" author: - name: "Gregor Engels" link: "http://www.cs.uni-paderborn.de/fachgebiete/fg-engels/personen/visitenkarten/gregor-engels/visitenkarte.html" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Jochen Malte Küster" link: "https://researchr.org/alias/jochen-malte-k%C3%BCster" year: "2003" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2863&spage=356" links: doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2863&spage=356" tags: - "workbench" - "rule-based" - "UML" - "consistency" researchr: "https://researchr.org/publication/EngelsHK03" cites: 0 citedby: 0 pages: "356-359" booktitle: "«UML» 2003 - The Unified Modeling Language, Modeling Languages and Applications, 6th International Conference, San Francisco, CA, USA, October 20-24, 2003, Proceedings" editor: - name: "Perdita Stevens" link: "https://researchr.org/alias/perdita-stevens" - name: "Jon Whittle" link: "http://www.comp.lancs.ac.uk/~whittljn/" - name: "Grady Booch" link: "https://researchr.org/alias/grady-booch" volume: "2863" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-20243-9" kind: "inproceedings" key: "EngelsHK03" - title: "Verification of Model Transformations: A Case Study with BPEL" author: - name: "Luciano Baresi" link: "https://researchr.org/alias/luciano-baresi" - name: "Karsten Ehrig" link: "https://researchr.org/alias/karsten-ehrig" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" year: "2006" doi: "http://dx.doi.org/10.1007/978-3-540-75336-0_12" links: doi: "http://dx.doi.org/10.1007/978-3-540-75336-0_12" tags: - "model-to-model transformation" - "case study" - "meta-model" - "BPEL" - "source-to-source" - "model transformation" - "Meta-Environment" - "transformation" researchr: "https://researchr.org/publication/BaresiEH06" cites: 0 citedby: 0 pages: "183-199" booktitle: "Trustworthy Global Computing, Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers" editor: - name: "Ugo Montanari" link: "https://researchr.org/alias/ugo-montanari" - name: "Donald Sannella" link: "http://homepages.inf.ed.ac.uk/dts/" - name: "Roberto Bruni" link: "https://researchr.org/alias/roberto-bruni" volume: "4661" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-75333-9" kind: "inproceedings" key: "BaresiEH06" - title: "Dynamic Meta Modeling with time: Specifying the semantics of multimedia sequence diagrams" author: - name: "Jan Hendrik Hausmann" link: "https://researchr.org/alias/jan-hendrik-hausmann" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Stefan Sauer" link: "https://researchr.org/alias/stefan-sauer" year: "2004" doi: "http://www.springerlink.com/index/10.1007/s10270-003-0045-7" links: doi: "http://www.springerlink.com/index/10.1007/s10270-003-0045-7" tags: - "semantics" - "meta-model" - "modeling" - "sequence diagrams" - "Meta-Environment" - "multimedia" - "meta-objects" researchr: "https://researchr.org/publication/HausmannHS04" cites: 0 citedby: 0 journal: "Software and Systems Modeling" volume: "3" number: "3" pages: "181-193" kind: "article" key: "HausmannHS04" - title: "Workshop on Software Evolution Through Transformations: Model-Based vs. Implementation-Level Solutions" author: - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Tom Mens" link: "http://staff.umh.ac.be/Mens.Tom/" year: "2004" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3256&spage=445" links: doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3256&spage=445" tags: - "model-to-model transformation" - "meta-model" - "software evolution" - "source-to-source" - "model transformation" - "Meta-Environment" - "transformation" researchr: "https://researchr.org/publication/HeckelM04" cites: 0 citedby: 0 pages: "445-447" booktitle: "Graph Transformations, Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 2, 2004, Proceedings" editor: - name: "Hartmut Ehrig" link: "https://researchr.org/alias/hartmut-ehrig" - name: "Gregor Engels" link: "http://www.cs.uni-paderborn.de/fachgebiete/fg-engels/personen/visitenkarten/gregor-engels/visitenkarte.html" - name: "Francesco Parisi-Presicce" link: "https://researchr.org/alias/francesco-parisi-presicce" - name: "Grzegorz Rozenberg" link: "https://researchr.org/alias/grzegorz-rozenberg" volume: "3256" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-23207-9" kind: "inproceedings" key: "HeckelM04" - title: "Tile Transition Systems as Structured Coalgebras" author: - name: "Andrea Corradini" link: "https://researchr.org/alias/andrea-corradini" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Ugo Montanari" link: "https://researchr.org/alias/ugo-montanari" year: "1999" doi: "http://link.springer.de/link/service/series/0558/bibs/1684/16840013.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/1684/16840013.htm" researchr: "https://researchr.org/publication/CorradiniHM99" cites: 0 citedby: 0 pages: "13-38" booktitle: "Fundamentals of Computation Theory, 12th International Symposium, FCT 99, Iasi, Romania, August 30 - September 3, 1999, Proceedings" editor: - name: "Gabriel Ciobanu" link: "https://researchr.org/alias/gabriel-ciobanu" - name: "Gheorghe Paun" link: "https://researchr.org/alias/gheorghe-paun" volume: "1684" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-66412-2" kind: "inproceedings" key: "CorradiniHM99" - title: "Compositionality of Model Transformations" author: - name: "Dénes Bisztray" link: "https://researchr.org/alias/d%C3%A9nes-bisztray" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Hartmut Ehrig" link: "https://researchr.org/alias/hartmut-ehrig" year: "2009" doi: "http://dx.doi.org/10.1016/j.entcs.2009.03.011" links: doi: "http://dx.doi.org/10.1016/j.entcs.2009.03.011" tags: - "model-to-model transformation" - "meta-model" - "composition" - "source-to-source" - "model transformation" - "Meta-Environment" - "transformation" researchr: "https://researchr.org/publication/BisztrayHE09" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "236" pages: "5-19" kind: "article" key: "BisztrayHE09" - title: "Application of Graph Transformation for Automating Web Service Discovery" author: - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Alexey Cherchago" link: "https://researchr.org/alias/alexey-cherchago" year: "2004" doi: "http://drops.dagstuhl.de/opus/volltexte/2005/12" links: doi: "http://drops.dagstuhl.de/opus/volltexte/2005/12" tags: - "discovery" - "graph transformation" - "web service" - "graph-rewriting" - "web applications" - "rewriting" - "transformation" researchr: "https://researchr.org/publication/HeckelC04" cites: 0 citedby: 0 booktitle: "Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004" editor: - name: "Jean Bézivin" link: "https://researchr.org/alias/jean-b%C3%A9zivin" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" volume: "04101" series: "Dagstuhl Seminar Proceedings" publisher: "Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany" kind: "inproceedings" key: "HeckelC04" - title: "Model-Based Testing of Service Infrastructure Components" author: - name: "László Gönczy" link: "https://researchr.org/alias/l%C3%A1szl%C3%B3-g%C3%B6nczy" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Dániel Varró" link: "https://researchr.org/alias/d%C3%A1niel-varr%C3%B3" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-73066-8_11" links: doi: "http://dx.doi.org/10.1007/978-3-540-73066-8_11" tags: - "rule-based" - "testing" researchr: "https://researchr.org/publication/GonczyHV07" cites: 0 citedby: 0 pages: "155-170" booktitle: "Testing of Software and Communicating Systems, 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007, Proceedings" editor: - name: "Alexandre Petrenko" link: "https://researchr.org/alias/alexandre-petrenko" - name: "Margus Veanes" link: "https://researchr.org/alias/margus-veanes" - name: "Jan Tretmans" link: "https://researchr.org/alias/jan-tretmans" - name: "Wolfgang Grieskamp" link: "https://researchr.org/alias/wolfgang-grieskamp" volume: "4581" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-73065-1" kind: "inproceedings" key: "GonczyHV07" - title: "Tutorial Introduction to Graph Transformation" author: - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" year: "2008" doi: "http://dx.doi.org/10.1007/978-3-540-87405-8_31" links: doi: "http://dx.doi.org/10.1007/978-3-540-87405-8_31" tags: - "graph transformation" - "graph-rewriting" - "rewriting" - "transformation" researchr: "https://researchr.org/publication/Heckel08" cites: 0 citedby: 0 pages: "458-459" booktitle: "Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings" editor: - name: "Hartmut Ehrig" link: "https://researchr.org/alias/hartmut-ehrig" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Grzegorz Rozenberg" link: "https://researchr.org/alias/grzegorz-rozenberg" - name: "Gabriele Taentzer" link: "http://www.mathematik.uni-marburg.de/~taentzer/" volume: "5214" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-87404-1" kind: "inproceedings" key: "Heckel08" - title: "Rule-Level Verification of Business Process Transformations using CSP" author: - name: "Dénes Bisztray" link: "https://researchr.org/alias/d%C3%A9nes-bisztray" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" year: "2007" doi: "http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/71" links: doi: "http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/71" tags: - "rule-based" - "business rules" - "rules" - "transformation" researchr: "https://researchr.org/publication/BisztrayH07" cites: 0 citedby: 0 journal: "ECEASST" volume: "6" kind: "article" key: "BisztrayH07" - title: "A View-Oriented Approach to System Modelling Based on Graph Transformation" author: - name: "Gregor Engels" link: "http://www.cs.uni-paderborn.de/fachgebiete/fg-engels/personen/visitenkarten/gregor-engels/visitenkarte.html" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Gabriele Taentzer" link: "http://www.mathematik.uni-marburg.de/~taentzer/" - name: "Hartmut Ehrig" link: "https://researchr.org/alias/hartmut-ehrig" year: "1997" doi: "http://doi.acm.org/10.1145/267895.267919" links: doi: "http://doi.acm.org/10.1145/267895.267919" tags: - "model-to-model transformation" - "rule-based" - "graph transformation" - "meta-model" - "source-to-source" - "graph-rewriting" - "transformation system" - "model transformation" - "Meta-Environment" - "rewriting" - "systematic-approach" - "transformation" researchr: "https://researchr.org/publication/EngelsHTE98" cites: 0 citedby: 0 pages: "327-343" booktitle: "Software Engineering - ESEC/FSE 97, 6th European Software Engineering Conference Held Jointly with the 5th ACM SIGSOFT Symposium on Foundations of Software Engineering, Zurich, Switzerland, September 22-25, 1997, Proceedings" editor: - name: "Mehdi Jazayeri" link: "https://researchr.org/alias/mehdi-jazayeri" - name: "Helmut Schauer" link: "https://researchr.org/alias/helmut-schauer" volume: "1301" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-63531-9" kind: "inproceedings" key: "EngelsHTE98" - title: "Using XSLT Stylesheets to Transform XPath Queries" author: - name: "Sven Groppe" link: "https://researchr.org/alias/sven-groppe" - name: "Stefan Böttcher" link: "https://researchr.org/alias/stefan-b%C3%B6ttcher" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Georg Birkenheuer" link: "https://researchr.org/alias/georg-birkenheuer" year: "2004" doi: "http://www.sztaki.hu/conferences/ADBIS/5-Groppe.pdf" links: doi: "http://www.sztaki.hu/conferences/ADBIS/5-Groppe.pdf" tags: - "XSLT" - "XPath" researchr: "https://researchr.org/publication/GroppeBHB04" cites: 0 citedby: 0 booktitle: "Advances in Databases and Information Systems, 8th East European Conference, ADBIS 2004, Budapest, Hungary, September 22-25, 2004, Proceesing" editor: - name: "Georg Gottlob" link: "https://researchr.org/alias/georg-gottlob" - name: "András A. Benczúr" link: "https://researchr.org/alias/andr%C3%A1s-a.-bencz%C3%BAr" - name: "János Demetrovics" link: "https://researchr.org/alias/j%C3%A1nos-demetrovics" volume: "3255" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-23243-5" kind: "inproceedings" key: "GroppeBHB04" - title: "Graphical Operational Semantics" author: - name: "Andrea Corradini" link: "https://researchr.org/alias/andrea-corradini" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Ugo Montanari" link: "https://researchr.org/alias/ugo-montanari" year: "2000" tags: - "semantics" - "operational semantics" researchr: "https://researchr.org/publication/CorradiniHM00" cites: 0 citedby: 0 pages: "411-418" booktitle: "Automata, Languages and Programming, 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings" editor: - name: "Ugo Montanari" link: "https://researchr.org/alias/ugo-montanari" - name: "José D. P. Rolim" link: "https://researchr.org/alias/jos%C3%A9-d.-p.-rolim" - name: "Emo Welzl" link: "https://researchr.org/alias/emo-welzl" volume: "1853" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-67715-1" kind: "inproceedings" key: "CorradiniHM00" - title: "04101 Summary - Language Engineering for Model-driven Software Development" author: - name: "Jean Bézivin" link: "https://researchr.org/alias/jean-b%C3%A9zivin" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" year: "2004" doi: "http://drops.dagstuhl.de/opus/volltexte/2005/10" links: doi: "http://drops.dagstuhl.de/opus/volltexte/2005/10" tags: - "meta-model" - "modeling language" - "language engineering" - "software language engineering" - "language modeling" - "model-driven development" - "software engineering" - "model-driven engineering" - "Meta-Environment" researchr: "https://researchr.org/publication/BezivinH04" cites: 0 citedby: 0 booktitle: "Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004" editor: - name: "Jean Bézivin" link: "https://researchr.org/alias/jean-b%C3%A9zivin" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" volume: "04101" series: "Dagstuhl Seminar Proceedings" publisher: "Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany" kind: "inproceedings" key: "BezivinH04" - title: "Compositional SOS and beyond: a coalgebraic view of open systems" author: - name: "Andrea Corradini" link: "https://researchr.org/alias/andrea-corradini" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Ugo Montanari" link: "https://researchr.org/alias/ugo-montanari" year: "2002" doi: "http://dx.doi.org/10.1016/S0304-3975(01)00025-1" links: doi: "http://dx.doi.org/10.1016/S0304-3975(01)00025-1" tags: - "composition" - "SOS" - "source-to-source" - "open-source" researchr: "https://researchr.org/publication/CorradiniHM02" cites: 0 citedby: 0 journal: "Theoretical Computer Science" volume: "280" number: "1-2" pages: "163-192" kind: "article" key: "CorradiniHM02" - title: "Towards a Formal Framework for Inter-Enterprise Application Integration" author: - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Gregor Engels" link: "https://researchr.org/alias/gregor-engels" year: "2001" doi: "http://www.elsevier.com/gej-ng/31/29/23/116/25/show/Products/notes/index.htt#009" links: doi: "http://www.elsevier.com/gej-ng/31/29/23/116/25/show/Products/notes/index.htt#009" tags: - "application framework" researchr: "https://researchr.org/publication/HeckelE01" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "51" pages: "139-151" kind: "article" key: "HeckelE01" - title: "Flexible Interconnection of Graph Transformation Modules" author: - name: "Gregor Engels" link: "https://researchr.org/alias/gregor-engels" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Alexey Cherchago" link: "https://researchr.org/alias/alexey-cherchago" year: "2005" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3393&spage=38" links: doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3393&spage=38" tags: - "graph transformation" - "graph-rewriting" - "rewriting" - "transformation" researchr: "https://researchr.org/publication/EngelsHC05" cites: 0 citedby: 0 pages: "38-63" booktitle: "Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig, on the Occasion of His 60th Birthday" editor: - name: "Hans-Jörg Kreowski" link: "https://researchr.org/alias/hans-j%C3%B6rg-kreowski" - name: "Ugo Montanari" link: "https://researchr.org/alias/ugo-montanari" - name: "Fernando Orejas" link: "https://researchr.org/alias/fernando-orejas" - name: "Grzegorz Rozenberg" link: "https://researchr.org/alias/grzegorz-rozenberg" - name: "Gabriele Taentzer" link: "http://www.mathematik.uni-marburg.de/~taentzer/" volume: "3393" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-24936-2" kind: "inproceedings" key: "EngelsHC05" - title: "Simple Modules for GRACE" author: - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Berthold Hoffmann" link: "https://researchr.org/alias/berthold-hoffmann" - name: "Peter Knirsch" link: "https://researchr.org/alias/peter-knirsch" - name: "Sabine Kuske" link: "https://researchr.org/alias/sabine-kuske" year: "1998" researchr: "https://researchr.org/publication/HeckelHKK98" cites: 0 citedby: 0 pages: "383-395" booktitle: "Theory and Application of Graph Transformations, 6th International Workshop, TAGT 98, Paderborn, Germany, November 16-20, 1998, Selected Papers" editor: - name: "Hartmut Ehrig" link: "https://researchr.org/alias/hartmut-ehrig" - name: "Gregor Engels" link: "http://www.cs.uni-paderborn.de/fachgebiete/fg-engels/personen/visitenkarten/gregor-engels/visitenkarte.html" - name: "Hans-Jörg Kreowski" link: "https://researchr.org/alias/hans-j%C3%B6rg-kreowski" - name: "Grzegorz Rozenberg" link: "https://researchr.org/alias/grzegorz-rozenberg" volume: "1764" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-67203-6" kind: "inproceedings" key: "HeckelHKK98" - title: "Tutorial Introduction to Graph Transformation: A Software Engineering Perspective" author: - name: "Luciano Baresi" link: "https://researchr.org/alias/luciano-baresi" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" year: "2004" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3256&spage=431" links: doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3256&spage=431" tags: - "transformation engineering" - "graph transformation" - "graph-rewriting" - "software engineering" - "rewriting" - "transformation" researchr: "https://researchr.org/publication/BaresiH04" cites: 0 citedby: 0 pages: "431-433" booktitle: "Graph Transformations, Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 2, 2004, Proceedings" editor: - name: "Hartmut Ehrig" link: "https://researchr.org/alias/hartmut-ehrig" - name: "Gregor Engels" link: "http://www.cs.uni-paderborn.de/fachgebiete/fg-engels/personen/visitenkarten/gregor-engels/visitenkarte.html" - name: "Francesco Parisi-Presicce" link: "https://researchr.org/alias/francesco-parisi-presicce" - name: "Grzegorz Rozenberg" link: "https://researchr.org/alias/grzegorz-rozenberg" volume: "3256" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-23207-9" kind: "inproceedings" key: "BaresiH04" - title: "Incremental Service Composition Based on Partial Matching of Visual Contracts" author: - name: "Muhammad Naeem" link: "https://researchr.org/alias/muhammad-naeem" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Fernando Orejas" link: "https://researchr.org/alias/fernando-orejas" - name: "Frank Hermann" link: "https://researchr.org/alias/frank-hermann" year: "2010" doi: "http://dx.doi.org/10.1007/978-3-642-12029-9_9" abstract: " Services provide access to software components that can be discovered dynamically via the Internet. The increasing number of services a requester may be able to use demand support for finding and selecting services. In particular, it is unrealistic to expect that a single service will satisfy complex requirements, so services will have to be combined to match clients’ requests. In this paper, we propose a visual, incremental approach for the composition of services, in which we describe the requirements of a requester as a goal which is matched against multiple provider offers. After every match with an offer we decompose the goal into satisfied and remainder parts. We iterate the decomposition until the goal is satisfied or we run out of offers, leading to a resolution-like matching strategy. Finally, the individual offers can be composed into a single combined offer and shown to the requester for feedback. Our approach is based on visual specifications of pre- and postconditions by graph transformation systems with loose semantics, where a symbolic approach based on constraints is used to represent attributes and their computation in graphs. " links: doi: "http://dx.doi.org/10.1007/978-3-642-12029-9_9" tags: - "semantics" - "rule-based" - "software components" - "graph transformation" - "contracts" - "composition" - "software component" - "constraints" - "graph-rewriting" - "transformation system" - "rewriting" - "software contracts" - "incremental" - "systematic-approach" - "rewriting strategies" - "transformation" researchr: "https://researchr.org/publication/NaeemHOH10" cites: 0 citedby: 0 pages: "123-138" booktitle: "Fundamental Approaches to Software Engineering, 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings" editor: - name: "David S. Rosenblum" link: "https://researchr.org/alias/david-s.-rosenblum" - name: "Gabriele Taentzer" link: "http://www.mathematik.uni-marburg.de/~taentzer/" volume: "6013" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-12028-2" kind: "inproceedings" key: "NaeemHOH10" - title: "Graph Transformation with Time: Causality and Logical Clocks" author: - name: "Szilvia Gyapay" link: "https://researchr.org/alias/szilvia-gyapay" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Dániel Varró" link: "https://researchr.org/alias/d%C3%A1niel-varr%C3%B3" year: "2002" doi: "http://link.springer.de/link/service/series/0558/bibs/2505/25050120.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/2505/25050120.htm" tags: - "graph transformation" - "graph-rewriting" - "rewriting" - "transformation" researchr: "https://researchr.org/publication/GyapayHV02" cites: 0 citedby: 0 pages: "120-134" booktitle: "Graph Transformation, First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings" editor: - name: "Andrea Corradini" link: "https://researchr.org/alias/andrea-corradini" - name: "Hartmut Ehrig" link: "https://researchr.org/alias/hartmut-ehrig" - name: "Hans-Jörg Kreowski" link: "https://researchr.org/alias/hans-j%C3%B6rg-kreowski" - name: "Grzegorz Rozenberg" link: "https://researchr.org/alias/grzegorz-rozenberg" volume: "2505" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-44310-X" kind: "inproceedings" key: "GyapayHV02" - title: "Open Petri Nets as Semantic Model for Workflow Integration" author: - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" year: "2003" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2472&spage=281" links: doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2472&spage=281" tags: - "source-to-source" - "workflow" - "open-source" researchr: "https://researchr.org/publication/Heckel03" cites: 0 citedby: 0 pages: "281-294" booktitle: "Petri Net Technology for Communication-Based Systems - Advances in Petri Nets" editor: - name: "Hartmut Ehrig" link: "https://researchr.org/alias/hartmut-ehrig" - name: "Wolfgang Reisig" link: "https://researchr.org/alias/wolfgang-reisig" - name: "Grzegorz Rozenberg" link: "https://researchr.org/alias/grzegorz-rozenberg" - name: "Herbert Weber" link: "https://researchr.org/alias/herbert-weber" volume: "2472" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-20538-1" kind: "inproceedings" key: "Heckel03" - title: "High-Level Net Processes" author: - name: "Hartmut Ehrig" link: "https://researchr.org/alias/hartmut-ehrig" - name: "Kathrin Hoffmann" link: "https://researchr.org/alias/kathrin-hoffmann" - name: "Julia Padberg" link: "https://researchr.org/alias/julia-padberg" - name: "Paolo Baldan" link: "https://researchr.org/alias/paolo-baldan" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" year: "2002" doi: "http://link.springer.de/link/service/series/0558/bibs/2300/23000191.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/2300/23000191.htm" researchr: "https://researchr.org/publication/EhrigHPBH02" cites: 0 citedby: 0 pages: "191-219" booktitle: "Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]" editor: - name: "Wilfried Brauer" link: "https://researchr.org/alias/wilfried-brauer" - name: "Hartmut Ehrig" link: "https://researchr.org/alias/hartmut-ehrig" - name: "Juhani Karhumäki" link: "https://researchr.org/alias/juhani-karhum%C3%A4ki" - name: "Arto Salomaa" link: "https://researchr.org/alias/arto-salomaa" volume: "2300" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-43190-X" kind: "inproceedings" key: "EhrigHPBH02" - title: "Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets" author: - name: "Paolo Baldan" link: "https://researchr.org/alias/paolo-baldan" - name: "Andrea Corradini" link: "https://researchr.org/alias/andrea-corradini" - name: "Hartmut Ehrig" link: "https://researchr.org/alias/hartmut-ehrig" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Barbara König" link: "https://researchr.org/alias/barbara-k%C3%B6nig" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-73859-6_9" links: doi: "http://dx.doi.org/10.1007/978-3-540-73859-6_9" tags: - "source-to-source" - "open-source" researchr: "https://researchr.org/publication/BaldanCEHK07" cites: 0 citedby: 0 pages: "126-142" booktitle: "Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings" editor: - name: "Till Mossakowski" link: "http://www.dfki.de/sks/till" - name: "Ugo Montanari" link: "https://researchr.org/alias/ugo-montanari" - name: "Magne Haveraaen" link: "http://www.ii.uib.no/~magne/" volume: "4624" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-73857-2" kind: "inproceedings" key: "BaldanCEHK07" - title: "Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams" author: - name: "Jan Hendrik Hausmann" link: "https://researchr.org/alias/jan-hendrik-hausmann" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Stefan Sauer" link: "https://researchr.org/alias/stefan-sauer" year: "2003" doi: "http://www1.elsevier.com/gej-ng/31/29/23/127/48/show/Products/notes/index.htt#012" links: doi: "http://www1.elsevier.com/gej-ng/31/29/23/127/48/show/Products/notes/index.htt#012" tags: - "semantics" - "meta-model" - "modeling" - "sequence diagrams" - "Meta-Environment" - "multimedia" - "meta-objects" researchr: "https://researchr.org/publication/HausmannHS03" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "72" number: "3" pages: "133-144" kind: "article" key: "HausmannHS03" - title: "A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting" author: - name: "Fabio Gadducci" link: "https://researchr.org/alias/fabio-gadducci" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Mercè Llabrés" link: "https://researchr.org/alias/merc%C3%A8-llabr%C3%A9s" year: "1999" doi: "http://www.elsevier.nl/locate/entcs/volume29.html" links: doi: "http://www.elsevier.nl/locate/entcs/volume29.html" tags: - "graph-rewriting" - "rewriting" researchr: "https://researchr.org/publication/GadducciHL99" cites: 0 citedby: 0 journal: "Theoretical Computer Science" volume: "29" pages: "80-100" kind: "article" key: "GadducciHL99" - title: "Stochastic Graph Transformation Systems" author: - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Georgios Lajios" link: "https://researchr.org/alias/georgios-lajios" - name: "Sebastian Menge" link: "https://researchr.org/alias/sebastian-menge" year: "2006" doi: "http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=74&issue=1&spage=63" links: doi: "http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=74&issue=1&spage=63" tags: - "graph transformation" - "graph-rewriting" - "transformation system" - "rewriting" - "transformation" researchr: "https://researchr.org/publication/HeckelLM06" cites: 0 citedby: 0 journal: "Fundamenta Informaticae" volume: "74" number: "1" pages: "63-84" kind: "article" key: "HeckelLM06" - title: "Architecture Migration Driven by Code Categorization" author: - name: "Rui Correia" link: "https://researchr.org/alias/rui-correia" - name: "Carlos M. P. Matos" link: "https://researchr.org/alias/carlos-m.-p.-matos" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Mohammad El-Ramly" link: "https://researchr.org/alias/mohammad-el-ramly" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-75132-8_10" links: doi: "http://dx.doi.org/10.1007/978-3-540-75132-8_10" tags: - "architecture" - "migration" researchr: "https://researchr.org/publication/CorreiaMHE07" cites: 0 citedby: 0 pages: "115-122" booktitle: "Software Architecture, First European Conference, ECSA 2007, Aranjuez, Spain, September 24-26, 2007, Proceedings" editor: - name: "Flávio Oquendo" link: "https://researchr.org/alias/fl%C3%A1vio-oquendo" volume: "4758" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-75131-1" kind: "inproceedings" key: "CorreiaMHE07" - title: "Preface" author: - name: "Arend Rensink" link: "https://researchr.org/alias/arend-rensink" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Barbara König" link: "https://researchr.org/alias/barbara-k%C3%B6nig" year: "2007" doi: "http://dx.doi.org/10.1016/j.entcs.2007.04.012" links: doi: "http://dx.doi.org/10.1016/j.entcs.2007.04.012" researchr: "https://researchr.org/publication/RensinkHK07" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "175" number: "4" pages: "1-2" kind: "article" key: "RensinkHK07" - title: "Rewriting Logic Semantics and Verification of Model Transformations" author: - name: "Artur Boronat" link: "https://researchr.org/alias/artur-boronat" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "José Meseguer" link: "https://researchr.org/alias/jos%C3%A9-meseguer" year: "2009" doi: "http://dx.doi.org/10.1007/978-3-642-00593-0_2" links: doi: "http://dx.doi.org/10.1007/978-3-642-00593-0_2" tags: - "model-to-model transformation" - "semantics" - "graph transformation" - "meta-model" - "source-to-source" - "graph-rewriting" - "model transformation" - "logic" - "Meta-Environment" - "rewriting logic" - "rewriting" - "transformation" researchr: "https://researchr.org/publication/BoronatHM09" cites: 0 citedby: 0 pages: "18-33" booktitle: "Fundamental Approaches to Software Engineering, 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings" editor: - name: "Marsha Chechik" link: "https://researchr.org/alias/marsha-chechik" - name: "Martin Wirsing" link: "https://researchr.org/alias/martin-wirsing" volume: "5503" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-00592-3" kind: "inproceedings" key: "BoronatHM09" - title: "Preface" author: - name: "Arend Rensink" link: "https://researchr.org/alias/arend-rensink" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Barbara König" link: "https://researchr.org/alias/barbara-k%C3%B6nig" year: "2006" doi: "http://dx.doi.org/10.1016/j.entcs.2005.03.028" links: doi: "http://dx.doi.org/10.1016/j.entcs.2005.03.028" researchr: "https://researchr.org/publication/RensinkHK06" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "154" number: "2" pages: "1-5" kind: "article" key: "RensinkHK06" - title: "Graph Transformation with Time" author: - name: "Szilvia Gyapay" link: "https://researchr.org/alias/szilvia-gyapay" - name: "Dániel Varró" link: "https://researchr.org/alias/d%C3%A1niel-varr%C3%B3" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" year: "2003" doi: "http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=58&issue=1&spage=1" links: doi: "http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=58&issue=1&spage=1" tags: - "graph transformation" - "graph-rewriting" - "rewriting" - "transformation" researchr: "https://researchr.org/publication/GyapayVH03" cites: 0 citedby: 0 journal: "Fundamenta Informaticae" volume: "58" number: "1" pages: "1-22" kind: "article" key: "GyapayVH03" - title: "Integrating the Specification Techniques of Graph Transformation and Temporal Logic" author: - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Hartmut Ehrig" link: "https://researchr.org/alias/hartmut-ehrig" - name: "Uwe Wolter" link: "https://researchr.org/alias/uwe-wolter" - name: "Andrea Corradini" link: "https://researchr.org/alias/andrea-corradini" year: "1997" tags: - "graph transformation" - "graph-rewriting" - "logic" - "rewriting logic" - "rewriting" - "transformation" researchr: "https://researchr.org/publication/HeckelEWC97" cites: 0 citedby: 0 pages: "219-228" booktitle: "Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS 97, Bratislava, Slovakia, August 25-29, 1997, Proceedings" editor: - name: "Igor Prívara" link: "https://researchr.org/alias/igor-pr%C3%ADvara" - name: "Peter Ruzicka" link: "https://researchr.org/alias/peter-ruzicka" volume: "1295" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-63437-1" kind: "inproceedings" key: "HeckelEWC97" - title: "Bericht über die ETAPS 2001 vom 02. - 06. April 2001 in Genua" author: - name: "Stefan Sauer" link: "https://researchr.org/alias/stefan-sauer" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" year: "2001" researchr: "https://researchr.org/publication/SauerH01" cites: 0 citedby: 0 journal: "Softwaretechnik-Trends" volume: "21" number: "2" kind: "article" key: "SauerH01" - title: "Molecular Analysis of Metabolic Pathway with Graph Transformation" author: - name: "Karsten Ehrig" link: "https://researchr.org/alias/karsten-ehrig" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Georgios Lajios" link: "https://researchr.org/alias/georgios-lajios" year: "2006" doi: "http://dx.doi.org/10.1007/11841883_9" links: doi: "http://dx.doi.org/10.1007/11841883_9" tags: - "graph transformation" - "analysis" - "graph-rewriting" - "rewriting" - "transformation" researchr: "https://researchr.org/publication/EhrigHL06" cites: 0 citedby: 0 pages: "107-121" booktitle: "Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings" editor: - name: "Andrea Corradini" link: "https://researchr.org/alias/andrea-corradini" - name: "Hartmut Ehrig" link: "https://researchr.org/alias/hartmut-ehrig" - name: "Ugo Montanari" link: "https://researchr.org/alias/ugo-montanari" - name: "Leila Ribeiro" link: "https://researchr.org/alias/leila-ribeiro" - name: "Grzegorz Rozenberg" link: "https://researchr.org/alias/grzegorz-rozenberg" volume: "4178" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-38870-2" kind: "inproceedings" key: "EhrigHL06" - title: "Relating functional requirements and software architecture: separation and consistency of concerns" author: - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Gregor Engels" link: "https://researchr.org/alias/gregor-engels" year: "2002" doi: "http://dx.doi.org/10.1002/smr.261" links: doi: "http://dx.doi.org/10.1002/smr.261" tags: - "software architecture" - "separation of concerns" - "architecture" - "consistency" researchr: "https://researchr.org/publication/HeckelE02" cites: 0 citedby: 0 journal: "Journal of Software Maintenance" volume: "14" number: "5" pages: "371-388" kind: "article" key: "HeckelE02" - title: "Structural and behavioural compatibility of graphical service specifications" author: - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Alexey Cherchago" link: "https://researchr.org/alias/alexey-cherchago" year: "2007" doi: "http://dx.doi.org/10.1016/j.jlap.2006.05.003" links: doi: "http://dx.doi.org/10.1016/j.jlap.2006.05.003" researchr: "https://researchr.org/publication/HeckelC07" cites: 0 citedby: 0 journal: "Journal of Logic and Algebraic Programming" volume: "70" number: "1" pages: "15-33" kind: "article" key: "HeckelC07" - title: "Guest Editorial to the Special Issue on Language Engineering for Model-Driven Software Development" author: - name: "Jean Bézivin" link: "https://researchr.org/alias/jean-b%C3%A9zivin" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" year: "2006" doi: "http://dx.doi.org/10.1007/s10270-006-0028-6" links: doi: "http://dx.doi.org/10.1007/s10270-006-0028-6" tags: - "meta-model" - "modeling language" - "language engineering" - "software language engineering" - "language modeling" - "model-driven development" - "software engineering" - "model-driven engineering" - "Meta-Environment" researchr: "https://researchr.org/publication/BezivinH06" cites: 0 citedby: 0 journal: "Software and Systems Modeling" volume: "5" number: "3" pages: "231-232" kind: "article" key: "BezivinH06" - title: "Towards Dynamic Meta Modeling of UML Extensions: An Extensible Semantics for UML Sequence Diagrams" author: - name: "Jan Hendrik Hausmann" link: "https://researchr.org/alias/jan-hendrik-hausmann" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Stefan Sauer" link: "https://researchr.org/alias/stefan-sauer" year: "2001" doi: "http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740080abs.htm" links: doi: "http://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740080abs.htm" tags: - "semantics" - "meta-model" - "modeling" - "UML" - "sequence diagrams" - "Meta-Environment" - "meta-objects" researchr: "https://researchr.org/publication/HausmannHS01" cites: 0 citedby: 0 pages: "80-87" booktitle: "2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), September 5-7, 2001 Stresa, Italy" publisher: "IEEE Computer Society" kind: "inproceedings" key: "HausmannHS01" - title: "Ensuring consistency of conditional graph rewriting - a constructive approach" author: - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Annika Wagner" link: "https://researchr.org/alias/annika-wagner" year: "1995" doi: "http://www.elsevier.com/gej-ng/31/29/23/27/23/show/Products/notes/index.htt#016" links: doi: "http://www.elsevier.com/gej-ng/31/29/23/27/23/show/Products/notes/index.htt#016" tags: - "graph-rewriting" - "consistency" - "rewriting" - "systematic-approach" researchr: "https://researchr.org/publication/HeckelW95" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "2" pages: "118-126" kind: "article" key: "HeckelW95" - title: "04101 Abstracts Collection - Language Engineering for Model-Driven Software Development" author: - name: "Jean Bézivin" link: "https://researchr.org/alias/jean-b%C3%A9zivin" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" year: "2004" doi: "http://drops.dagstuhl.de/opus/volltexte/2005/25" links: doi: "http://drops.dagstuhl.de/opus/volltexte/2005/25" tags: - "meta-model" - "modeling language" - "language engineering" - "software language engineering" - "language modeling" - "model-driven development" - "software engineering" - "model-driven engineering" - "Meta-Environment" researchr: "https://researchr.org/publication/BezivinH04a" cites: 0 citedby: 0 booktitle: "Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004" editor: - name: "Jean Bézivin" link: "https://researchr.org/alias/jean-b%C3%A9zivin" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" volume: "04101" series: "Dagstuhl Seminar Proceedings" publisher: "Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany" kind: "inproceedings" key: "BezivinH04a" - title: "Towards Contract-based Testing of Web Services" author: - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Marc Lohmann" link: "https://researchr.org/alias/marc-lohmann" year: "2005" doi: "http://dx.doi.org/10.1016/j.entcs.2004.02.073" links: doi: "http://dx.doi.org/10.1016/j.entcs.2004.02.073" tags: - "rule-based" - "contracts" - "web service" - "testing" - "web services" researchr: "https://researchr.org/publication/HeckelL05" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "116" pages: "145-156" kind: "article" key: "HeckelL05" - title: "Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation" author: - name: "Jan Hendrik Hausmann" link: "https://researchr.org/alias/jan-hendrik-hausmann" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Gabriele Taentzer" link: "http://www.mathematik.uni-marburg.de/~taentzer/" year: "2002" doi: "http://doi.acm.org/10.1145/581339.581355" links: doi: "http://doi.acm.org/10.1145/581339.581355" tags: - "graph transformation" - "analysis" - "static analysis" - "graph-rewriting" - "rewriting" - "systematic-approach" - "transformation" researchr: "https://researchr.org/publication/HausmannHT02" cites: 0 citedby: 0 pages: "105-115" booktitle: "Proceedings of the 22rd International Conference on Software Engineering, ICSE 2002, 19-25 May 2002, Orlando, Florida, USA" publisher: "ACM" kind: "inproceedings" key: "HausmannHT02" - title: "Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach" author: - name: "Andrea Corradini" link: "https://researchr.org/alias/andrea-corradini" - name: "Ugo Montanari" link: "https://researchr.org/alias/ugo-montanari" - name: "Francesca Rossi" link: "https://researchr.org/alias/francesca-rossi" - name: "Hartmut Ehrig" link: "https://researchr.org/alias/hartmut-ehrig" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Michael Löwe" link: "https://researchr.org/alias/michael-l%C3%B6we" year: "1997" tags: - "graph transformation" - "graph-rewriting" - " algebra" - "rewriting" - "systematic-approach" - "transformation" researchr: "https://researchr.org/publication/CorradiniMREHL97" cites: 0 citedby: 0 pages: "163-246" booktitle: "Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations" editor: - name: "Grzegorz Rozenberg" link: "https://researchr.org/alias/grzegorz-rozenberg" publisher: "World Scientific" isbn: "9810228848" kind: "inproceedings" key: "CorradiniMREHL97" - title: "Modeling and Simulation of Context-Aware Mobile Systems" author: - name: "Ping Guo" link: "https://researchr.org/alias/ping-guo" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" year: "2004" doi: "http://csdl.computer.org/comp/proceedings/ase/2004/2131/00/21310430abs.htm" links: doi: "http://csdl.computer.org/comp/proceedings/ase/2004/2131/00/21310430abs.htm" tags: - "modeling" - "context-aware" - "mobile" researchr: "https://researchr.org/publication/GuoH04%3A2" cites: 0 citedby: 0 pages: "430-433" booktitle: "19th IEEE International Conference on Automated Software Engineering (ASE 2004), 20-25 September 2004, Linz, Austria" publisher: "IEEE Computer Society" isbn: "0-7695-2131-2" kind: "inproceedings" key: "GuoH04:2" - title: "Model-based Discovery of Web Services" author: - name: "Jan Hendrik Hausmann" link: "https://researchr.org/alias/jan-hendrik-hausmann" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Marc Lohmann" link: "https://researchr.org/alias/marc-lohmann" year: "2004" doi: "http://doi.ieeecomputersociety.org/10.1109/ICWS.2004.80" links: doi: "http://doi.ieeecomputersociety.org/10.1109/ICWS.2004.80" tags: - "rule-based" - "discovery" - "web service" - "web services" researchr: "https://researchr.org/publication/HausmannHL04" cites: 0 citedby: 0 pages: "324-331" booktitle: "Proceedings of the IEEE International Conference on Web Services (ICWS 04), June 6-9, 2004, San Diego, California, USA" publisher: "IEEE Computer Society" kind: "inproceedings" key: "HausmannHL04" - title: "A Combined Reference Model- and View-Based Approach to System Specification" author: - name: "Gregor Engels" link: "http://www.cs.uni-paderborn.de/fachgebiete/fg-engels/personen/visitenkarten/gregor-engels/visitenkarte.html" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Gabriele Taentzer" link: "http://www.mathematik.uni-marburg.de/~taentzer/" - name: "Hartmut Ehrig" link: "https://researchr.org/alias/hartmut-ehrig" year: "1997" doi: "http://dx.doi.org/10.1142/S0218194097000266" links: doi: "http://dx.doi.org/10.1142/S0218194097000266" tags: - "rule-based" - "systematic-approach" researchr: "https://researchr.org/publication/EngelsHTE97" cites: 0 citedby: 0 journal: "International Journal of Software Engineering and Knowledge Engineering" volume: "7" number: "4" pages: "457-477" kind: "article" key: "EngelsHTE97" - title: "Model-Based Development of Executable Business Processes for Web Services" author: - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Hendrik Voigt" link: "https://researchr.org/alias/hendrik-voigt" year: "2003" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3098&spage=559" links: doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3098&spage=559" tags: - "rule-based" - "meta-model" - "web service" - "business process modeling" - "model-driven development" - "web services" - "Meta-Environment" - "process modeling" researchr: "https://researchr.org/publication/HeckelV03" cites: 0 citedby: 0 pages: "559-584" booktitle: "Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additiona" editor: - name: "Jörg Desel" link: "https://researchr.org/alias/j%C3%B6rg-desel" - name: "Wolfgang Reisig" link: "https://researchr.org/alias/wolfgang-reisig" - name: "Grzegorz Rozenberg" link: "https://researchr.org/alias/grzegorz-rozenberg" volume: "3098" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-22261-8" kind: "inproceedings" key: "HeckelV03" - title: "Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems" author: - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Hartmut Ehrig" link: "https://researchr.org/alias/hartmut-ehrig" - name: "Uwe Wolter" link: "https://researchr.org/alias/uwe-wolter" - name: "Andrea Corradini" link: "https://researchr.org/alias/andrea-corradini" year: "2001" doi: "http://dx.doi.org/10.1023/A:1008734426504" links: doi: "http://dx.doi.org/10.1023/A:1008734426504" tags: - "semantics" - "graph transformation" - "graph-rewriting" - "transformation system" - "rewriting" - "transformation" researchr: "https://researchr.org/publication/HeckelEWC01" cites: 0 citedby: 0 journal: "Applied Categorical Structures" volume: "9" number: "1" pages: "83-110" kind: "article" key: "HeckelEWC01" - title: "Preface of Proceedings of the Workshop on Software Evolution through Transformations: Model-based vs. Implementation-level Solutions (SETra 2004)" author: - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Tom Mens" link: "http://staff.umh.ac.be/Mens.Tom/" year: "2005" doi: "http://dx.doi.org/10.1016/j.entcs.2004.08.028" links: doi: "http://dx.doi.org/10.1016/j.entcs.2004.08.028" tags: - "model-to-model transformation" - "meta-model" - "software evolution" - "source-to-source" - "model transformation" - "Meta-Environment" - "transformation" researchr: "https://researchr.org/publication/HeckelM05" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "127" number: "3" pages: "1-3" kind: "article" key: "HeckelM05" - title: "Concurrency and Loose Semantics of Open Graph Transformation Systems" author: - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Mercè Llabrés" link: "https://researchr.org/alias/merc%C3%A8-llabr%C3%A9s" - name: "Hartmut Ehrig" link: "https://researchr.org/alias/hartmut-ehrig" - name: "Fernando Orejas" link: "https://researchr.org/alias/fernando-orejas" year: "2002" tags: - "model-to-model transformation" - "semantics" - "graph transformation" - "source-to-source" - "graph-rewriting" - "transformation system" - "model transformation" - "rewriting" - "open-source" - "transformation" researchr: "https://researchr.org/publication/HeckelLEO02" cites: 0 citedby: 0 journal: "Mathematical Structures in Computer Science" volume: "12" number: "4" pages: "349-376" kind: "article" key: "HeckelLEO02" - title: "Formal agent-oriented modeling with UML and graph transformation" author: - name: "Ralph Depke" link: "https://researchr.org/alias/ralph-depke" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Jochen Malte Küster" link: "https://researchr.org/alias/jochen-malte-k%C3%BCster" year: "2002" doi: "http://dx.doi.org/10.1016/S0167-6423(02)00040-0" links: doi: "http://dx.doi.org/10.1016/S0167-6423(02)00040-0" tags: - "model-to-model transformation" - "graph transformation" - "meta-model" - "modeling" - "UML" - "source-to-source" - "graph-rewriting" - "model transformation" - "Meta-Environment" - "rewriting" - "transformation" researchr: "https://researchr.org/publication/DepkeHK02" cites: 0 citedby: 0 journal: "Science of Computer Programming" volume: "44" number: "2" pages: "229-252" kind: "article" key: "DepkeHK02" - title: "A compositional approach to structuring and refinement of typed graph grammars" author: - name: "Andrea Corradini" link: "https://researchr.org/alias/andrea-corradini" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" year: "1995" doi: "http://www.elsevier.com/gej-ng/31/29/23/27/23/show/Products/notes/index.htt#008" links: doi: "http://www.elsevier.com/gej-ng/31/29/23/27/23/show/Products/notes/index.htt#008" tags: - "refinement" - "composition" - "graph-rewriting" - "rewriting" - "systematic-approach" - "grammar" researchr: "https://researchr.org/publication/CorradiniH95" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "2" pages: "46-55" kind: "article" key: "CorradiniH95" - title: "Compositional Verification of Reactive Systems Specified by Graph Transformation" author: - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" year: "1998" doi: "http://link.springer.de/link/service/series/0558/bibs/1382/13820138.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/1382/13820138.htm" tags: - "graph transformation" - "composition" - "graph-rewriting" - "transformation system" - "rewriting" - "transformation" researchr: "https://researchr.org/publication/Heckel98" cites: 0 citedby: 0 pages: "138-153" booktitle: "Fundamental Approaches to Software Engineering, 1st Internationsl Conference, FASE 98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings" editor: - name: "Egidio Astesiano" link: "https://researchr.org/alias/egidio-astesiano" volume: "1382" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-64303-6" kind: "inproceedings" key: "Heckel98" - title: "Model-Based Development of Web Services Descriptions Enabling a Precise Matching Concept" author: - name: "Jan Hendrik Hausmann" link: "https://researchr.org/alias/jan-hendrik-hausmann" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Marc Lohmann" link: "https://researchr.org/alias/marc-lohmann" year: "2005" tags: - "rule-based" - "meta-model" - "web service" - "model-driven development" - "web services" - "Meta-Environment" researchr: "https://researchr.org/publication/HausmannHL05" cites: 0 citedby: 0 journal: "Int. J. Web Service Res." volume: "2" number: "2" pages: "67-84" kind: "article" key: "HausmannHL05" - title: "Modeling and validation of service-oriented architectures: application vs. style" author: - name: "Luciano Baresi" link: "https://researchr.org/alias/luciano-baresi" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Sebastian Thöne" link: "https://researchr.org/alias/sebastian-th%C3%B6ne" - name: "Dániel Varró" link: "https://researchr.org/alias/d%C3%A1niel-varr%C3%B3" year: "2003" doi: "http://doi.acm.org/10.1145/940071.940082" links: doi: "http://doi.acm.org/10.1145/940071.940082" tags: - "modeling" - "architecture" researchr: "https://researchr.org/publication/BaresiHTV03" cites: 0 citedby: 0 pages: "68-77" booktitle: "Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, ESEC/FSE 2003, Helsinki, Finland, September 1-5, 2003" publisher: "ACM" kind: "inproceedings" key: "BaresiHTV03" - title: "Stochastic Graph Transformation Systems" author: - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Georgios Lajios" link: "https://researchr.org/alias/georgios-lajios" - name: "Sebastian Menge" link: "https://researchr.org/alias/sebastian-menge" year: "2004" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3256&spage=210" links: doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3256&spage=210" tags: - "graph transformation" - "graph-rewriting" - "transformation system" - "rewriting" - "transformation" researchr: "https://researchr.org/publication/HeckelLM04" cites: 0 citedby: 0 pages: "210-225" booktitle: "Graph Transformations, Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 2, 2004, Proceedings" editor: - name: "Hartmut Ehrig" link: "https://researchr.org/alias/hartmut-ehrig" - name: "Gregor Engels" link: "http://www.cs.uni-paderborn.de/fachgebiete/fg-engels/personen/visitenkarten/gregor-engels/visitenkarte.html" - name: "Francesco Parisi-Presicce" link: "https://researchr.org/alias/francesco-parisi-presicce" - name: "Grzegorz Rozenberg" link: "https://researchr.org/alias/grzegorz-rozenberg" volume: "3256" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-23207-9" kind: "inproceedings" key: "HeckelLM04" - title: "Structured Transition Systems as Lax Coalgebras" author: - name: "Andrea Corradini" link: "https://researchr.org/alias/andrea-corradini" - name: "Martin Große-Rhode" link: "https://researchr.org/alias/martin-gro%C3%9Fe-rhode" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" year: "1998" doi: "http://www.elsevier.com/gej-ng/31/29/23/36/23/show/Products/notes/index.htt#003" links: doi: "http://www.elsevier.com/gej-ng/31/29/23/36/23/show/Products/notes/index.htt#003" researchr: "https://researchr.org/publication/CorradiniGH98%3A0" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "11" pages: "22-41" kind: "article" key: "CorradiniGH98:0" - title: "Model-Based Verification and Validation of Properties" author: - name: "Gregor Engels" link: "http://www.cs.uni-paderborn.de/fachgebiete/fg-engels/personen/visitenkarten/gregor-engels/visitenkarte.html" - name: "Jochen Malte Küster" link: "https://researchr.org/alias/jochen-malte-k%C3%BCster" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Marc Lohmann" link: "https://researchr.org/alias/marc-lohmann" year: "2003" doi: "http://www1.elsevier.com/gej-ng/31/29/23/133/48/show/Products/notes/index.htt#011" links: doi: "http://www1.elsevier.com/gej-ng/31/29/23/133/48/show/Products/notes/index.htt#011" tags: - "rule-based" researchr: "https://researchr.org/publication/EngelsKHL03" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "82" number: "7" pages: "133-150" kind: "article" key: "EngelsKHL03" - title: "Style-Based Refinement of Dynamic Software Architectures" author: - name: "Luciano Baresi" link: "https://researchr.org/alias/luciano-baresi" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Sebastian Thöne" link: "https://researchr.org/alias/sebastian-th%C3%B6ne" - name: "Dániel Varró" link: "https://researchr.org/alias/d%C3%A1niel-varr%C3%B3" year: "2004" doi: "http://csdl.computer.org/comp/proceedings/wicsa/2004/2172/00/21720155abs.htm" links: doi: "http://csdl.computer.org/comp/proceedings/wicsa/2004/2172/00/21720155abs.htm" tags: - "rule-based" - "software architecture" - "refinement" - "architecture" researchr: "https://researchr.org/publication/BaresiHTV04" cites: 0 citedby: 0 pages: "155-166" booktitle: "4th Working IEEE / IFIP Conference on Software Architecture (WICSA 2004), 12-15 June 2004, Oslo, Norway" publisher: "IEEE Computer Society" isbn: "0-7695-2172-X" kind: "inproceedings" key: "BaresiHTV04" - title: "Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution" author: - name: "Gregor Engels" link: "http://www.cs.uni-paderborn.de/fachgebiete/fg-engels/personen/visitenkarten/gregor-engels/visitenkarte.html" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" year: "2000" doi: "http://link.springer.de/link/service/series/0558/bibs/1853/18530127.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/1853/18530127.htm" tags: - "model-to-model transformation" - "graph transformation" - "meta-model" - "modeling" - "source-to-source" - "graph-rewriting" - "transformation system" - "model transformation" - "Meta-Environment" - "rewriting" - "transformation" researchr: "https://researchr.org/publication/EngelsH00" cites: 0 citedby: 0 pages: "127-150" booktitle: "Automata, Languages and Programming, 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings" editor: - name: "Ugo Montanari" link: "https://researchr.org/alias/ugo-montanari" - name: "José D. P. Rolim" link: "https://researchr.org/alias/jos%C3%A9-d.-p.-rolim" - name: "Emo Welzl" link: "https://researchr.org/alias/emo-welzl" volume: "1853" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-67715-1" kind: "inproceedings" key: "EngelsH00" - title: "Defining and validating transformations of UML models" author: - name: "Jochen Malte Küster" link: "https://researchr.org/alias/jochen-malte-k%C3%BCster" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Gregor Engels" link: "http://www.cs.uni-paderborn.de/fachgebiete/fg-engels/personen/visitenkarten/gregor-engels/visitenkarte.html" year: "2003" tags: - "model-to-model transformation" - "meta-model" - "UML" - "source-to-source" - "model transformation" - "Meta-Environment" - "transformation" researchr: "https://researchr.org/publication/KusterHE03" cites: 0 citedby: 0 pages: "145-152" booktitle: "2003 IEEE Symposium on Human Centric Computing Languages and Environments (HCC 2003), 28-31 October 2003, Auckland, New Zealand" publisher: "IEEE Computer Society" isbn: "0-7803-8225-0" kind: "inproceedings" key: "KusterHE03" - title: "Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract" author: - name: "Gregor Engels" link: "http://www.cs.uni-paderborn.de/fachgebiete/fg-engels/personen/visitenkarten/gregor-engels/visitenkarte.html" - name: "Marc Lohmann" link: "https://researchr.org/alias/marc-lohmann" - name: "Stefan Sauer" link: "https://researchr.org/alias/stefan-sauer" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" year: "2006" doi: "http://dx.doi.org/10.1007/11841883_24" links: doi: "http://dx.doi.org/10.1007/11841883_24" tags: - "model-to-model transformation" - "graph transformation" - "contracts" - "meta-model" - "source-to-source" - "graph-rewriting" - "model transformation" - "Meta-Environment" - "rewriting" - "design" - "transformation" researchr: "https://researchr.org/publication/EngelsLSH06" cites: 0 citedby: 0 pages: "336-350" booktitle: "Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings" editor: - name: "Andrea Corradini" link: "https://researchr.org/alias/andrea-corradini" - name: "Hartmut Ehrig" link: "https://researchr.org/alias/hartmut-ehrig" - name: "Ugo Montanari" link: "https://researchr.org/alias/ugo-montanari" - name: "Leila Ribeiro" link: "https://researchr.org/alias/leila-ribeiro" - name: "Grzegorz Rozenberg" link: "https://researchr.org/alias/grzegorz-rozenberg" volume: "4178" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-38870-2" kind: "inproceedings" key: "EngelsLSH06" - title: "An inductive view of graph transformation" author: - name: "Fabio Gadducci" link: "https://researchr.org/alias/fabio-gadducci" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" year: "1997" tags: - "graph transformation" - "graph-rewriting" - "rewriting" - "transformation" researchr: "https://researchr.org/publication/GadducciH97" cites: 0 citedby: 0 pages: "223-237" booktitle: "Recent Trends in Algebraic Development Techniques, 12th International Workshop, WADT 97, Tarquinia, Italy, June 1997, Selected Papers" editor: - name: "Francesco Parisi-Presicce" link: "https://researchr.org/alias/francesco-parisi-presicce" volume: "1376" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-64299-4" kind: "inproceedings" key: "GadducciH97" - title: "Preface" author: - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" year: "2006" doi: "http://dx.doi.org/10.1016/j.entcs.2005.12.009" links: doi: "http://dx.doi.org/10.1016/j.entcs.2005.12.009" researchr: "https://researchr.org/publication/Heckel06%3A0" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "148" number: "1" pages: "1-3" kind: "article" key: "Heckel06:0" - title: "Specification Matching of Web Services Using Conditional Graph Transformation Rules" author: - name: "Alexey Cherchago" link: "https://researchr.org/alias/alexey-cherchago" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" year: "2004" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3256&spage=304" links: doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3256&spage=304" tags: - "rule-based" - "graph transformation" - "web service" - "graph-rewriting" - "rules" - "web services" - "rewriting" - "transformation" researchr: "https://researchr.org/publication/CherchagoH04" cites: 0 citedby: 0 pages: "304-318" booktitle: "Graph Transformations, Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 2, 2004, Proceedings" editor: - name: "Hartmut Ehrig" link: "https://researchr.org/alias/hartmut-ehrig" - name: "Gregor Engels" link: "http://www.cs.uni-paderborn.de/fachgebiete/fg-engels/personen/visitenkarten/gregor-engels/visitenkarte.html" - name: "Francesco Parisi-Presicce" link: "https://researchr.org/alias/francesco-parisi-presicce" - name: "Grzegorz Rozenberg" link: "https://researchr.org/alias/grzegorz-rozenberg" volume: "3256" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-23207-9" kind: "inproceedings" key: "CherchagoH04" - title: "An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories" author: - name: "Andrea Corradini" link: "https://researchr.org/alias/andrea-corradini" - name: "Martin Große-Rhode" link: "https://researchr.org/alias/martin-gro%C3%9Fe-rhode" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" year: "1998" doi: "http://link.springer.de/link/service/series/0558/bibs/1589/15890092.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/1589/15890092.htm" tags: - "graph-rewriting" - " algebra" - "rewriting" researchr: "https://researchr.org/publication/CorradiniGH98" cites: 0 citedby: 0 pages: "92-106" booktitle: "Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT 98, Lisbon, Portugal, April 2-4, 1998, Selected Papers" editor: - name: "José Luiz Fiadeiro" link: "https://researchr.org/alias/jos%C3%A9-luiz-fiadeiro" volume: "1589" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-66246-4" kind: "inproceedings" key: "CorradiniGH98" - title: "Behavior-Preserving Refinement Relations between Dynamic Software Architectures" author: - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Sebastian Thöne" link: "https://researchr.org/alias/sebastian-th%C3%B6ne" year: "2004" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3423&spage=1" links: doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3423&spage=1" tags: - "software architecture" - "refinement" - "architecture" researchr: "https://researchr.org/publication/HeckelT04" cites: 0 citedby: 0 pages: "1-27" booktitle: "Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers" editor: - name: "José Luiz Fiadeiro" link: "https://researchr.org/alias/jos%C3%A9-luiz-fiadeiro" - name: "Peter D. Mosses" link: "https://pdmosses.github.io" - name: "Fernando Orejas" link: "https://researchr.org/alias/fernando-orejas" volume: "3423" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-25327-0" kind: "inproceedings" key: "HeckelT04" - title: "A Formal Approach to Service Specification and Matching based on Graph Transformation" author: - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Alexey Cherchago" link: "https://researchr.org/alias/alexey-cherchago" - name: "Marc Lohmann" link: "https://researchr.org/alias/marc-lohmann" year: "2004" doi: "http://dx.doi.org/10.1016/j.entcs.2004.05.006" links: doi: "http://dx.doi.org/10.1016/j.entcs.2004.05.006" tags: - "rule-based" - "graph transformation" - "graph-rewriting" - "rewriting" - "systematic-approach" - "transformation" researchr: "https://researchr.org/publication/HeckelCL04" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "105" pages: "37-49" kind: "article" key: "HeckelCL04" - title: "A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services" author: - name: "Marc Lohmann" link: "https://researchr.org/alias/marc-lohmann" - name: "Leonardo Mariani" link: "https://researchr.org/alias/leonardo-mariani" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-72912-9_7" links: doi: "http://dx.doi.org/10.1007/978-3-540-72912-9_7" tags: - "discovery" - "web service" - "testing" - "web services" - "systematic-approach" researchr: "https://researchr.org/publication/conf-swb-LohmannMH07" cites: 0 citedby: 0 pages: "173-204" booktitle: "Test and Analysis of Web Services" editor: - name: "Luciano Baresi" link: "https://researchr.org/alias/luciano-baresi" - name: "Elisabetta Di Nitto" link: "https://researchr.org/alias/elisabetta-di-nitto" publisher: "Springer" isbn: "978-3-540-72912-9" kind: "incollection" key: "conf-swb-LohmannMH07" - title: "Automatic Conformance Testing of Web Services" author: - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Leonardo Mariani" link: "https://researchr.org/alias/leonardo-mariani" year: "2005" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3442&spage=34" links: doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3442&spage=34" tags: - "web service" - "testing" - "web services" researchr: "https://researchr.org/publication/HeckelM05%3A0" cites: 0 citedby: 0 pages: "34-48" booktitle: "Fundamental Approaches to Software Engineering, 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings" editor: - name: "Maura Cerioli" link: "https://researchr.org/alias/maura-cerioli" volume: "3442" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-25420-X" kind: "inproceedings" key: "HeckelM05:0" - title: "Introductory Tutorial on Foundations and Applications of Graph Transformation" author: - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" year: "2006" doi: "http://dx.doi.org/10.1007/11841883_32" links: doi: "http://dx.doi.org/10.1007/11841883_32" tags: - "graph transformation" - "graph-rewriting" - "rewriting" - "transformation" researchr: "https://researchr.org/publication/Heckel06" cites: 0 citedby: 0 pages: "461-462" booktitle: "Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings" editor: - name: "Andrea Corradini" link: "https://researchr.org/alias/andrea-corradini" - name: "Hartmut Ehrig" link: "https://researchr.org/alias/hartmut-ehrig" - name: "Ugo Montanari" link: "https://researchr.org/alias/ugo-montanari" - name: "Leila Ribeiro" link: "https://researchr.org/alias/leila-ribeiro" - name: "Grzegorz Rozenberg" link: "https://researchr.org/alias/grzegorz-rozenberg" volume: "4178" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-38870-2" kind: "inproceedings" key: "Heckel06" - title: "Verification of Architectural Refactorings by Rule Extraction" author: - name: "Dénes Bisztray" link: "https://researchr.org/alias/d%C3%A9nes-bisztray" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Hartmut Ehrig" link: "https://researchr.org/alias/hartmut-ehrig" year: "2008" doi: "http://dx.doi.org/10.1007/978-3-540-78743-3_26" links: doi: "http://dx.doi.org/10.1007/978-3-540-78743-3_26" tags: - "rule-based" - "refactoring" - "architecture" - "rules" - "rule-based refactoring" researchr: "https://researchr.org/publication/BisztrayHE08" cites: 0 citedby: 0 pages: "347-361" booktitle: "Fundamental Approaches to Software Engineering, 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings" editor: - name: "José Luiz Fiadeiro" link: "https://researchr.org/alias/jos%C3%A9-luiz-fiadeiro" - name: "Paola Inverardi" link: "https://researchr.org/alias/paola-inverardi" volume: "4961" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-78742-6" kind: "inproceedings" key: "BisztrayHE08" - title: "Stochastic Simulation of Graph Transformation Systems" author: - name: "Paolo Torrini" link: "https://researchr.org/alias/paolo-torrini" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "István Ráth" link: "https://researchr.org/alias/istv%C3%A3%C2%A1n-r%C3%A3%C2%A1th" year: "2010" doi: "http://dx.doi.org/10.1007/978-3-642-12029-9_11" links: doi: "http://dx.doi.org/10.1007/978-3-642-12029-9_11" tags: - "graph transformation" - "graph-rewriting" - "transformation system" - "rewriting" - "transformation" researchr: "https://researchr.org/publication/TorriniHR10" cites: 0 citedby: 0 pages: "154-157" booktitle: "Fundamental Approaches to Software Engineering, 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings" editor: - name: "David S. Rosenblum" link: "https://researchr.org/alias/david-s.-rosenblum" - name: "Gabriele Taentzer" link: "http://www.mathematik.uni-marburg.de/~taentzer/" volume: "6013" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-12028-2" kind: "inproceedings" key: "TorriniHR10" - title: "Architectural Style - Based Modeling and Simulation of Complex Software Systems" author: - name: "Ping Guo" link: "https://researchr.org/alias/ping-guo" - name: "Gregor Engels" link: "http://www.cs.uni-paderborn.de/fachgebiete/fg-engels/personen/visitenkarten/gregor-engels/visitenkarte.html" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" year: "2005" doi: "http://doi.ieeecomputersociety.org/10.1109/APSEC.2005.41" links: doi: "http://doi.ieeecomputersociety.org/10.1109/APSEC.2005.41" tags: - "rule-based" - "software architecture" - "modeling" - "architecture" researchr: "https://researchr.org/publication/GuoEH05" cites: 0 citedby: 0 pages: "367-374" booktitle: "12th Asia-Pacific Software Engineering Conference (APSEC 2005), 15-17 December 2005, Taipei, Taiwan" publisher: "IEEE Computer Society" isbn: "0-7695-2465-6" kind: "inproceedings" key: "GuoEH05" - title: "From Trees to Graphs: Defining the Semantics of Diagram Languages with Graph Transformation" author: - name: "Gregor Engels" link: "http://www.cs.uni-paderborn.de/fachgebiete/fg-engels/personen/visitenkarten/gregor-engels/visitenkarte.html" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" year: "2000" tags: - "semantics" - "graph transformation" - "transformation language" - "graph-rewriting" - "rewriting" - "transformation" researchr: "https://researchr.org/publication/EngelsH00a" cites: 0 citedby: 0 pages: "373-382" booktitle: "Automata, Languages and Programming, 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings" editor: - name: "Ugo Montanari" link: "https://researchr.org/alias/ugo-montanari" - name: "José D. P. Rolim" link: "https://researchr.org/alias/jos%C3%A9-d.-p.-rolim" - name: "Emo Welzl" link: "https://researchr.org/alias/emo-welzl" volume: "1853" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-67715-1" kind: "inproceedings" key: "EngelsH00a" - title: "A Fully Abstract Model for Graph-Interpreted Temporal Logic" author: - name: "Fabio Gadducci" link: "https://researchr.org/alias/fabio-gadducci" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Manuel Koch" link: "https://researchr.org/alias/manuel-koch" year: "1998" tags: - "graph-rewriting" - "logic" - "rewriting logic" - "rewriting" researchr: "https://researchr.org/publication/GadducciHK98" cites: 0 citedby: 0 pages: "310-322" booktitle: "Theory and Application of Graph Transformations, 6th International Workshop, TAGT 98, Paderborn, Germany, November 16-20, 1998, Selected Papers" editor: - name: "Hartmut Ehrig" link: "https://researchr.org/alias/hartmut-ehrig" - name: "Gregor Engels" link: "http://www.cs.uni-paderborn.de/fachgebiete/fg-engels/personen/visitenkarten/gregor-engels/visitenkarte.html" - name: "Hans-Jörg Kreowski" link: "https://researchr.org/alias/hans-j%C3%B6rg-kreowski" - name: "Grzegorz Rozenberg" link: "https://researchr.org/alias/grzegorz-rozenberg" volume: "1764" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-67203-6" kind: "inproceedings" key: "GadducciHK98" - title: "Model-Based Development of Web Applications Using Graphical Reaction Rules" author: - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Marc Lohmann" link: "https://researchr.org/alias/marc-lohmann" year: "2003" doi: "http://link.springer.de/link/service/series/0558/bibs/2621/26210170.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/2621/26210170.htm" tags: - "rule-based" - "meta-model" - "model-driven development" - "rules" - "web applications" - "Meta-Environment" researchr: "https://researchr.org/publication/HeckelL03%3A0" cites: 0 citedby: 0 pages: "170-183" booktitle: "Fundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings" editor: - name: "Mauro Pezzè" link: "https://researchr.org/alias/mauro-pezz%C3%A8" volume: "2621" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-00899-3" kind: "inproceedings" key: "HeckelL03:0" - title: "Agent-Oriented Modeling with Graph Transformation" author: - name: "Ralph Depke" link: "https://researchr.org/alias/ralph-depke" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Jochen Malte Küster" link: "https://researchr.org/alias/jochen-malte-k%C3%BCster" year: "2000" doi: "http://link.springer.de/link/service/series/0558/bibs/1957/19570105.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/1957/19570105.htm" tags: - "model-to-model transformation" - "graph transformation" - "meta-model" - "modeling" - "source-to-source" - "graph-rewriting" - "model transformation" - "Meta-Environment" - "rewriting" - "transformation" researchr: "https://researchr.org/publication/DepkeHK00%3A0" cites: 0 citedby: 0 pages: "105-120" booktitle: "Agent-Oriented Software Engineering, First International Workshop, AOSE 2000, Limerick, Ireland, June 10, 2000, Revised Papers" editor: - name: "Paolo Ciancarini" link: "https://researchr.org/alias/paolo-ciancarini" - name: "Michael Wooldridge" link: "https://researchr.org/alias/michael-wooldridge" volume: "1957" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-41594-7" kind: "inproceedings" key: "DepkeHK00:0" - title: "Strengthening UML Collaboration Diagrams by State Transformations" author: - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Stefan Sauer" link: "https://researchr.org/alias/stefan-sauer" year: "2001" doi: "http://link.springer.de/link/service/series/0558/bibs/2029/20290109.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/2029/20290109.htm" tags: - "UML" - "transformation" researchr: "https://researchr.org/publication/HeckelS01" cites: 0 citedby: 0 pages: "109-123" booktitle: "Fundamental Approaches to Software Engineering, 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings" editor: - name: "Heinrich Hußmann" link: "https://researchr.org/alias/heinrich-hu%C3%9Fmann" volume: "2029" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-41863-6" kind: "inproceedings" key: "HeckelS01" - title: "Model-driven development of reactive information systems: from graph transformation rules to JML contracts" author: - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Marc Lohmann" link: "https://researchr.org/alias/marc-lohmann" year: "2007" doi: "http://dx.doi.org/10.1007/s10009-006-0020-z" links: doi: "http://dx.doi.org/10.1007/s10009-006-0020-z" tags: - "model-to-model transformation" - "rule-based" - "graph transformation" - "contracts" - "meta-model" - "model-driven development" - "source-to-source" - "graph-rewriting" - "rules" - "transformation system" - "model transformation" - "information models" - "Meta-Environment" - "rewriting" - "transformation" researchr: "https://researchr.org/publication/HeckelL07" cites: 0 citedby: 0 journal: "STTT" volume: "9" number: "2" pages: "193-207" kind: "article" key: "HeckelL07" - title: "Graph Transformation and Visual Modeling Techniques: Workshop Summary and HowTo" author: - name: "Andrea Corradini" link: "https://researchr.org/alias/andrea-corradini" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" year: "2000" tags: - "model-to-model transformation" - "graph transformation" - "meta-model" - "modeling" - "source-to-source" - "graph-rewriting" - "model transformation" - "Meta-Environment" - "rewriting" - "transformation" researchr: "https://researchr.org/publication/CorradiniH00" cites: 0 citedby: 0 journal: "Bulletin of the EATCS" volume: "72" pages: "69-76" kind: "article" key: "CorradiniH00" - title: "A Coalgebraic presentation of structured transition systems" author: - name: "Andrea Corradini" link: "https://researchr.org/alias/andrea-corradini" - name: "Martin Große-Rhode" link: "https://researchr.org/alias/martin-gro%C3%9Fe-rhode" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" year: "2001" doi: "http://dx.doi.org/10.1016/S0304-3975(00)00121-3" links: doi: "http://dx.doi.org/10.1016/S0304-3975(00)00121-3" researchr: "https://researchr.org/publication/CorradiniGH01" cites: 0 citedby: 0 journal: "Theoretical Computer Science" volume: "260" number: "1-2" pages: "27-55" kind: "article" key: "CorradiniGH01" - title: "Compositional Verification of Architectural Refactorings" author: - name: "Dénes Bisztray" link: "https://researchr.org/alias/d%C3%A3%C2%A9nes-bisztray" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Hartmut Ehrig" link: "https://researchr.org/alias/hartmut-ehrig" year: "2008" doi: "http://dx.doi.org/10.1007/978-3-642-10248-6_13" links: doi: "http://dx.doi.org/10.1007/978-3-642-10248-6_13" tags: - "refactoring" - "architecture" - "composition" researchr: "https://researchr.org/publication/BisztrayHE08-1" cites: 0 citedby: 0 pages: "308-333" booktitle: "Architecting Dependable Systems VI" editor: - name: "Rogério de Lemos" link: "https://researchr.org/alias/rog%C3%A3%C2%A9rio-de-lemos" - name: "Jean-Charles Fabre" link: "https://researchr.org/alias/jean-charles-fabre" - name: "Cristina Gacek" link: "https://researchr.org/alias/cristina-gacek" - name: "Fabio Gadducci" link: "https://researchr.org/alias/fabio-gadducci" - name: "Maurice H. ter Beek" link: "https://researchr.org/alias/maurice-h.-ter-beek" volume: "5835" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-10247-9" kind: "inproceedings" key: "BisztrayHE08-1" - title: "Graph Transformation in a Nutshell" author: - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" year: "2004" doi: "http://drops.dagstuhl.de/opus/volltexte/2005/16" links: doi: "http://drops.dagstuhl.de/opus/volltexte/2005/16" tags: - "graph transformation" - "graph-rewriting" - "rewriting" - "transformation" researchr: "https://researchr.org/publication/Heckel04" cites: 0 citedby: 0 booktitle: "Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004" editor: - name: "Jean Bézivin" link: "https://researchr.org/alias/jean-b%C3%A9zivin" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" volume: "04101" series: "Dagstuhl Seminar Proceedings" publisher: "Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany" kind: "inproceedings" key: "Heckel04" - title: "Formalizing the Development of Agent-Based Systems Using Graph Processes" author: - name: "Ralph Depke" link: "https://researchr.org/alias/ralph-depke" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" year: "2000" tags: - "rule-based" - "graph-rewriting" - "rewriting" researchr: "https://researchr.org/publication/DepkeH00" cites: 0 citedby: 0 pages: "419-426" booktitle: "Automata, Languages and Programming, 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings" editor: - name: "Ugo Montanari" link: "https://researchr.org/alias/ugo-montanari" - name: "José D. P. Rolim" link: "https://researchr.org/alias/jos%C3%A9-d.-p.-rolim" - name: "Emo Welzl" link: "https://researchr.org/alias/emo-welzl" volume: "1853" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-67715-1" kind: "inproceedings" key: "DepkeH00" - title: "Horizontal and Vertical Structuring of Typed Graph Transformation Systems" author: - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Andrea Corradini" link: "https://researchr.org/alias/andrea-corradini" - name: "Hartmut Ehrig" link: "https://researchr.org/alias/hartmut-ehrig" - name: "Michael Löwe" link: "https://researchr.org/alias/michael-l%C3%B6we" year: "1996" tags: - "graph transformation" - "type system" - "graph-rewriting" - "transformation system" - "rewriting" - "transformation" researchr: "https://researchr.org/publication/HeckelCEL96" cites: 0 citedby: 0 journal: "Mathematical Structures in Computer Science" volume: "6" number: "6" pages: "613-648" kind: "article" key: "HeckelCEL96" - title: "Roles in Agent-Oriented Modeling" author: - name: "Ralph Depke" link: "https://researchr.org/alias/ralph-depke" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Jochen Malte Küster" link: "https://researchr.org/alias/jochen-malte-k%C3%BCster" year: "2001" tags: - "meta-model" - "modeling" - "object-role modeling" - "Meta-Environment" researchr: "https://researchr.org/publication/DepkeHK01" cites: 0 citedby: 0 journal: "International Journal of Software Engineering and Knowledge Engineering" volume: "11" number: "3" pages: "281-302" kind: "article" key: "DepkeHK01" - title: "Preface - Proceedings of the Third Workshop on Software Evolution through Transformations: Embracing the Change (SeTra 2006)" author: - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Jean-Marie Favre" link: "http://megaplanet.org/jean-marie-favre/" - name: "Tom Mens" link: "http://staff.umh.ac.be/Mens.Tom/" year: "2006" doi: "http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/35/24" links: doi: "http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/35/24" tags: - "software evolution" - "transformation" researchr: "https://researchr.org/publication/HeckelFM06" cites: 0 citedby: 0 journal: "ECEASST" volume: "3" kind: "article" key: "HeckelFM06" - title: "Preface of Proceedings 7th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008)" author: - name: "Claudia Ermel" link: "http://www.tfs.tu-berlin.de/menue/home/team/ermel_claudia/" - name: "Juan de Lara" link: "https://researchr.org/alias/juan-de-lara" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" year: "2008" doi: "http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/136/135" links: doi: "http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/136/135" tags: - "model-to-model transformation" - "graph transformation" - "meta-model" - "modeling" - "source-to-source" - "graph-rewriting" - "model transformation" - "Meta-Environment" - "rewriting" - "transformation" researchr: "https://researchr.org/publication/ErmelLH08" cites: 0 citedby: 0 journal: "ECEASST" volume: "10" kind: "article" key: "ErmelLH08" - title: "Behavioral Refinement of Graph Transformation-Based Models" author: - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Sebastian Thöne" link: "https://researchr.org/alias/sebastian-th%C3%B6ne" year: "2005" doi: "http://dx.doi.org/10.1016/j.entcs.2004.08.037" links: doi: "http://dx.doi.org/10.1016/j.entcs.2004.08.037" tags: - "model-to-model transformation" - "rule-based" - "graph transformation" - "meta-model" - "refinement" - "source-to-source" - "graph-rewriting" - "model transformation" - "Meta-Environment" - "rewriting" - "transformation" researchr: "https://researchr.org/publication/HeckelT05" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "127" number: "3" pages: "101-111" kind: "article" key: "HeckelT05" - title: "Stochastic Analysis of Graph Transformation Systems: A Case Study in P2P Networks" author: - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" year: "2005" doi: "http://dx.doi.org/10.1007/11560647_4" links: doi: "http://dx.doi.org/10.1007/11560647_4" tags: - "p2p" - "case study" - "graph transformation" - "analysis" - "graph-rewriting" - "transformation system" - "rewriting" - "transformation" researchr: "https://researchr.org/publication/Heckel05" cites: 0 citedby: 0 pages: "53-69" booktitle: "Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings" editor: - name: "Dang Van Hung" link: "https://researchr.org/alias/dang-van-hung" - name: "Martin Wirsing" link: "https://researchr.org/alias/martin-wirsing" volume: "3722" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-29107-5" kind: "inproceedings" key: "Heckel05" - title: "Consistency-Preserving Model Evolution through Transformations" author: - name: "Gregor Engels" link: "https://researchr.org/alias/gregor-engels" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Jochen Malte Küster" link: "https://researchr.org/alias/jochen-malte-k%C3%BCster" - name: "Luuk Groenewegen" link: "https://researchr.org/alias/luuk-groenewegen" year: "2002" doi: "http://link.springer.de/link/service/series/0558/bibs/2460/24600212.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/2460/24600212.htm" tags: - "model-to-model transformation" - "meta-model" - "UML" - "source-to-source" - "model transformation" - "consistency" - "Meta-Environment" - "transformation" researchr: "https://researchr.org/publication/EngelsHKG02" cites: 0 citedby: 0 pages: "212-226" booktitle: "UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30 - October 4, 2002, Proceedings" editor: - name: "Jean-Marc Jézéquel" link: "https://researchr.org/alias/jean-marc-j%C3%A9z%C3%A9quel" - name: "Heinrich Hußmann" link: "https://researchr.org/alias/heinrich-hu%C3%9Fmann" - name: "Stephen Cook" link: "https://researchr.org/alias/stephen-cook" volume: "2460" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-44254-5" kind: "inproceedings" key: "EngelsHKG02" - title: "UML - A Universal Modeling Language?" author: - name: "Gregor Engels" link: "https://researchr.org/alias/gregor-engels" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Stefan Sauer" link: "https://researchr.org/alias/stefan-sauer" year: "2000" doi: "http://link.springer.de/link/service/series/0558/bibs/1825/18250024.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/1825/18250024.htm" tags: - "meta-model" - "modeling language" - "modeling" - "language modeling" - "UML" - "Meta-Environment" researchr: "https://researchr.org/publication/EngelsHS00" cites: 0 citedby: 0 pages: "24-38" booktitle: "Application and Theory of Petri Nets 2000, 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000, Proceeding" editor: - name: "Mogens Nielsen" link: "https://researchr.org/alias/mogens-nielsen" - name: "Dan Simpson" link: "https://researchr.org/alias/dan-simpson" volume: "1825" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-67693-7" kind: "inproceedings" key: "EngelsHS00" - title: "Use Cases as Views: A formal approach to Requirements Engineering in the United Process" author: - name: "Jan Hendrik Hausmann" link: "https://researchr.org/alias/jan-hendrik-hausmann" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" year: "2001" tags: - "requirements engineering" - "systematic-approach" researchr: "https://researchr.org/publication/HausmannH01" cites: 0 citedby: 0 pages: "595-599" booktitle: "GI Jahrestagung (2)" kind: "inproceedings" key: "HausmannH01" - title: "Introduction: Graph Transformation and Visual Modeling Techniques" author: - name: "Andrea Corradini" link: "https://researchr.org/alias/andrea-corradini" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" year: "2000" tags: - "model-to-model transformation" - "graph transformation" - "meta-model" - "modeling" - "source-to-source" - "graph-rewriting" - "model transformation" - "Meta-Environment" - "rewriting" - "transformation" researchr: "https://researchr.org/publication/CorradiniH00%3A0" cites: 0 citedby: 0 pages: "357-358" booktitle: "Automata, Languages and Programming, 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings" editor: - name: "Ugo Montanari" link: "https://researchr.org/alias/ugo-montanari" - name: "José D. P. Rolim" link: "https://researchr.org/alias/jos%C3%A9-d.-p.-rolim" - name: "Emo Welzl" link: "https://researchr.org/alias/emo-welzl" volume: "1853" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-67715-1" kind: "inproceedings" key: "CorradiniH00:0" - title: "Preface" author: - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" year: "2004" doi: "http://dx.doi.org/10.1016/j.entcs.2004.11.005" links: doi: "http://dx.doi.org/10.1016/j.entcs.2004.11.005" researchr: "https://researchr.org/publication/Heckel04%3A0" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "109" pages: "1-2" kind: "article" key: "Heckel04:0" - title: "Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model" author: - name: "Gregor Engels" link: "http://www.cs.uni-paderborn.de/fachgebiete/fg-engels/personen/visitenkarten/gregor-engels/visitenkarte.html" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Jochen Malte Küster" link: "https://researchr.org/alias/jochen-malte-k%C3%BCster" year: "2001" doi: "http://link.springer.de/link/service/series/0558/bibs/2185/21850272.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/2185/21850272.htm" tags: - "rule-based" - "meta-model" - "UML" - "rules" - "consistency" - "Meta-Environment" - "meta-objects" researchr: "https://researchr.org/publication/EngelsHK01" cites: 0 citedby: 0 pages: "272-286" booktitle: "«UML» 2001 - The Unified Modeling Language, Modeling Languages, Concepts, and Tools, 4th International Conference, Toronto, Canada, October 1-5, 2001, Proceedings" editor: - name: "Martin Gogolla" link: "https://researchr.org/alias/martin-gogolla" - name: "Cris Kobryn" link: "https://researchr.org/alias/cris-kobryn" volume: "2185" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-42667-1" kind: "inproceedings" key: "EngelsHK01" - title: "Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML" author: - name: "Gregor Engels" link: "https://researchr.org/alias/gregor-engels" - name: "Jan Hendrik Hausmann" link: "https://researchr.org/alias/jan-hendrik-hausmann" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Stefan Sauer" link: "https://researchr.org/alias/stefan-sauer" year: "2000" doi: "http://link.springer.de/link/service/series/0558/bibs/1939/19390323.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/1939/19390323.htm" tags: - "semantics" - "meta-model" - "modeling" - "UML" - "operational semantics" - "Meta-Environment" - "systematic-approach" - "meta-objects" researchr: "https://researchr.org/publication/EngelsHHS00" cites: 0 citedby: 2 pages: "323-337" booktitle: "«UML» 2000 - The Unified Modeling Language, Advancing the Standard, Third International Conference, York, UK, October 2-6, 2000, Proceedings" editor: - name: "Andy Evans" link: "https://researchr.org/alias/andy-evans" - name: "Stuart Kent" link: "https://researchr.org/alias/stuart-kent" - name: "Bran Selic" link: "https://researchr.org/alias/bran-selic" volume: "1939" series: "Lecture Notes in Computer Science" publisher: "Springer" kind: "inproceedings" key: "EngelsHHS00" - title: "Improving the agent-oriented modeling process by roles" author: - name: "Ralph Depke" link: "https://researchr.org/alias/ralph-depke" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Jochen Malte Küster" link: "https://researchr.org/alias/jochen-malte-k%C3%BCster" year: "2001" doi: "http://portal.acm.org/citation.cfm?id=375735.376476" links: doi: "http://portal.acm.org/citation.cfm?id=375735.376476" tags: - "modeling" - "object-role modeling" - "process modeling" researchr: "https://researchr.org/publication/DepkeHK01%3A0" cites: 0 citedby: 0 pages: "640-647" booktitle: "Agents" kind: "inproceedings" key: "DepkeHK01:0" - title: "Style-based modeling and refinement of service-oriented architectures" author: - name: "Luciano Baresi" link: "https://researchr.org/alias/luciano-baresi" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Sebastian Thöne" link: "https://researchr.org/alias/sebastian-th%C3%B6ne" - name: "Dániel Varró" link: "https://researchr.org/alias/d%C3%A1niel-varr%C3%B3" year: "2006" doi: "http://dx.doi.org/10.1007/s10270-006-0001-4" links: doi: "http://dx.doi.org/10.1007/s10270-006-0001-4" tags: - "rule-based" - "modeling" - "refinement" - "architecture" researchr: "https://researchr.org/publication/BaresiHTV06" cites: 0 citedby: 0 journal: "Software and Systems Modeling" volume: "5" number: "2" pages: "187-207" kind: "article" key: "BaresiHTV06" - title: "Graph Grammars with Negative Application Conditions" author: - name: "Annegret Habel" link: "https://researchr.org/alias/annegret-habel" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Gabriele Taentzer" link: "http://www.mathematik.uni-marburg.de/~taentzer/" year: "1996" tags: - "graph-rewriting" - "rewriting" - "grammar" researchr: "https://researchr.org/publication/HabelHT96" cites: 0 citedby: 0 journal: "Fundamenta Informaticae" volume: "26" number: "3/4" pages: "287-313" kind: "article" key: "HabelHT96" - title: "3rd International Workshop on Software Evolution Through Transformations: Embracing Change" author: - name: "Jean-Marie Favre" link: "http://megaplanet.org/jean-marie-favre/" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Tom Mens" link: "http://staff.umh.ac.be/Mens.Tom/" year: "2006" doi: "http://dx.doi.org/10.1007/11841883_36" abstract: "Transformation-based techniques such as refactoring, model transformation and model-driven development, architectural reconfiguration, etc. are at the heart of many software engineering activities, making it possible to cope with an ever changing environment. This workshop provides a forum for discussing these techniques, their formal foundations and applications." links: doi: "http://dx.doi.org/10.1007/11841883_36" tags: - "model-to-model transformation" - "rule-based" - "transformation engineering" - "software architecture" - "meta-model" - "modeling" - "model refactoring" - "refactoring" - "architecture" - "model-driven development" - "software evolution" - "source-to-source" - "software engineering" - "model-driven engineering" - "rule-based refactoring" - "model transformation" - "Meta-Environment" - "transformation" researchr: "https://researchr.org/publication/FavreHM06" cites: 0 citedby: 0 pages: "470-472" booktitle: "Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings" editor: - name: "Andrea Corradini" link: "https://researchr.org/alias/andrea-corradini" - name: "Hartmut Ehrig" link: "https://researchr.org/alias/hartmut-ehrig" - name: "Ugo Montanari" link: "https://researchr.org/alias/ugo-montanari" - name: "Leila Ribeiro" link: "https://researchr.org/alias/leila-ribeiro" - name: "Grzegorz Rozenberg" link: "https://researchr.org/alias/grzegorz-rozenberg" volume: "4178" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-38870-2" kind: "inproceedings" key: "FavreHM06" - title: "Algebraic Approaches to Graph Transformation - Part II: Single Pushout Approach and Comparison with Double Pushout Approach" author: - name: "Hartmut Ehrig" link: "https://researchr.org/alias/hartmut-ehrig" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Martin Korff" link: "https://researchr.org/alias/martin-korff" - name: "Michael Löwe" link: "https://researchr.org/alias/michael-l%C3%B6we" - name: "Leila Ribeiro" link: "https://researchr.org/alias/leila-ribeiro" - name: "Annika Wagner" link: "https://researchr.org/alias/annika-wagner" - name: "Andrea Corradini" link: "https://researchr.org/alias/andrea-corradini" year: "1997" tags: - "graph transformation" - "graph-rewriting" - " algebra" - "rewriting" - "systematic-approach" - "transformation" researchr: "https://researchr.org/publication/EhrigHKLRWC97" cites: 0 citedby: 0 pages: "247-312" booktitle: "Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations" editor: - name: "Grzegorz Rozenberg" link: "https://researchr.org/alias/grzegorz-rozenberg" publisher: "World Scientific" isbn: "9810228848" kind: "inproceedings" key: "EhrigHKLRWC97" - title: "Compositional semantics for open Petri nets based on deterministic processe" author: - name: "Paolo Baldan" link: "https://researchr.org/alias/paolo-baldan" - name: "Andrea Corradini" link: "https://researchr.org/alias/andrea-corradini" - name: "Hartmut Ehrig" link: "https://researchr.org/alias/hartmut-ehrig" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" year: "2005" doi: "http://dx.doi.org/10.1017/S0960129504004311" links: doi: "http://dx.doi.org/10.1017/S0960129504004311" tags: - "semantics" - "rule-based" - "composition" - "source-to-source" - "open-source" researchr: "https://researchr.org/publication/BaldanCEH05" cites: 0 citedby: 0 journal: "Mathematical Structures in Computer Science" volume: "15" number: "1" pages: "1-35" kind: "article" key: "BaldanCEH05" - title: "Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information" author: - name: "Hartmut Ehrig" link: "https://researchr.org/alias/hartmut-ehrig" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Mercè Llabrés" link: "https://researchr.org/alias/merc%C3%A8-llabr%C3%A9s" - name: "Fernando Orejas" link: "https://researchr.org/alias/fernando-orejas" - name: "Julia Padberg" link: "https://researchr.org/alias/julia-padberg" - name: "Grzegorz Rozenberg" link: "https://researchr.org/alias/grzegorz-rozenberg" year: "1998" tags: - "rule-based" - "graph-rewriting" - "rules" - "rewriting" researchr: "https://researchr.org/publication/EhrigHLOPR98" cites: 0 citedby: 0 pages: "85-102" booktitle: "Theory and Application of Graph Transformations, 6th International Workshop, TAGT 98, Paderborn, Germany, November 16-20, 1998, Selected Papers" editor: - name: "Hartmut Ehrig" link: "https://researchr.org/alias/hartmut-ehrig" - name: "Gregor Engels" link: "http://www.cs.uni-paderborn.de/fachgebiete/fg-engels/personen/visitenkarten/gregor-engels/visitenkarte.html" - name: "Hans-Jörg Kreowski" link: "https://researchr.org/alias/hans-j%C3%B6rg-kreowski" - name: "Grzegorz Rozenberg" link: "https://researchr.org/alias/grzegorz-rozenberg" volume: "1764" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-67203-6" kind: "inproceedings" key: "EhrigHLOPR98" - title: "Towards Automatic Selection of Web Services Using Graph Transformation Rules" author: - name: "Jan Hendrik Hausmann" link: "https://researchr.org/alias/jan-hendrik-hausmann" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Marc Lohmann" link: "https://researchr.org/alias/marc-lohmann" year: "2003" tags: - "rule-based" - "graph transformation" - "web service" - "graph-rewriting" - "rules" - "web services" - "rewriting" - "transformation" researchr: "https://researchr.org/publication/HausmannHL03" cites: 0 citedby: 0 pages: "286-291" booktitle: "Berliner XML Tage 2003, 13.-15. Oktober 2003 in Berlin" editor: - name: "Robert Tolksdorf" link: "https://researchr.org/alias/robert-tolksdorf" - name: "Rainer Eckstein" link: "https://researchr.org/alias/rainer-eckstein" publisher: "XML-Clearinghouse" isbn: "3-88579-116-1" kind: "inproceedings" key: "HausmannHL03" - title: "Managing Socio-technical Interactions in Healthcare Systems" author: - name: "Osama El-Hassan" link: "https://researchr.org/alias/osama-el-hassan" - name: "José Luiz Fiadeiro" link: "https://researchr.org/alias/jos%C3%A9-luiz-fiadeiro" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-78238-4_36" links: doi: "http://dx.doi.org/10.1007/978-3-540-78238-4_36" researchr: "https://researchr.org/publication/El-HassanFH07" cites: 0 citedby: 0 pages: "347-358" booktitle: "Business Process Management Workshops, BPM 2007 International Workshops, BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Brisbane, Australia, September 24, 2007, Revised Selected Papers" editor: - name: "Arthur H. M. ter Hofstede" link: "https://researchr.org/alias/arthur-h.-m.-ter-hofstede" - name: "Boualem Benatallah" link: "https://researchr.org/alias/boualem-benatallah" - name: "Hye-Young Paik" link: "https://researchr.org/alias/hye-young-paik" volume: "4928" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-78237-7" kind: "inproceedings" key: "El-HassanFH07" - title: "Confluence of Typed Attributed Graph Transformation Systems" author: - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Jochen Malte Küster" link: "https://researchr.org/alias/jochen-malte-k%C3%BCster" - name: "Gabriele Taentzer" link: "http://www.mathematik.uni-marburg.de/~taentzer/" year: "2002" doi: "http://link.springer.de/link/service/series/0558/bibs/2505/25050161.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/2505/25050161.htm" tags: - "graph transformation" - "type system" - "graph-rewriting" - "transformation system" - "rewriting" - "transformation" researchr: "https://researchr.org/publication/HeckelKT02" cites: 0 citedby: 0 pages: "161-176" booktitle: "Graph Transformation, First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings" editor: - name: "Andrea Corradini" link: "https://researchr.org/alias/andrea-corradini" - name: "Hartmut Ehrig" link: "https://researchr.org/alias/hartmut-ehrig" - name: "Hans-Jörg Kreowski" link: "https://researchr.org/alias/hans-j%C3%B6rg-kreowski" - name: "Grzegorz Rozenberg" link: "https://researchr.org/alias/grzegorz-rozenberg" volume: "2505" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-44310-X" kind: "inproceedings" key: "HeckelKT02" - title: "Verification of Architectural Refactorings: Rule Extraction and Tool Support" author: - name: "Dénes Bisztray" link: "https://researchr.org/alias/d%C3%A3%C2%A9nes-bisztray" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Hartmut Ehrig" link: "https://researchr.org/alias/hartmut-ehrig" year: "2008" doi: "http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/240" links: doi: "http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/240" tags: - "rule-based" - "refactoring" - "architecture" - "rules" - "rule-based refactoring" researchr: "https://researchr.org/publication/BisztrayHE08-0" cites: 0 citedby: 0 journal: "ECEASST" volume: "16" kind: "article" key: "BisztrayHE08-0" - title: "Workshop on Software Evolution through Transformations: Towards Uniform Support throughout the Software Life-Cycle" author: - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Tom Mens" link: "http://staff.umh.ac.be/Mens.Tom/" - name: "Michel Wermelinger" link: "http://michel.wermelinger.ws/" year: "2002" doi: "http://link.springer.de/link/service/series/0558/bibs/2505/25050450.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/2505/25050450.htm" tags: - "software evolution" - "transformation" researchr: "https://researchr.org/publication/HeckelMW02" cites: 0 citedby: 0 pages: "450-454" booktitle: "Graph Transformation, First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings" editor: - name: "Andrea Corradini" link: "https://researchr.org/alias/andrea-corradini" - name: "Hartmut Ehrig" link: "https://researchr.org/alias/hartmut-ehrig" - name: "Hans-Jörg Kreowski" link: "https://researchr.org/alias/hans-j%C3%B6rg-kreowski" - name: "Grzegorz Rozenberg" link: "https://researchr.org/alias/grzegorz-rozenberg" volume: "2505" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-44310-X" kind: "inproceedings" key: "HeckelMW02" - title: "Tutorial Introduction to Graph Transformation: A Software Engineering Perspective" author: - name: "Luciano Baresi" link: "https://researchr.org/alias/luciano-baresi" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" year: "2002" doi: "http://link.springer.de/link/service/series/0558/bibs/2505/25050402.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/2505/25050402.htm" tags: - "transformation engineering" - "graph transformation" - "graph-rewriting" - "software engineering" - "rewriting" - "transformation" researchr: "https://researchr.org/publication/BaresiH02" cites: 0 citedby: 0 pages: "402-429" booktitle: "Graph Transformation, First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings" editor: - name: "Andrea Corradini" link: "https://researchr.org/alias/andrea-corradini" - name: "Hartmut Ehrig" link: "https://researchr.org/alias/hartmut-ehrig" - name: "Hans-Jörg Kreowski" link: "https://researchr.org/alias/hans-j%C3%B6rg-kreowski" - name: "Grzegorz Rozenberg" link: "https://researchr.org/alias/grzegorz-rozenberg" volume: "2505" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-44310-X" kind: "inproceedings" key: "BaresiH02" - title: "Graph Transformation in a Nutshell" author: - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" year: "2006" doi: "http://dx.doi.org/10.1016/j.entcs.2005.12.018" links: doi: "http://dx.doi.org/10.1016/j.entcs.2005.12.018" tags: - "graph transformation" - "graph-rewriting" - "rewriting" - "transformation" researchr: "https://researchr.org/publication/Heckel06a" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "148" number: "1" pages: "187-198" kind: "article" key: "Heckel06a" - title: "Rule-based Model Extraction from Source Code" author: - name: "Rui Correia" link: "https://researchr.org/alias/rui-correia" - name: "Carlos M. P. Matos" link: "https://researchr.org/alias/carlos-m.-p.-matos" - name: "Mohammad El-Ramly" link: "https://researchr.org/alias/mohammad-el-ramly" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" year: "2006" doi: "http://drops.dagstuhl.de/opus/volltexte/2007/881" links: doi: "http://drops.dagstuhl.de/opus/volltexte/2007/881" tags: - "rule-based" - "source-to-source" - "rules" - "open-source" researchr: "https://researchr.org/publication/CorreiaMEH06" cites: 0 citedby: 0 booktitle: "Aspects For Legacy Applications, 26.07. - 29.07.2006" editor: - name: "Siobhán Clarke" link: "https://www.cs.tcd.ie/Siobhan.Clarke/" - name: "Leon Moonen" link: "http://simula.no/~leonm/" - name: "Ganesan Ramalingam" link: "http://research.microsoft.com/en-us/um/people/grama/" volume: "06302" series: "Dagstuhl Seminar Proceedings" publisher: "Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany" kind: "inproceedings" key: "CorreiaMEH06" - title: "A methodology for specifying and analyzing consistency of object-oriented behavioral models" author: - name: "Gregor Engels" link: "http://www.cs.uni-paderborn.de/fachgebiete/fg-engels/personen/visitenkarten/gregor-engels/visitenkarte.html" - name: "Jochen Malte Küster" link: "https://researchr.org/alias/jochen-malte-k%C3%BCster" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Luuk Groenewegen" link: "https://researchr.org/alias/luuk-groenewegen" year: "2001" doi: "http://doi.acm.org/10.1145/503209.503235" links: doi: "http://doi.acm.org/10.1145/503209.503235" tags: - "object-role modeling" - "consistency" researchr: "https://researchr.org/publication/EngelsKHG01" cites: 0 citedby: 0 pages: "186-195" booktitle: "ESEC / SIGSOFT FSE" kind: "inproceedings" key: "EngelsKHG01" - title: "How to Specify a Graph Transformation Approach - A Meta Model for Fujaba" author: - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Albert Zündorf" link: "https://researchr.org/alias/albert-z%C3%BCndorf" year: "2001" doi: "http://www.elsevier.com/gej-ng/31/29/23/73/28/show/Products/notes/index.htt#005" links: doi: "http://www.elsevier.com/gej-ng/31/29/23/73/28/show/Products/notes/index.htt#005" tags: - "model-to-model transformation" - "graph transformation" - "meta-model" - "source-to-source" - "graph-rewriting" - "model transformation" - "Meta-Environment" - "rewriting" - "systematic-approach" - "meta-objects" - "transformation" researchr: "https://researchr.org/publication/HeckelZ01" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "44" number: "4" pages: "41-51" kind: "article" key: "HeckelZ01" - title: "Modulare Analyse Stochastischer Graphtransformationssysteme" author: - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Georgios Lajios" link: "https://researchr.org/alias/georgios-lajios" - name: "Sebastian Menge" link: "https://researchr.org/alias/sebastian-menge" year: "2005" researchr: "https://researchr.org/publication/HeckelLM05" cites: 0 citedby: 0 pages: "141-152" booktitle: "Software Engineering 2005, Fachtagung des GI-Fachbereichs Softwaretechnik, 8.-11.3.2005 in Essen" editor: - name: "Peter Liggesmeyer" link: "https://researchr.org/alias/peter-liggesmeyer" - name: "Klaus Pohl" link: "https://researchr.org/alias/klaus-pohl" - name: "Michael Goedicke" link: "https://researchr.org/alias/michael-goedicke" volume: "64" series: "LNI" publisher: "GI" isbn: "3-88579-393-8" kind: "inproceedings" key: "HeckelLM05" - title: "Architectural Transformations: From Legacy to Three-Tier and Services" author: - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Rui Correia" link: "https://researchr.org/alias/rui-correia" - name: "Carlos Matos" link: "https://researchr.org/alias/carlos-matos" - name: "Mohammad El-Ramly" link: "https://researchr.org/alias/mohammad-el-ramly" - name: "Georgios Koutsoukos" link: "https://researchr.org/alias/georgios-koutsoukos" - name: "Luis Filipe Andrade" link: "https://researchr.org/alias/luis-filipe-andrade" year: "2008" doi: "http://dx.doi.org/10.1007/978-3-540-76440-3_7" links: doi: "http://dx.doi.org/10.1007/978-3-540-76440-3_7" tags: - "architecture" - "transformation" researchr: "https://researchr.org/publication/HeckelCMEKA08" cites: 0 citedby: 0 pages: "139-170" booktitle: "Software Evolution" editor: - name: "Tom Mens" link: "http://staff.umh.ac.be/Mens.Tom/" - name: "Serge Demeyer" link: "http://win.ua.ac.be/~sdemey/" publisher: "Springer" isbn: "978-3-540-76439-7" kind: "incollection" key: "HeckelCMEKA08" - title: "Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets" author: - name: "Paolo Baldan" link: "https://researchr.org/alias/paolo-baldan" - name: "Andrea Corradini" link: "https://researchr.org/alias/andrea-corradini" - name: "Hartmut Ehrig" link: "https://researchr.org/alias/hartmut-ehrig" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Barbara König" link: "https://researchr.org/alias/barbara-k%C3%A3%C2%B6nig" year: "2008" doi: "http://dx.doi.org/10.2168/LMCS-4(4:3)2008" links: doi: "http://dx.doi.org/10.2168/LMCS-4(4:3)2008" tags: - "source-to-source" - "open-source" researchr: "https://researchr.org/publication/BaldanCEHK08" cites: 0 citedby: 0 journal: "Logical Methods in Computer Science" volume: "4" number: "4" kind: "article" key: "BaldanCEHK08" - title: "Migrating Legacy Systems to Service-Oriented Architectures" author: - name: "Carlos M. P. Matos" link: "https://researchr.org/alias/carlos-m.-p.-matos" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" year: "2008" doi: "http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/238" links: doi: "http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/238" tags: - "architecture" researchr: "https://researchr.org/publication/MatosH08" cites: 0 citedby: 0 journal: "ECEASST" volume: "16" kind: "article" key: "MatosH08" - title: "Integrating visual modeling of agent-based and object-oriented systems" author: - name: "Ralph Depke" link: "https://researchr.org/alias/ralph-depke" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Jochen Malte Küster" link: "https://researchr.org/alias/jochen-malte-k%C3%BCster" year: "2000" doi: "http://doi.acm.org/10.1145/336595.337052" links: doi: "http://doi.acm.org/10.1145/336595.337052" tags: - "rule-based" - "agent based modeling" - "modeling" - "object-role modeling" researchr: "https://researchr.org/publication/DepkeHK00" cites: 0 citedby: 0 pages: "82-83" booktitle: "Agents" kind: "inproceedings" key: "DepkeHK00" - title: "Software Evolution through Transformations" author: - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Tom Mens" link: "http://staff.umh.ac.be/Mens.Tom/" - name: "Michel Wermelinger" link: "http://michel.wermelinger.ws/" year: "2003" doi: "http://www1.elsevier.com/gej-ng/31/29/23/127/49/show/Products/notes/index.htt#001" links: doi: "http://www1.elsevier.com/gej-ng/31/29/23/127/49/show/Products/notes/index.htt#001" tags: - "software evolution" - "transformation" researchr: "https://researchr.org/publication/HeckelMW03" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "72" number: "4" pages: "1-5" kind: "article" key: "HeckelMW03" - title: "Modelling and Analysis of Agents Goal-Driven Behavior" author: - name: "Ralph Depke" link: "https://researchr.org/alias/ralph-depke" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" year: "2003" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2975&spage=81" links: doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2975&spage=81" tags: - "analysis" researchr: "https://researchr.org/publication/DepkeH03" cites: 0 citedby: 0 pages: "81-97" booktitle: "Objects, Agents, and Features, International Seminar, Dagstuhl Castle, Germany, February 2003, Revised and Invited Papers" editor: - name: "Mark Dermot Ryan" link: "https://researchr.org/alias/mark-dermot-ryan" - name: "John-Jules Ch. Meyer" link: "https://researchr.org/alias/john-jules-ch.-meyer" - name: "Hans-Dieter Ehrich" link: "https://researchr.org/alias/hans-dieter-ehrich" volume: "2975" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-21989-7" kind: "inproceedings" key: "DepkeH03" - title: "Behavioral Constraints for Visual Models" author: - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Jochen Malte Küster" link: "https://researchr.org/alias/jochen-malte-k%C3%BCster" year: "2001" doi: "http://www.elsevier.com/gej-ng/31/29/23/85/29/show/Products/notes/index.htt#006" links: doi: "http://www.elsevier.com/gej-ng/31/29/23/85/29/show/Products/notes/index.htt#006" tags: - "meta-model" - "constraints" - "Meta-Environment" researchr: "https://researchr.org/publication/HeckelK01" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "50" number: "3" pages: "257-265" kind: "article" key: "HeckelK01" - title: "Conceptual Modeling of Styles For Mobile Systems" author: - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Ping Guo" link: "https://researchr.org/alias/ping-guo" year: "2004" tags: - "modeling" - "mobile" researchr: "https://researchr.org/publication/HeckelG04" cites: 0 citedby: 0 pages: "65-79" booktitle: "Mobile Information Systems, IFIP TC 8 Working Conference on Mobile Information Systems (MOBIS), 15-17 September 2004, Oslo, Norway" editor: - name: "Elaine Lawrence" link: "https://researchr.org/alias/elaine-lawrence" - name: "Barbara Pernici" link: "https://researchr.org/alias/barbara-pernici" - name: "John Krogstie" link: "https://researchr.org/alias/john-krogstie" volume: "158" series: "IFIP International Federation for Information Processing" isbn: "0-387-22851-9" kind: "inproceedings" key: "HeckelG04" - title: "Compositional Modeling of Reactive Systems Using Open Nets" author: - name: "Paolo Baldan" link: "https://researchr.org/alias/paolo-baldan" - name: "Andrea Corradini" link: "https://researchr.org/alias/andrea-corradini" - name: "Hartmut Ehrig" link: "https://researchr.org/alias/hartmut-ehrig" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" year: "2001" doi: "http://link.springer.de/link/service/series/0558/bibs/2154/21540502.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/2154/21540502.htm" tags: - "modeling" - "composition" - "source-to-source" - "open-source" researchr: "https://researchr.org/publication/BaldanCEH01" cites: 0 citedby: 0 pages: "502-518" booktitle: "CONCUR 2001 - Concurrency Theory, 12th International Conference, Aalborg, Denmark, August 20-25, 2001, Proceedings" editor: - name: "Kim Guldstrand Larsen" link: "https://researchr.org/alias/kim-guldstrand-larsen" - name: "Mogens Nielsen" link: "https://researchr.org/alias/mogens-nielsen" volume: "2154" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-42497-0" kind: "inproceedings" key: "BaldanCEH01" - title: "Model-based Simulation of VoIP Network Reconfigurations using Graph Transformation Systems" author: - name: "Ajab Khan" link: "https://researchr.org/alias/ajab-khan" - name: "Paolo Torrini" link: "https://researchr.org/alias/paolo-torrini" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" year: "2008" doi: "http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/251" links: doi: "http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/251" tags: - "model-to-model transformation" - "rule-based" - "graph transformation" - "meta-model" - "source-to-source" - "graph-rewriting" - "transformation system" - "model transformation" - "Meta-Environment" - "rewriting" - "transformation" researchr: "https://researchr.org/publication/KhanTH08" cites: 0 citedby: 0 journal: "ECEASST" volume: "16" kind: "article" key: "KhanTH08" - title: "Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings" year: "2008" tags: - "graph transformation" - "graph-rewriting" - "rewriting" - "transformation" researchr: "https://researchr.org/publication/gg%3A2008" cites: 0 citedby: 0 booktitle: "Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings" editor: - name: "Hartmut Ehrig" link: "https://researchr.org/alias/hartmut-ehrig" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" - name: "Grzegorz Rozenberg" link: "https://researchr.org/alias/grzegorz-rozenberg" - name: "Gabriele Taentzer" link: "http://www.mathematik.uni-marburg.de/~taentzer/" volume: "5214" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-87404-1" kind: "proceedings" key: "gg:2008" - title: "Fundamental Approaches to Software Engineering, 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings" year: "2006" tags: - "software engineering" - "systematic-approach" researchr: "https://researchr.org/publication/fase%3A2006" cites: 0 citedby: 0 booktitle: "Fundamental Approaches to Software Engineering, 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings" conference: "FASE" editor: - name: "Luciano Baresi" link: "https://researchr.org/alias/luciano-baresi" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" volume: "3922" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-33093-3" kind: "proceedings" key: "fase:2006" - title: "Web Services and Formal Methods, 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings" year: "2008" tags: - "web service" - "web services" researchr: "https://researchr.org/publication/wsfm%3A2007" cites: 0 citedby: 0 booktitle: "Web Services and Formal Methods, 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings" conference: "wsfm" editor: - name: "Marlon Dumas" link: "https://researchr.org/alias/marlon-dumas" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" volume: "4937" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-79229-1" kind: "proceedings" key: "wsfm:2007" - title: "Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004" year: "2005" tags: - "meta-model" - "modeling language" - "language engineering" - "software language engineering" - "language modeling" - "model-driven development" - "software engineering" - "model-driven engineering" - "Meta-Environment" researchr: "https://researchr.org/publication/dagstuhl%3A2004P4101" cites: 0 citedby: 0 booktitle: "Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004" conference: "Dagstuhl" editor: - name: "Jean Bézivin" link: "https://researchr.org/alias/jean-b%C3%A9zivin" - name: "Reiko Heckel" link: "http://www.cs.le.ac.uk/people/rh122/" volume: "04101" series: "Dagstuhl Seminar Proceedings" publisher: "Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany" kind: "proceedings" key: "dagstuhl:2004P4101"