-
题名基于SPIN的G语言系统模型的验证
被引量：1
- 1
-
-
作者
薛艳
武淑红
王耀力
-
机构
太原理工大学计算机科学与技术学院
太原理工大学信息工程学院
-
出处
《计算机科学》
CSCD
北大核心
2018年第B06期536-540,544,共6页
-
基金
山西省自然科学基金资助
-
文摘
对于大型系统,为确保其运行的可靠性、稳定性及高效性,需要从两个方面对系统进行验证:业务模型和系统模型。目前,对业务模型的验证可通过BPMN来完成;对系统模型的验证可通过SPIN(Simple Promela Interpreter)工具执行。G语言是由NI公司创建的一种图形化程序框图语言,还未被加入ANSI标准,因此,文中第一步工作是提取G语言的形式、规则、文法等语言特性。由于SPIN对G语言不提供直接的支持,因此第二步工作是完成G2Promela的映射。在G2Promela的工作中,主要是基于编译器的框架,以Scanner-Parser-Optimizer-Generator(SPOG框架)为主线,根据第一步的预处理工作,按方法函数、指针、关键字、变量等分类创建G2Promela的映射规则,最终实现G2Promela的转换,完成对G语言系统模型的验证。该方法的提出弥补了G语言系统模型验证方面的空白,从而更深入地确保了G语言程序的性能。
-
关键词
系统模型
G语言
SPIN
G2Promela
SPOG
-
Keywords
System model
G languagc
SPIN
g2promcla
SPOG
-
分类号
TP399
[自动化与计算机技术—计算机应用技术]
-
