序列图相关论文
ROAD元架构通过业务架构指导整个企业架构体系开发过程，是一组简单明确且高效的模型表达。针对已有的元架构体系中业务活动模型所采......
本文以CISR 系统为应用背景，以统一建模语言(UML)和Petri 网的适应性改进为目标，进行了相关的建模方法研究，并提出了相应的分析算法。......
本文针对多智能体的协作策略,探讨了多智能体协作策略在机器人足球仿真比赛中的应用。在比赛中,每个智能体(球员)都具有定向跑步、......
为了实现遥感图像中对机场等感兴趣区域(ROI)准确的变化检测,提出了一种基于脉冲耦合神经网络(PCNN)的遥感图像变化检测方法。其基......
UML缺乏准确的语义,难以支持对复杂系统的模型进行严格的语义分析和正确性验证.针对UML序列图,给出了形式定义、基于事件序的语义......
给出了图Pm×Cn,I(Pm×Cn)和W(m,n)的序列标号.证明了图Pm×Cn,I(Pm×Cn)和W(m,n)(m≥1,n≥3且n为奇数)是序列图,从而也是调和图.......
...
提出了一种基于UML的硬件/软件划分算法——DynaPart,DynaPart是一个基于UML序列图的硬件/软件划分算法.DynaPart的设计流程能够降......
考察了m重-四角鲜人掌图的序列性,给出了两类不交并图,并且证明了它们是序列图。...
提出了一种基于UML序列图的面向对象类簇级测试的方法。这种方法根据序列图进行分析提取类交互信息和用户的输入数据生成测试用例,......
针对SysML序列图本身缺乏分析和验证手段的问题,提出了一种序列图到有色Petri网的转换方法:定义了将序列图的常用操作转换为等价有......
图G的标号指f是V（G）到整数集合的一个映射，然后边xy∈E（G）由f（x），f（y）导出标号，仿照优美图中平衡标号的概念，定义图的序列平衡标号的概念，利用一......
时间触发系统是针对关键性安全控制系统应用的首选，文章在分析传统UML方法在时间触发控制系统上的应用缺陷的基础上，阐述了针对时间......
研究了逆向工程中序列图的抽象问题.以逆向工程分析工具RER的开发为背景,针对其逆向生成的进程间交互序列图和进程内部交互序列图,......
UML序列图用于建模实例间动态交互过程,但UML规范并没有给出其形式化的动态语义,这不利于对模型进行形式化验证和证明.本文把序列......
本文介绍一个面向度量的UML的代数表达框架.这个框架可以作为设计模型检测的基础,并为设计人员提供一个在软件设计进化过程中检测......
研究了逆向工程中动态剧情的模式发现以及抽象问题。提出并实现了动态剧情中交互模式的自动发现、交互层次的自动恢复以及基于类图......
符合UML2．0标准的序列图在UML1．X序列图的基础上添加了控制流信息。为此，本文提出一种基于动静态信息相结合的UML2．0序列图逆向生成方......
针对面向对象编程（OOP）中横切关注点与业务逻辑代码纠缠的现象,提出了一种面向方面编程（AOP）的统一建模方法以弥补OOP的不足;该基于UML......
义性而难以被验证。将序列图表示的场景转换为语义精细的对象Petri网模型OPDL，并通过其仿真环境OPMSE对其进行仿真，将场景描述的系统......
水稻基因组计划要完成4张图：遗传图、物理图、序列图以及转录图．它们是进行基因定位与基因克隆的重要工具。水稻是模式植物，其全基因......
给出了两类图的k-优美性和序列性。证明了对于自然数m和n,G0．0（n,m）和G2．1（m,n）是k-优美，且当m≥2时也是序列的，从而也是调和的。......
以奇圈的标号方法为依托，采用打点的形式构造出的形态C7∪C2k，将偶圈中的k分四种情况（k=4m, k=4m＋1, k=4m＋2, k=4m＋3），并根据m的奇偶性分别......
UML是从众多最好的软件工程实践经验中发展而来的一种建模语言.它用标准化的图形符号来表示面向对象系统的概念,使其在软件开发前......
统一建模语言(UML)是一种多用途的可视化建模语言,它可用于软件系统的规约、可视化的构造和建档.UML序列图描述了交互对象间的协作......
文章在原有工作的基础上，对已有的序列图逆向生成方法进行了改进，把反复进行的迭代判断从逆向生成的核心算法中分离出采．同时提取用户......
本文给出了k-优美图和序列图的一些结果.证明了三类m重-四角鲜人掌图是k-优美的和序列的,从而也是调和图.......
图 G 的标号指 f 是 V（G）到整数集合的一个映射，然后边 xy∈E（G）由 f（x），f（y）导出标号。本文利用一类具有序列平衡标号的树的性质，通过“连结......
基于B/S模式下的成人高等教育管理系统能显著地改善成人教育学院的教学管理水平,切实地解决成人教育管理中的薄弱环节。......
在逆向工程领域中，逆向生成的序列图有助于用户理解软件系统的动态特征。逆向生成序列图时往往要处理大量的动态信息，所以序列图的生......
UML中的用例可以简洁准确地描述系统需求，它可以作为软件测试中测试用例生成的一个很好的基础；然而正是由于用例描述的特点，使得它忽......
动态信息是目标系统运行时行为特征的表现。从对软件的动态行为的可读视图(序列图)中,可以抽取出系统高层的动态模型,展示目标系统......
基于UML的软件开发方法-UMLM是作者针对UML(统一建模语言,Unified Modeling Language)及非专业开发人员的特点提出的.特别适合于一......
给出了毛毛虫的优美标号、平衡标号、κ-优美标号,从而证明了所有的毛毛虫都是优美图、平衡二分图、κ-优美图、序列图和调和图.......
UML序列图和状态图从不同侧面简洁、明了地描述了系统的动态行为。层次性状态图有利于提高系统对象的可理解性和可读性。本文提出......
为纠错码问题提供理论基础，在运用同余、奇偶性方法的基础上，给出了用点边二种观点分析边标号的方法。使用这种方法，得到了一般序列图......
研究了序列图在软件设计中的应用问题,解析了其组成和表示,探索了其对象的交互机理和交互原则,分析了其本质与在MDA软件范型中的建......
针对序列图逆向生成过程中由于动态信息过大造成生成序列图耗时巨大，生成的序列图过于复杂，不利于对目标系统的理解的问题，提出了一种......
Grace证明了n为奇数时,王冠图Qn为调和图.针对对此问题证明了n为偶数时,王冠图Qn是序列图,从而证明了Qn为调和图.......
介绍了系统建模中的时间相关概念,以及MSC和UML序列图对时间相关概念的表示.将MSC对时间强大的表示能力和准确的表达方法应用于UML......
通过一个具体的Java程序的设计与实现案例，详细介绍了利用UML序列图设计Java应用程序的整个建模过程，说明了使用UML序列图使得开发过......
提出了一种新颖的基于UML 图自动生成系统测试用例的方法。此方法适用于所有UML 建模的系统。用创新性地结合图论知识，对用例图和序......
图G的标号是指G的节点集到一个整数集的映射g,且由g(u),g(v)诱导出边μν的标号.本文定义了圈与某图的联结运算,并从奇圈的序列标......
图G的标号是指G的顶点集到一个整数集的映射θ,且对e=uv∈E(G)由θ(u)和θ(v)诱导出边e的边标号θ′。本研究构造了一类图O_n+T_(m......
