检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

顺序图至Petri网转化方法的研究与实现

计算机工程 2006年第6期32卷 260-262页

作者：谢彦辉姚淑珍郭峰北京航空航天大学计算机科学与工程学院北京100083

作为一种面向对象分析和设计建模语言,统一建模语言(UML)已经越来越多的被用在大型系统中,然而,UML是半形式化的,这使得很难对其进行严格的语义分析和正确性验证。顺序图作为UML动态描述机制的重要组成部分,同样存在这样的问题,而Petri... 详细信息

作为一种面向对象分析和设计建模语言,统一建模语言(UML)已经越来越多的被用在大型系统中,然而,UML是半形式化的,这使得很难对其进行严格的语义分析和正确性验证。顺序图作为UML动态描述机制的重要组成部分,同样存在这样的问题,而Petri网作为一种建模工具,有着严格的形式化语义,而且有很多成熟的分析方法。该文针对UML2.0顺序图模型,结合几个简单Petri网结构,提出了将顺序图转换为Petri网的算法,最后通过实例说明了转化算法的有效性。

关键词：统一建横语言顺序图 Petri网

在线全文

学校读者我要写书评

暂无评论

UM L顺序图的形式化定义与特性分析

北京航空航天大学学报 2010年第3期36卷 350-352,362页

作者：李晓丽龙翔包晓露李虎北京航空航天大学计算机学院北京100191

以统一建模语言(UML,Unified Modeling Language)规范为基础,给出UML顺序图及组合顺序图的形式化定义;并在此基础上,详细讨论了UML顺序图中对象的消息发送特性和消息接收特性,给出了发送消息集合和接收消息集合的形式化定义;同时进一步... 详细信息

以统一建模语言(UML,Unified Modeling Language)规范为基础,给出UML顺序图及组合顺序图的形式化定义;并在此基础上,详细讨论了UML顺序图中对象的消息发送特性和消息接收特性,给出了发送消息集合和接收消息集合的形式化定义;同时进一步分析了对象消息发送和接收之间的一致性问题;最后,通过实例分析,对UML顺序图的特性作进一步的解释.该形式化定义与特性分析为基于UML顺序图的模型转换和模型验证提供了必要的前提条件,也为基于UML顺序图的测试用例的自动生成奠定了基础.UML顺序图的形式化描述可用于对软件结构的理解和构造可视化建模工具.

关键词：统一建模语言顺序图形式化模型验证

在线全文

学校读者我要写书评

暂无评论

基于测试树模型的软件测试能力值优先级排序

计算机仿真 2024年第1期41卷 425-428,437页

作者：黄丽赵红霞朱叶杨秋琴江西科技学院信息工程学院江西南昌330098 南昌大学信息工程学院江西南昌330031

为了有效提升软件测试用例排序的执行效率,保障软件运行安全,提出基于UML顺序图的软件测试用例优先级排序方法。根据UML顺序图场景概念,通过遍历顺序图中的时间序列获取全部场景,得到与之对应的场景测试树模型。设置约束条件,根据场景... 详细信息

为了有效提升软件测试用例排序的执行效率,保障软件运行安全,提出基于UML顺序图的软件测试用例优先级排序方法。根据UML顺序图场景概念,通过遍历顺序图中的时间序列获取全部场景,得到与之对应的场景测试树模型。设置约束条件,根据场景环境条件形成软件测试用例。计算各个软件测试用例的迁移重要度,通过反馈机制动态调整软件测试用例的总测试能力值,根据测试能力值展开优先级排序。实验结果表明,采用所提方法可以全面提升软件测试用例缺陷检测率,确保在最短的时间内获取最优的排序结果。

关键词：顺序图软件测试用例优先级排序测试场景

在线全文

学校读者我要写书评

暂无评论

顺序图与状态图的递归语义一致性研究

计算机科学 2010年第8期37卷 172-174,223页

作者：周翔邵志清华东理工大学信息科学与工程学院上海200237 青岛大学信息工程学院青岛266071

建模面向对象的软件系统是UML的动态图的重要应用,采用顺序图描述消息传送,动态图描述活动。在大型系统开发过程中,往往存在大量顺序图和状态图,由于语义的缺失,导致这些图形表达涵义模糊不清,特别是在递归的信息传送上,由于表达方式的... 详细信息

建模面向对象的软件系统是UML的动态图的重要应用,采用顺序图描述消息传送,动态图描述活动。在大型系统开发过程中,往往存在大量顺序图和状态图,由于语义的缺失,导致这些图形表达涵义模糊不清,特别是在递归的信息传送上,由于表达方式的特点,状态图很容易造成实现过程的歧义甚至死锁。提出了基于ASM的多agent实时控制方法,结合形式化的规则定义,通过多个层次agent控制状态的跃迁,保证状态图在描述复杂信息传送时,能够和顺序图的时序保持一致,这对提高系统的可靠性具有一定的现实意义。

关键词：顺序图状态图 ASM 递归语义

UML顺序图的COSMIC-FFP度量方法

在线全文

学校读者我要写书评

暂无评论

华东理工大学学报（自然科学版） 2010年第3期36卷 418-422页

作者：计春雷陈文辉宋国新华东理工大学计算机科学与工程系上海200237 上海电机学院电子信息学院上海200240

COSMIC-FFP是新一代软件功能规模度量方法,但由于其规则过于抽象导致较难推广。本文研究UML顺序图的COSMIC-FFP度量方法,通过给出COSMIC-FFP与UML顺序图概念之间的对应关系,提出了贯穿于整个度量过程的11条规则和从UML顺序图到度量结果... 详细信息

COSMIC-FFP是新一代软件功能规模度量方法,但由于其规则过于抽象导致较难推广。本文研究UML顺序图的COSMIC-FFP度量方法,通过给出COSMIC-FFP与UML顺序图概念之间的对应关系,提出了贯穿于整个度量过程的11条规则和从UML顺序图到度量结果矩阵的度量过程。通过实例验证了所提方法能使COSMIC-FFP更具有实用性。

关键词： COSMIC-FFP 顺序图功能过程度量过程

在线全文

学校读者我要写书评

暂无评论

MARTE顺序图到CCSL模型的转换

计算机工程与科学 2013年第10期35卷 172-180页

作者：朱梅霞天津工业大学计算机科学与软件学院天津300387

CCSL定义的模型可对系统的时间属性进行建模,基于Observer技术,还可对CCSL模型的正确性进行分析。但与顺序图相比,CCSL模型不利于用户理解。利用形式化方法实现了顺序图到CCSL模型的转换并证明了两者的互模拟关系。这在一定程度上扩大了... 详细信息

CCSL定义的模型可对系统的时间属性进行建模,基于Observer技术,还可对CCSL模型的正确性进行分析。但与顺序图相比,CCSL模型不利于用户理解。利用形式化方法实现了顺序图到CCSL模型的转换并证明了两者的互模拟关系。这在一定程度上扩大了MARTE在软件设计中的应用范围和效率:用顺序图对系统的动态行为进行建模,使用户和设计者对系统行为达成一致;将顺序图转换成CCSL模型进行分析,以保证模型的正确性。

关键词：实时系统模型转换顺序图 CCSL

一种基于MDA的UML顺序图到状态图的转换方法

在线全文

学校读者我要写书评

暂无评论

南京大学学报（自然科学版） 2004年第4期40卷 470-482页

作者：崔萌袁海史耀馨李宣东郑国梁南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京210093

MDA(modeldrivenarchitecture)是解决基于不同中间件系统的集成问题 .它将不同的系统都结构化成PIM (platformindependentmodel)和PSM (platformspecificmodel) ,并针对不同的实现技术平台制定多个映射规则 ,然后通过这些映射规则及辅... 详细信息

MDA(modeldrivenarchitecture)是解决基于不同中间件系统的集成问题 .它将不同的系统都结构化成PIM (platformindependentmodel)和PSM (platformspecificmodel) ,并针对不同的实现技术平台制定多个映射规则 ,然后通过这些映射规则及辅助工具将PIM转换成PSM ,再将PSM不断求精直至形成最后的代码 .MDA中的模型转换有 4种 :PIM到PIM ,PIM到PSM ,PSM到PSM以及PSM到PIM .其中PIM到PIM转换最显而易见的是分析模型到设计模型的转换 .UML是MDA的模型描述语言 ,因此UML顺序图到状态图的模型转换必将为MDA中的PIM到PIM转换提供有力的支持 .介绍了从一个顺序图转换成多个状态图的算法 ,并进一步讨论了从多个顺序图转换到状态图以及简化状态图的方法 .处于一个系统中的多个状态图不是孤立的 ,他们各自的状态转换是相互约束的 ,最后给出了组合多个状态图的方法 ,以及如何生成在同步约束下多个状态图的转换关系 ,并最终得到系统的状态图 .

关键词：顺序图状态图 UML MDA

基于MDA的UML模型转换技术——从顺序图到状态图

在线全文

学校读者我要写书评

暂无评论

计算机工程与应用 2004年第13期40卷 40-45页

作者：史耀馨崔萌李宣东郑国梁南京大学计算机科学与技术系南京210093

为了实现不同中间件平台之间的集成和互操作,OMG提出了一个标准的基于模型的体系结构:MDA。MDA将应用模型划分成与平台无关的模型(PIM)和与平台有关的模型(PSM),并定义了PIM和PSM之间的4种映射关系。该文主要对PIM到PIM之间的映射进行... 详细信息

为了实现不同中间件平台之间的集成和互操作,OMG提出了一个标准的基于模型的体系结构:MDA。MDA将应用模型划分成与平台无关的模型(PIM)和与平台有关的模型(PSM),并定义了PIM和PSM之间的4种映射关系。该文主要对PIM到PIM之间的映射进行了研究。该映射实质上是PIM模型的精化,其主要方面是分析模型和设计模型之间的转换。MDA使用UML来描述各种模型。UML是一种可视化的通用的面向对象的建模语言。UML顺序图主要用于需求分析,而状态图在系统设计阶段起重要作用。该文介绍了一种从UML顺序图中合成状态图的方法,合成的过程基本上是自动完成的,只需要很少的用户交互,从而为PIM模型的精化提供有力的支持。

关键词： MDA UML 顺序图状态图自动软件工程

在线全文

学校读者我要写书评

暂无评论

从UML顺序图生成状态图的一个方法

计算机科学 2003年第6期30卷 155-158,161页

作者：袁海李宣东郑国梁南京大学计算机软件新技术国家重点实验室

UML (Unified Modeling Language) is a visual modeling language used for specifying, visualizing, constructing,and documenting the artifacts of software systems by various diagrams. It has been widely accepted as a standard modeling language in both academic and industrial areas. UML sequence diagrams are mostly used in specifying system requirements. By representing interactions, which are arranged in time sequence,between the objects in a system,sequence diagrams can construct scenarios indicating the system's functions. A UML statechart diagram is a graph shows the sequences of states that an object or an interaction goes through during its life in response to received stimuli,together with its responses and actions. It's useful in the design stage of system development. This essay discusses the computer-aided transformation from sequence diagrams to statechart diagrams,which can offer strong support for the transfering from requirement analysis to system design in the software development process. With OCL (Object Control Language) semantic constrain,a transform algorithm is provided in the paper. And the differences with the related works are also mentioned.

关键词：面向对象软件开发 UML 顺序图状态图软件建模语言