李兴宇
- 作品数:6 被引量:10H指数:1
- 供职机构:南京大学更多>>
- 发文基金:国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域:自动化与计算机技术更多>>
- 一种基于可变性模型的策略驱动过程自适应机制研究
- 在开放、动态和多变的Internet计算环境下,传统的基于静态的过程模型和预定义执行路径的过程技术面临着诸多挑战。针对这一问题,本文从如何构建更为灵活的过程模型,如何表述自适应规则从而支持过程调整的自动执行,以及如何实现...
- 李兴宇
- SOBECA中间件上支持行为的服务注册和查找机制
- 针对SOA的服务注册查找过程中只关注接口和静态属性的问题,本文实现了一个支持行为的服务注册查找方案.该方案基于SOBECA中间件,在服务注册时提供服务的行为描述,进而在服务查找时可以根据该描述与使用者对所需服务的行为描述...
- 李兴宇殷琴胡昊吕建
- 关键词:SOA
- 文献传递
- 基于行为一致条件下进行服务发现和替换方法
- 本发明公开了一种在面向服务的应用中,基于行为一致条件下进行服务发现和替换的方法。首先,服务提供者将服务注册到服务注册器,并在注册时提供服务的行为描述,即该服务的合法操作序列;服务使用者在查找服务时,给出所需服务的行为,即...
- 吕建胡昊李兴宇
- 文献传递
- 基于行为一致条件下进行服务发现和替换方法
- 本发明公开了一种在面向服务的应用中,基于行为一致条件下进行服务发现和替换的方法。首先,服务提供者将服务注册到服务注册器,并在注册时提供服务的行为描述,即该服务的合法操作序列;服务使用者在查找服务时,给出所需服务的行为,即...
- 吕建胡昊李兴宇
- 文献传递
- SOBECA中间件上支持行为的服务注册和查找机制
- 2006年
- 针对SOA的服务注册查找过程中只关注接口和静态属性的问题,本文实现了一个支持行为的服务注册查找方案.该方案基于SOBECA中间件,在服务注册时提供服务的行为描述,进而在服务查找时可以根据该描述与使用者对所需服务的行为描述进行一致性检测,确保查找到的服务在接口和静态属性满足的基础上还满足行为需求.该方案可以使服务使用者获得更安全可靠的服务.
- 李兴宇殷琴胡昊吕建
- 关键词:SOA
- 构件演化中的系统行为一致性的研究被引量:10
- 2008年
- 构件技术的发展,减少了开发应用程序的时间和复杂度,同时也为软件提供了更好的动态演化能力。基于构件的软件系统是通过在构件间建立交互关系,将多个构件组织成一个统一的整体得到的。因此在构件演化时,例如对构件功能实现进行改变,可能导致系统运行偏离原来的系统行为。我们的工作就是在构件演化时对系统行为进行一致性检查,保证构件的功能实现的变化不会使系统行为偏离原来的系统。在本文中首先通过Petri-net的形式化方法,对系统实现中包括的构件的功能实现和构件间的交互进行建模,并通过以上信息推导得到系统行为。在此基础之上,根据基于行为继承理论的行为一致性规则的要求对定义的系统功能行为进行验证,以保证构件演化时系统行为的改变符合行为的一致性要求,同时又保证了构件演化的灵活性。
- 罗毅李兴宇关连伟胡昊吕建