[Scade One] Swan 图形化建模技术的形式化文法

Scade One 中使用的建模语言 Swan 虽然是基于 Scade Suite 中Scade 6的拓展，但在图形化语言特性的技术实现方面作了较大变化。对图形化建模部分，从由 RelaxNG schema 定义图形化Scade内容的组成1，到使用ENBF 形式化地定义 Swan 的图形化语法结构，使 Scade 技术的形式化语法定义范围，由文本标记法表达拓展到了图形化标记法表达。

Swan 图形化建模部分的EBNF形式化文法定义

在 Swan 的语言定义中，在词法部分新引入了diagram 关键字。diagram 是新引入的描述图形化建模程序的语法符号。在Swan 中，对图形化建模部分的 EBNF 语法如下描述

scope ::= ...
        | diagram {{object}}
        ...

object ::= (description [[local_objects]])
local_objects ::= where {{ object }}
description ::= [[LUNUM]] [[LUID]] graph_item 
                | def_by_case 
                | scope_section 
graph_item ::= expr expr 
            | def lhs 
            | block operator_block 
            | group [[group_operation]]
            | wire connection => connection {{, connection }}

group_operation ::= ()
                | byname 
                | bypos 

connection ::= port [[group_adaption]]
            | () 

port ::= instance_id 

instance_id ::= LUNUM | LUID | self 

在 Swan 中，对图形化表达的模型，以如上的文法形式描述。这一做法与Scade Suite的做法有着显著的不同。在 Scade Suite 中，Scade 模型的图形化表达没有以 EBNF 形式化文法的方式描述，而是以 RelaxNG schema 规则描述的 XML 内容元素的结构组成规则。而在 Scade One 中，XML 文件持久化格式不再采用，对建模语言，使用ENBF 定义，对工具中的配置文件使用 JSON 定义。

因此，在Scade One产品中，对语言部分语法(Syntax)的形式化定义的范围从原有的文本标记法（文本Scade模型），拓展到了图形化标记法(图形化Scade模型)。语言的定义形式更加统一。

Swan 图形化建模程序样例

Swan 语言图形化标记法形式的模型样例如下

node integrator ( i : f loat64 ) returns ( o : f loat64 ) {
    diagram
        (#1 $adder_1 block ( funct ion a , b = > a + b ))
        (#2 $delay_1 expr pre #20
          where (#20 group))
        (#3 $init_1 expr 0.0 -> #30
          where (#30 group))
        (#4 expr i )
        (#5 def o )
        (wire #2 = > #30)
        (wire #1 = > #20 , #5)
        (wire #4 = > #1.(1))
        (wire #3 = > #1.(2))
}

可以注意到 Swan 中的图形化程序的文本表示形式，相比 Scade Suite 中图形化模型的 XML 文件持久化形式(XScade)更加紧凑。