Title :
Grammar-specified model-driven architectures
Author :
Kong, Jun ; Zhang, Kang ; Dong, Jing
Author_Institution :
Univ. of Texas at Dallas, Richardson, TX, USA
Abstract :
Instead of UML diagrams, an alternative approach is using graph grammars according to G. Rozenberg (1997) to specify meta-models. With the capability of formally specifying syntax in a visual fashion, graph grammars have gained much attention in recent years. Based on graph grammar formalism, called the reserved graph grammar (RGG) as stated in D.Q. Zhang et al. (2001), this paper proposes an intuitive yet formal approach to specifying models. More specially, given a graph grammar defining a meta-model, a visual language generator can automatically generate a graphical environment, which allows users to directly manipulate models by drawing box-line diagrams. A graph transformation engine underlying the environment can validate the integrity of user-designed models.
Keywords :
Unified Modeling Language; computational linguistics; formal specification; graph grammars; programming environments; software architecture; visual programming; UML diagrams; box-line diagrams; formal specification; grammar-specified model-driven architectures; graph grammar formalism; graph transformation engine; metamodels; reserved graph grammar; user-designed models; visual language generator; Automotive components; Cameras; Computer architecture; Engines; Pricing; Production; Road vehicles; Traffic control; Unified modeling language; Vehicle driving;
Conference_Titel :
Engineering of Complex Computer Systems, 2005. ICECCS 2005. Proceedings. 10th IEEE International Conference on
Print_ISBN :
0-7695-2284-X
DOI :
10.1109/ICECCS.2005.52