论文部分内容阅读
工作流管理系统的最重要功能之一就是工作流建模。一个好的工作流模型是实现一个具有高度灵活性、可靠性、可用性、可伸缩性和互操作性的工作流管理系统的关键和基础。工作流建模主要是研究如何清晰、准确地表示实际应用中的业务过程,特别是研究如何以形式化的方法表示工作流模型。 一个工作流系统成功的关键在于向其输入的工作流的质量。因此,工作流的建模和分析就显得特别重要。 面向对象Petri网是目前工作流研究的热点之一,其目的是利用面向对象技术提供的抽象的封装、分类以及继承机制,简化复杂系统的建模。 单一的建模技术因其自身特点和局限性,无法很好地完成从系统建模、分析到验证的全部任务。改进和扩展单一的建模技术,将面向对象建模技术与Petri网建模技术结合在一起,综合两种建模技术的优势,克服彼此存在的主要缺陷,走复合建模技术的道路是解决大规模复杂系统建模问题的主要途径。在建模过程中利用面向对象的概念对系统进行功能划分,将复杂系统的建模分解成若干子系统的建模,从而使得Petri网建模技术既适用于大型系统的建模,又有效的解决了状态空间“爆炸”的问题。 本文提出的有色对象Petri网模型COPN,用子网来描述对象,对象之间的通信用门变迁来实现。论文给出COPN的形式化定义之后,对一个系统进行了COPN建模,并且基于分层思想采用可达树方法对模型予以验证,最后,根据前面的分析,设计了一个名为COPN-Flow的工作流建模工具。