您的位置： 专家智库 > >

杨晓丽

作品数：1 被引量：12H指数：1
供职机构：大连理工大学电子科学与技术学院计算机科学与工程系更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇时态逻辑
  • 1篇逻辑
  • 1篇工作流
  • 1篇工作流建模

机构

  • 1篇大连理工大学

作者

  • 1篇唐达
  • 1篇杨晓丽
  • 1篇徐超

传媒

  • 1篇计算机集成制...

年份

  • 1篇2004
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
工作流建模中时态逻辑的研究与应用被引量：12
2004年
在使用Petri网构建工作流行为结构模型的同时,使用时态逻辑描述工作流模型的需求与特性,则具有描述能力强、灵活方便的优点。在此基础上,综合考虑时态逻辑列表法和即时验证方法的特点,给出一种主要利用B櫣chi自动机进行工作流模型需求及特性验证的方法,提高了工作流模型的合理性和可靠性。最后,验证分析了电子商务的工作流实例。
唐达徐超杨晓丽
关键词：工作流时态逻辑
全选 清除 导出
共1页<1>
聚类工具0