演化算法的一个通用设计模型

本文提出了一个演化算法的通用设计模型，并用UML详细说明了它的组成与结构．该模型以演化算法中的关键概念及其相互作用机制为核心，把这些概念合理分类并加以抽象，有效地实现了关注分离和封装实现细节．而应用设计模式来组织这些概念又使该模型具有灵活的体系结构．因此该模型具有可重用、可扩展、易理解、易使用、便于进行测试等优点．最后将该模型的实现应用到各类不同的问题来验证其通用性和有效性，并给出了函数优化和TSP问题的实验结果．     

知识工程中的本体研究现状与存在问题

本体是知识工程领域一个新的研完方向。本文对知识工程中的本体研完进行了概括性的总结：首先介绍了知识工程中本体研完的意义和基本概念；其次从构造准则、表示语言、开发方法、重要工程、主要应用等方面总结了知识工程中本体的研完现状；最后指出了知识工程中本体研完存在的问题和发展的方向。     

基于UML的网格QoS面向方面建模方法

利用基于UML的面向方面编程(AOP)技术来建模实时系统,结合传统的网格QoS结构模型,把QoS关注从系统中抽象为一个独立于系统的QoS方面,从结构建模、行为建模、方面织入以及代码产生几个方面实现面向方面的建模方法,更好地提供网格环境下QoS保证,分离了QoS关注,提高软件的重用性.     

面向信任的协同模型*

针对开放分布式系统中收集实体的经验值和度量信任困难的现状,采用关注分离的原则,将实体的信任处理行为与计算行为、交互行为进行分离,提出了一个面向信任的协同模型。通过模型中的信任角色实时监听所绑定的计算实体的消息来更新经验值,进而计算信任度,为系统选择相对可信的计算实体提供了依据。最后,利用Java消息服务技术和EJB技术给出了该模型的实现框架。     

多Agent系统的排队模型研究（2）——模型理论

多Agent系统是人工智能、软件领域等研完的热点问题，在这个问题的研究中，人们普遍关注的问题是如何组织协调Agent之间的关系，让各个Agent充分发挥作用，使系统处于最佳状态，本文抓住多Agent之间的这个关键问题。给出了多Agent系统的排队模型的基本概念，为进一步研完多Agent系统奠定了理论基础。     

多维关注分离的模型驱动过程框架设计方法

当前,许多模型驱动软件项目过程采用多种开发方式相结合的形式.但开发方式的比较、选择、组合操作却缺少系统化的方法指导.提出一种多维关注分离的开发过程框架设计方法.采用一般化、行为化和抽象化作为元关注维,对开发方式进行比较.结合这三维的期望演化曲线,给出过程实现模型框架.对于模型驱动开发过程的提高开发效率、增强可跟踪性和保证一致性等非功能性需求有一定的参考意义.     

通用OS内核的构件化是否合适

本文从OS研究的推动力——上层应用和底层硬件的角度,对过去OS的研完成果进行了详细的考察,并在该基础上得出结论：通用OS内核的结构不适合采用构件式。     

高性能数值软件包设计方案研究

本文主要关注于高性能数值软件包的设计方案研完。在指出优秀数值软件包的几个重要特征之后,阐明了面向对象技术的引入对于设计灵活易用的数值软件包的重要意义。本文尤其着重于分析阐述基于分布式并行计算的高性能数值软件包的设计考虑．从综合的角度提出了一套框架性的设计方案。     

基于AOP的实时系统关注点分离方法

提出一种基于AOP的实时系统关注点分离方法。该方法分析并识别实时系统中的关注点,将非功能性关注从系统核心功能关注中分离出来,提出基于方面连接件的组装模型,该模型将AOP引入到软件连接件中,从而实现了功能关注与非功能关注绑定或组合过程的透明性,同时使用State模式解决了实时系统软件开发中的状态管理问题。通过一个实时系统实例分析与实现,介绍了该方法在应用中的前景。     

基于容器的IoC控制反转模式的研究

目前控制反转IoC(Inversion of Control)模式广泛应用于各种应用程序框架,像Spring、PicoContainer和Avalon等这些流行的轻量级容器,都分别支持不同方式的控制反转模式的实现.首先介绍控制反转模式的设计思想及依赖注入、关注分离、依赖倒置原则等相关概念,并通过三个具体的实例就控制反转模式在以上三种框架下的具体实现进行分析,比对控制反转模式在适应各自容器需求的基础上所体现的优点和不足之处,探讨其优劣,展望其发展前景.     

横切关注点管理中的若干关键问题综述

面向方面的软件开发方法区别于面向对象的软件开发方法的关键在于横切关注点的管理。横切关注点的管理应贯穿面向方面的软件开发的全过程。分析了横切关注点在软件开发各阶段的定义及表现形式,阐述了在需求阶段横切关注点的识别、行为约束和演化机制等横切关注点管理中的几个关键问题的研究现状,讨论了今后的研究方向,并提出了一些可能的解决方案。     

面向方面的编程方法

面向方面编程（Aspect-Oriented Programming,AOP）是目前发展比较迅速的一种新的编程方法。它是面向过程、面向对象方法的进一步发展。AOP通过引入了方面概念,改进了关注点的分离（separation of concerns）,减少代码缠结（code tangling）,解决了横切关注点（crosscutting concerns）的问题,可以提高软件质量和效率。文章对AOP的基本概念、技术特点和AOP的技术框架现状进行了相关介绍。     

一种建模软件体系结构非功能属性的方法

非功能属性的处理一直是困扰着研究人员和实践者的难题.针对体系结构设计阶段早期,提出一种建模非功能属性的方法.该方法利用面向方面软件开发中的关注点多维分离原理,提出建模软件体系结构的"1+X"模型,并在此基础上进一步划分体系结构非功能属性的维度,归纳各个维度上的关注点,利用XML对维度和关注点进行规约.该模型为后续设计面向方面的软件体系结构奠定了基础,为体系结构设计人员提供了方法支持,而且该成果可以直接用于不同领域内的软件体系结构设计.     

Guidelines for the incremental identification of aspects in requirements specifications

The desired principle of separation of concerns in software development can be jeopardized by the so-called crosscutting concerns, which tend to be scattered over (and tangled with) the functionality of the modular units of a system. The correct identification of such concerns (and their encapsulation into separate artifacts) is thereby considered a way to improve software understanding and evolution. Pursuing a proper management of concerns from the requirements engineering stage can greatly benefit the entire software life-cycle. In this paper, we propose conceptual guidelines on how to perform the identification of crosscutting concerns in the process of building requirements specifications. We argue that the identification must be carried out in an incremental way, to encapsulate apart the crosscutting concerns even if they have not emerged completely yet.

Identifying composite crosscutting concerns through semi‐supervised learning

Aspect mining improves the modularity of legacy software systems through identifying their underlying crosscutting concerns (CCs). However, a realistic CC is a composite one that consists of CC seeds and relative program elements, which makes it a great challenge to identify a composite CC. In this paper, inspired by the state‐of‐the‐art information retrieval techniques, we model this problem as a semi‐supervised learning problem. First, the link analysis technique is adopted to generate CC seeds. Second, we construct a coupling graph, which indicates the relationship between CC seeds. Then, we adopt community detection technique to generate groups of CC seeds as constraints for semi‐supervised learning, which can guide the clustering process. Furthermore, we propose a semi‐supervised graph clustering approach named constrained authority‐shift clustering to identify composite CCs. Two measurements, namely, similarity and connectivity, are defined and seeded graph is generated for clustering program elements. We evaluate constrained authority‐shift clustering on numerous software systems including large‐scale distributed software system. The experimental results demonstrate that our semi‐supervised learning is more effective in detecting composite CCs. Copyright © 2013 John Wiley & Sons, Ltd.     

Improving workflow modularity using a concern-specific layer on top of Unify

Workflows are a popular means of automating processes in many domains, ranging from high-level business process modeling to lower-level web service orchestration. However, state-of-the-art workflow languages offer a limited set of modularization mechanisms. This results in monolithic workflow specifications, in which different concerns are scattered across the workflow and tangled with one another. This hinders the design, evolution, and reusability of workflows expressed in these languages. We address this problem through the Unify framework. This framework enables uniform modularization of workflows by supporting the specification of all workflow concerns – including crosscutting ones – in isolation of each other. These independently specified workflow concerns are connected to each other using workflow-specific connectors. In order to further facilitate the development of workflows, we enable the definition of concern-specific languages (CSLs) on top of the Unify framework. A CSL facilitates the expression of a family of workflow concerns by offering abstractions that map well to the concerns' domain. Thus, domain experts can add concerns to a workflow using concern-specific language constructs. We exemplify the specification of a workflow in Unify, and show the definition and application of two concern-specific languages built on top of Unify.     

基于侧面的贯穿特性分离的用例驱动方法

结合AOSD,改进统一软件开发过程中的用例驱动,提出贯穿需求结构,从需求到设计明确地得到与贯穿特性相应的组合表,并且用ATM银行系统的案例学习来验证该方法。     

面向方面体系结构建模研究

面向方面体系结构建模是面向方面软件开发(AOSD)的重要组成部分,也是近些年面向方面领域研究的热点问题。传统的软件体系结构设计方法没有单独地考虑横切关注点。因此,在软件体系结构设计阶段,建模人员需要新的机制来描述这些横切关注点。本文首先提出一个以横切为中心的面向方面体系结构概念框架;然后通过在体系结构设计阶段引入该框架中的核心概念,提出一种在体系结构设计阶段建模横切关注点的方法,从而支持其在早期进行横切关注点的分离。     

从面向方面程序设计的定义到面向方面程序设计语言

目前无论在学术界还是工业界,很多人士简单地将面向方面程序设计理解为模块化横切关注点,狭隘地认为 面向方面程序设计构建在面向对象程序设计之上,是面向对象程序设计的扩展、有效的补充等。回顾了面向方面程序 设计的定义,分析了面向方面程序设计区别于其它程序设计方法的本质特征,并形式化了定义中的量化语句与方面, 给出了量化语句与方面的语义。重申了面向方面程序设计的本质特性是Quantification与()bliviousncss,模块化横切 关注点只是其带来的一个好处。同时指出了面向方面程序设计是一种新型的程序设计范式,独立于面向对象等其它 程序设计方法。并且,基于此定义,给出了面向方面程序设计语言需满足的最小条件集,并比较了主流的面向方面程 序设计语言,探讨了这些语言在面向方面程序设计理念上的差异。