%0 Journal Article %1 Drewes-Hoffmann-Minas-MGV:03 %A Drewes, Frank %A Hoffmann, Berthold %A Minas, Mark %D 2003 %J Machine Graphics and Vision %K 2003 Article DiaPlan GraGra myown %N 1 %P 117-132 %T Context-Exploiting Shapes for Diagram Transformation %V 12 %X DIAPLAN is a language for programming with graphs representing diagrams that is currently being developed. The computational model of the language - nested graph transformation -- supports nested structuring of graphs and graph variables, but is still intuitive. This paper discusses structural typing of nested graphs and nested graph transformation systems by shape rules. We extend the context-free shape rules proposed in earlier work to context-exploiting shape rules with which many relevant graph structures can be specified. The conformance of a nested graph to the shape rules is decidable. If a transformation system conforms to shape rules as well, it can be shown to preserve shape conformance of the graphs it is applied to. This sets up a static type discipline for nested graph transformation.

@article{Drewes-Hoffmann-Minas-MGV:03, abstract = {DIAPLAN is a language for programming with graphs representing diagrams that is currently being developed. The computational model of the language - nested graph transformation -- supports nested structuring of graphs and graph variables, but is still intuitive. This paper discusses structural typing of nested graphs and nested graph transformation systems by shape rules. We extend the context-free shape rules proposed in earlier work to context-exploiting shape rules with which many relevant graph structures can be specified. The conformance of a nested graph to the shape rules is decidable. If a transformation system conforms to shape rules as well, it can be shown to preserve shape conformance of the graphs it is applied to. This sets up a static type discipline for nested graph transformation.}, added-at = {2009-09-10T18:49:56.000+0200}, author = {Drewes, Frank and Hoffmann, Berthold and Minas, Mark}, bdsk-file-1 = {YnBsaXN0MDDUAQIDBAUGCQpYJHZlcnNpb25UJHRvcFkkYXJjaGl2ZXJYJG9iamVjdHMSAAGGoNEHCFRyb290gAFfEA9OU0tleWVkQXJjaGl2ZXKoCwwXGBkdJCVVJG51bGzTDQ4PEBEUViRjbGFzc1dOUy5rZXlzWk5TLm9iamVjdHOAB6ISE4ACgAOiFRaABIAGWWFsaWFzRGF0YVxyZWxhdGl2ZVBhdGjSDRobHFdOUy5kYXRhgAVPEQGgAAAAAAGgAAIAAAxNYWNpbnRvc2ggSEQAAAAAAAAAAAAAAAAAAADDYhqFSCsAAAAOqPkJTUdWMDMucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAANrN68bNUAJQREYgQ0FSTwADAAUAAAkgAAAAAAAAAAAAAAAAAAAABDIwMDMAEAAIAADDYgx1AAAAEQAIAADGzTPiAAAAAQAcAA6o+QAOqFoADpnRAA6TowAN64QAC7DaAAB5awACAERNYWNpbnRvc2ggSEQ6VXNlcnM6bWluYXM6RWlnZW5lIERhdGVpZW46VGV4dDpQYXBlcjpQUzoyMDAzOk1HVjAzLnBkZgAOABQACQBNAEcAVgAwADMALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASADdVc2Vycy9taW5hcy9FaWdlbmUgRGF0ZWllbi9UZXh0L1BhcGVyL1BTLzIwMDMvTUdWMDMucGRmAAATAAEvAAAVAAIADP//AADSHh8gIVgkY2xhc3Nlc1okY2xhc3NuYW1loyEiI11OU011dGFibGVEYXRhVk5TRGF0YVhOU09iamVjdF8QJS4uLy4uLy4uL1RleHQvUGFwZXIvUFMvMjAwMy9NR1YwMy5wZGbSHh8mJ6InI1xOU0RpY3Rpb25hcnkACAARABoAHwApADIANwA6AD8AQQBTAFwAYgBpAHAAeACDAIUAiACKAIwAjwCRAJMAnQCqAK8AtwC5Al0CYgJrAnYCegKIAo8CmALAAsUCyAAAAAAAAAIBAAAAAAAAACgAAAAAAAAAAAAAAAAAAALV}, biburl = {https://www.bibsonomy.org/bibtex/25af189698caca7552dacff9115828aca/minas}, date-added = {2009-09-10 18:11:27 +0200}, date-modified = {2009-09-10 18:11:27 +0200}, interhash = {5f87066109ff5496e22baec720fbe9db}, intrahash = {5af189698caca7552dacff9115828aca}, journal = {Machine Graphics and Vision}, keywords = {2003 Article DiaPlan GraGra myown}, note = {Special issue on Diagrammatics \& Design}, number = 1, p.authors = {*drewes *hoffmann minas#visual}, p.directories = {DiaPlan gg}, p.year = {2003}, pages = {117-132}, timestamp = {2009-09-10T18:49:56.000+0200}, title = {Context-Exploiting Shapes for Diagram Transformation}, volume = 12, year = 2003 }