您的位置： 专家智库 > >

文静

作品数：25 被引量：56H指数：4
供职机构：武汉大学更多>>
发文基金：国家自然科学基金国家教育部博士点基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术医药卫生政治法律化学工程更多>>

合作作者

文献类型

  • 14篇期刊文章
  • 7篇学位论文
  • 4篇会议论文

领域

  • 18篇自动化与计算...
  • 3篇医药卫生
  • 2篇政治法律
  • 1篇化学工程
  • 1篇文化科学
  • 1篇艺术

主题

  • 9篇软件体系结构
  • 9篇体系结构
  • 7篇描述语言
  • 6篇异常处理
  • 4篇面向方面软件
  • 4篇面向方面软件...
  • 4篇面向服务软件
  • 3篇体系结构描述...
  • 3篇终止性
  • 3篇结构描述语言
  • 3篇ADL
  • 2篇可终止性
  • 2篇策略描述语言
  • 1篇大学生
  • 1篇大学生心理
  • 1篇大学生心理健...
  • 1篇大学生心理健...
  • 1篇蛋白
  • 1篇蒂姆
  • 1篇电影

机构

  • 25篇武汉大学
  • 5篇广西财经学院
  • 5篇安徽建筑工业...
  • 5篇新疆大学
  • 2篇武汉科技学院
  • 2篇中国人民解放...
  • 2篇中国地质大学
  • 1篇国防科学技术...
  • 1篇中国移动通信...

作者

  • 25篇文静
  • 17篇应时
  • 9篇张琳琳
  • 9篇倪友聪
  • 5篇蒋曹清
  • 3篇赵楷
  • 2篇叶鹏
  • 2篇吕国斌
  • 2篇肖芳雄
  • 2篇王权于
  • 2篇贾向阳
  • 1篇梁凡
  • 1篇张毅
  • 1篇王一兵
  • 1篇王涛
  • 1篇吴庚香
  • 1篇管华
  • 1篇张韬
  • 1篇曲成亮
  • 1篇王怀民

传媒

  • 7篇计算机科学
  • 2篇计算机学报
  • 2篇2008全国...
  • 1篇计算机研究与...
  • 1篇数理医药学杂...
  • 1篇西安交通大学...
  • 1篇小型微型计算...
  • 1篇计算机科学与...
  • 1篇2007全国...
  • 1篇2012年第...

年份

  • 1篇2020
  • 2篇2015
  • 1篇2014
  • 1篇2013
  • 3篇2012
  • 2篇2011
  • 3篇2010
  • 5篇2009
  • 2篇2008
  • 2篇2007
  • 3篇2006
共 25 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
面向服务软件异常处理模型及可终止性分析
异常处理的可终止性是确保其正确性的重要基础,而现有面向服务软件中异常处理逻辑复杂度高,导致难以为其构建支持可终止性分析的模型。本文基于着色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)刻画异常处理的可终止性,然后基于本文提出的异常处理可终止性的模型检测算法,可获得异常处理可终止性验证结果.最后,结合实例从可行性和有效性角度对验证方法进行实证和评估,结果表明,本方法能有效验证异常处理的可终止性,且具有较好的性能,为进一步分析异常处理的正确性提供支持.
蒋曹清肖芳雄应时文静
关键词：面向服务软件异常处理
根管内粪肠球菌感染的研究进展
文静
关键词：粪肠球菌耐药性
全选 清除 导出
共3页<123>
聚类工具0