导读:本文包含了扩展信牌驱动模型论文开题报告文献综述及选题提纲参考文献，主要关键词:工作流,Petri网,扩展信牌驱动模型,正确性
扩展信牌驱动模型论文文献综述
王娜[1]（2009）在《基于Petri网的扩展信牌驱动工作流模型的验证》一文中研究指出随着软件在信息社会中发挥日益重要的作用,软件的正确性、可靠性、安全性等可信性质越来越多的受到关注。如何在软件的开发和运行过程中保证软件具有高可信性质,这成为软件理论和技术越来越重要的研究方向。国家高技术研究发展计划(863计划)——“高可信软件生产工具及集成环境”中的子课题5“面向流程管理的软件生产线”的一个研究重点即为过程建模、能力分析以及正确性验证。本文的研究重点即为工作流模型的验证。工作流管理系统中的一个关键问题是如何建立一个合理、全面、使用方便和能进行形式化验证的工作流过程模型。为了很好的解决工作流过程建模的问题,本文提出了基于Petri网的扩展信牌驱动工作流模型。该模型具有表达能力强、图形化、使用方便,有严格的形式化语义等特点。工作流管理系统中的另一个重要组成部分是工作流模型验证,目的是在工作流过程实施之前探测其中可能存在的各种错误,从而降低工作过程运行时的停产、检查和修复的成本。本文提出了一种基于Petri网仿真的模型验证方法。该方法弥补了一般基于Petri网模型验证方法的不足,不仅能够验证模型的控制信息,而且可以验证模型的数据信息和资源信息,既可以验证模型的静态结构,又可以验证模型的动态属性。最后,开发出工作流模型验证工具。该工具具有良好的体系结构和友好的人机界面,能够对模型的各种性质进行验证,为模型的优化提供可靠依据。(本文来源于《西北大学》期刊2009-06-30）
郝克刚,王斌君[2]（2004）在《扩展的信牌驱动模型与Petri网》一文中研究指出为了满足实用性以及与WfMC的标准接轨 ,在信牌驱动模型的基础上 ,提出了功能更大、表现力更强、更方便灵活的扩展的信牌驱动模型。并进一步探讨了扩展的信牌驱动模型的控制结构与Petri网之间的对应关系。从而为保证过程定义的正确性 ,及其验证、分析和执行提供了必要的理论支撑(本文来源于《计算机应用与软件》期刊2004年02期）
王斌君,董护斌,郝克刚[3]（2003）在《扩展的信牌驱动模型中配对结构之研究》一文中研究指出在分层的工作流模型研究的基础上 ,指出了 WPDL 中 AND- JOIN的语义问题 ,并在扩展的信牌驱动模型层 ,对配对结构进行了系统、深入的研究 .形式地定义了最宽泛的配对概念和严格的正则配对的概念 ,分析了它们各自的优缺点 .然后定义了一个既有严格语义、性能可以确定 ,但要求相对宽泛、相对比较实用的扩展正则配对的概念 .利用此概念 ,严格地定义了扩展的信牌驱动模型(本文来源于《小型微型计算机系统》期刊2003年11期）
汪蔚芳[4]（2001）在《扩展的信牌驱动式工作流计算模型与可视化工作流定义工具的设计与实现》一文中研究指出我们在继承信牌驱动式工作流计算模型的基础上，结合工作流管理联盟（WfMC）所制定的用工作流过程定义语言（WPDL）描述的工作流标准语义模型，又提出了一个新的工作流模型——扩展的信牌驱动式工作流计算模型。以此模型为基础，开发了一个基于J2EE平台的工作流管理系统原型——J2EE-WFMS。我们采用中间件进行开发，原型系统既具有平台无关性，能在分布式环境中工作，又减低了开发强度和难度。由于采纳了工作流管理联盟的标准语义模型，本系统可以制作标准WPDL文本格式的工作流模型定义，也可以解释和使用其它系统中所设计的符合工作流标准的WPDL文本工作流模型定义，实现了工作流过程定义的重复使用。本文阐述了基于J2EE平台的工作流管理系统的工作流理论模型和体系结构，以及其中一个工作流定义工具的设计与实现。(本文来源于《西北大学》期刊2001-05-01）
扩展信牌驱动模型论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
为了满足实用性以及与WfMC的标准接轨 ,在信牌驱动模型的基础上 ,提出了功能更大、表现力更强、更方便灵活的扩展的信牌驱动模型。并进一步探讨了扩展的信牌驱动模型的控制结构与Petri网之间的对应关系。从而为保证过程定义的正确性 ,及其验证、分析和执行提供了必要的理论支撑
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
扩展信牌驱动模型论文参考文献
[1].王娜.基于Petri网的扩展信牌驱动工作流模型的验证[D].西北大学.2009
[2].郝克刚,王斌君.扩展的信牌驱动模型与Petri网[J].计算机应用与软件.2004
[3].王斌君,董护斌,郝克刚.扩展的信牌驱动模型中配对结构之研究[J].小型微型计算机系统.2003
[4].汪蔚芳.扩展的信牌驱动式工作流计算模型与可视化工作流定义工具的设计与实现[D].西北大学.2001