过程语义相关论文
Fitting提出一种逻辑程序设计语言proflog,并把表推演机制作为语言的过程语义.表推演具有直观、灵活的特点,它的单步扩展规则具有......
针对目前Web服务本体描述语言过程语义研究中存在的问题,提出了一种基于扩展的着色Petri网的过程模型网,对Web服务本体描述语言的......
析取信息的表示是一个重要的研究问题.DCWA(析取封闭假设)为一般演绎数据库提供了一种谨慎语义,并且扩充了标准的良基语义.同时DCW......
在总结制造过程数据内容和分析现有制造过程数据表达方法的基础上,提出一种基于多色集合理论的制造过程数据形式化表达方法,将制造......
针对农业三维可视化技术的局限性,本文利用过程语义分析农作物在生长周期中循环演变的机理,通过对农作物各个生长周期分别构建OSG......
采用Hoare逻辑风格的推理,提出了一些从源代码推导过程和这些过程调用的形式化语义规范的技术和算法。为了推导一个过程调用的语义......
