Generic Description, Behavior and Animation of Visual Modeling Languages
Hartmut Ehrig, Roswitha Bardohl, Claudia Ermel · Dialnet (Universidad de la Rioja) · 2001
Syntax Graphic Graphic Graphic Graphic Graphic Graphic Graphic Graphic Graphic String,12pt,Helvetica String,12pt,Helvetica String,12pt,Helvetica String,12pt,Helvetica String,12pt,Helvetica Figure 2: Abstract and Concrete Syntax of the AHL Net Alphabet VL sentence = (VL abstract sentence, VL concrete sentence) w.r.t. VL alphabet consists of a VL abstract sentence given by an attributed graph structure A which is an algebra w.r.t. Ags , VL concrete sentence given by additional domains and operations leading to an attributed graph structure A', which is an algebra w.r.t. Ags ' satisfying the Csp . The attributed graph structure A' is called VL (visual) sentence and extends A. 4 Example 3.4 (Visual Sentence of the AHL Net Tra c Lights) The visual sentence of the AHL Net Tra c Lights illustrated in Figure 3, corresponds to the AHL net Tra c Lights in Figure 1 (a), and is a visual sentence w.r.t. the AHL net alphabet in Example 3.2 with the algebraic speci cation SPEC given in Section 2. In Figure 3, the graphical attribute carrier nodes and the graphics belonging to the VL concrete sentence are grouped around the lexical symbol nodes and their connection links of the VL abstract sentence, the dashed arrows marking the connection between the abstract and concrete syntax levels. Link constraint have been omitted in Figure 3. 4 The last step in this section is to de ne the concepts of visual grammar and visual language, based on the concepts of visual alphabet and sentence de ned above. De nition 3.5 (Visual Grammar and Visual Language) Let VL alphabet be a visual alphabet. A visual grammar VL grammar = (VL start sentence, VL rules) w.r.t. VL alphabet consists of a switch C1 C2 after(C2) red1 red-yellow L1 after(C1) 1:P 1:T 1:APT 1:ATP 2:ATP 2:APT 2:P 1:Token !:PN 1:InsTP 1:TN 2:InsTP 1:InsPT 2:InsPT 2:Token C2 C1 red1 2:PN red-yellow L1 ACInsPT Token AC