公共文化服务平台

共 6 条记录，以下是 1-7

全选清除导出

排序方式：

基于ASM的普适环境下的服务动态组合: 在综合研究已有的服务组合的各种方案的基础上,采用层次结构的服务组合框架,同时利用回溯树进行服务的动态组合,最后用ASM建立一个普适环境下服务动态组合的基础模型并对其进行精化,同时通过CoreASM对该模型进行模拟执行验证...; 曾慧清黄林鹏陈俊清; 关键词：普适计算 ASM; 文献传递

事务控制的面向服务系统的动态更新协调被引量：2: 2011年; 就面向服务的分布式系统中多服务动态更新的协调问题,提出基于事务控制的更新协调策略,包括安全更新时机的选择策略、使用2PC(two-phase-commit)协调多服务更新的控制策略.根据更新实施的各步操作时间开销,提出分别采用更新短事务控制基本更新操作(包括创建服务实例、顺序实施运行时状态转换、重定向服务请求和新服务的激活操作)和转换长事务控制多组持久数据转换操作(其中每组持久数据转换由一个相应的短事务控制)的更新实施策略,以期借助于事务的控制机制尽可能高效地保证更新前后系统运行状态的ACID特性.就事务控制策略的自动实施做了一定的研究工作,包括:根据更新描述脚本自动生成更新短事务操作序列、根据持久数据关联构件的依赖关系分析自动生成各个持久数据转换短事务序列组成的长事务以及对应用事务和各转换事务的序列化处理.最后,通过基于Apache CXF-DOSGi的原型实现对给出的控制策略进行了可行性验证.; 王德俊黄林鹏徐小辉; 关键词：事务分布式系统

一种面向普适计算的动态更新模型: 2012年; 首先介绍了普适计算的特点,通过对更新对象及现有更新机制进行分析,评估了已有的动态更新方法的适用性;在此基础上,提出了一种分布式的更新模型,并使用进程代数FSP进行形式化建模,对更新机制进行刻画;最后结合FSP模型验证工具检验了模型具有无死锁隐患、客户透明性和服务器正确性等3个特性,从而保证了模型的有效性。; 杜思奇黄林鹏陈俊清陈璐希; 关键词：普适计算分布式进程代数

普适环境中的动态更新模型被引量：1: 2011年; 致力于普适计算下的动态更新的研究,首先分析了普适计算下动态更新的场景,针对普适环境的动态性,我们提出了区别于传统更新方式的路径更新;通过分析集中式更新模型的局限性,提出了适合普适环境的分布式更新模型;最后使用类型与效果系统为更新模型做形式化分析.; 周文嘉黄林鹏陈俊清; 关键词：普适计算形式化分析

基于代理的OSGi服务平台的容错扩展被引量：1: 2012年; 近年来随着软件技术的飞速发展,基于构件的软件开发已经成为软件工程领域的发展趋势,OSGi(open servicesgateway initiative)作为一种成功的构件平台模型,已经在普适计算和软件构件领域得到广泛应用。OSGi规范本身并不适合分布式环境,于是产生了以OSGi为基础,为适应分布式环境而建立的平台R-OSGi。由于分布式系统的特性,软件出错的概率要远远高于集中式系统,因此分布式系统要求有很高的容错性,但是目前OSGi平台并不能够提供一个有效的容错机制。因此文中提出了一种基于代理的OSGi服务平台的容错扩展,该扩展显著地提高了OSGi的容错能力。文中提出的容错扩展概念已经被实现,此外基于该扩展还开发了一个可容错打印服务的应用。; 顾亮亮黄林鹏; 关键词：OSGI 代理容错

基于ASM的普适环境下的服务动态组合被引量：2: 2010年; 在综合研究已有的服务组合的各种方案的基础上,采用层次结构的服务组合框架,同时利用回溯树进行服务的动态组合,最后用ASM建立一个普适环境下服务动态组合的基础模型并对其进行精化,同时通过CoreASM对该模型进行模拟执行验证.; 曾慧清黄林鹏陈俊清; 关键词：普适计算 ASM

基于抽象状态机的普适服务组合分析与验证被引量：1: 2013年; 提出了一个普适环境下服务组合的框架,使用抽象状态机对服务的行为进行不同精化层级的形式化描述,然后利用CoreASM这一模型检测工具对服务组合进行模拟执行验证,从而验证服务组合的正确性.最后给出了一个运用此方法进行服务组合验证的典型应用场景.; 易良辰黄林鹏; 关键词：抽象状态机普适计算

全选清除导出

共1页<1>

国家自然科学基金(60970010)