期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

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

Mealy! machine based approach for semantic program validation
下载PDF
导出
摘要 语义验证是束缚语义软件和语义程序设计语言发展的问题之一,针对这一问题,在基于语义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
作者 胡罗凯 柴新 许庆炜 应时
机构地区 湖北第二师范学院计算机学院 华中科技大学计算机学院 武汉大学软件工程国家重点实验室
出处 《计算机应用研究》 CSCD 北大核心 2012年第9期3320-3323,3329,共5页 Application Research of Computers
基金 国家自然科学基金资助项目(61070012) 湖北省教育厅重点科研项目(D20103004) 湖北省科学技术研究计划优秀中青年人才项目(Q20113001)
关键词 MEALY机 本体 语义程序设计 语义验证 Mealy machine ontology semantic programming semantic validation
分类号 TP311 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献20

  • 1GRUBER T. Towards principles for the design of ontologies used for knowledge sharing[ J ]. International Journal of Human-Computer Studies, :1995,43(5-6) :907-928.
  • 2QADEER S,RAJAMANI S. Deciding assertions in programs with references [R]. MSR Technical Report: MSR-TR-2005-08, 2005.
  • 3CHAKI S.IVERS J, SHARYGINA N,et al The ComFoRT reasoning framework[ C] //LNCS,vol 3576. Berlin :Springer,2005 : 164-169.
  • 4PASAREANU C.VISSER W. Verification of Java programs using symbolic execution and invariant generation [ C ] //LNCS, vol 2989, Berlin :Springer,2004:164-181.
  • 5李梦君,李舟军,陈火旺.基于抽象解释理论的程序验证技术[J].软件学报,2008,19(1):17-26. 被引量：30
  • 6COUSOT P,COUSOT R, FEHET J, et al. The ASTR6E analyser [C]//LNCS,vol 3444. Berlin;Springer,2005 :21-30.
  • 7RIVAL X. Abstract dependences for alarm diagnosis[ C]//LNCS, vol 3780. Berlin : Springer,2005 :347-363.
  • 8MINfiA. Symbolic Methods to Enhance the Precision of Numerical Abstract Domains [ C ] //LNCS, vol 3855. Berlin : Springer, 2006 : 348 -363.
  • 9BALL T, MAJUMDAR R, MILLSTEIN T, et al. Automatic predicateabstraction of C programs [ C ] //Proc of ACM SIGPLAN Conference on Programming Language Design and Implementation. New York : ACM Press, 2001:203-213.
  • 10HENZINGER T A,JHALA R,MAJUMDAR R,et al. Abstractions from proofs[ C]//Proc of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. New York: ACM Press, 2004 : 232-244.

二级参考文献56

  • 1刘静,何积丰,Zhiming Liu.面向服务架构中服务实现的策略[J].中国科学（E辑）,2006,36(10):1220-1239. 被引量：4
  • 2马骞,虞建杰,马晓星,吕建.一种基于运行时体系结构的BPEL支撑环境[J].电子学报,2006,34(B12):2360-2365. 被引量：3
  • 3Cousot P, Cousot R. Systematic design of program analysis frameworks. In: Proc. of the 6th POPL. San Antonio: ACM Press, 1979. 69-282. http://www.di.ens.fr/-cousot/COUSOTpapers/POPL79.shtml
  • 4Cousot P, Cousot R. Abstract interpretation frameworks. Journal of Logic and Computer, 1992,2(4):511-547.
  • 5Cousot P, Cousot R. Comparing the Galois connection and widening/narrowing approaches to abstract interpretation. In: Bruynooghe M, Wirsing M, eds. Proc. of the PLILP'92. LNCS 631, Springer-Verlag, 1992. 269-295.
  • 6Cousot P. Abstract interpretation based formal methods and future chanllenges. In: Wilhelm R, ed. Informatics——10 Years Back, 10 Years Ahead. Berlin, Heidelberg: Springer-Verlag, 2000. 138-156.
  • 7Cousot P, Cousot R. Abstract interpretation based program testing. In: Proc. of the SSGRR 2000 Computer & eBusiness Int'l Conf. 2000. Compact disk paper 248. http://www.di.ens.fr/-cousot/COUSOTpapers/SSGRRP-00-PC-RC.shtml
  • 8Cousot P, Cousot R. Basic concepts of abstract interpretation. In: René J, ed. Building the Information Society. Toulouse: Kluwer Academic Publishers, 2004. 359-366.
  • 9Cousot P, Cousot R. Refining model checking by abstract interpretation. Automated Software Engineering Journal (Special Issue on Automated Software Analysis), 1999,6(1):69-95.
  • 10Cousot P, Cousot R. Static determination of dynamic properties of programs. In: Robinet B, ed. Proc. of the 2nd Int'l Symp. on Programming. Paris, 1976. 106-130. http://www.di.ens.fr/-cousot/COUSOTpapers/ISOP76.shtml

共引文献32

计算机应用研究
2012年 第9期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部