一种分布式工作流系统的建模方法%3aDWfS-UMLOPN.pdf

⑧硕士学位论天 u^≮flH‘I；fE’I、 ＼：：：：／ 摘 要 r随着分布式工作流系统的广泛应用，系统的复杂程度越来越高，怎样用 面向对象方法建模分布式工作流系统成为工作流研究领域的一个热点。)本文 对系统的动态行为进行严密的数学分析和模拟，但是利用Petri网对实际系统 建模时经常出现节点过多的问题，而且缺乏有效的需求分析方法和建模方法 论的指导：统一建模语言UML是用于可视化构造软件系统模型的标准建模语 言，融合许多面向对象建模方法和建模语言的优点，可以直观化地描述用户 需求、系统的静态特性和动态行为，但对UML描述的系统模型目前缺乏严密 而有效的验证方法和分析模拟方法。这些都抑制了它们在分布式工作流系统 建模领域的应用0、 本文在研究工作流、uML和对象Petri网的基础上提出了一种分布式工 作流系统的建模方法：DWfS 两种技术的优点，提供了支持需求分析、模型描述、模型分析和模拟直至模 型实现的全过程。我们以UML为基础，利用UML的扩展机制进行了有关工 作流特性的扩展：定制了合同、端口、通讯协议块等版类，建立了合同化的 层次体系结构；为了对建立的模型进行严密的数学分析和模拟，我们又提供 了从UML模型到对象Petri网的转换机制和对象Petri网的形式化分析方法， 利用对象Petri网强劲的分析模拟能力来分析分布式工作流系统中工作流(工 作任务)之间的复杂的动态关系；根据分析结果可以对模型进行有效地改进， 最后确定的模型容易实现到程序代码的转换。 UMLOPN方法完 在讨论、比较、分析和研究的基础．盼本文采用DWfS 成了远程考试通用平台系统过程的静态模型和动态模型的设计与分析，唔台出 了系统的主要功能模块，并完成了有关细节的设计，详细分析了系统过程行 为的顺序、并发、冲突、同步以及资源共享与竞争的关系。) ‘。 、f 、，『 设计，形式化分析，远程考试 ，／、、 ④ Abstract workflow Withtheextensive ofdistributed application system．system’s modeI · becomesmoreadvanced．HOWto distributedWOrkflow complicateddegree inworkflow withorientedmethodturnsintothe research system object hotspots field．This reviewstwokindsofWOrkflow method thesis，frstly systemmodeling and makestrict and netsandUML．PetrinetsCan imitate technology：Petri analyze in