国家教育部博士点基金(20030533011) 作品数:33 被引量:97 H指数:5 相关作者: 陈松乔 雷向东 赵跃龙 任胜兵 袁晓莉 更多>> 相关机构: 中南大学 中国科学院软件研究所 湖南师范大学 更多>> 发文基金: 国家教育部博士点基金 国家自然科学基金 国家高技术研究发展计划 更多>> 相关领域: 自动化与计算机技术 文化科学 更多>>
基于构件组合运算的SA可演化性度量 被引量:3 2007年 在满足当前需求的众多软件体系结构(SA)中,选择适应未来发展变化的(SA),需要度量软件体系结构可演化性SAE。本文提出了基于构件组合运算的SA;从构件组合运算和SA两个层次分析了构件操作的波及效应,提出了一种新的SAE度量方法,设计了度量算法;在给出的实例中,度量了同一系统的不同SA的可演化性。最后,根据领域软件工程的特点,利用特征迹,对SAE的度量方法进行了改进。该度量方法克服了传统方法需要大量数据、过度依赖人工参与和个人经验、只适合小规模系统等不足。 黄万艮 陈松乔关键词:软件体系结构 移动分布式实时数据库中并发控制框架 2007年 在移动分布式数据库系统中采用三层结构,提出了DMVOCC-DA-2PLV(Distributed Multiversion Opti mis-tic Concurrency Control-Dynamic Adjust ment of Serialization Order-Two-Phase Local Validation)协议处理移动分布式实时事务。移动实时事务处理分两阶段进行。第一阶段在移动主机(MHs)上处理,并进行局部部分有效性检查性确认,使用向后有效性确认机制,与在服务器提交事务进行有效性确认。及早地检测数据冲突,节省了处理和通信资源。第二阶段在服务器处理,通过局部部分有效性确认的事务,提交到服务器进行局部最终有效性确认。协议消除了移动只读事务和移动更新事务的冲突,使用多版本动态调整串行次序技术,避免了不必要的事务重启动。如果移动只读事务所有读数据项通过局部部分向后有效性确认,则可提交,大大降低了移动只读事务的响应时间。在全局有效性确认中对分布更新事务进行检查,以保证分布串行性。通过模拟仿真,对DMVOCC-DA-2PV协议进行了性能测试,并与DTO-2PC和DHP-2PL进行了比较。实验结果表明DMVOCC-DA-2PV并发控制协议要优于其它协议。 雷向东 赵跃龙 陈松乔 袁晓莉软件功能需求驱动的商业构件评估 被引量:4 2005年 提出了一种由软件功能需求驱动的评估和选择商业构件(COTS)的新方法。该方法首先基于FCD方法将系统的功能需求分解到各个功能模块。对每个功能模块,识别出一组候选构件,用户根据给定的模板评价候选构件对功能需求的满足度和构件功能的有用性。最优构件组合在给定成本约束下,具有最大的全局需求满足度。选择最优组合的过程是求解一系列优化问题的过程。最后用一个例子进一步说明和验证了该方法。 盛津芳 陈松乔 王斌移动分布式实时数据库系统的事务处理 被引量:4 2007年 提出DMVOCC-MDA协议处理移动分布式实时事务。协议采用多版本乐观方法,使用多版本动态调整串行次序技术。移动分布式事务局部有效性确认分为2个阶段:第1阶段在移动主机上进行,使用向后有效性确认机制,对服务器上个广播周期提交事务进行有效性确认;第2阶段在服务器上进行,通过局部有效性确认的移动事务,提交到服务器进行局部最终有效性确认。在全局有效性确认中对分布更新事务进行检查,以保证分布串行性。移动只读事务能无阻塞提交,降低移动只读事务的响应时间,消除移动只读事务和移动更新事务的冲突,避免不必要的移动事务重启动。在移动主机上及早地检测数据冲突,节省处理和通信资源。实验结果表明,DMVOCC-MDA协议与其他协议相比,错过率和重启动率低,提交率和吞吐量高。 雷向东 赵跃龙 陈松乔 袁晓莉基于EJB的构件组装编译技术研究与实现 被引量:3 2006年 在对构件组装编译的研究过程中,提出一种基于EJB的构件组装编译技术解决方案。利用WEBLOGIC平台部署EJB构件,采用XML技术对构件组装规约进行形式化描述,对XML描述文档进行组装编译的解析,利用程序模板自动生成程序代码,最后采用标准代码编译器进行编译,完成EJB构件组装。实例证明了该技术的可行性。 田宇 陈松乔关键词:EJB XML 基于Web的图书馆管理系统访问控制策略 被引量:4 2006年 针对基于Web的图书馆管理系统资源访问控制的动态性问题,提出了一种基于角色的访问控制策略描述方案.通过对基于Web的图书馆管理系统访问控制管理影响因素和访问控制需求的分析,结合NIST基于角色的访问控制统一模型标准,构造了一种基于角色的访问控制元模型.并在这一元模型的基础上,提出了一种紧凑的基于角色的访问控制XML策略描述语言框架.结果表明该访问控制策略描述语言框架适合表述动态环境下对图书馆资源的访问策略,提高了基于Web的图书馆管理系统资源访问的安全性. Mohamed M.Jalloh 任胜兵基于重用的用例层次模型与应用 被引量:3 2005年 扩展了Regnell关于用例层次模型的研究,提出了一种基于重用的用例层次模型。该层次模型将用例的描述分为3个不同的抽象层次:服务层、结构层和事件层。按照UML规范,定义了各层有关元素间的关系,给出了由扩展巴科斯范式定义的用例描述规范及相应的图形表示。该模型解决了Regnell采用纯图形方式描述用例时不能处理用例间的包含、扩展和泛化关系的描述问题,易于实现不同系统间、不同用例间和用例内部对用例描述的重用。同时,采用该模型还可以避免纯图形方式下难以采用自动工具支持用例描述的修改和验证等问题。在Drawlet框架下,设计了该模型的用例建模和重构原型工具。 任胜兵 陈松乔 喻寿益基于XML的构件组装平台的设计与实现 被引量:8 2007年 构件组装技术是支持软件复用的核心技术,构件组装平台的使用将系统开发的重点从程序设计转移到已有构件的选取、组装和部署;在构件模型的支持下,通过复用已有的构件,软件开发者可以"即插即用"地快速构造应用系统;在此,给出了一个基于XML的构件组装平台的设计与描述,并且根据构件自身特点和构件组装的需要自定义了基于XML的软件结构描述(SAD),其中包括基于XML的构件描述、连接子描述和组装结构描述,这些描述对连接子生成与构件组装提供了基本的信息支持。 何毅俊 徐楠 陈松乔关键词:连接子 移动分布式数据库中的实时事务处理 被引量:3 2007年 提出了移动事务实时提交协议(MTRTC)和多版本乐观并发控制协议(MVOCC)处理移动分布式实时事务。MVOCC有效性检查分为局部有效性检查和全局有效性检查,采用动态调整串行次序,避免了不必要的事务重启动,改善了只读事务的响应时间。MTRTC是一个实时提交协议,减少了通信信息。实验结果表明结合MVOCC和MTRTC事务处理协议优于其它事务处理协议。 雷向东 赵跃龙 陈松乔 袁晓莉关键词:移动数据库系统 基于非统一信息分发的网格资源发现的研究 2005年 网格的有效利用需要包含广泛分布的资源的最新信息。这样,一个具有挑战性的问题就呈现出来了,那就是网格的规模和不断变化的资源状态。论文提议使用非统一信息分发协议来有效地把信息分发给已分配好的仓库,不需要通过突发或者集中手段。观测资料表明:网格资源具有对邻近用户来说更为重要的特点,利用这个特点,使用一个频率和解决方案,按距离资源的远近成比例地把资源信息反方向地分发出来。结果表明,与统一分发相比,这样做在费用方面有一个重大的缩减。 王一夫 陈松乔 范国闯关键词:资源发现 网格 信息分发