国家自然科学基金(60773006)
- 作品数：24 被引量：77H指数：4
- 相关作者：应时倪友聪文静张琳琳赵楷更多>>
- 相关机构：武汉大学新疆大学安徽建筑工业学院更多>>
- 发文基金：国家自然科学基金国家教育部博士点基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术化学工程交通运输工程电子电信更多>>
- 支持运行监控的可信软件体系结构设计方法被引量：14
- 2010年
- 近年来,软件的可信性成为软件质量的焦点,对软件可信性的分析、度量和应用支撑成为热点问题.对软件实施有效的监控是提升软件可信性的一种重要途径.然而目前的研究工作主要集中在软件编码以及相关技术的实现层,缺乏一套系统的软件体系结构设计方法以指导、支持运行监控的可信软件的分析和设计.通过引入面向侧面的软件体系结构设计方法及其相关概念,文中提出一种支持运行监控的可信软件体系结构设计方法.在支持运行监控的可信软件构造模型TSCM的基础上,利用一种面向侧面的体系结构描述语言AC2-ADL描述具有监控能力的软件体系结构,试图为分析和设计具有监控能力的系统的软件体系结构提供一种有效的解决方案.通过结合网上拍卖系统的案例展示该方法的主要步骤和结果,讨论了研究中存在的问题和进一步的工作.
- 文静王怀民应时倪友聪王涛
- 关键词：软件工程
- 面向服务体系结构的图形化建模研究被引量：1
- 2008年
- 面向服务体系结构是一种面向互联网的分布式体系结构,对其建模和分析对于面向服务应用的构建是一个重要的研究课题。利用UML2.0的扩展机制提出了一种SOA的图形化建模方法。分别就SOA的结构和行为定义了若干建模元素,并为其定义了相应的图形建模方式。同时,通过案例研究说明了文中方法的应用。
- 沈美娥王铁峰刘京志张韬应时
- 关键词：面向服务体系结构图形化建模UML2.0
- 一种基于SOADL的Web服务合成方法被引量：2
- 2008年
- 服务合成是面向服务的软件开发中的一个重要开发活动。探讨了体系结构设计和服务合成之间的关系,提出了一种基于体系结构的Web服务合成方法。通过自动发现服务以及自动生成过程代码和部署代码,可以将SOADL的体系结构模型转化为一个可执行的BPEL组合系统,来实现Web服务的合成。与其它服务合成方法相比,合成方法可以更好地实现从设计到实现的平滑过渡,提高合成的效率和保障合成后系统与体系结构模型之间的可跟踪性。
- 沈美娥王铁峰刘京志贾向阳应时
- 关键词：SOAADL
- 一种基于反射机制的OWL-S需求规约演化方法
- 2010年
- 软件系统面临用户需求、软件资源和系统上下文环境等方面变化的挑战,软件需求不可避免地要求持续的演化。反射目前被用于软件系统的运行时管理和动态演化等方面,但还没有用于软件需求规约的演化。提出了一种基于反射机制的OWL-S需求规约演化方法,通过描述支持OWL-S需求规约演化的元信息,并以合理的方式使用这些元信息,实现OWL-S需求规约的演化。利用这种方法,需求分析人员可以有效地管理需求变更,以一种可控、有序的方式完成需求规约的演化任务。
- 袁文杰应时吴可嘉姚俊峰
- 关键词：OWL-S
- 一种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模型更加易于分析和验证.最后结合案例进一步对该编织机制作详细解释.
- 倪友聪应时张琳琳文静叶鹏赵楷
- 关键词：面向方面软件开发面向方面软件体系结构
- 一种软件体系结构关注点多维分离模型被引量：3
- 2009年
- 传统方法设计出的体系结构中始终存在着一些横切现象,使得体系结构变得复杂、难以理解、难以演化和难以重用。基于关注点分离和面向方面软件开发的相关理论,探讨了体系结构中的关注点,提出一种体系结构层关注点多维分离模型。该模型通过形象地表示关注点之间的关系,识别那些在体系结构中可能产生横切的关注点,有效解决传统软件体系结构设计中存在的关注点横切问题,为软件体系结构的演化和重用提供了重要的指导作用。
- 张琳琳应时倪友聪文静李宇翔张韬
- 关键词：软件体系结构
- 面向方面的体系结构描述语言AC2-ADL被引量：4
- 2009年
- 体系结构描述语言(ADL)是基于体系结构的软件开发的基础,传统的ADL由于缺乏对混杂与分散在软件体系结构多个单元中的各种设计决策的描述能力,导致软件体系结构设计方案难以理解、难以演化和难以重用。通过设计面向方面的软件体系结构描述语言AC2-ADL,使用方面组件明确地描述系统的横切关注点;并引入方面连接件以及抽象出软件体系结构语境中的注入点,呈现结构之间复杂的交互,以解决不同关注点的分散和交织等问题,试图为设计和描述面向方面的软件系统的软件体系结构提供一种有效的解决方案。研究结合电子商务领域的网上拍卖系统,讨论了该语言的主要应用过程,具有一定的参考作用。
- 文静应时张琳琳倪友聪
- 关键词：软件体系结构描述语言
- 基于RDF4S语义服务描述模型的服务资源搜索框架被引量：1
- 2008年
- 语义服务资源搜索是一个满足服务请求者快速、便捷地定位可用语义服务资源的过程。一个高效、精确的基于语义的语义服务资源搜索框架和经过精心设计并实现的搜索工具是语义服务框架中的一个必要组件。提出一种基于RDF4S语义服务描述模型的服务资源搜索框架,详细说明了该搜索框架的结构。搜索框架根据RDF4S语义服务描述模型的QoS、执行、功能和接口四种语义标注元素类型,分别采用不同的搜索匹配策略,可以很大程度上提高搜索的效率和精度。
- 曾志浩应时曹虹华
- 关键词：语义服务
- 一种基于异常分类的面向服务异常处理方法被引量：1
- 2012年
- 异常处理本就是一件复杂耗时且容易出错的任务,尤其在面向服务体系结构中,异常抛出的行为变得更加复杂,因此对面向服务的异常捕获和异常处理提出了更高的要求。文中首先对面向服务的异常产生的源头进行了分析,提出了面向服务的异常分类方法,将面向服务的异常分为服务层异常和流程层异常。在此基础上,服务层异常和流程层异常再各自细分为系统异常、资源异常和应用异常。最后针对每类异常,提出了对应的异常处理方法,能够分别在服务层和流程层上为面向服务的系统提供更好的健壮性。
- 丁月华应时贾向阳王一兵
- 关键词：异常处理服务层
