基于工作流技术的专利审查流程建模工具的研究与实现
| 文献类型 | 学位 |
| 作者 | 姚加红[1] |
| 机构 | 北京航空航天大学 ↓ |
| 授予学位 | 硕士 |
| 年度 | 2004 |
| 学位授予单位 | 北京航空航天大学 |
| 语言 | 中文 |
| 关键词 | 企业过程建模;工作流Petri网 |
| 摘要 | 实施企业过程工程和BPR的一个重要目标是优化现有企业过程.过程建模是企业建模的一个方面,是实施企业过程工程和BPR的重要环节.经过多年的发展,产生了多种过程建模方法,工作流建模是其中一种.工作流管理系统的目的是实现企业流程的自动化运行,工作流建模的目的是提供在工作流管理系统中可以运行的模型,同时这种严格定义了的模型也是实施BPR及过程工程的有用基础.工作流模型也有多种表示方式,比较有代表性的两种是XPDL和Petri网描述语言.XPDL的特点是表示功能强,用户易接受,缺点是没有形式化基础,分析困难;Petri网的特点是有深厚理论基础和成熟的分析方法,但是一般用户难以使用.结合两者是一个很好的选择:在建模的时候采用基于XPDL表示的建模界面,在分析的时候则先转成Petri网.该文详细介绍了这种解决方法的实现.虽然Petri网的研究成果很多,但是并不是直接用于工作流的;另外随着节点数目增多,状态空间爆炸也是个大问题.该文在讲座了工作流模型正确性定义的基础上,总结了用Petri网技术验证工作流模型正确性的方法,并提出了一种可以简化Petri网模型的等价转换方法和改进的验证步骤来尽量避免状态空间爆炸的影响;另外还提出了基于扩展的WF-NET的Petri网模型能分析一般步骤.Petri网的表示也有多种形式,为了能利用已有的Petri网分析工具,该文介绍了基于XSLT技术的转化方案,使得我们得到的模型可以用于更多的场合.最后,该文中设计并实现了一个基于XPDL的建模工具,其中实现了工作流建及其转化算法,提供了显示Petri网和模拟运行界面以及转换为其他格式的实现方法并提供了对使用第三方验证和分析工具的支持. |
影响因子：
dc:title:基于工作流技术的专利审查流程建模工具的研究与实现
dc:creator:姚加红
dc:date: publishDate:1753-01-01
dc:type:学位
dc:format: Media：北京航空航天大学
dc:identifier: LnterrelatedLiterature：北京航空航天大学.2004.
dc:identifier:DOI：
dc: identifier:ISBN:
