搜索结果: 76-87 共查到“计算机科学技术 UML”相关记录87条 . 查询时间(0.08 秒)
一种基于ASL的将UML 1.x模型转换为UML 2.0 模型的方法*
模型转换 动作语义 模型-模型
2008/3/5
从宏观上比较了UML 1.x和UML 2.0两个版本的不同,并给出一种转换模型的方法,该方法是基于动作语义语言(Action Semantic Language,ASL)的。期望该方法可以推进所需工具的开发。而且该方法不仅仅局限于此,它适用于所有的模型-模型转换。
以电子地图系统的开发为背景,介绍了在面向对象应用系统的分析与设计过程中,应用基于RUP的UML的建模技术进行系统建模的方法。在对系统进行需求分析的基础上,灵活选用UML提供的语言丰富的可视化表达元素,构建了系统的用户需求模型、混合模式体系架构模型、分析设计模型和实现模型。
改进了文献[2]中提出的一种由软件的UML模型转换得到软件的Markov链使用模型的方法。采用Java语言实现了一个从软件的UML模型获得软件使用模型的工具。
介绍了VHE理论模型和OSA/Parlay标准规范,提出了多媒体个人移动业务的体系结构模型,对基于OSA/Parlay标准的多媒体个人移动业务的管理系统作出了总体设计,并使用UML技术设计了管理系统中的计费业务,给出了Use Case总体视图和计费流程。
基于UML的多智能体建模分析方法研究
2007/12/12
Abstract以多智能体系统机器人足球仿真比赛为研究背景 ,对Agent理论和结构模型进行分析 ,探讨了使用UML语言建立Agent模型与结构之间映射关系的方法 .通过对Agent的内部结构与行为的描述 ,实现了A gent建模与其软件建模的统一 .并在开发机器人足球仿真比赛队伍AFU2 0 0 4Agent软件的过程中成功地加以应用 ,为Agent的建模和设计实现开启了新的思路 .
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...
基于UML的软件Markov链使用模型构造研究
2007/11/2
Yan J, Wang J, Chen HW. Deriving software Markov chain usage model from UML models.
Journal of Software, 2005,16(8):1386-1394.DOI:
10.1360/jos161386 http://www.jos.org.cn/1000-9825/16/1386.htm摘要
...
UML实时活动图的形式化分析
统一建模语言(UML) 活动图 实时系统 Petri网 形式语义
2007/11/1
统一建模语言(UML)自从成为OMG规范后,应用越来越广泛.但UML没有精确的、形式化的语义阻碍了它的进一步发展.该文基于Petri网,给出带时间约束的UML活动图的形式化描述.与Petri网不同的是,Petri网的时间约束是在跃迁(transition)上,而作者将UML活动图的时间约束放在活动状态上.在此基础上,用整型时间的验证技术对实时活动图的时间性质加以分析,为实时系统的建模打下了基础.
Securing UML Information Flow using FlowUML
Unified Modelling Language flow control policies logic
2005/4/12
FlowUML is a logic-based system to validate information flow policies at the requirements specification phase of UML based designs. It uses Horn clauses to specify information flow polices that can be...
A UML 2.0/OCL Extension for Designing Secure Data Warehouses
Secure Data Warehouse UML profile OCL security confidentiality
2005/4/12
At present, it is very difficult to develop a methodology that fulfills all criteria and comprises all security constraints in the successful design of data warehouses. If that methodology were develo...