基于模型转换实现行为协议的研究

为平台无关的UML模型元素(如类、接口)增加行为协议通常没有有效的解决方法。提出了一种基于模型转换实现行为协议的方法,编写了模型转换规则将状态机描述的行为协议元数据自动转换为UML操作元素的约束,运用OCL验证器和代码生成器对转换后的UML模型进行自动验证和代码生成。该方法为行为协议的自动验证、与模型元素同步和规范的正确实施提供了有效支持。     

Automating Support for Software Evolution in UML

Disciplined support for evolution of software artifacts is important in all phases of the software life-cycle. In order to achieve this support, a uniform underlying foundation for software evolution is necessary. While, in the past, reuse contracts have been proposed as such a formalism in a number of different domains, this paper generalises the formalism, and integrates it into the UML metamodel. As such, support for evolution becomes readily available for many kinds of UML models, ranging from requirements to the implementation phase.     

一种支持语义互操作的Web服务注册管理机制

随着互联网中Web服务的急剧增长,大量服务资源已呈分布异构状态,仅仅靠单纯的语义信息已经不能满足Web服务的动态集成和随需而变.尽管网络通信协议、基于XML的各种信息交换协议基本解决了网络信息资源之间互连和互通的问题,但自治异构的Web服务之间的互操作问题还有待解决.针对以上问题,基于国际标准ISO/IEC 19763-3:MFBOR,构建了一种语义互操作性Web服务注册管理框架,并提出了Web服务的2种语义互操作能力,初步实现了Web服务资源由“孤岛性”向“互操作性”的转变.     

基于SWRL元模型的本体公理建模方法

针对传统SWRL元模型难以表达规则前件中OWL类实例的问题,提出改进的元模型,采用逻辑运算符连接并区分规则的UML模型中不同的OWL属性和OWL类的实例。为规则设计了基于UML profile的建模机制。通过引入horn短句集、描述逻辑等知识表示方式,论证了用描述逻辑对部分基于UML建模的规则形式化的可行性,并给出基于描述逻辑对其形式化的方法。     

一种基于UML的Java类复杂性度量方法*

软件产品复杂度在软件度量领域是一个非常重要的方面.软件开发的成本、进度和潜伏的错误数量均与复杂度有密切的关联.由于OOA和OOD被广泛运用,度量面向对象的软件复杂性成为必然的需求.UML是一种面向对象分析与设计的建模语言,已经被接受为工业标准.为此,提出了一种适用于Java语言的根据UML类图对类的复杂性进行度量的方法,并用Weyuker提出的复杂性度量的评价标准对其进行了评价.     

一种状态图到B规格说明的自动转换方法研究实现

状态图是UML动态视图之一,主要描述对象的动态行为,但缺乏形式化的动态语义,不利于软件从需求到代码的自动化转换。B语言支持形式化规格说明,在MDA转换过程中,把UML状态图转换为B规格说明,可以使MDA中的需求表达得更为精确。基于此,提出了一种基于EMF的状态图到B规格说明的转换方法,设计了状态图和B抽象机的元模型,定义了元模型之间的转换规则,给出了该规则的ATL描述,最后在Eclipse平台实现了状态图到B规格说明的自动转化。该方法为MDA过程中获取形式化需求提供了一种新的途径。     

基于UML Profile的关联规则挖掘元模型研究*

针对目前数据挖掘系统缺乏通用性和复用性的问题,对UML进行轻量级扩展,采用UML Profile机制建立了一套关联规则挖掘元模型,实现了关联规则挖掘在概念层上的建模设计,取代了以往在具体的表结构和数据仓库系统上进行建模的方法,并在某大型钢结构企业的决策支持系统中验证了模型的有效性。最后在Analysis Services 2008上经过验证,利用UML Profile机制建立的关联规则挖掘元模型可较早地伴随决策系统进入设计阶段,减少开发的时间和代价。     

元建模技术研究进展

随着UML(unified modeling language)与MDA(model driven architecture)的兴起和流行,模型已经成为软件开发的核心制品,而模型重要性的提升使得建模语言以及定义建模语言的元模型逐渐成为软件开发中的一个核心要素.软件开发往往涉及多个领域,而不同的领域往往需要不同的建模语言及其建模工具.但是,手工地为不同的建模语言开发建模工具代价高昂.元建模技术是解决这个问题的方法之一,通过元建模,可以根据领域需要定制合适的元模型以定义领域建模语言,进而自动生成支持该建模语言的建模工具.大量的工程实践表明,与领域建模以及MDA相结合,元建模可以大幅度地提高软件开发效率,基于元建模的MDA比基于通用建模语言的MDA更具潜力.在最近的几年中,元建模及其相关技术发展迅猛,不但在技术上取得了长足的进步,而且在产业界也开始出现大规模的商业应用.总结了元建模的现有研究成果,分析和比较了现有元建模工具,探讨了元建模的可能发展方向.对元建模中存在的问题进行分析,并指出了可能的解决途径.     

用例驱动的软件复杂性度量及应用

在用例驱动的软件开发过程中,研究软件复杂性,对于项目规模估算、进度控制及度量、评估都具有积极的意义.从需求获取、分析、设计、测试等阶段详细讨论了整个软件开发过程中如何获取、量化用例层次上的软件复杂度的方法,概括了研究的意义并通过实践进一步验证.根据它对软件可靠性相关指标参数的影响,探讨基于用例的软件可靠性度量分析方法的改进.     

MDA建模的AOP扩展策略及其比较

对于MDA横切于核心业务逻辑的关注点对封装的破坏的问题,本文给出把AOP引入到MDA的扩展策略和主要方法,并对不同的扩展策略进行了比较。     

XML Schema Modeling through UML Class Diagram

A three-step XML Schema modeling method is presented, namely first establishing a diagram of conceptual modeling, then transforming it to UML class diagram and finally mapping it to XML Schema. A case study of handling furniture design data is given to illustrate the detail of conversion process.     

Deeper Sparsely Nets can be Optimal

The starting points of this paper are two size-optimal solutions: (i) one for implementing arbitrary Boolean functions [1]; and (ii) another one for implementing certain sub-classes of Boolean functions [2]. Because VLSI implementations do not cope well with highly interconnected nets – the area of a chip grows with the cube of the fan-in [3] – this paper will analyse the influence of limited fan-in on the size optimality for the two solutions mentioned. First, we will extend a result from Horne & Hush [1] valid for fan-ins = 2 to arbitrary fan-in. Second, we will prove that size-optimal solutions are obtained for small constant fan-in for both constructions, while relative minimum size solutions can be obtained for fan-ins strictly lower than linear. These results are in agreement with similar ones proving that for small constant fan-ins ( = 6 ... 9), there exist VLSI-optimal (i.e., minimising AT2) solutions [4], while there are similar small constants relating to our capacity of processing information [5].     

基于场景元模型的软件产品线追踪方法

针对软件产品线需求追踪方法进行了研究,基于软件产品线领域需求分析、设计、实现三个阶段的信息传播,提出了一种基于场景元模型的多层次软件产品线追踪模型,完整描述了追踪信息变化的整体框架;建立了需求—用例追踪矩阵、用例—动作追踪矩阵、动作—构件追踪矩阵;根据矩阵运算,描述了具体追踪实现过程,通过一个ATM案例验证了该方法对于软件产品线领域需求获取以及需求变更等问题的解决有较好的效果。     

基于用例的软件复杂度估算及应用

用例驱动是RUP开发过程的要素之一。研究基于用例的软件复杂度,对于项目规模估算、进度控制和度量、评估都具有积极的意义。讨论了在用例驱动的软件开发过程中如何获取、量化用例层次上的软件复杂度的方法,概括了其研究的意义,并根据它对软件可靠性相关指标参数的影响,探讨基于用例的软件可靠性度量分析方法的改进。     

Source code size estimation approaches for object-oriented systems from UML class diagrams: A comparative study

BackgroundSource code size in terms of SLOC (source lines of code) is the input of many parametric software effort estimation models. However, it is unavailable at the early phase of software development.ObjectiveWe investigate the accuracy of early SLOC estimation approaches for an object-oriented system using the information collected from its UML class diagram available at the early software development phase.MethodWe use different modeling techniques to build the prediction models for investigating the accuracy of six types of metrics to estimate SLOC. The used techniques include linear models, non-linear models, rule/tree-based models, and instance-based models. The investigated metrics are class diagram metrics, predictive object points, object-oriented project size metric, fast&&serious class points, objective class points, and object-oriented function points.ResultsBased on 100 open-source Java systems, we find that the prediction model built using object-oriented project size metric and ordinary least square regression with a logarithmic transformation achieves the highest accuracy (mean MMRE = 0.19 and mean Pred(25) = 0.74).ConclusionWe should use object-oriented project size metric and ordinary least square regression with a logarithmic transformation to build a simple, accurate, and comprehensible SLOC estimation model.     

全功能点在SOA系统规模估算中的应用

规模估算是项目估算的基础,然而针对面向服务体系结构(SOA)系统的规模估算没有一个有效的解决方案。为此,探讨全功能点方法在估算SOA系统规模中的应用,在研究全功能点方法及业务流程建模标记的基础上,定义全功能点主要元素和业务流程建模标记主要元素的映射规则,给出估算步骤,同时以一个实例说明估算过程。