导读:本文包含了协作图论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:测试,建模,序列,路径,自动机,消息,上下文。
协作图论文文献综述
李一冰,代飞,黄苾[1]（2017）在《协作图在编排定义中的应用》一文中研究指出编排从全局视角,描述了业务过程间的交互契约,是实施自上而下式跨组织业务过程建模的关键。协作图具有直观性和简易性。将协作图应用于定义编排,通过直观的方式显示业务过程间交互,有利于业务人员间的沟通和交流,从而提高跨组织业务过程的质量。(本文来源于《计算机产品与流通》期刊2017年11期）
张蕾[2]（2017）在《一种将协作图编排映射到Peer的方法》一文中研究指出将协作图编排映射为参与者(Peer),是跨组织业务过程建模中自上而下模型映射中务必解决的关键问题。从顶层视角和底层视角对跨组织业务过程进行描述,更能在跨组织业务过程模型交互过程中判断并识别异常。现有文献将协作图编排映射为参与者都需要经过两个步骤,第一,将协作图编排映射到一种具有形式语义的模型语言;第二,以模型语言为基础,自上而下的映射到参与者。转换的中间环节越多意味着发生错误的风险越大,因此,在保持两个模型语义的一致性的情况下,将协作图编排直接映射成Peer成为了目前跨组织业务过程建模的关注点。为了解决上述问题,本文提出一种将协作图直接映射到参与者(Peer)的方法。该方法通过对协作图中消息间依赖关系的提取和设计,实现了从协作图编排到参与者的直接映射。本文所做工作主要如下:(1)提取协作图语义及语法特点,为协作图合理性验证提供了依据。现有文献大多以协作图的语法层面作为切入点,研究用户使用习惯,将他们的行为进行比较。但是这些文献仅从语法使用过程中讨论语义的一致性,并未提取协作图使用过程中的语义特点。因此本论文以此为切入点,进行协作图合理性验证方面的讨论。(2)进行从协作图编排到Peer的直接映射。这个转换是跨组织业务过程建模的形式化分析中的必要步骤,本文提出的方法引用了离散数学中传递闭包的概念,为消息间的依赖关系建立直接依赖集、间接依赖集、最小依赖集等集合关系。使Peer能直接从协作图中提取出来,不用经过多次转换。(3)将转换后的Petri网Peer模型与原协作图进行一致性验证,验证结果显示转换后的Petri网模型完全保持协作图语义,进一步证明了方法的可行性。(4)编写程序实现该方法,验证方法的可行性。程序的输入数据为turfun工具绘制的协作图,这个工具绘制出来的协作图满足UML语法标准,并且以XML格式存储,方便协作图元素的提取。输出结果为Petri网表示的Peer,在开源工具pipe4.3上能成功运行。该方法解决了用协作图表示Peer缺少形式语义,不利于可实现性分析的不足,为协作图的合理性及正确性提供了理论依据。其中,该方法包括分析、扩充、提取、映射等步骤,最终得到的结果是映射到n个参与者上的n个最小依赖集。最小依赖集都用petri网进行表示,使结果不仅保持协作图中的语义而且具有形式化语义,为可实现性分析提供便利。(本文来源于《云南大学》期刊2017-06-01）
吴晓龙,贲可荣[3]（2011）在《一种从UML类图和协作图到状态图的转换方法》一文中研究指出统一建模语言(unified modeling language,UML)状态图是基于UML开发的软件设计模型的重要组成部分,它描述了一个对象所处的可能状态以及状态之间的转换。对一种生成状态图的方法进行了改进,以类图和协作图为基础,创建单个对象的状态图,对系统中单个对象的状态图进行集成生成整个系统的状态图。结果表明,生成的状态图具有较高的结构化和可读性。(本文来源于《武汉理工大学学报(信息与管理工程版)》期刊2011年06期）
李青松,张晔[4]（2011）在《基于UML协作图和DFA的测试用例生成方法研究》一文中研究指出UML协作图能够描述对象之间动态的交互关系及对象之间消息传递的过程,根据协作图中的消息流和控制流可以获取有用的场景模型并生成测试用例。本文在研究UML协作图和确定有穷自动机(DFA)之间对应关系的基础上,提出一种将UML协作图转换为DFA,再从DFA中提取测试场景生成测试用例的方法,并将该方法应用于实际项目的测试用例生成。最后,通过对结果进行数据对比和分析,说明该测试用例生成方法的有效性。(本文来源于《计算机与现代化》期刊2011年08期）
陈雷[5]（2011）在《基于UML协作图的测试序列生成方法研究》一文中研究指出计算机产业的发展推动信息化向纵深发展,在“十二五”软件服务业规划助推下,软件产品将会被大量的应用于社会经济生活的各个领域,人们对于软件产品质量的关注也必将持续升温。然而种类繁多的程序设计语言、操作系统平台的差异、硬件基础平台的不同以及软件规模的不断膨胀使得软件质量的保障变的十分困难,软件测试作为软件质量保障的关键将最终决定软件产品是否能够成功。本文以此为背景,以UML为工具结合面向对象程序设计的特点,分析软件测试中测试序列的生成方法。UML协作图描述了在系统协作中参与对象之间的结构关系和交互行为,以其为模型,本文提出了一个基于UML协作图生成测试序列的方法,通过分析协作图中不同类型信息流的处理方法,总结出一系列的覆盖准则;并针对测试序列生成算法—IRCFG算法在方法调用方面的局限性对其进行类方法的多态性扩展;采用改进后的算法描述协作图中对象间的信息交互,生成对应的测试序列;最终完成集成测试序列生成工具的设计。本文的研究是对软件自动化测试的一个深入的实践过程,是为提高软件测试效率、保障软件质量所做出的一次有益的尝试。(本文来源于《河北工程大学》期刊2011-04-01）
范莉莉,王忠群[6]（2010）在《消息路径:UML协作图的复杂性度量》一文中研究指出针对面向对象软件的复杂性,提出了一种面向UML协作图的软件动态复杂性度量方法——消息路径。基于UML协作图中角色对象间的消息流以及所定义的不同类别的信息标记,给出消息路径图的构造方法和基于消息路径图的面向对象软件动态复杂性度量模型。在该模型中,建立了一组复杂性度量指标,并对这些指标的意义进行了阐述。结合具体实例,给出了消息路径图和各项指标值,并且比较了不同实例的度量结果,表明了所提出度量方法的可行性和实用性。(本文来源于《计算机工程与设计》期刊2010年23期）
许亮,孙媛媛[7]（2009）在《基于协作图和Petri网的供应链知识流模型研究》一文中研究指出供应链中蕴含着丰富的知识,但目前供应链企业对知识的利用效率不高。供应链知识流的研究可以为供应链企业获利。本文根据构造业务流程与知识流程集成系统的思想,研究供应链知识流集成模型。首先,本文在协作图与Petri网基础上提出了供应链业务流程模型。对知识的特性进行研究,并利用Petri网相关原理提出了基于知识特性的供应链知识流模型。之后将此两个模型相结合得出供应链知识流集成模型。(本文来源于《商场现代化》期刊2009年24期）
陈佳佳[8]（2009）在《基于UML协作图的测试序列生成方法研究》一文中研究指出随着软件规模的不断扩大,软件错误产生的几率越来越大。软件开发过程中需要考虑的重要问题之一便是如何尽早地检测出错误,以达到降低成本的效果。因此软件测试在软件开发过程中起着举足轻重的作用。它贯穿于整个软件开发过程。在软件测试过程中,测试序列的生成设计是非常重要的,而它以软件需求和软件设计为主要评判标准。目前,纯手工选择测试用例使得软件测试的成本居高不下,因此测试序列自动生成方法的研究就具有重要意义。随着OMG组织采纳UML作为面向对象分析和设计建模语言的标准,UML被广泛使用和推广。许多大型系统均采用UML作为需求描述语言进行分析和设计。本文提出一种基于UML协作图的测试序列生成方法,该方法采用UML协作图描述对象间结构关系及其交互行为,并且通过UML协作图实现从UML协作图到有限状态机的转换,使用Wp方法生成测试序列,通过CPP技术优化Wp方法并生成较短测试序列。论文的主要工作包括以下几个方面:1、介绍了软件测试的研究背景以及研究意义,分析了该课题在国内外研究现状及主要问题。2、对统一建模语言(UML)做了简单的介绍,其中重点介绍了UML协作图中的消息以及定义。3、介绍了有限状态机的形式定义以及基于有限状态机的测试,同时也介绍了论文提出的一个新的将UML协作图转化为有限状态机的算法。4、主要介绍了作者通过前期资料的分析研究,在基于Wp方法生成测试序列的基础上,使用CPP算法进行优化,得到较短测试序列。本论文的主要贡献体现在以下方面:1、设计一算法将UML协作图转换为有限状态机。由于基于状态机的测试序列生成方法是测试序列生成方法的研究重点之一。状态机测试侧重于对象的动态行为,可以检测出对象交互时产生的错误,所以先将UML协作图转换成FSM,为后面的测试序列的自动生成铺路。2、对CPP问题进行进一步的研究,结合欧拉回路,对CPP问题分两步讨论,并给出了详细的算法。3、本论文结合Wp方法用CPP方法对测试序列进行优化,生成较短测试序列。(本文来源于《浙江师范大学》期刊2009-03-31）
汪斌,袁捷,缪淮扣,毕德闯,朱洪宝[9]（2008）在《Web应用的UML协作图建模与形式化规格说明》一文中研究指出针对Web应用的特点,从整体功能层面和交互行为层面用UML协作图构建了Web应用模型,以便精确、有效地描述参与协作对象间的结构关系和交互行为,保证在利用UML形式的规格说明推导测试用例时所需的语义信息。研究了运用Object-Z语言来形式化描述Web应用模型,提出了相应的转换规则。设计了形式化规格说明自动化生成的工具(UMLTOZ)中的主要相关类库。(本文来源于《计算机工程与设计》期刊2008年19期）
田野,张屹峰[10]（2008）在《基于UML协作图的集成测试算法》一文中研究指出UM L是软件建模的一种工具,利用UM L协作图可描绘在特定上下文中一组相关对象之间的协作关系.文章提出一个依据协作图不同种类消息遍历测试路径的算法,用JAVA语言实现,并将其用在ATM机中确认P IN的实例中.(本文来源于《太原师范学院学报(自然科学版)》期刊2008年02期）
协作图论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
将协作图编排映射为参与者(Peer),是跨组织业务过程建模中自上而下模型映射中务必解决的关键问题。从顶层视角和底层视角对跨组织业务过程进行描述,更能在跨组织业务过程模型交互过程中判断并识别异常。现有文献将协作图编排映射为参与者都需要经过两个步骤,第一,将协作图编排映射到一种具有形式语义的模型语言;第二,以模型语言为基础,自上而下的映射到参与者。转换的中间环节越多意味着发生错误的风险越大,因此,在保持两个模型语义的一致性的情况下,将协作图编排直接映射成Peer成为了目前跨组织业务过程建模的关注点。为了解决上述问题,本文提出一种将协作图直接映射到参与者(Peer)的方法。该方法通过对协作图中消息间依赖关系的提取和设计,实现了从协作图编排到参与者的直接映射。本文所做工作主要如下:(1)提取协作图语义及语法特点,为协作图合理性验证提供了依据。现有文献大多以协作图的语法层面作为切入点,研究用户使用习惯,将他们的行为进行比较。但是这些文献仅从语法使用过程中讨论语义的一致性,并未提取协作图使用过程中的语义特点。因此本论文以此为切入点,进行协作图合理性验证方面的讨论。(2)进行从协作图编排到Peer的直接映射。这个转换是跨组织业务过程建模的形式化分析中的必要步骤,本文提出的方法引用了离散数学中传递闭包的概念,为消息间的依赖关系建立直接依赖集、间接依赖集、最小依赖集等集合关系。使Peer能直接从协作图中提取出来,不用经过多次转换。(3)将转换后的Petri网Peer模型与原协作图进行一致性验证,验证结果显示转换后的Petri网模型完全保持协作图语义,进一步证明了方法的可行性。(4)编写程序实现该方法,验证方法的可行性。程序的输入数据为turfun工具绘制的协作图,这个工具绘制出来的协作图满足UML语法标准,并且以XML格式存储,方便协作图元素的提取。输出结果为Petri网表示的Peer,在开源工具pipe4.3上能成功运行。该方法解决了用协作图表示Peer缺少形式语义,不利于可实现性分析的不足,为协作图的合理性及正确性提供了理论依据。其中,该方法包括分析、扩充、提取、映射等步骤,最终得到的结果是映射到n个参与者上的n个最小依赖集。最小依赖集都用petri网进行表示,使结果不仅保持协作图中的语义而且具有形式化语义,为可实现性分析提供便利。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
协作图论文参考文献
[1].李一冰,代飞,黄苾.协作图在编排定义中的应用[J].计算机产品与流通.2017
[2].张蕾.一种将协作图编排映射到Peer的方法[D].云南大学.2017
[3].吴晓龙,贲可荣.一种从UML类图和协作图到状态图的转换方法[J].武汉理工大学学报(信息与管理工程版).2011
[4].李青松,张晔.基于UML协作图和DFA的测试用例生成方法研究[J].计算机与现代化.2011
[5].陈雷.基于UML协作图的测试序列生成方法研究[D].河北工程大学.2011
[6].范莉莉,王忠群.消息路径:UML协作图的复杂性度量[J].计算机工程与设计.2010
[7].许亮,孙媛媛.基于协作图和Petri网的供应链知识流模型研究[J].商场现代化.2009
[8].陈佳佳.基于UML协作图的测试序列生成方法研究[D].浙江师范大学.2009
[9].汪斌,袁捷,缪淮扣,毕德闯,朱洪宝.Web应用的UML协作图建模与形式化规格说明[J].计算机工程与设计.2008
[10].田野,张屹峰.基于UML协作图的集成测试算法[J].太原师范学院学报(自然科学版).2008
论文知识图
