迎接UML 2.0

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似乎距离我们还很     

一种基于动作语义的UML1.X-2.0模型转换方法

虽然UML2.0标准被OMG组织采纳已久,但由于UML1.X标准在工业界的广泛使用,仍然存在大量的实用模型和应用软件,它们在UML2.0标准之下已不能准确描述系统.UML2.0建模工具并不支持从UML1.X模型到UML2.0模型的转换.从顶层元模型的角度比较了这两个版本的不同,采用声明式和命令式混合的模型框架,给出了一种基于动作语义的UML模型转换方法,并用ASL描述交互元模型的转换实例,验证了方法的可行性.该方法将减少用户的重复劳动,实现软件的模型重用,也适用于其他元模型或模型层次上的转换.     

UML2.0顺序图的时序描述逻辑语义

针对UML2.0顺序图用于对象间交互行为建模时存在动态语义缺乏精确形式化描述的问题,提出一种基于时序描述逻辑的UML2.0顺序图形式化方法。对描述逻辑进行时序扩展,得到可表示动态和时序语义的形式化规范——时序描述逻辑,根据UML2.0新增的交互操作符将UML2.0顺序图分成一个或多个最大顺序片段,通过形式化最大顺序片段和交互操作符得到UML2.0顺序图的时序描述逻辑语义。实例检验结果表明,该方法具有可行性。     

一种用UML描述软件体系结构的策略

本文针对UML描述软件体系结构提出了一种策略,这种策略是围绕着对构件类型和实例的表示而组织的,用UML类表示构件,用UML对象表示构件实例。     

微软首发补丁解决Vista Beta2安全漏洞

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个安全漏洞的补…     

利用UML映射工具实现系统可靠性建模

许多可靠性建模技术是基于可靠性框图、故障树、Markov链等表示方法,但系统架构师、产品经理和软件开发者往往对这些表示方法不太熟悉,他们通常使用统一建模语言(UML)来对系统进行描述,因此系统设计者不得不面对设计过程与可靠性建模间的缺陷。为了弥补这一缺陷,本文提出了一个利用UML映射工具实现可靠性建模的方法,同时以实际的例子演示了该方法的可行性。     

基于时序逻辑的UML2.0通信图语义研究

UML2.0通信图可以表示对象之间的交互,很适合用于对系统的交互行为建模,但由于UML缺乏精确语义,使得难以对其所表示的系统行为进行分析和验证.XYZ/E是可执行线性时序逻辑语言,既可描述系统的静态语义和动态语义.在定K.UML2.0通信图的形式化语法的基础上,给出了通信图的XYZ/E时序逻辑语义,为进一步的系统分析和验证提供了形式化基础.     

USB 2．0根植Linux世界

得益于强大靠山——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的推广高潮真正来临了。     

一种基于本体的团队知识共享模型

针对在Internet环境下进行项目开发的特点，提出一种团队知识共享模型，通过使用OWL表示的领域本体和应用本体来组织分散在Internet环境中的知识，并在此基础上定义了基本知识操作，使得Internet下的团队成员能够进行项目知识的查询、发布及订阅，方便了团队成员之间的知识共享。     

利用UML映射工具实现系统可靠性建模

许多可靠性建模技术是基于可靠性框图、故障树、Markov链等表示方法，但系统架构师、产品经理和软件开发者往往对这些表示方法不太熟悉，他们通常使用统一建模语言（UML）来对系统进行描述，因此系统设计者不得不面对设计过程与可靠性建模间的缺陷。为了弥补这一缺陷，本文提出了一个利用UML映射工具实现可靠性建模的方法．同时以实际的例子演示了该方法的可行性。     

The Application of UML Modeling in University Teaching Materials Management System

UML 是当前面向对象分析和设计过程中使用的一种建模语言,是重要的图形化建模工具.UML 能让系统开发者用标准的、易于理解的方式表达出对系统正确、完整的认识,并有利于在开发团队中进行有效地沟通和共享.研究使用UML进行高校教材管理系统的建模,进行软件开发,可以缩短项目开发周期,降低了代码数量,提高了系统的可维护性.     

UML2.0的新特性以及在选课系统中的应用

本文介绍了UML2.0规约的修订过程和一些新特性,并且以高校的选课系统为例子,描述了UML2.0中的活动图,用况图,类图,顺序图以及通讯图相对于UML1.0的改进。最后还对UML的未来发展做了客观的分析。     

UML 2．0述评

在经过4年之久的修订过程之后，OMG采纳了UML 2．0。本文首先介绍了UML 2．0的修订背景和提案需求；然后分别介绍了UML 2.0规范的主体部分：基础结构和上层结构的修订特点，进而总结了UML 2.0基础结构的设计目标和体系结构，归纳了上层结构的设计目标、体系结构组织，着重于比较UML 1．X和2．0在模型构造能力上显著增强的部分；最后针对UML 2．0规范及对其存在的问题给出了一些评述，这些可以作为今后相关研究工作的框架。     

模态顺序图uMSD 的形式语义

UML 2.0顺序图已广泛应用于业界,但其语义模糊,以至于不能有效地加以使用.模态顺序图(modal sequence diagram,简称MSD)是对UML 2.0顺序图的模态扩展,区分了强制场景(用universal MSD表示,简称uMSD)和可能场景(用existential MSD表示,简称eMSD).其中,uMSD具有较强的表达能力,能够用于表示并发系统的时态性质,故主要工作围绕uMSD展开.为了使uMSD用于形式化分析、验证和监控,给出基于自动机的uMSD语义解释,并给出各种操作符的算法,用性质规约模式度量uMSD的表达能力.最后进行了实例研究,并讨论了其应用前景.     

使用UML和C语言实现基于对象的嵌入式软件开发

针对C 语言难以在低端嵌入式系统项目中应用的情况，对嵌入式系统软件开发中基于对象的方法进行了研究，提出了一种使用UML和C语言设计和开发嵌入式软件的实用方法。实践证明，该方法很好地融合了UML和C语言的优点，能够大大提高嵌入式软件的开发效率和可维护性。     

基于UML的嵌入式系统建模及模型验证机制研究

统一建模语言UML在嵌入式系统设计建模中已经获得了广泛的认可，并有很多成功的应用，但UML存在时间约束描述能力不强和所建模型形式化复杂、验证难的问题。针对上述问题，本文提出了使用UML扩展机制对UML状态图进行时间扩展，建立系统状态一约束一事件矩阵来对模型进行形式化描述的方法。该方法解决了UML在嵌入式系统建模时存在的问题。应用实例和实验结果验证了该方法的可行性和有效性。     

实时系统动态行为模型的一种形式分析方法*

提出了一种基于统一建模语言UML 2.0的实时系统动态行为模型的形式分析方法。首先给出了UML顺序图的形式化描述,分析了UML顺序图中事件之间的关系;在此基础上,给出一种对象自动机来描述每个对象在UML顺序图描述的场景中所参与的事件序列的方法,并将该方法扩展到带有组合片段的UML 2.0顺序图;最后通过分析UML 2.0顺序图中的时间建模机制,给出了从UML 2.0顺序图中提取时间约束得到时间自动机的算法。     

基于π演算的时序图的建模

UML建模方式广为开发人员使用,但其非形式化的描述方法缺少对所描述内容的形式建模过程,本文通过运用πI演算描述UML中的时序图,能够对UML图形所涉及的数据和操作行为进行建模,为UML的动态描述图形提供一种建模的途径,本文提出用树形结构来组织对象的属性和操作,使得在πI演算能对类和对象的表示和处理。     

Web 2.0下新安全威胁

在更为开放的Web2.0环境中,企业要做好安全防范就成为一项较难的任务。Web2.0的发展已经使互联网成为了一个大众广泛参与参与的媒介,用户可以贡献内容、可以交流、甚至可以建立自己的空间。但最近有专家表示,目前新一轮的针对Web2.0应用的安全威胁问题已经来临。     

UML课程教学方法的探索与实践

鉴于UML目前已成为软件行业建模的标准语言,本文从高等院校UML课程特点出发,针对UML课程教学中存在的问题,结合作者在实际教学中的经验和体会,引入了案例教学、团队合作、交流讨论的授课模式,在实际教学中收到了良好的教学效果。