一种基于Mealy!机的语义程序验证方法

• 作者: 应时 柴新 胡罗凯 许庆炜
• 来源期刊: 计算机应用研究
• 关键词: Mealy机 本体 语义程序设计 语义验证
• 年，卷（期）: 2012,（9）
• 所属期刊栏目: 软件技术研究
• 页码范围: 3320-3323,3329
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2012.09.032

摘要

语义验证是束缚语义软件和语义程序设计语言发展的问题之一,针对这一问题,在基于语义Web服务的语义程序设计语言SPL及其知识库业务领域本体(BDO)的基础上,提出了一种基于Mealy!机对SPL所编排的业务过程进行语义验证的方法,结合在线外汇交易平台的案例,详细描述了运用该方法进行语义验证的过程.通过案例证明,本方法有助于编写语义正确的语义程序.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	应时	武汉大学软件工程国家重点实验室	100	849	10.0	26.0
2	胡罗凯	湖北第二师范学院计算机学院	11	91	4.0	9.0
4	许庆炜	湖北第二师范学院计算机学院	14	18	2.0	4.0
7	柴新	湖北第二师范学院计算机学院	2	5	1.0	2.0