欢迎来到天天文库
浏览记录
ID:25158652
大小:2.33 MB
页数:93页
时间:2018-11-18
《基于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攻
此文档下载收益归作者所有