国家教育部博士点基金(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协议与其他协议相比,错过率和重启动率低,提交率和吞吐量高。 雷向东 赵跃龙 陈松乔 袁晓莉基于XML的构件组装平台的设计与实现 被引量:8 2007年 构件组装技术是支持软件复用的核心技术,构件组装平台的使用将系统开发的重点从程序设计转移到已有构件的选取、组装和部署;在构件模型的支持下,通过复用已有的构件,软件开发者可以"即插即用"地快速构造应用系统;在此,给出了一个基于XML的构件组装平台的设计与描述,并且根据构件自身特点和构件组装的需要自定义了基于XML的软件结构描述(SAD),其中包括基于XML的构件描述、连接子描述和组装结构描述,这些描述对连接子生成与构件组装提供了基本的信息支持。 何毅俊 徐楠 陈松乔关键词:连接子 移动分布式数据库中的实时事务处理 被引量:3 2007年 提出了移动事务实时提交协议(MTRTC)和多版本乐观并发控制协议(MVOCC)处理移动分布式实时事务。MVOCC有效性检查分为局部有效性检查和全局有效性检查,采用动态调整串行次序,避免了不必要的事务重启动,改善了只读事务的响应时间。MTRTC是一个实时提交协议,减少了通信信息。实验结果表明结合MVOCC和MTRTC事务处理协议优于其它事务处理协议。 雷向东 赵跃龙 陈松乔 袁晓莉关键词:移动数据库系统 基于非统一信息分发的网格资源发现的研究 2005年 网格的有效利用需要包含广泛分布的资源的最新信息。这样,一个具有挑战性的问题就呈现出来了,那就是网格的规模和不断变化的资源状态。论文提议使用非统一信息分发协议来有效地把信息分发给已分配好的仓库,不需要通过突发或者集中手段。观测资料表明:网格资源具有对邻近用户来说更为重要的特点,利用这个特点,使用一个频率和解决方案,按距离资源的远近成比例地把资源信息反方向地分发出来。结果表明,与统一分发相比,这样做在费用方面有一个重大的缩减。 王一夫 陈松乔 范国闯关键词:资源发现 网格 信息分发 基于知识资源管理的电子商务集成系统模型 2007年 构建一种新型的基于知识资源管理的电子商务集成系统模型。这套系统模型从客户关系、企业内部和供应链三方面去重建企业信息流、工作流、物流和资金流,包含知识管理、客户关系管理、企业内部生产制造、企业与外部合作伙伴协作四大模块。在该系统模型下,企业内部流程与外部交易完全一体化,真正体现网络经济“以客户为中心”的思想和电子商务“端到端”的实质。 陈可关键词:知识资源 电子商务 系统集成 一种基于XML的构件组装编译技术研究 被引量:2 2006年 基于构件的开发方法的目标是将分布在Internet上的构件,自动或半自动组装成为一个新的粒度更大的构件或者一个新的软件,加快系统的开发周期,降低开发成本,提高系统的灵活性、可靠性、可扩展性和易维护性。在对构件组装编译的研究过程中,提出一种新的基于XML的构件组装编译解决方案。利用XML(Schema)对构件组装规约进行形式化描述,采用数据绑定技术,对用构件组装规约描述的XML文档进行组装编译的解析,最后利用标准代码编译器进行编译。实例证明了该技术的可行性。 田宇 陈松乔关键词:XML 数据绑定 基于逻辑的软件演化操作语言及结构化操作语义 被引量:4 2007年 由于使用环境和新技术的不断变化,软件演化的控制变得日趋复杂.为了提高软件演化活动的可视化和形式化支持程度,结合谓词逻辑和软件演化,提出了一种软件演化操作语言SEOL(Software Evolution Operational Language)描述软件演化,给出了SEOL的语法和结构化操作语义描述,并指出了软件演化操作语义等价分析方法.结合软件代码演化和软件模型演化实例,说明了SEOL的应用.与已有的软件演化操作描述相比,SEOL在易用性、可重用性和形式化分析方面有明显的改善,为软件演化的管理、分析和实施奠定了基础. 任胜兵 喻寿益 陈松乔 余莹关键词:结构化操作语义 语义等价