您的位置： 专家智库 > >

王克丽

作品数：2 被引量：2H指数：1
供职机构：太原理工大学计算机科学与技术学院更多>>
发文基金：山西省自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文

领域

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

主题

  • 1篇死锁
  • 1篇JAVA语言

机构

  • 2篇太原理工大学

作者

  • 2篇王克丽
  • 1篇武淑红
  • 1篇王耀力

传媒

  • 1篇电子技术应用

年份

  • 2篇2016
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
复杂信息系统流程验证及统一建模平台实现研究
复杂信息系统的流程复杂，并发性强，分支结点多，系统完成后发现系统存在问题，更改系统代价会很大，所以应对系统进行建模，检查系统流程中存在的死锁和活锁。业务流程管理倡议组织(BPMI，The Business Process...
王克丽
关键词：JAVA语言
基于统一建模平台的BPMN模型业务流程验证被引量：2
2016年
为了解决业务流程设计、形式化分析、验证的平台不统一以及可移植性差等问题,提出了一种在统一建模平台上处理BPMN模型输出的业务流程形式化验证方案。首先构建基于Java语言的形式化建模平台,将BPMN模型输出作为该平台的输入。随后输出基于BPMN2.0业务流程形式化验证的Java程序代码,该代码可在构建的建模平台实现自动检验业务流程模型中可能存在的死锁、活锁。最后给出复杂信息系统相应实例验证了方案的有效性。
王克丽武淑红王耀力
关键词：死锁
全选 清除 导出
共1页<1>
聚类工具0