{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:12:50Z","timestamp":1761610370509,"version":"build-2065373602"},"reference-count":36,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2002,11,1]],"date-time":"2002-11-01T00:00:00Z","timestamp":1036108800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2002,11,1]],"date-time":"2002-11-01T00:00:00Z","timestamp":1036108800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3923,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2002,11]]},"DOI":"10.1016\/s1571-0661(05)80525-0","type":"journal-article","created":{"date-parts":[[2005,5,6]],"date-time":"2005-05-06T15:34:43Z","timestamp":1115393683000},"page":"14-24","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":2,"title":["AGG and GENGED: Graph Transformation-Based Specification and Analysis Techniques for Visual Languages"],"prefix":"10.1016","volume":"72","author":[{"given":"R.","family":"Bardohl","sequence":"first","affiliation":[]},{"given":"C.","family":"Ermel","sequence":"additional","affiliation":[]},{"given":"I.","family":"Weinhold","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(05)80525-0_BIB1","doi-asserted-by":"crossref","unstructured":"M. Andries, G. Engels, and J. Rekers. How to represent a Visual Program? In [28], pages 245-260.","DOI":"10.1007\/978-1-4612-1676-6_8"},{"key":"10.1016\/S1571-0661(05)80525-0_BIB2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0167-6423(98)00023-9","article-title":"Graph transformation for specification and programming","volume":"34","author":"Andries","year":"1999","journal-title":"Science of Computer Programming"},{"key":"10.1016\/S1571-0661(05)80525-0_BIB3","unstructured":"AGG Homepage, http:\/\/tfs.cs.tu-berlin.de\/agg"},{"key":"10.1016\/S1571-0661(05)80525-0_BIB4","series-title":"Proc. Integrated Design and Process Technology (IDPT 2000)","article-title":"Generic Description, Behaviour and Animation of Visual Modeling Languages","author":"Bardohl","year":"2000"},{"key":"10.1016\/S1571-0661(05)80525-0_BIB5","series-title":"Proc. Of APPLIGRAPH Workshop on Applied Graph Transformation (AGT 2002)","first-page":"71","article-title":"GENGED - Specifying Visual Environments based on Visual Languages","author":"Bardohl","year":"2002"},{"key":"10.1016\/S1571-0661(05)80525-0_BIB6","unstructured":"R. Bardohl and C. Ermel. Visual Specification and Parsing of a Statechart Variant using GENGED. In [29]."},{"key":"10.1016\/S1571-0661(05)80525-0_BIB7","article-title":"Visual Language Parsing in GENGED","volume":"Vol. 50","author":"Bardohl","year":"2001","journal-title":"Proc. of Int. Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'01), Satellite Workshop of ICALP'01 ENTCS"},{"key":"10.1016\/S1571-0661(05)80525-0_BIB8","unstructured":"P. Bottoni, A. Sch\u00fcrr, and G. Taentzer. Efficient Parsing of Visual Languages based on Critical Pair Analysis and Contextual Layered Graph Transformation. In Proc. IEEE Symposium on Visual Languages, September 2000. Long version available as Technical Report SI-2000-06, University of Rom."},{"key":"10.1016\/S1571-0661(05)80525-0_BIB9","unstructured":"P. Bottoni and G. Taentzer. Parsing And Semantics of a Statechart Variant by Contextual Layered Graph Transformation. In"},{"key":"10.1016\/S1571-0661(05)80525-0_BIB10","first-page":"1436","article-title":"Specification and Analysis Techniques for Visual Languages in GENGED","author":"Bardohl","year":"2002","journal-title":"Technical Report 2002\/13, TU Berlin, ISSN"},{"key":"10.1016\/S1571-0661(05)80525-0_BIB11","unstructured":"M. Burnett. Visual Language Research Bibliography, http:\/\/www.cs.orst.edu\/ burnett\/vpl.html"},{"key":"10.1016\/S1571-0661(05)80525-0_BIB12","first-page":"171","volume":"28","author":"Costagliola","year":"1998","journal-title":"Positional Grammars: A Formalism for LR-Like Parsing of Visual Languages"},{"key":"10.1016\/S1571-0661(05)80525-0_BIB13","series-title":"Proc. IEEE Symposium on Visual Languages","first-page":"171","article-title":"Extended Positional Grammars","author":"Costagliola","year":"2000"},{"key":"10.1016\/S1571-0661(05)80525-0_BIB14","unstructured":"DIAGEN Homepage, http:\/\/www2.informatik.uni-erlangen.de\/DiaGen\/"},{"key":"10.1016\/S1571-0661(05)80525-0_BIB15","series-title":"Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations","first-page":"247","article-title":"Algebraic Approaches to Graph Transformation II: Single Pushout Approach and Comparison with Double Pushout Approach","author":"Ehrig","year":"1997"},{"key":"10.1016\/S1571-0661(05)80525-0_BIB16","series-title":"Handbook of Graph Grammars and Computing by Graph Transformation, Volume 2: Applications, Languages and Tools","first-page":"551","article-title":"The AGG-Approach: Language and Tool Environment","author":"Ermel","year":"1999"},{"key":"10.1016\/S1571-0661(05)80525-0_BIB17","unstructured":"Fujaba Homepage, http:\/\/www.upb.de\/cs\/fujaba\/"},{"key":"10.1016\/S1571-0661(05)80525-0_BIB18","unstructured":"GenGED Homepage, http:\/\/tfs.cs.tu-berlin.de\/genged"},{"key":"10.1016\/S1571-0661(05)80525-0_BIB19","series-title":"PhD thesis, University of Paderborn, Germany","article-title":"Paralleles L\u00f6sen von grafischen Constraints","author":"Griebel","year":"1996"},{"issue":"6","key":"10.1016\/S1571-0661(05)80525-0_BIB20","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1017\/S0960129500070110","article-title":"Horizontal and Vertical Structuring of Typed Graph Transformation Systems","volume":"6","author":"Heckel","year":"1996","journal-title":"Math. Struc. in Comp. Science"},{"key":"10.1016\/S1571-0661(05)80525-0_BIB21","article-title":"Ensuring Consistency of Conditional Graph Grammars- A constructive Approach Proc. of SEGRAGRA'95 \u201cGraph Rewriting and Computation\u201d","volume":"Vol. 2","author":"Heckel","year":"1995","journal-title":"ENTCS"},{"key":"10.1016\/S1571-0661(05)80525-0_BIB22","unstructured":"B. Ibrahim. Visual Languages and Visual Programming, http:\/\/cui.unige.ch\/eao\/www\/Visual\/"},{"issue":"No. 4","key":"10.1016\/S1571-0661(05)80525-0_BIB23","article-title":"GRACE as a unifying approach to graph-transformation-based specification. Proc. of Int. Workshop on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA'01), Satellite Event of ETAPS 2001","volume":"Vol. 44","author":"Kreowski, G. Busatto","year":"2001","journal-title":"ENTCS"},{"key":"10.1016\/S1571-0661(05)80525-0_BIB24","series-title":"Proc. GRATRA'2000 - Joint APPLIGRAPH and GETGRATS Workshop on Graph Transformation Systems","first-page":"32","article-title":"Generating Diagram Editors Providing Free-Hand Editing as well as Syntax-Directed Editing","author":"K\u00f6th","year":"2000"},{"key":"10.1016\/S1571-0661(05)80525-0_BIB25","unstructured":"Kogge Homepage, http:\/\/www.uni-koblenz.de\/ist\/kogge.en.html"},{"key":"10.1016\/S1571-0661(05)80525-0_BIB26","series-title":"Term Graph Rewriting: Theory and Practice","first-page":"185","article-title":"An algebraic framework for the transformation of attributed graphs","author":"L\u00f6we","year":"1993"},{"key":"10.1016\/S1571-0661(05)80525-0_BIB27","series-title":"Proc. Colloquium on Graph Transformation and its Application in Computer Science Technical Report B-19, Universitat de les Illes Balears","article-title":"Critical Pair Analysis in Single-Pushout Graph Rewriting","author":"L\u00f6we","year":"1995"},{"year":"1998","series-title":"Visual Language Theory, Springer","key":"10.1016\/S1571-0661(05)80525-0_BIB28"},{"year":"2001","series-title":"Statechart Modeling Contest at IEEE Symposium on Visual Languages and Formal Methods (VLFM'01), Stresa, Italy","key":"10.1016\/S1571-0661(05)80525-0_BIB29"},{"key":"10.1016\/S1571-0661(05)80525-0_BIB30","unstructured":"Penguins Homepage, http:\/\/www.csse.monash.edu.au\/ css\/projects\/penguins\/"},{"key":"10.1016\/S1571-0661(05)80525-0_BIB31","series-title":"Term Graph Rewriting: Theory and Practice","first-page":"201","article-title":"Hyper graph Rewriting: Critical Pairs and Undecidability of Confluence","author":"Plump","year":"1993"},{"key":"10.1016\/S1571-0661(05)80525-0_BIB32","series-title":"LNCS 1779","first-page":"481","article-title":"AGG: A Tool Environment for Algebraic Graph Transformation","author":"Taentzer","year":"2000"},{"key":"10.1016\/S1571-0661(05)80525-0_BIB33","unstructured":"VLCC Homepage, http:www.dmi.unisa.it\/people\/costagliola\/www\/home\/ricerca\/vlcc\/vlcc.htm"},{"key":"10.1016\/S1571-0661(05)80525-0_BIB34","unstructured":"VL-Eli Homepage, http:\/\/www.upb.de\/fachbereich\/AG\/agkastens\/forschung\/vl-eli\/"},{"key":"10.1016\/S1571-0661(05)80525-0_BIB35","series-title":"Proc. IEEE Symp. on Visual Languages","first-page":"288","article-title":"Reserved Graph Grammar: A Specification Tool for Diagrammatic VPLs","author":"Zhang","year":"1997"},{"key":"10.1016\/S1571-0661(05)80525-0_BIB36","series-title":"Proc. IEEE Symposium on Visual Languages","first-page":"195","article-title":"VisPro: A Visual Language Generation Toolset","author":"Zhang","year":"1998"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105805250?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105805250?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:06:57Z","timestamp":1761610017000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066105805250"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,11]]},"references-count":36,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2002,11]]}},"alternative-id":["S1571066105805250"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(05)80525-0","relation":{},"ISSN":["1571-0661"],"issn-type":[{"type":"print","value":"1571-0661"}],"subject":[],"published":{"date-parts":[[2002,11]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"AGG and GENGED: Graph Transformation-Based Specification and Analysis Techniques for Visual Languages","name":"articletitle","label":"Article Title"},{"value":"Electronic Notes in Theoretical Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S1571-0661(05)80525-0","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2002 Elsevier B.V.","name":"copyright","label":"Copyright"}]}}