基于uml活动图和xpdl规范的工作流模型研究

《基于uml活动图和xpdl规范的工作流模型研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、4.2.3实现UML活动图到XPDL规范的映射......................................364.2.4优化规则..........................................................................................394.2.5完整性和有限性..............................................................................414.3转换过程的

2、正确性证明.........................................................................424.3.1特例证明..........................................................................................434.3.2通用证明..........................................................................

3、................454.4实例研究.................................................................................................464.5本章小结.................................................................................................49第5章工作流模型的时间性能分析...................

4、.........................................515.1引言........................................................................................................515.2UML活动图工作流模型到PETRI网的映射........................................525.2.1活动的映射..................................

5、....................................................525.2.2路由结构的映射..............................................................................535.2.3其它元素的映射..............................................................................555.3基于随机PETRI网模型的时间分析方法....

6、..........................................565.3.1定性分析..........................................................................................565.3.2定量分析(时间性能分析)...............................................................575.4实例分析..............................

7、...................................................................605.5本章小结.................................................................................................64万方数据结论...................................................................................

8、..................................65参考文献.............................................................................................................67攻