国家教育部博士点基金(20090073110026)
- 作品数:8 被引量:11H指数:2
- 相关作者:黄林鹏黄晗陈俊清舒逸徐小辉更多>>
- 相关机构:上海交通大学泉州师范学院更多>>
- 发文基金:国家教育部博士点基金国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域:自动化与计算机技术更多>>
- 普适环境中的动态更新模型被引量:1
- 2011年
- 致力于普适计算下的动态更新的研究,首先分析了普适计算下动态更新的场景,针对普适环境的动态性,我们提出了区别于传统更新方式的路径更新;通过分析集中式更新模型的局限性,提出了适合普适环境的分布式更新模型;最后使用类型与效果系统为更新模型做形式化分析.
- 周文嘉黄林鹏陈俊清
- 关键词:普适计算形式化分析
- 普适服务编排的类型和效果
- 2013年
- 提出一种扩展的lambda演算方法并给出相应类型的系统.基于扩展的lambda演算可建立服务模型,采用形式化方法,将服务内部流程抽象为函数概念,引入效果系统来记录服务的动作属性,推导服务动作操作集以验证服务编排是否满足用户所定义的规范,最后通过Coq实验来验证该方法的可行性.
- 黄晗
- 基于代理的动态软件更新方法
- 2013年
- 动态软件更新是一种新型的软件演化机制,它允许应用软件系统在运行过程中执行软件更新而不会出现停机状态。一些大型重要的应用软件系统需要提供不间断的可用性服务将受益于此机制,因此将OSGI作为软件构件的支撑平台,提出一种基于代理的OSGi构件动态更新方法。该方法继承了OSGi良好的生命周期管理和动态依赖管理特性,拓展了其动态性和互换性的特点。实验表明,该方法可以准确地进行OSGi构件的动态更新,将对智能家居环境下的系统维护及其软件演化提供一定的指导意义。
- 黄晗
- 关键词:代理OSGIBUNDLE
- 特殊教育数字化平台的设计与实现被引量:1
- 2013年
- 提出了特殊教育的体系模型,并使用开源Django进行特殊教育平台的开发,提供的松耦合结构便于系统再集成,最后通过对虚拟机实例配置与运行来验证所构建特殊教育平台在云环境下的可用性。
- 黄晗
- 关键词:特殊教育数字化云计算DJANGOEUCALYPTUS
- 基于ASM的普适环境下的服务动态组合
- 在综合研究已有的服务组合的各种方案的基础上,采用层次结构的服务组合框架,同时利用回溯树进行服务的动态组合,最后用ASM建立一个普适环境下服务动态组合的基础模型并对其进行精化,同时通过CoreASM对该模型进行模拟执行验证...
- 曾慧清黄林鹏陈俊清
- 关键词:普适计算ASM
- 文献传递
- 基于信息流控制的Web服务组合隐私保护方法被引量:3
- 2012年
- 随着Web服务技术的发展,Web服务调用和组合中隐私保护问题也备受关注。提出一个基于分布式标签模型的Web服务模型LWSM(Label Web Service Model),允许两个不可信服务间的消息传输且不造成隐私泄露。基于LWSM给出一种解决WS-BPEL信息流安全问题的静态检查方案。
- 舒逸黄林鹏
- 关键词:信息流控制隐私保护WEB服务WS-BPEL
- 基于ASM的普适环境下的服务动态组合被引量:2
- 2010年
- 在综合研究已有的服务组合的各种方案的基础上,采用层次结构的服务组合框架,同时利用回溯树进行服务的动态组合,最后用ASM建立一个普适环境下服务动态组合的基础模型并对其进行精化,同时通过CoreASM对该模型进行模拟执行验证.
- 曾慧清黄林鹏陈俊清
- 关键词:普适计算ASM
- 事务控制的面向服务系统的动态更新协调被引量:2
- 2011年
- 就面向服务的分布式系统中多服务动态更新的协调问题,提出基于事务控制的更新协调策略,包括安全更新时机的选择策略、使用2PC(two-phase-commit)协调多服务更新的控制策略.根据更新实施的各步操作时间开销,提出分别采用更新短事务控制基本更新操作(包括创建服务实例、顺序实施运行时状态转换、重定向服务请求和新服务的激活操作)和转换长事务控制多组持久数据转换操作(其中每组持久数据转换由一个相应的短事务控制)的更新实施策略,以期借助于事务的控制机制尽可能高效地保证更新前后系统运行状态的ACID特性.就事务控制策略的自动实施做了一定的研究工作,包括:根据更新描述脚本自动生成更新短事务操作序列、根据持久数据关联构件的依赖关系分析自动生成各个持久数据转换短事务序列组成的长事务以及对应用事务和各转换事务的序列化处理.最后,通过基于Apache CXF-DOSGi的原型实现对给出的控制策略进行了可行性验证.
- 王德俊黄林鹏徐小辉
- 关键词:事务分布式系统
- 基于R-OSGi的平台容错架构设计与实现被引量:2
- 2013年
- 容错是实现普适计算的可靠性和可用性的重要手段。由于OSGi标准缺乏对容错功能的支持,本文提出一种支持R-OSGi的容错架构。它不用修改原来R-OSGi的实现代码与框架,充分使用R-OSGi和OSGi框架提供的一些机制和服务来进行容错,容错后对外提供相同的服务。通过分析容错框架核心部件复制管理器的容错代理、容错步骤和状态的维护以及其它相关部件,得出该容错架构能满足需要容错的功能和服务的三要素,该架构可支持快速、高效地开发基于容错的应用系统。实验表明该方法切实可行,能满足远程通信的容错需求,有良好的实用价值。
- 黄晗
- 关键词:容错普适计算代理