您的位置： 专家智库 > >

蒋建明

作品数：1 被引量：0H指数：0
供职机构：福建师范大学数学与计算机科学学院更多>>
发文基金：福建省教育厅A类人文社科/科技研究项目国家自然科学基金福建省自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇语义标注
  • 1篇执行性
  • 1篇可执行性

机构

  • 1篇福建师范大学

作者

  • 1篇张仕
  • 1篇龚平
  • 1篇蒋建明

传媒

  • 1篇小型微型计算...

年份

  • 1篇2012
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
语义标识的过程模型的可执行性分析
2012年
语义标识的过程模型是基于领域本体对过程模型中活动的前置条件&效果进行标识后所产生的模型.语义过程模型的可执行性问题是确保语义过程模型质量的核心问题,同时已被证明是一个co-NP难问题.基于关联变量集模型定义了语义过程模型的动态语义;定义了该动态语义的命题公式的编码规则;提出了基于可满足性求解器的可执行性分析方法;该方法能判定可执行性问题同时当模型不满足可执行性时能反馈出有问题的活动;此外,实现了相应的原型工具SPMT,该工具支持对语义过程模型的建模及可执行性分析;最后通过实际例子对以上理论及工具进行了有效性验证.
龚平蒋建明张仕
关键词：可执行性
全选 清除 导出
共1页<1>
聚类工具0