论文信息 - A formal approach to the generation of visual language environments supporting multiple views

A formal approach to the generation of visual language environments supporting multiple views

In this paper we present a formal approach, based on meta-modelling and graph transformation, to the generation of environments for visual languages (VLs) supporting multiple views. The VL syntax is defined by means of a meta-model. Views for the VL are created by selecting the classes, associations, attributes and constraints that are part of them. Once the environment is generated, the view models are translated into a global, unique model where consistency checking and further analysis can be performed by means of graph grammars. These ideas have been newly implemented in the AToM/sup 3/ tool.

[1] Fivos Panetsos,et al. Modeling the Dynamic Behavior of Hypermedia Applications , 2001, IEEE Trans. Software Eng..

[2] Juan de Lara,et al. AToM3: A Tool for Multi-formalism and Meta-modelling , 2002, FASE.

[3] Andy Schürr,et al. Specification of Graph Translators with Triple Graph Grammars , 1994, WG.

[4] Juan de Lara,et al. A Framework for the Verification of UML Models. Examples Using Petri Nets , 2003, JISBD.

[5] Hartmut Ehrig,et al. Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools , 1999 .

[6] Hartmut Ehrig,et al. Handbook of graph grammars and computing by graph transformation: vol. 3: concurrency, parallelism, and distribution , 1999 .

[7] Grzegorz Rozenberg,et al. Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations , 1997 .

[8] John C. Grundy,et al. Pounamu: A Meta-Yool for Multi-View Visual Language Environment Construction , 2004, 2004 IEEE Symposium on Visual Languages - Human Centric Computing.

[9] John C. Grundy,et al. Visual specification of multi-view visual environments , 1998, Proceedings. 1998 IEEE Symposium on Visual Languages (Cat. No.98TB100254).