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

Mealy! machine based approach for semantic program validation

作　　者：胡罗凯[1,2] 柴新[1] 许庆炜[1] 应时[3] 

机构地区：[1]湖北第二师范学院计算机学院,武汉430205 [2]华中科技大学计算机学院,武汉430074 [3]武汉大学软件工程国家重点实验室,武汉430072

出　　处：《计算机应用研究》2012年第9期3320-3323,3329,共5页Application Research of Computers

基　　金：国家自然科学基金资助项目(61070012);湖北省教育厅重点科研项目(D20103004);湖北省科学技术研究计划优秀中青年人才项目(Q20113001)

摘　　要：语义验证是束缚语义软件和语义程序设计语言发展的问题之一,针对这一问题,在基于语义Web服务的语义程序设计语言SPL及其知识库业务领域本体(BDO)的基础上,提出了一种基于Mealy!机对SPL所编排的业务过程进行语义验证的方法,结合在线外汇交易平台的案例,详细描述了运用该方法进行语义验证的过程。通过案例证明,本方法有助于编写语义正确的语义程序。Semantic validation is one of the shackles for the development of semantic software and semantic programming language.To solve this problem,this paper firstly introduces the semantic Web services based semantic programming language（SPL） and its knowledge base business domain ontology（BDO）.It proposed a mealy! machine based approach for semantic validation of SPL language.Through a case study of an online foreign exchange trading platform,it described the approach in detail.The case proves that this approach is useful for orchestrating the semantic correct program

关 键 词：MEALY机 本体 语义程序设计 语义验证 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]