多视图关联关系.doc

2010年中国计算机学会服务计算学术会议(CCF CSC 2010)论文集 2010年中国计算机学会服务计算学术会议(CCF CSC 2010)论文集 2010年中国计算机学会服务计算学术会议(CCF CSC 2010)论文集 一种用户为中心的基于多视图关联的服务组合方法基金资助：国家自然科学基金基金资助：国家自然科学基金；北京市教育委员会共建项目专项；北京市自然科学基金项目 王 菁1, 丁维龙1,2, 赵栓1,2 1(中国科学院计算技术研究所 软件集成与服务计算分中心, 北京市 100190) 2(中国科学院研究生院, 北京市 100190) Email: {wangjing,dingweilong,zhaoshuan}@ 摘 要: 以用户为中心按需构造应用的新兴开发模式，能够直接地反映业务需求，提高建模的准确性，降低应用构建成本。然而，为了支持最终用户自主构造应用，需要有一种适于最终用户理解和使用的编程模型，一方面可为用户屏蔽底层流程逻辑的细节、提供用户关心的编程抽象；另一方面还具有良好的组织，易于用户把握全局。本文提出一种基于多视图关联的服务组合模型和方法，为用户提供不同视角的编程抽象，用户可通过对视图的操作，描述对服务组合的行为约束，构建个性化应用。案例分析和相关工作对比表明，本方法可有效降低最终用户构造服务组合的复杂性，提高建模效率与质量。 关键词: 用户为中心;多视图关联;服务组合;编程方法 引言 纵观Internet的发展过程、计算模式的转变和软件技术的发展，始终有一条清晰的脉络贯穿其中，那就是计算的本质是为了更好地满足人们的需要。随着计算技术的不断发展，计算本身越来越贴近最终用户。计算设备、网络、模式和软件，正逐渐由“以计算机为中心”向“以人为中心”转变，传统以技术为中心由专业人员事先构造应用的模式也逐渐向以最终用户为中心按需动态构造应用的模式转变。 在传统模式下，应用系统的构建和运维要依赖IT专业人员进行搭建、配置和更新，应用系统一旦部署就很难修改，业务人员参与度及应对新需求的能力都很有限。然而在科研协作、远程医疗、城市应急、网络化制造等应用领域问题求解的过程中，由于需求和环境的不确定性，应用系统往往需要即时构造或调整，如果依赖IT专业人员重新构建再执行，将导致重复劳动和重复投资，降低生产效率。如果最终用户也能成为应用的开发者，能根据自己的需要自行即时编制、执行应用，那么在用户满意度以及软件开发的成本和效率上都会优于传统以专业软件开发人员为主导的开发模式。 当前，随着服务这种面向领域、标准、开放的“通用互联网组件”的成熟普及，以及用户端设备能力的日益提升，最终用户服务组合技术得到了不断发展[1,2]。这种由最终用户直接参与应用配置的新兴应用开发模式能够直接地反映业务需求，提高建模的准确性，降低应用构建成本。最终用户不再只是被动的接收系统反馈，而是可以主动的参与应用的构建运行等交互活动，即所谓的“人在环中(Human-in-the-loop)”。然而，为了支持用户为中心的服务组合，还存在不少难点问题，例如：如何向最终用户提供其可理解和配置、操作的大粒度业务级服务？如何让最终用户方便地组织服务形成自己的个性化应用？ 本文重点针对第二个问题。目前服务组合建模方法主要包括命令式(imperative)和声明式(declarative)两大类。传统的基于流程的命令式编程范型从描述“how”的角度出发，虽然可以精确描述组合逻辑，但是需要用户严格定义服务组合中的活动、活动间的控制关联和数据关联，要求用户始终关注编程细节，对于最终用户来说，编程复杂性较高。当前已有研究工作提出声明式编程范型构造服务组合[3,4]。声明式编程从描述“what”的角度出发，对任务之间的依赖关系进行约束，而不需要精确描述系统内部逻辑，具有更接近人类思维抽象、灵活性更高的优点。如DECLARE[3]采用基于约束的声明式建模方法，通过基于线性时态逻辑(LTL)的声明式语言描述业务约束，从而隐式的表达不违反这些约束的流程逻辑。本团队在前期工作中提出了系统行为约束描述语言PROPOLS语言[4]，业务用户可使用此语言描述一组时态业务规则，系统将业务规则转化为有限状态自动机并合成产生服务组合流程。然而，当前的声明式建模方法尚不适合处理规模较大或高度结构化的流程[3]，在约束集规模较大时，用户很难理解和把握整体模型，对约束集的操作很可能会影响已经存在的其它约束，往往容易导致错误。 分析问题根源在于，虽然声明约束这种建模方式与精确描述流程逻辑的建模方式相比，更适于最终用户使用，但如果约束之间彼此孤立、缺少关联和合理组织，当约束集超出用户可理解的规模时，反而会增大编程的复杂性。为了解决此问题，需