导读:本文包含了顺序图论文开题报告文献综述、选题提纲参考文献，主要关键词:顺序,时序,逻辑,活性,算法,软件,自动机。
顺序图论文文献综述写法
隋晓静,孙士杰[1]（2019）在《装配顺序图在民用飞机生产中的应用研究》一文中研究指出在国产民用飞机批产装配过程中,合理的飞机装配顺序可以确保装配质量、缩短装配周期。本文对装配顺序图在民用飞机节拍生产的业务应用进行了分析,采用广度优先算法研究装配顺序图系统,主要介绍了该系统的开发设计思想及软件的需求分析。(本文来源于《装备制造技术》期刊2019年10期）
陈永刚,杨璐,王栋[2]（2019）在《基于UML顺序图与UPPAAL的列车追踪模块建模研究（英文）》一文中研究指出区域控制器(zone controller, ZC)是一个实时复杂系统,它要求过程控制的准确性。列车追踪场景是城市轨道交通(communication based train control, CBTC)系统中ZC的一个重要功能。在对系统进行深层次的开发设计过程中需要对系统进行建模、仿真和验证,发现系统设计缺陷,以保证系统的安全性。通过分析ZC系统结构及列车追踪分界点处理过程,给出满足系统安全性的功能要求和性能要求,并采用统一建模语言(unified modeling language, UML)与时间自动机相结合的方式建立列车追踪场景中列车筛选和列车追踪分界点的时间自动机网络模型。同时,应用UPPAAL验证工具对系统进行仿真模拟,验证了系统的功能和性能要求。结果表明,列车追踪分界点功能满足系统安全性和受限活性的规范要求。因此,此种建模方法是可行的,可以将其应用于列控系统其他场景的建模与验证过程中。(本文来源于《Journal of Measurement Science and Instrumentation》期刊2019年02期）
冉婕,谢树云,漆丽娟[3]（2018）在《基于时序描述逻辑的UML顺序图形式化研究》一文中研究指出在统一建模语言(UML)规范中顺序图的语义是以自然语言的形式描述的,是一种半形式化的语言,不能对系统的交互行为进行形式化分析及论证.针对UML顺序图缺乏精确的形式化描述问题,根据顺序图的时序特征,提出了增加交互操作符的UML顺序图的六元组形式化方法.对描述逻辑进行时序扩展,得到可表示动态和时序语义的形式化规范——时序描述逻辑.应用时序描述逻辑的时态算子得到时序描述逻辑语义形式的UML顺序图.用UML顺序图描述完整的C语言执行过程,将其形式化描述,实验结果表明,这种方法是可行的.(本文来源于《计算机系统应用》期刊2018年08期）
张翰林[4]（2017）在《一种将顺序图映射到有色Petri网的方法》一文中研究指出随着业务流程不再局限企业内部,跨组织业务过程成为业务流程领域的研究热点。顺序图作为一种建模业务过程编排的语言,不仅具有友好的图形化表现方式,令模型易于理解;而且包含有多种控制流结构,如选择、并发、循环、跳出等,能够描述组织间复杂的协同过程。为解决顺序图建模编排模型时缺乏形式化分析方法的问题,需要将顺序图映射为一种具有形式化语义基础的建模语言,使用该建模语言的数学基础完成对顺序图编排模型的分析。现有文献对顺序图映射的研究多关注于同步消息,未考虑顺序图中由异步消息交互产生的并发关系。因此,有必要提出一种关注异步消息的顺序图转换方法。本文在现有工作基础之上提出了一种将顺序图映射为有色Petri网的方法,该方法对顺序图中的消息类型进行了区分,并且对基本交互片段中的并发结构进行了映射。本文所做主要工作如下:1.根据顺序图的弱顺序关系提出顺序图消息间的依赖关系,利用消息间的依赖关系提取顺序图中的并发关系,整理归纳出顺序图中的7种基本并发结构并根据基本并发结构对应Petri网模型提出基本交互片段到CPN的映射规则;2.针对现有文献中组合片段映射方法的不足进行了改进,并设计了顺序图组合片段到有色Petri网的映射算法。3.以上述两点为基础,设计了一种从顺序图映射到CPN的方法。并针对该方法设计转换工具SD2CPN。转换前的文件为xml格式描述的顺序图文件,经过该方法转换过后,将得到一个能被CPN Tools执行的XML文件,该文件能在CPN Tools上进行路径提取等形式化分析方法。为顺序图的分析提供便利。(本文来源于《云南大学》期刊2017-06-01）
刘传会,陈睿璟,黄河赞,张广泉[5]（2017）在《基于UML2.0顺序图的高可信实时软件建模技术研究》一文中研究指出为了提高高可信实时软件开发的质量,研究了使用UML2.0顺序图建立高可信实时软件动态行为模型的方法。首先给出了顺序图在语法和语义上的形式化描述,分析了顺序图中事件之间的关系,在此基础上,给出了一种使用自动机描述每个对象在顺序图描述的场景中所参与的事件序列的方法,然后将该方法扩展到带有组合片段的UML2.0顺序图,最后分析了UML2.0顺序图中的时间建模机制,给出了从UML2.0顺序图中提取时间约束,从而将上一步得到的自动机转化为时间自动机的算法。以上工作为使用模型检测工具UPPAAL对顺序图进行进一步的分析与验证奠定了基础。(本文来源于《第六届民用飞机航电国际论坛论文集》期刊2017-04-18）
郭艳燕,张楠,童向荣[6]（2017）在《UML顺序图形式化语义的研究综述》一文中研究指出为UML顺序图构建形式化语义,不仅有利于精确描述软件系统的动态交互过程,而且有利于进行基于UML模型的分析和验证,是有效提高软件系统可靠性的重要保障。结合近年来国内外对UML顺序图形式化语义的研究工作,分类阐述了各种方法,综合分析和比较了不同方法的工作机制和优缺点,指出了定义UML顺序图语义时需重点关注的问题。最后,对未来的研究工作与研究思路进行了梳理与展望。(本文来源于《计算机科学》期刊2017年02期）
纪建伟,陈昕,黄浩军[7]（2016）在《基于消息顺序图和Petri网的移动应用监测平台建模分析》一文中研究指出随着移动互联网的迅猛发展,移动应用的数量呈现井喷式的爆发,对其性能、故障和短板进行实时、有效的监测与分析是保证系统正常运行的关键。统一建模语言(Unified Modeling Language,UML)作为一种功能较强的面向对象的图形建模工具,可以对移动应用监测平台进行建模分析,但在其过程描述中缺乏严格的语义。Petri网作为一种离散事件动态系统的建模和分析方法,提供了在逻辑时序下研究系统特性和性能的有效手段,并具有图形方法的直观性和逻辑方法的概括性。通过将基于UML消息顺序图和Petri网的建模方法应用到移动应用监测平台的分析过程中,针对用户下发的监测任务构建系统的消息顺序图和Petri网模型,利用消息顺序图对平台各对象之间在时间顺序上的交互关系进行了验证,并利用Petri网化简规则和状态方程对该模型进行了结构上的正确性验证和可达性分析。(本文来源于《计算机科学》期刊2016年11期）
叶俊民,张坤,叶竹君,陈盼,陈曙[8]（2016）在《一种基于活性顺序图的运行时验证研究》一文中研究指出运行时验证是一种轻量级的形式化验证方法,使用可视化的需求规约描述语言建模需求规约场景是运行时验证领域的研究热点。针对目前基于活性顺序图的运行时验证方法中容易产生冗余性质、二值语义的验证结果不准确、基于Maude工具引擎的重写逻辑验证算法效率较低等问题,提出一种基于活性顺序图的运行时验证的改进方法,以支持现有的运行时验证技术。实验表明,改进方法验证结果准确,且验证过程开销较小。(本文来源于《计算机科学》期刊2016年08期）
张坤,叶俊民,王嫱,赵丽娴,陈曙[9]（2016）在《基于活性顺序图的形式化验证方法及工具研究》一文中研究指出近年来,形式化验证方法在软件开发过程的作用越来越大;如何充分利用形式化验证方法提高软件系统的可靠性已成为软件开发者及使用者主要关注的问题;总结了近年来基于活性顺序图的形式化验证方法的研究进展,首先介绍活性顺序图的语言及其表达能力与复杂性,然后深入分析现有的基于活性顺序图的形式化验证的关键技术及其典型应用,最后实现一种基于活性顺序图的运行时验证工具,实验证明使用本验证工具进行形式化验证的可行性。(本文来源于《计算机测量与控制》期刊2016年05期）
黄平霞,董昱[10]（2016）在《基于UML顺序图的地铁联锁测试用例生成方法》一文中研究指出地铁计算机联锁作为保证安全的重要设备,定期对其测试至关重要.为了设计具有高效率的联锁功能测试用例,提出一种基于顺序图形式化描述的测试用例生成方法.首先对待测系统功能建立UML顺序图模型,并对其进行场景分析;基于图论中有向图的含义,由UML模型构造有向图;以深度优先算法遍历有向图的连通性来确定测试路径,最后组合约束条件及测试场景生成测试用例集.以选排进路生成测试用例过程,验证了该方法能够避免重复生成测试用例,从而能够减少测试工作量.(本文来源于《小型微型计算机系统》期刊2016年05期）
顺序图论文开题报告范文
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
区域控制器(zone controller, ZC)是一个实时复杂系统,它要求过程控制的准确性。列车追踪场景是城市轨道交通(communication based train control, CBTC)系统中ZC的一个重要功能。在对系统进行深层次的开发设计过程中需要对系统进行建模、仿真和验证,发现系统设计缺陷,以保证系统的安全性。通过分析ZC系统结构及列车追踪分界点处理过程,给出满足系统安全性的功能要求和性能要求,并采用统一建模语言(unified modeling language, UML)与时间自动机相结合的方式建立列车追踪场景中列车筛选和列车追踪分界点的时间自动机网络模型。同时,应用UPPAAL验证工具对系统进行仿真模拟,验证了系统的功能和性能要求。结果表明,列车追踪分界点功能满足系统安全性和受限活性的规范要求。因此,此种建模方法是可行的,可以将其应用于列控系统其他场景的建模与验证过程中。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
顺序图论文参考文献
[1].隋晓静,孙士杰.装配顺序图在民用飞机生产中的应用研究[J].装备制造技术.2019
[2].陈永刚,杨璐,王栋.基于UML顺序图与UPPAAL的列车追踪模块建模研究（英文）[J].JournalofMeasurementScienceandInstrumentation.2019
[3].冉婕,谢树云,漆丽娟.基于时序描述逻辑的UML顺序图形式化研究[J].计算机系统应用.2018
[4].张翰林.一种将顺序图映射到有色Petri网的方法[D].云南大学.2017
[5].刘传会,陈睿璟,黄河赞,张广泉.基于UML2.0顺序图的高可信实时软件建模技术研究[C].第六届民用飞机航电国际论坛论文集.2017
[6].郭艳燕,张楠,童向荣.UML顺序图形式化语义的研究综述[J].计算机科学.2017
[7].纪建伟,陈昕,黄浩军.基于消息顺序图和Petri网的移动应用监测平台建模分析[J].计算机科学.2016
[8].叶俊民,张坤,叶竹君,陈盼,陈曙.一种基于活性顺序图的运行时验证研究[J].计算机科学.2016
[9].张坤,叶俊民,王嫱,赵丽娴,陈曙.基于活性顺序图的形式化验证方法及工具研究[J].计算机测量与控制.2016
[10].黄平霞,董昱.基于UML顺序图的地铁联锁测试用例生成方法[J].小型微型计算机系统.2016