您的位置： 专家智库 > >

福建省自然科学基金(2012J05112)

作品数：3 被引量：6H指数：1
相关作者：龚平冯在文蒋建明张仕更多>>
相关机构：福建师范大学武汉大学更多>>
发文基金：国家自然科学基金福建省自然科学基金福建省教育厅A类人文社科/科技研究项目更多>>
相关领域：自动化与计算机技术电气工程更多>>

文献类型

  • 2篇中文期刊文章

领域

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

主题

  • 1篇业务过程管理
  • 1篇语义标注
  • 1篇执行性
  • 1篇可执行性
  • 1篇过程管理
  • 1篇合规
  • 1篇合规性

机构

  • 2篇福建师范大学
  • 1篇武汉大学

作者

  • 2篇龚平
  • 1篇张仕
  • 1篇冯在文
  • 1篇蒋建明

传媒

  • 1篇计算机应用
  • 1篇小型微型计算...

年份

  • 1篇2014
  • 1篇2012
共 3 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
语义标识的过程模型的可执行性分析
2012年
语义标识的过程模型是基于领域本体对过程模型中活动的前置条件&效果进行标识后所产生的模型.语义过程模型的可执行性问题是确保语义过程模型质量的核心问题,同时已被证明是一个co-NP难问题.基于关联变量集模型定义了语义过程模型的动态语义;定义了该动态语义的命题公式的编码规则;提出了基于可满足性求解器的可执行性分析方法;该方法能判定可执行性问题同时当模型不满足可执行性时能反馈出有问题的活动;此外,实现了相应的原型工具SPMT,该工具支持对语义过程模型的建模及可执行性分析;最后通过实际例子对以上理论及工具进行了有效性验证.
龚平蒋建明张仕
关键词：可执行性
基于标注的业务过程合规性验证方法被引量：1
2014年
当前,企业的业务活动受到越来越多的来自政府法律法规、行业标准及自身内控制度的规范约束。如何确保支撑企业业务活动的过程感知系统是合规的已成为信息系统(IS)研究领域的热点问题。确保过程模型的合规性是实现过程感知系统的合规性的重要前提。针对过程设计阶段过程模型的合规性,扩展前期关于语义标注过程模型的可执行性分析的工作,提出了基于标注的合规性验证方法。方法包括:合规性规则模式的标注表达式生成和基于合规性标注的过程模型的可执行性分析方法。合规性标注表达式描述了规则所关联的活动及其相应的合规性约束,对合规性验证的调试及运行时合规性检测评估能起到有效的支持作用;合规性标注的过程模型的可执行分析方法是利用满足性求解器对合规性信息标注后的过程模型是否可执行进行求解。通过银行开户的流程案例,证明了上述方法的有效性。
龚平冯在文
关键词：业务过程管理
全选 清除 导出
共1页<1>
聚类工具0