马骞
- 作品数：6 被引量：29H指数：2
- 供职机构：南京大学计算机科学与技术系计算机软件新技术国家重点实验室更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种面向体系结构的软件系统自适应机制被引量：22
- 2006年
- 在动态变化的分布式环境中,为了保证系统的正常运行,软件系统应能够根据环境的变化、系统运行错误及需求的变更调整自身的行为,即具有一定的自适应能力.提出一种面向体系结构的自适应机制,该机制采用了内置运行时体系结构作为驱动自适应的因素、选择自适应动作的依据以及实施自适应的载体;设计了适合分布式环境特点的三层结构的监控设施,提高了监控的效率和有效性;同时配备了满足不同用户需求的两种触发设施.该自适应机制不隶属于某个或某种运行系统,可为各种应用的运行系统添加自适应能力提供一个比较一般的、可重用的自适应框架.
- 俞春马骞马晓星吕建
- 关键词：自适应软件体系结构触发
- 一种改进的安全环境演算及其行为等价关系研究
- 2005年
- 移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型.移动环境演算是一种广为使用的描述移动计算的形式化模型.安全环境演算为每个动作原语增加了一个相应的协动作原语,从而解决了强干扰问题.然而,SA的语法定义在直觉上并不能很好地描述out原语的协动作,同时其代数性质也存在一些缺陷.针对这些问题,一方面调整了SA的归约关系,将出入动作的语义统一在“进入时检查”这一约定之下,使其更符合直觉含义.在此基础上,通过采用Honda-Yoshida的技术,定义开接口互模拟等价关系,修正了SA代数性质上的缺陷,并通过一个防火墙的例子说明了改进的安全环境演算及其行为等价关系的合理性.
- 韩婷婷陈韬略吕建马骞
- 关键词：移动计算进程代数
- ARTEMIS-ARC系统协同模型的自省式实现技术研究被引量：1
- 2006年
- 基于运行时体系结构的协同模型能够为面向服务的协同应用系统的动态演化提供有效的支持。但是在实现层面上,如何使软件体系结构从抽象的规约转化为运行时实际的对象实体,并成为系统演化行为的直接载体,是一个较为困难的技术挑战。针对这个问题,本文提出一种基于计算自省的实现途径,主要包括基于面向对象程序设计语言构造的体系结构层面的元表示和元协议、基于体系结构上下文中对象引用重解释构建的因果互连机制,以及基于该因果互连机制的应用系统的动态重配置。以上实现方式在自行开发的服务协同系统ARTEMIS-ARC时得以实施。
- 马骞俞春马晓星吕建
- 关键词：软件体系结构自省
- 一种基于运行时体系结构的BPEL支撑环境被引量：6
- 2006年
- 为了使BPEL描述的组合服务能够根据动态的网络环境和多变的用户需求而动态演化,在我们已有工作的基础上,提出一种基于运行时体系结构的BPEL支撑环境.其核心在于引入一个运行时体系结构对象来刻画组合服务的体系结构,并用其解耦组合服务与其成员之间的引用关系,从而通过对该对象的修改引起组合服务与其成员之间交互行为的重解释,实现组合服务的动态演化.在此支撑环境上开发了一个简单的应用实例以展示动态调整的效果.
- 马骞虞建杰马晓星吕建
- 关键词：BPEL软件体系结构
- ARTEMIS-ARC系统中若干关键技术研究
- 随着Internet技术的发展，面向服务的计算逐渐成为软件产业界和学术界关注的一个热点话题，它以“软件作为服务”的理念为基本前提，期望以软件服务为基本元素构建Internet开放环境下分布式应用系统．这种构建过程本质上是...
- 马骞
- 关键词：计算机网络分布式系统
- 面向体系结构的软件服务平台ARTEMIS-ARC
- 吕建马晓星陶先平徐峰胡昊张建莹费翔林余萍曹春周宇马骞胡海洋陈韬略许婷俞春
- Internet平台上的应用系统的网络化和软件作为服务的发展趋势导致了 Internet网络环境下软件系统的生存形态、组建方式和使用方式发生了根本的变化。基于 Internet的面向服务的协同应用系统在对开放动态的网络计...
- 关键词：
- 关键词：体系结构
