顺序图

摘要： 现在教育部要求学校对学生进行减负,发展素质教育,促进中小学生健康成长,但很多家长和学生都希望自己的孩子或者自己的成绩不落在别人之后,因此课后会去报各种的线上线下辅导班、培训班.由于网络学习平台较之传统的教育辅导培训机构而言,具有交通、时间和价格等方面的一些优势,因此成为了很多家长和学生的首选.本文就网络学习系统的功能设计进行了讨论,并基于UML建模技术完成了整个网络学习系统的需求分析,用例图、类图和顺序图的建模.

摘要： 现在教育部要求学校对学生进行减负,发展素质教育,促进中小学生健康成长,但很多家长和学生都希望自己的孩子或者自己的成绩不落在别人之后,因此课后会去报各种的线上线下辅导班、培训班。由于网络学习平台较之传统的教育辅导培训机构而言,具有交通、时间和价格等方面的一些优势,因此成为了很多家长和学生的首选。本文就网络学习系统的功能设计进行了讨论,并基于UML建模技术完成了整个网络学习系统的需求分析,用例图、类图和顺序图的建模。

摘要： UML是面向对象的建模语言,从结构化系统开发转向面向对象的系统开发,是必然的趋势.本文以医院的门诊管理子系统为例,进行了需求分析、用例分析、动态分析,产生了用例图、类图、顺序图等成果,实现了门诊管理系统的原型系统.

摘要： 采用UML分析的信息系统,经过不断的迭代抽象,信息丢失,有必要探索一种从分析到实现的业务流程自动化实现方式.WF提供了可视化的业务流程编程模型,在对比分析WF状态机和UML顺序图的基础上,研究从UML顺序图到WF状态机业务流程映射关系,选取UML用户指南中的典型时序图,依据一定的命名转换规则,探索一种从UML时序图到WF状态机业务流程可视化地动态构建与测试方式.

摘要： Formal semantics of UML sequence diagrams is critical to express the dynamic interaction of software system accurately.Therefore,a well-formed sequence diagram is a prerequisite for the analysis and verification of UML model and an important guarantee to improve the reliability of software systems.In this paper,different methods used in UML sequence diagram's semantics were summarized and compared based on the working mechanisms and pros&cons,respectively.Meanwhile,the special issues with respect to how to define the semantics of UML sequence diagram were discussed as well.Finally,some specific research topics and directions in this area were suggested and proposed.%为UML顺序图构建形式化语义,不仅有利于精确描述软件系统的动态交互过程,而且有利于进行基于UML模型的分析和验证,是有效提高软件系统可靠性的重要保障.结合近年来国内外对UML顺序图形式化语义的研究工作,分类阐述了各种方法,综合分析和比较了不同方法的工作机制和优缺点,指出了定义UML顺序图语义时需重点关注的问题.最后,对未来的研究工作与研究思路进行了梳理与展望.

摘要： 公民有序政治参与是构建实现社会主义现代化所需的社会体系的重要组成部分.从政治权利和政治权力两种视角来看,扩大公民有序政治参与既要依序扩展公民政治权利,也要稳步提升公民政治权力.改革开放近40年来,广东公民政治参与经历了起步、推进、拓展和深化四个阶段,已经取得了不少经验成就.但是,在公民政治权利扩展上存在权利诉求回应不足、区域覆盖参差不齐、公民主体意识不强等问题,在公民政治权力提升上也存在各地区步伐不一致、阶段性推进、公民参与表层化等问题.这些问题是由缺乏战略性规划布局、官员单纯追求政绩、区域差异与城乡差异等原因导致的.广东扩大公民有序政治参与就需要在全局性战略布局、加强制度供给、完善政府回应机制建设、增强公民主体意识等方面进行努力.

摘要： 统一建模语言(UML)具有一整套完善的建模工具和技术,在很多领域软件设计建模中得到广泛应用.但是用UML建立的模型缺少精确的形式化的语义,可能出现表达含糊不清、分析与设计不够严格、二义性等,需要借助具有严格形式化语义定义的B方法对UML模型进行描述.本文以货物管理系统为例,对用例图和顺序图进行形式化B方法的转换,对UML模型进行精确的语义分析,确保可以对系统进行严格的评估和进一步的实施.

摘要： 功能测试旨在保证软硬件正确性，降低生产成本。已有的功能测试均为黑盒测试，无法最大化地发现功能正确性问题。而半形式化方法可为最大化分析、验证软硬件正确性提供框架。因此，围绕功能入口，混合有限状态机、Petri网、顺序图，共同建模软硬件动静态特征及其功能属性，并建立模型简化规则。模型由功能入口使用方式、功能入口、功能入口触发迁移三部分组成，覆盖所有功能入口模拟测试场景，并最大化生成测试用例。最终，基于模型等价性，检查实现功能测试的描述。%Functional test is for the purpose of ensuring the correctness and reducing the cost of software and hardware. The existing function tests are usually the so-called balck-box test, which could not find out all problems in correctness verification. Semi-formal method could provide a framework to deal with this problem. This paper, around functional interface, describes the dynamic and static characteristics of software and hardware based on finite-state machine, Petri net and sequence diagram. And the description model containing interface, behavior and action of the interface is also established. Then, a depth traversal is applied to covering all of the test scenarios around interface so that the maximal test cases can be acquired. Finally, based on equivalence of the model, The description of functional test implementation is examined.

摘要： 基于模型的系统工程MBSE方法论在全权限数字电子控制(FADEC)软件开发领域的应用越来越普遍,模型作为开发过程中传递信息的介质,其在软件开发过程中的重要性不言而喻.完善的需求模型可以降低FADEC软件研制过程中的风险,提高研制效率.以SysML顺序图为测试用例,对模型进行测试.通过测试用例与需求的追踪关系,保证了测试的有效性.测试用例生成过程中利用了ATG用例自动生成技术.测试结果表明了此方法的实用性,实现了对需求模型的充分测试.

摘要： 随着软件技术的发展，软件工程领域中对软件大小、复杂度、资源利用等特性的认识越来越深入，针对软件系统能耗问题的研究越来越受到重视。以嵌入式软件系统能耗为研究对象采用顺序图模型作为源模型来对系统能耗进行分析，先将顺序图模型转换成为能耗自动机，在能耗自动机的基础上来进行能耗计算，进而分析系统能耗分析。%This paper regards the energy consumption of embedded software system as the research object,using the sequence diagram model as the source model to analyze the system energy consumption,for one thing,converting sequence diagram model into energy consumption automata,calculating energy consumption on the basis of energy consumption au-tomata,and then analysis the energy consumption of system.

摘要： 为了提高高可信实时软件开发的质量,研究了使用UML2.0顺序图建立高可信实时软件动态行为模型的方法.首先给出了顺序图在语法和语义上的形式化描述,分析了顺序图中事件之间的关系,在此基础上,给出了一种使用自动机描述每个对象在顺序图描述的场景中所参与的事件序列的方法,然后将该方法扩展到带有组合片段的UML2.0顺序图,最后分析了UML2.0顺序图中的时间建模机制,给出了从UML2.0顺序图中提取时间约束,从而将上一步得到的自动机转化为时间自动机的算法.以上工作为使用模型检测工具UPPAAL对顺序图进行进一步的分析与验证奠定了基础.

摘要： UML是军事电子信息系统开发中应用最多的工具之一,支持从需求提取到代码实现的整个开发过程.但UML没有定义严格的语义,这不仅使得其缺少内在的无二义性,而且建立的模型难以进行分析和正确性验证.为了消除UML模型中的歧义性并对系统特性进行分析,必须将UML模型转化为形式化描述.本文在给出UML2.0顺序图的语义基础上,提出了一种使用随机进程代数PEPA对顺序图进行形式化建模的方法,并通过一个实例说明了建模过程.

摘要： 为了在软件开发早期阶段对UML2.0顺序图模型进行分析和验证,本文给出了UML2.0顺序图的一种有穷自动机模型.首先给出了顺序图在语法和语义上的形式化描述,然后提出了一种使有穷自动机来描述每个对象在顺序图描述的场景中所参与的事件序列的方法,并将该方法扩展到带有组合片段的UML2.0顺序图,最后分析了UML2.0顺序图中的时间建模机制,设计了从UML2.0顺序图中提取时间约束的算法。以上工作为使用模型检测工具UPPAAL对顺序图模型进行进一步的分析与验证奠定了基础.

摘要： 本文分析UML状态图和顺序图的并行结构特征，利用Petri网的并行结构单元来描述状态图的并行域和顺序图的并行片段。论文引入Petri网语言及其等价性理论来验证状态图和顺序图的一般行为一致性，并针对具有并发成分的UML模型，基于Petri网进程和出现网理论，提出面向UML模型并行结构特征的行为一致性分析技术。论文所研究的一致性研究方法可进一步推广到UML模型的其他视图之间的一致性验证。

摘要： 角色访问控制模型是目前主流的访问控制安全模型。传统的角色访问控制模型建模时存在与系统需求分析脱节的问题,导致建立的安全模型不能满足用户的要求。文章利用用例模型的概念和角色访问控制模型的特征,提出了一种用例驱动的方法用来定义系统模型中角色的权限.该方法通过扩展的用例以及形式化的顺序图,将用例模型与角色访问控制模型相结合.而且与传统的在系统开发后期建立安全模型相比,在系统开发早期依据用例模型得到安全模型,能够及早的发现安全问题,预防安全体系的缺口。该方法完全符合最小权限原则.

摘要： UML是一种面向对象的可视化图形模型语言,通过不同的模型从不同的角度对系统的需求分析建模,使参与软件开发的各方人员能方便通信,并准确合理地进行设计,文章介绍了UML的概念、优越性及其在在线科技期刊系统中的应用.

摘要： UML是一种面向对象的可视化图形模型语言,通过不同的模型从不同的角度对系统的需求分析建模,使参与软件开发的各方人员能方便通信,并准确合理地进行设计,文章介绍了UML的概念、优越性及其在在线科技期刊系统中的应用.

摘要： UML是一种面向对象的可视化图形模型语言,通过不同的模型从不同的角度对系统的需求分析建模,使参与软件开发的各方人员能方便通信,并准确合理地进行设计,文章介绍了UML的概念、优越性及其在在线科技期刊系统中的应用.

摘要： UML是一种面向对象的可视化图形模型语言,通过不同的模型从不同的角度对系统的需求分析建模,使参与软件开发的各方人员能方便通信,并准确合理地进行设计,文章介绍了UML的概念、优越性及其在在线科技期刊系统中的应用.

摘要： UML是一种面向对象的可视化图形模型语言,通过不同的模型从不同的角度对系统的需求分析建模,使参与软件开发的各方人员能方便通信,并准确合理地进行设计,文章介绍了UML的概念、优越性及其在在线科技期刊系统中的应用.

摘要： 本发明公开了一种基于差异比较对顺序图进行评价的方法，用于比较不同开发团队针对同一领域的顺序图和标准顺序图的差异，完成对不同顺序图的评价。本发明在对顺序图进行评价时涉及到的操作包括：（1）根据顺序图的元模型，定义评价指标、评分细则和评分公式；（2）以标准顺序图和待评价顺序图对应的XML文档作为输入，根据评价指标从XML文档中抽取用于比较的数据；（3）根据同义词对标准顺序图和待评价顺序图的数据进行差异比较；（4）将差异比较的结果带入评分公式，计算得分，分值越高则待评价顺序图设计得越好。本发明通过对顺序图的比较，在早期阶段就发现所设计软件在功能上的问题，度量了软件的质量。

摘要： 本发明公开了一种基于扩展活性顺序图对物联网进行可信性评价的方法，属于物联网技术领域。本发明提出采用概率时间活性顺序图对物联网的运行加以直观和量化的描述，采用时间活性顺序图对物联网的运行场景加以规约，采用模型检测的方法，实现对物联网可信性的评价。该方法自动化程度高，对计算空间要求不高，过程清晰明确，可操作性和可复用性强。本发明提升了业内对物联网设计与运行的理论认识水平和实际检测技术水平，对加快国内物联网产业的健康和可持续发展具有重要的促进作用。

摘要： 本发明属于可信计算领域，涉及一种基于安全知识库的顺序图缺陷检测方法：利用UML顺序图描述设计阶段中的某一业务逻辑，首先对这些顺序图添加安全属性的扩展，然后对这些业务逻辑进行FSA建模并从模型中提取出所有的攻击路径，最后借助由攻击模式库、缺陷库及两者的二元关系所构建的安全知识库，进行缺陷检测，最终生成威胁分析报告。采用本发明可以有效地检测顺序图隐藏的系统缺陷，能够在软件开发的早期发现这些漏洞并作修补，从而降低了软件开发和维护的成本，提高了软件的安全系数，增强可信性。

摘要： 本发明公开一种基于UML顺序图和拓扑图描述网络协议的图示方法，首先分析UML顺序图中的各元素信息，以及网络拓扑图中信道信实体之间信道的链接关系；根据分析结果建立表示协议起点的起始图式和表示协议结尾的结束图式；在起始图式和结束图式之间设置发起者图式和接收者图式构成的动作对图式；根据UML顺序图中的执行顺序以及网络拓扑图中的连接关系按信号的流向，从开始图式起将相应的动作对图式用指示箭头连接，在所述指示箭头上标明动作条件，直至最后一个动作对图式与结束图式连接。本发明能完善描述协议交互规则，并且清晰明了，可为后续的形式化分析或其他自动化分析提供条件。

摘要： 本发明为基于UML用况图和顺序图的Web应用建模与测试方法，建立基于用况的Web应用的测试模型并从中自动生成测试场景。首先从外部用户的观点使用分层的UML扩展用况图为Web应用建模，该模型称为用况迁移模型(UseCase Transition Model，UCTM)。自上而下将每个用况用形式化的顺序图描述，再将顺序图自动转换为受限的有向图(Restricted Directed Graph，RDG)。提出了一种受约束的消息覆盖准则(Constraint Message Coverage Criterion，CMC)，从RDG中生成测试用例能够满足CMC准则并减少测试用例的数量。自底向上逐层合并RDG，遍历RDG，可以生成Web应用不同层次的测试场景，满足提出的受约束的消启覆盖准则CMC。

摘要： 本发明公开了一种UML顺序图的形式化模型——统一结构及其建模工具，以及在统一结构下保持UML顺序图鲁棒性的方法，实现从结构方面建模和分析顺序图，可以方便、快速并有效地进行分析，并且能够保证顺序图在软件开发中的鲁棒性，从而有效帮助面向对象的开发人员克服分析模型和设计模型之间的鸿沟。在本发明提供的统一结构建模工具中，一旦一个顺序图构建完成，它能自动转换为统一结构，并进行鲁棒性分析。

摘要： 本发明提供了基于顺序图模型的电子系统排布方法和装置，包括：获取顺序图模型的数据信息，数据信息包括外部部件生命线的数量和部件生命线的数量；根据外部部件生命线的数量和部件生命线的数量计算画布分区的数量；确定每个画布分区的高度和每个画布分区中的设置的模型个数；根据顺序图模型和每个画布分区中的设置的模型个数在画布分区中对外部部件生命线和所述部件生命线进行重新排布，得到新的模型，可以剔除冗余信息，提高数字化仿真的准确性。

摘要： 本发明公开了一种基于差异比较对顺序图进行评价的方法，用于比较不同开发团队针对同一领域的顺序图和标准顺序图的差异，完成对不同顺序图的评价。本发明在对顺序图进行评价时涉及到的操作包括：（1）根据顺序图的元模型，定义评价指标、评分细则和评分公式；（2）以标准顺序图和待评价顺序图对应的XML文档作为输入，根据评价指标从XML文档中抽取用于比较的数据；（3）根据同义词对标准顺序图和待评价顺序图的数据进行差异比较；（4）将差异比较的结果带入评分公式，计算得分，分值越高则待评价顺序图设计得越好。本发明通过对顺序图的比较，在早期阶段就发现所设计软件在功能上的问题，度量了软件的质量。

摘要： 本发明公开了一种基于扩展活性顺序图对物联网进行可信性评价的方法，属于物联网技术领域。本发明提出采用概率时间活性顺序图对物联网的运行加以直观和量化的描述，采用时间活性顺序图对物联网的运行场景加以规约，采用模型检测的方法，实现对物联网可信性的评价。该方法自动化程度高，对计算空间要求不高，过程清晰明确，可操作性和可复用性强。本发明提升了业内对物联网设计与运行的理论认识水平和实际检测技术水平，对加快国内物联网产业的健康和可持续发展具有重要的促进作用。

摘要： 一种使用电气输出动作顺序图实现注塑机控制电脑编程的方法，它通过在PC机上安装专门设计好的软件，运行该软件在该软件的界面下输入“输出点控制方式”和“DA输出通道控制方式”的电气输出动作顺序图两张，其中所述的输出点控制方式中，纵列的内容为注塑机控制的动作名称，横排的内容为注塑机输出点编号；所述的DA输出通道控制方式中，纵列的内容为注塑机控制的动作名称，横排的内容为注塑机DA输出通道号；输入完成后运行编译、保存命令，PC机就自动编译好可用于注塑机电脑控制系统用的配置参数；另一种方法是通过注塑机控制系统本身的人机界面输入输出点控制方式和DA输出通道控制方式两种电气输出动作顺序图，按保存命令按钮后人机界面自动生成注塑机控制系统用的配置参数。