文静 作品数:25 被引量:56 H指数:4 供职机构: 武汉大学 更多>> 发文基金: 国家自然科学基金 国家教育部博士点基金 国家高技术研究发展计划 更多>> 相关领域: 自动化与计算机技术 医药卫生 政治法律 化学工程 更多>>
面向服务软件异常处理模型及可终止性分析 异常处理的可终止性是确保其正确性的重要基础,而现有面向服务软件中异常处理逻辑复杂度高,导致难以为其构建支持可终止性分析的模型。本文基于着色Petri网构建了面向服务软件中异常处理逻辑模型(Exception Handli... 蒋曹清 应时 文静 贾向阳 王一兵关键词:面向服务软件 异常处理 一种面向方面软件体系结构中的编织机制研究 在面向方面软件体系结构设计中,通过指定注入位置、时机及约束,将封装了横切行为和特征的方面组件与组成软件体系结构(SA)的组件、连接件编织起来,形成一个有机整体,这对SA整体行为和质量特征的理解具有十分重要的意义。本文提出... 倪友聪 应时 文静 张琳琳 赵楷关键词:软件体系结构 描述语言 一种面向方面的体系结构描述语言Epoch 体系结构描述语言为软件体系结构提供了一种规范化的描述,使得软件体系结构的自动化分析变得可能,是基于体系结构的软件开发的基础。然而,传统的ADL由于缺乏对混杂与分散在软件体系结构多个单元中的各种设计决策的描述能力,从而导致... 应时 文静 张毅 张琳琳 曲成亮关键词:体系结构描述语言 软件体系结构 一种面向方面软件体系结构中的编织机制研究 被引量:7 2010年 在面向方面软件体系结构设计中,通过指定注入位置、时机及约束,将封装了横切行为和特征的方面组件与组成软件体系结构(SA)的组件、连接件编织起来,形成一个有机整体,这对SA整体行为和质量特征的分析和验证具有十分重要的意义.提出一种SA层编织机制,它基于AC2-ADL建立的编织前SA模型,通过明确定义的编织过程和相关编织规则,将编织前独立设计的方面组件显式地织入到组件中,使得最终形成的仅含组件、连接件的编织后SA模型更加易于分析和验证.最后结合案例进一步对该编织机制作详细解释. 倪友聪 应时 张琳琳 文静 叶鹏 赵楷关键词:面向方面软件开发 面向方面软件体系结构 面向服务软件异常处理过程的可终止性验证 被引量:4 2012年 大规模面向服务软件运行环境的动态性和不确定性使其异常处理逻辑复杂度高,导致异常处理过程的可终止性验证异常困难。而异常处理过程的可终止性是确保其正确性的重要基础,如果异常处理过程不能终止将导致面向服务软件无法正常运行。目前缺乏异常处理过程的可终止性验证方法,从而无法保证异常处理达到预期的目标。基于着色Petri网(colored Petri net,CPN)提出了一种面向服务软件异常处理过程的可终止性验证方法。该方法建立了包括正常流程和异常处理逻辑的异常层次CPN模型(hierarchy CPN model for exception handling,HCPN4EH)。基于此模型验证了异常处理过程的可终止性。通过一个实例说明了该方法的可行性和有效性。得到的可终止性验证结果可为进一步分析异常处理过程的正确性提供基础。 蒋曹清 应时 文静 贾向阳 管华关键词:异常处理 面向服务软件 一种软件体系结构关注点多维分离模型 被引量:3 2009年 传统方法设计出的体系结构中始终存在着一些横切现象,使得体系结构变得复杂、难以理解、难以演化和难以重用。基于关注点分离和面向方面软件开发的相关理论,探讨了体系结构中的关注点,提出一种体系结构层关注点多维分离模型。该模型通过形象地表示关注点之间的关系,识别那些在体系结构中可能产生横切的关注点,有效解决传统软件体系结构设计中存在的关注点横切问题,为软件体系结构的演化和重用提供了重要的指导作用。 张琳琳 应时 倪友聪 文静 李宇翔 张韬关键词:软件体系结构 面向方面的体系结构描述语言AC2-ADL 被引量:4 2009年 体系结构描述语言(ADL)是基于体系结构的软件开发的基础,传统的ADL由于缺乏对混杂与分散在软件体系结构多个单元中的各种设计决策的描述能力,导致软件体系结构设计方案难以理解、难以演化和难以重用。通过设计面向方面的软件体系结构描述语言AC2-ADL,使用方面组件明确地描述系统的横切关注点;并引入方面连接件以及抽象出软件体系结构语境中的注入点,呈现结构之间复杂的交互,以解决不同关注点的分散和交织等问题,试图为设计和描述面向方面的软件系统的软件体系结构提供一种有效的解决方案。研究结合电子商务领域的网上拍卖系统,讨论了该语言的主要应用过程,具有一定的参考作用。 文静 应时 张琳琳 倪友聪关键词:软件体系结构描述语言 基于抽象解释的服务间消息的数据约减 被引量:1 2015年 面向服务软件中服务间消息的变量值可能存在无穷域的情况,从而导致模型检测时产生状态空间爆炸问题。为了使终止性验证在实践上可行,需要约减模型状态空间的大小,使得计算时间和空间需求合理。为此,基于抽象解释的区间抽象理论扩展了经典区间抽象域方法,并在统一的区间抽象域方法上借助异常控制流图对变量进行区间分析,在此基础上逆向分析得到服务间消息的变量区间集。变量区间上任意值相对于终止性验证是等价性,因此从每一个变量区间集中选取一个代表值,可组成服务间消息变量的约减值,从而为异常处理的终止性验证提供了约减的初始配置,有效避免了状态空间爆炸。 蒋曹清 肖芳雄 高荣 应时 文静基于模型检测的面向服务软件异常处理可终止性的验证方法 2015年 针对面向服务软件异常处理的可终止性难以验证问题,提出一种基于模型检测的验证方法.该方法首先基于已建立的异常处理模型和形式定义的异常处理可终止性,使用ASK-CTL(Computation Tree Logic)刻画异常处理的可终止性,然后基于本文提出的异常处理可终止性的模型检测算法,可获得异常处理可终止性验证结果.最后,结合实例从可行性和有效性角度对验证方法进行实证和评估,结果表明,本方法能有效验证异常处理的可终止性,且具有较好的性能,为进一步分析异常处理的正确性提供支持. 蒋曹清 肖芳雄 应时 文静关键词:面向服务软件 异常处理 根管内粪肠球菌感染的研究进展 文静关键词:粪肠球菌 耐药性