搜索结果: 46-60 共查到“计算机软件 UML”相关记录64条 . 查询时间(0.057 秒)
基于UML的复杂配置产品数据模型研究
范树 产品配置 条件规则
2009/4/21
以UML描述的形式对复杂配置产品的数据模型进行了探讨，提出了具有实践意义的数据模型。在大规模定制产品的业务需求下，离散制造业提出对产品配置的动态高效管理需求。该模型建立了具有柔性特点的产品结构树，模型包含了一个由参数驱动的配置规则表示方法，将范树由设计视角向制造视角的转换过程与数据模型有机结合起来。
基于UML时序图的系统运行时耦合度量方法
统一建模语言 运行时 耦合度量
2009/4/21
面向对象耦合性是软件质量重要的内部属性，该文分析了现有基于静态分析的耦合度量，以及其因继承和多态的使用而产生对运行时耦合度量的不足。提出了以用于系统动态建模的UML时序图为基础，定义了反映系统运行时的耦合度量指标，并通过实例验证了耦合指标定义的可操作性和实用性。
基于依赖性分析的UML状态图切片技术
统一建模 语言 UML状态图
2009/3/3
将UML状态图、程序切片和软件测试技术三者结合起来，生成基于依赖性分析的UML状态图切片，为软件测试中待测试的程序的理解、发现和修改错误提供了一种方法。最后运用实例讨论了该切片方法的实用性，应用于回归测试中具有较高的效率。
UML模型检测方法的研究
模型检测 统一建模语言 层次自动机 简单进程元语言解释器
2009/2/24
统一建模语言（UML）是设计和分析软件系统最常用的方法，如何保证UML模型满足某些特性是一个非常重要的问题，而模型检测是一种能够有效提高系统可靠性的自动化技术。研究了使用简单进程元语言解释器（SPIN）对UML模型进行检测的方法。首先对UML模型进行形式化描述，使用层次自动机来描述状态图，然后根据层次自动机的操作语义将状态图和类图的部分信息转化为SPIN的输入语言PROMELA，使用SPIN来验证...
UML设计思想在固件系统开发中的应用
UML 固件系统 FIRMWARE
2009/2/24
选用I-Logix公司的Rhapsody实时UML平台为工具,使用UML建模的设计理念为方法，设计、实现了霓虹灯控制器固件(FIRMWARE)系统,并完成了对该系统的测试。在固件系统开发领域中创立了一种区别于传统面向过程方法的,基于UML的面向对象开发模式。
UML在P2P文件下载软件开发中的应用
UML P2P文件 下载软件开发
2009/2/24
P2P作为一种基于互联网环境的新的应用型技术，已经得到越来越多的关注，也应用在一些产品中当中。UML作为一个通用的可视化建模语言，在协议和应用方面也不断在完善。文中试以开发一个集中目录式P2P文件下载软件为背景，使用UML进行需求分析，设计和构造，将P2P的技术应用用UML的元素去描述。对整个系统进行用例分析，建立领域模型。针对其中的文件传输的用例做细化，建立设计模型和实施模型，并在设计模型中使用...
面向并行程序设计的扩展UML建模
并行软件工程 并行软件建模 统一建模语言
2009/2/16
为了解决并行软件开发复杂及维护困难的问题，提出一种并行软件建模的方法。利用统一建模语言(UML)的扩展机制建立了一系列模型，描述了分布式共享内存的基本程序结构建模，通过组合这些基本模型，创建新的模型来适应具体应用。该建模方法保留了UML易理解、易扩展和易于指导工程实践的特点，便于从串行建模扩展到并行建模。通过对一个并行应用的描述，表明该方法对实际的并行程序设计具有指导意义。
安全是现代软件系统不可缺少的一部分，但是，目前的软件系统建模一般都不涉及安全。系统安全策略和安全机制往往是开发人员在系统开发后期对系统的补充和措施的完善。这种不规范的处理为系统后期安全维护及系统之间的集成带来很大的隐患。该文通过学生成绩管理系统来讨论如何扩充UML图素、为系统安全访问控制策略建模，引入视图策略语言(VPL)描述角色与授权之间的关联，实现了软件系统UML建模与系统安全建模的集成。
由于建模语言和程序设计语言之间缺乏准确的映射机制，UML二元关系的存在为设计到实现的自动转换造成了许多困难。解决问题的关键在于如何定义一种规范化的方法，用于在程序设计语言中准确地实现UML二元关系。该文围绕UML二元关系的定义问题，从4种基本属性出发，提出关联、聚合与组合关系的形式化定义，并给出在C++中实现这些关系的规范化模式。
基于UML活动图的测试用例自动生成方法研究
UML活动图 测试场景 测试用例自动生成
2009/2/7
基于UML活动图对系统测试的方法进行研究。针对活动图半形式化特性，给出了活动图的形式化描述及测试覆盖准则的定义。重点分析并发活动的顺序及排列，引入人机动态交互的方法在测试场景生成算法上加以约束，避免了测试场景集数量爆炸，使自动化生成测试用例可行性有一定提高。最后，讨论了从测试场景到测试用例的方法，从而为UML活动图的自动化测试提供了系统的、有效的、可行的方法。
UML在本体开发中的应用
本体 统一建模语言 知识表示 本体WEB语言
2009/1/12
分析了将UML运用于本体开发的原因,介绍了一种将OWL本体通过UML类图向面向对象语言转换的方法,讨论了OMG与W3C标准转换存在的问题,提出了改进的方向。
体系结构描述语言XYZ/ADL到UML的映射
体系结构 描述语言 XYZ/ADL UML
2009/1/6
选择了一种基于时序逻辑语言XYZ/E的体系结构描述语言XYZ/ADL，分析了其设计元素和UML建模元素的语义，并通过UML扩展机制和对象约束语言进行扩展和约束，建立起从XYZ/ADL到UML的映射。
改进了文献［2］中提出的一种由软件的UML模型转换得到软件的Markov链使用模型的方法。采用Java语言实现了一个从软件的UML模型获得软件使用模型的工具。
UML Statecharts的模型检验方法
2007/11/2
AbstractUML
(unified modeling language) has been widely used in software development.
Verifying if a UML model meets the required properties has become a key issue.
An approach of model checking...
基于UML的软硬件协同设计的模型分析方法
2007/11/2
AbstractIn this paper, a UML approach applied in the CBC (constraint-based codesign) of embedded systems, which is presented by Chonlameth Arpnikanondt, is analyzed. Some deficiencies of the method wh...