文件名称：论文研究-一种基于Mealy!机的语义程序验证方法.pdf
文件大小：1.29MB
文件格式：PDF
更新时间：2022-08-11 11:51:31
Mealy机, 本体, 语义程序设计, 语义验证
语义验证是束缚语义软件和语义程序设计语言发展的问题之一, 针对这一问题, 在基于语义Web服务的语义程序设计语言SPL及其知识库业务领域本体BDO的基础上, 提出了一种基于Mealy!机对SPL所编排的业务过程进行语义验证的方法, 结合在线外汇交易平台的案例, 详细描述了运用该方法进行语义验证的过程。通过案例证明, 本方法有助于编写语义正确的语义程序。