共查询到20条相似文献,搜索用时 31 毫秒
1.
2003年4月 Rational 公司在上海举行UML 讲座,这时的 Rational 已经成为IBM 旗下的一员。这次讲座,Bran Selic 作为 IBM 公司的 Thought Leader亲自介绍了UML2.0的标准进展情况和未来发展方向(Bran Selic 是 IBM Rational 加拿大的首席工程师。具有30年实时软件系统的设计开发经验,是《Real-Time Object-OrientedModeling》的作者。近来,Bran 正在领导一个小组为实时应用制订 UML profile 的OMG 标准)。在 Selic 为我们介绍 UML2.0的时候,觉得 UML2.0似乎距离我们还很 相似文献
2.
虽然UML2.0标准被OMG组织采纳已久,但由于UML1.X标准在工业界的广泛使用,仍然存在大量的实用模型和应用软件,它们在UML2.0标准之下已不能准确描述系统.UML2.0建模工具并不支持从UML1.X模型到UML2.0模型的转换.从顶层元模型的角度比较了这两个版本的不同,采用声明式和命令式混合的模型框架,给出了一种基于动作语义的UML模型转换方法,并用ASL描述交互元模型的转换实例,验证了方法的可行性.该方法将减少用户的重复劳动,实现软件的模型重用,也适用于其他元模型或模型层次上的转换. 相似文献
3.
4.
本文针对UML描述软件体系结构提出了一种策略,这种策略是围绕着对构件类型和实例的表示而组织的,用UML类表示构件,用UML对象表示构件实例。 相似文献
5.
《每周电脑报》2006,(32)
8月17日,微软公司证实了12个安全公告中有两个涉及到WindowsVista Beta2,同时还发布了针对下一代操作系统首次安全升级的下载指示。微软Windows Vista安全团队产品经理Heaton在博客中写道:我们承诺在Vista测试时期负责发布WindowsVista的所有紧急升级,这些升级都是微软安全反应中心提出的。他还表示,8月8日发布的10多个补丁程序中有两个会影响到Vista Beta2,它们分别是MS06-042和MS06-51,而8月发布的补丁中有7个属于紧急升级,仅有两个与Vista Beta2或更高版本有关。MS06-042是IE浏览器的多个安全升级,它包括针对IE8个安全漏洞的补… 相似文献
6.
许多可靠性建模技术是基于可靠性框图、故障树、Markov链等表示方法,但系统架构师、产品经理和软件开发者往往对这些表示方法不太熟悉,他们通常使用统一建模语言(UML)来对系统进行描述,因此系统设计者不得不面对设计过程与可靠性建模间的缺陷。为了弥补这一缺陷,本文提出了一个利用UML映射工具实现可靠性建模的方法,同时以实际的例子演示了该方法的可行性。 相似文献
7.
得益于强大靠山——Wintel联盟的支持,USB 2.0逐渐得势起来:2002年初,作为主流操作系统的Windows的最新版本通过升级软件包提供对USB 2.0的支持;而Intel芯片组对USB 2.0的支持也随之跟进。应该说,USB 2.0的普及已经是大势所趋了!但这还不是全部。随着Linux世界在2.4.19新版本内核中提供对USB 2.0的全面支持,USB 2.0的推广高潮真正来临了。 相似文献
8.
UML2.0通信图可以表示对象之间的交互,很适合用于对系统的交互行为建模,但由于UML缺乏精确语义,使得难以对其所表示的系统行为进行分析和验证.XYZ/E是可执行线性时序逻辑语言,既可描述系统的静态语义和动态语义.在定K.UML2.0通信图的形式化语法的基础上,给出了通信图的XYZ/E时序逻辑语义,为进一步的系统分析和验证提供了形式化基础. 相似文献
9.
一种基于本体的团队知识共享模型 总被引:4,自引:0,他引:4
针对在Internet环境下进行项目开发的特点,提出一种团队知识共享模型,通过使用OWL表示的领域本体和应用本体来组织分散在Internet环境中的知识,并在此基础上定义了基本知识操作,使得Internet下的团队成员能够进行项目知识的查询、发布及订阅,方便了团队成员之间的知识共享。 相似文献
10.
许多可靠性建模技术是基于可靠性框图、故障树、Markov链等表示方法,但系统架构师、产品经理和软件开发者往往对这些表示方法不太熟悉,他们通常使用统一建模语言(UML)来对系统进行描述,因此系统设计者不得不面对设计过程与可靠性建模间的缺陷。为了弥补这一缺陷,本文提出了一个利用UML映射工具实现可靠性建模的方法.同时以实际的例子演示了该方法的可行性。 相似文献
11.
ZHANG Wanchao 《电脑学习》2012,2(4)
UML 是当前面向对象分析和设计过程中使用的一种建模语言,是重要的图形化建模工具.UML 能让系统开发者用标准的、易于理解的方式表达出对系统正确、完整的认识,并有利于在开发团队中进行有效地沟通和共享.研究使用UML进行高校教材管理系统的建模,进行软件开发,可以缩短项目开发周期,降低了代码数量,提高了系统的可维护性. 相似文献
12.
统一建模语言UML在嵌入式系统设计建模中已经获得了广泛的认可,并有很多成功的应用,但UML存在时间约束描述能力不强和所建模型形式化复杂、验证难的问题。针对上述问题,本文提出了使用UML扩展机制对UML状态图进行时间扩展,建立系统状态一约束一事件矩阵来对模型进行形式化描述的方法。该方法解决了UML在嵌入式系统建模时存在的问题。应用实例和实验结果验证了该方法的可行性和有效性。 相似文献
13.
14.
15.
模态顺序图uMSD 的形式语义 总被引:2,自引:0,他引:2
UML 2.0顺序图已广泛应用于业界,但其语义模糊,以至于不能有效地加以使用.模态顺序图(modal sequence diagram,简称MSD)是对UML 2.0顺序图的模态扩展,区分了强制场景(用universal MSD表示,简称uMSD)和可能场景(用existential MSD表示,简称eMSD).其中,uMSD具有较强的表达能力,能够用于表示并发系统的时态性质,故主要工作围绕uMSD展开.为了使uMSD用于形式化分析、验证和监控,给出基于自动机的uMSD语义解释,并给出各种操作符的算法,用性质规约模式度量uMSD的表达能力.最后进行了实例研究,并讨论了其应用前景. 相似文献
16.
针对C 语言难以在低端嵌入式系统项目中应用的情况,对嵌入式系统软件开发中基于对象的方法进行了研究,提出了一种使用UML和C语言设计和开发嵌入式软件的实用方法。实践证明,该方法很好地融合了UML和C语言的优点,能够大大提高嵌入式软件的开发效率和可维护性。 相似文献
17.
实时系统动态行为模型的一种形式分析方法* 总被引:1,自引:0,他引:1
提出了一种基于统一建模语言UML 2.0的实时系统动态行为模型的形式分析方法。首先给出了UML顺序图的形式化描述,分析了UML顺序图中事件之间的关系;在此基础上,给出一种对象自动机来描述每个对象在UML顺序图描述的场景中所参与的事件序列的方法,并将该方法扩展到带有组合片段的UML 2.0顺序图;最后通过分析UML 2.0顺序图中的时间建模机制,给出了从UML 2.0顺序图中提取时间约束得到时间自动机的算法。 相似文献
18.
UML建模方式广为开发人员使用,但其非形式化的描述方法缺少对所描述内容的形式建模过程,本文通过运用πI演算描述UML中的时序图,能够对UML图形所涉及的数据和操作行为进行建模,为UML的动态描述图形提供一种建模的途径,本文提出用树形结构来组织对象的属性和操作,使得在πI演算能对类和对象的表示和处理。 相似文献
19.
ViSa、IBM、IP Commerce和FireStar向OMG提交的金融领域标准CM4PM(Conversion Models for Pavment Message Standard,支付消息标准转换模型)已经获得OMG认可。这个新标准使用UML元模型来描述,遵从ISO20022标准,帮助金融机构进行消息转换。力图通过和各行业标准组织结盟来推广UML,是OMG的一贯策略。之前,OMG和HL7结盟,合作建立基于UML的医疗保健领域软件标准;和DMTF结盟,使用UML和XMI来完成DMTF的CIM(公共信息模型)的表示和交换。 相似文献
20.
潘加宇 《Internet》2008,(1):12-12
ViSa、IBM、IP Commerce和FireStar向OMG提交的金融领域标准CM4PM(Conversion Models for Pavment Message Standard,支付消息标准转换模型)已经获得OMG认可。这个新标准使用UML元模型来描述,遵从ISO20022标准,帮助金融机构进行消息转换。力图通过和各行业标准组织结盟来推广UML,是OMG的一贯策略。之前,OMG和HL7结盟,合作建立基于UML的医疗保健领域软件标准;和DMTF结盟,使用UML和XMI来完成DMTF的CIM(公共信息模型)的表示和交换。 相似文献