中文摘要：

语义验证是束缚语义软件和语义程序设计语言发展的问题之一,针对这一问题,在基于语义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