国家教育部博士点基金(20060486045) 作品数:10 被引量:46 H指数:4 相关作者: 应时 倪友聪 张琳琳 文静 赵楷 更多>> 相关机构: 武汉大学 新疆大学 安徽建筑工业学院 更多>> 发文基金: 国家教育部博士点基金 国家自然科学基金 国家重点基础研究发展计划 更多>> 相关领域: 自动化与计算机技术 化学工程 更多>>
一种软件体系结构关注点多维分离模型 被引量:3 2009年 传统方法设计出的体系结构中始终存在着一些横切现象,使得体系结构变得复杂、难以理解、难以演化和难以重用。基于关注点分离和面向方面软件开发的相关理论,探讨了体系结构中的关注点,提出一种体系结构层关注点多维分离模型。该模型通过形象地表示关注点之间的关系,识别那些在体系结构中可能产生横切的关注点,有效解决传统软件体系结构设计中存在的关注点横切问题,为软件体系结构的演化和重用提供了重要的指导作用。 张琳琳 应时 倪友聪 文静 李宇翔 张韬关键词:软件体系结构 一种Java程序Chopping方法 被引量:2 2011年 程序Chopping对于程序理解、分析、调试、测试等具有重要的意义。已有的Chopping方法主要基于相互连接的系统依赖图(SDG),对于大程序这种SDG描述通常非常复杂,易导致程序Chopping结果不准确。针对这一问题,基于带标签的Java程序描述方法,提出一种Java程序Chopping方法。该方法利用这种描述附带的程序依赖信息,分析参数依赖关系,并在此基础上给出Chopping算法。此程序Chopping方法能把Java程序方法间的程序Chop-ping问题转换到Java程序方法内进行分析,程序依赖图具有结点少、可重用、可并发构造等优点。最后通过实例和实验给出程序Chopping方法的实施过程及有效性。 蒋曹清 应时 倪友聪 管华关键词:JAVA程序 一种面向方面软件体系结构中的编织机制研究 被引量:7 2010年 在面向方面软件体系结构设计中,通过指定注入位置、时机及约束,将封装了横切行为和特征的方面组件与组成软件体系结构(SA)的组件、连接件编织起来,形成一个有机整体,这对SA整体行为和质量特征的分析和验证具有十分重要的意义.提出一种SA层编织机制,它基于AC2-ADL建立的编织前SA模型,通过明确定义的编织过程和相关编织规则,将编织前独立设计的方面组件显式地织入到组件中,使得最终形成的仅含组件、连接件的编织后SA模型更加易于分析和验证.最后结合案例进一步对该编织机制作详细解释. 倪友聪 应时 张琳琳 文静 叶鹏 赵楷关键词:面向方面软件开发 面向方面软件体系结构 一种软件体系结构关注点分析方法 被引量:10 2009年 在体系结构的设计、演化和重用过程中涉及众多的关注点,而且它们之间存在着复杂的关系,然而目前还缺乏有效的对这些关注点及其关系进行描述和分析的方法.针对这一问题,在系统收集并显式标识各种体系结构关注点及其关系的基础上,文中提出一种软件体系结构关注点分析方法.该方法利用时段时序逻辑对关注点之间的横切关系进行形式化描述和分析,可以发现横切关注点之间的时序冲突,有助于提高面向方面软件体系结构的设计质量.最后结合案例给出了该方法的实施过程. 张琳琳 应时 倪友聪 赵楷 文静关键词:面向方面软件体系结构 Design and Implementation of DBC Based on Dynamic AOP 2008年 Traditional approach of design by contract, due to mixing the contract code with application code, is difficult for the extensibility and reusability of software system. This paper presents a framework named JADBC for design by contract based on Aspect-Oriented Programming (AOP) to resolve these problems. By providing a new modularized element, aspect, the framework successfully separates the contracts in design by contract, from functional codes. The implementation of this framework is based on dynamic AOP which can have the contract changed at rtmtime, consequently, enhancing program flexibility. JADBC framework modularizes the contracts in a clear-cut fashion that is easier to design, implement, and maintain. WEN Jing YING Shi LI Hui JIA Xiangyang关键词:ASSERTION 一种基于Spring的轻量级面向服务组件框架 被引量:1 2010年 面向服务组件将面向服务的概念引入组件模型中,支持松耦合的面向服务应用软件的开发.本文提出一种基于Spring框架的轻量级面向服务组件框架SSCF(Spring-based Service Component Framework),利用Spring的依赖注入和远程服务访问技术,简化面向服务组件的编程模型、增加编程自由度、提高组件运行效率.给出了SSCF框架中服务组件模型的逻辑结构模型、描述方法和连接通信机制以及框架实现的关键技术.该框架简化了面向服务组件的开发,与SCA(Service Component Architecture)实现框架Apache Tuscany相比,性能上具有一定的优势. 贾向阳 应时 冯晓波关键词:软件框架 组件模型 SPRING框架 基于时序逻辑的面向方面体系结构描述语言 被引量:4 2010年 运用传统体系结构描述语言描述的软件体系结构(SA)方案始终存在着一些横切行为和特征,它们混杂和散列在不同的SA设计单元中,使得SA难以理解、难以演化和难以重用。针对这一问题,基于时序逻辑语言XYZ/E,在统一的时序逻辑框架下设计出一种面向方面体系结构描述语言AC2-ADL。系统地阐述了AC2-ADL的概念框架并用XYZ/E进行语义解释,最后结合案例介绍了如何用AC2-ADL对SA进行描述。 倪友聪 应时 张琳琳 文静 叶鹏关键词:软件体系结构 时序逻辑 一种基于反射机制的OWL-S需求规约演化方法 2010年 软件系统面临用户需求、软件资源和系统上下文环境等方面变化的挑战,软件需求不可避免地要求持续的演化。反射目前被用于软件系统的运行时管理和动态演化等方面,但还没有用于软件需求规约的演化。提出了一种基于反射机制的OWL-S需求规约演化方法,通过描述支持OWL-S需求规约演化的元信息,并以合理的方式使用这些元信息,实现OWL-S需求规约的演化。利用这种方法,需求分析人员可以有效地管理需求变更,以一种可控、有序的方式完成需求规约的演化任务。 袁文杰 应时 吴可嘉 姚俊峰关键词:OWL-S 语义Web服务组合综述 被引量:22 2010年 语义Web服务的目标是,利用语义Web技术将Web服务的静态描述和动态行为与功能有机地结合起来,解决Web服务的自动发现、组合和执行等问题。语义Web服务组合是服务资源重用的一种重要方式,也是语义Web服务研究领域的一个重要内容,它以现有的语义Web服务资源为基础,通过服务组合为基于Internet的大规模复杂应用提供新的、更多的可用资源。首先对语义Web服务相关的基本概念进行归纳和总结,概述语义Web服务组合的研究内容和目标,然后根据语义Web服务组合中使用的方法学对其进行分类并分析这些方法的实现过程和特点,最后总结全文,指出下一步的研究方向。 崔华 应时 袁文杰 胡罗凯关键词:语义WEB服务 本体 语义推理 一种建模软件体系结构非功能属性的方法 被引量:1 2009年 非功能属性的处理一直是困扰着研究人员和实践者的难题。针对体系结构设计阶段早期,提出一种建模非功能属性的方法。该方法利用面向方面软件开发中的关注点多维分离原理,提出建模软件体系结构的"1+X"模型,并在此基础上进一步划分体系结构非功能属性的维度,归纳各个维度上的关注点,利用XML对维度和关注点进行规约。该模型为后续设计面向方面的软件体系结构奠定了基础,为体系结构设计人员提供了方法支持,而且该成果可以直接用于不同领域内的软件体系结构设计。 张琳琳 应时 赵楷 文静 倪友聪关键词:面向方面软件体系结构 非功能属性