在云计算机环境中,软件即服务(Software as a Service, SaaS)作为一种新的软件应用模式是为了满足不同用户的个性化业务需求,提供灵活、多样的定制服务。业务过程配置管理可以为多个用户根据特定的需求定制业务过程,它是实现软件即服务...
详细信息
在云计算机环境中,软件即服务(Software as a Service, SaaS)作为一种新的软件应用模式是为了满足不同用户的个性化业务需求,提供灵活、多样的定制服务。业务过程配置管理可以为多个用户根据特定的需求定制业务过程,它是实现软件即服务模式的重要技术。业务过程配置管理常常采用手工配置,很容易导致错误,而且效率极低。为保证业务过程配置的正确性和效率,自动配置管理已经成为研究重点。然而,现有的研究工作主要是通过限制或隐藏业务过程的部分活动实现自动配置,本文提出一种新的自动配置方法,该方法将可配置的业务过程自动分离成原子的子过程,再由这些原子的子过程组合成需要的业务过程。具体内容如下：(1)针对业务过程的配置采用了一个基于依赖关系的依赖结构形式化模型对业务过程进行建模,该模型有别于其他形式化模型(如Petri网、进程代数和自动机等)可以将带有数据信息的事件作为基本元素,让数据和控制彼此不分离,可以直接对业务过程之间的依赖关系进行建模,有利于计算一个业务过程的所有配置；(2)业务过程执行语言(BPEL)以流程规则的定义为中心的,对一系列单个无状态服务进行调用与编排,从而可以组合成复杂的业务过程,本文针对BPEL语言特点归纳出BPEL转换成依赖结构模型的规则,实现BPEL描述的业务过程到依赖结构模型的转换；(3)提出一种新的配置方法,该方法能够针对特定用户要求自动确定一个业务过程的变体,避免了独立处理配置活动,提高了效率,而且从理论上证明了配置方法的正确性；(4)开发出了一套原型工具不仅实现了BPEL描述的业务过程到依赖结构模型的转换,而且实现了可配置业务过程模型的分离、合并操作,并且用实例演示了我们提出的配置方法。
暂无评论