面向对象的软件建模工具JBOO3.0

JBOO3．0是面向对象的软件建模工具。本文介绍了JBOO3．0采用的概念与表示法、适合的过程指导、支持的文档编制规范及其构成。     

UML系统模型的组织

用UML对系统建模，可能要产生大量的描述系统模型的制品。说明了如何从系统的观点组织模型，并阐述了系统、子系统、视图和模型间的关系。     

扩展QVT Relations实现业务流程模型的转换

QVT(Query/View/Transformation)Relations无法描述包含嵌套模式,因此在描述流程模型的转换规则时存在一些困难.针对此问题,对QVT Relations 进行了扩展,引入了模式因子、嵌套关系表达式和关联端约束这3个概念,并讨论了扩充之后匹配模型和创建模型的语义变化.并用一个例子展示,扩展...     

一种面向图形化建模语言表示法的元模型

对于图形化的建模语言,为定义其表示法一般需要解决3个问题:如何定义每个建模元素的图形符号,如何定义图形符号之间的位置关系以及如何将表示法映射到抽象语法.为了方便进行模型转换和代码生成,还需要使用模型化的方式描述建模语言的表示法.通过对UML及其语言家族中的表示法进行总结、分析和归纳,提出了一种表示法定义元模型(notation definition metamodel,简称NDM).针对定义表示法所面临的3个问题,NDM被分成基本图元及其布局、基本位置关系和抽象语法桥三部分.使用NDM定义好的表示法模型还可以通过代码生成技术生成可使用的源代码.将NDM与其他几种定义表示法的方法进行了比较,结果表明,NDM与其他方法相比具有优势.NDM已经在元建模工具PKU MetaModeler中实现.介绍了NDM在实际应用中的几个案例.     

一种从UML模型到可靠性分析模型的转换方法

以构件化的软件开发方法为背景,提出了一种将UML模型自动地转换为可靠性分析模型Markov链的方法.该方法基于构件化的软件体系结构,从UML的用况图、顺序图、活动图和构件图出发,对其进行扩展,在模型中标注了可靠性分析所需的信息.在此基础上,通过构造一个称为构件转移图的中间模型,将标注了可靠性信息的UML模型转换为Markov链.该方法产生的结果能够直接作为现有可靠性相关的数学分析方法的输入,从而使可靠性分析工作变得更加方便、高效.     

基于情境的文本主题求解

对一个文本的理解，应用该它与一定的情境联系起来，文中基于这样的思想，讨论了基于情境的文本理解模型，并给出了求解文本主题的一种方法。     

统一软件开发过程述评

1 引言统一软件开发过程(Unified Software DevelopmentProcess,USDP)是由统一建模语言(Unified ModelingLanguang,UML)的缔造者们提出来的.并为对象管理组织(Object Management Group,OMG)所推荐。统一软件开发过程是缔造者们权衡了三十年的软件开发实践而形成的产物。它把当前处于分离的方法学集合于一起,称之为“统一方法”。它不仅统一了缔造者们的工作,而且使得开发方法得以统一,方法学家的工作得以统一。它也包含了很多其他人员和公司对UML作出的巨大贡献,例如它来自于数百个用户多年的现场经验以及Rational公司多年的工作成果。 USDP对于如何运用UML的概念进行软件开发提供了详细指导,它指导开发队伍安排其开发活动的次序,为各开发     

青鸟面向对象软件开发工具JBOO2.0

随着面向对象技术的成熟,对面向对象的软件开发工具的需求也越来越为迫切。该文在介绍了ＪＢＯＯ的概念后,叙述了本工具所支持的图和模型,然后着重描述了工具的组成。     

一个支持模型驱动开发的元建模平台的研制

由于当今软件系统的复杂性,模型驱动的软件开发中需要的建模语言和转换定义语言往往是多种多样的.本文阐述了对一个可满足这种需要的元建模平台的研制.其中着重论述了对建模语言的元模型和表示法进行建模的技术,建模语言质量保证机制,以及针对所建立的建模语言和转换定义语言提供自动生成相应工具的设施.     

一种用况模型中的相似事件流检测算法

用况是捕获需求的主要工具之一．随着系统复杂性的增长，系统涉众数目急剧增加，需求捕获变得更为困难．解决系统复杂性问题的常用方法是采用分而治之的策略，从不同涉众中得到系统需求的不同方面，然后将不同方面的需求合并为完整需求模型．随之而来的问题是不同用况之间的重叠，就是相同或相似的事件流片断出现在多个用况中．重复事件流片断会降低模型的可维护性、可理解性，增加系统开发成本．虽然人们已经意识到了这个问题，但缺乏相应的检测算法．本文给出基于信息检索技术的启发式检索算法以检测相似事件流片断．实验结果表明算法是有效的．