主动式个性化服务空间.pdf

内容摘要 本文针对面向服务计算环境下最终用户即时按需构造应用软件时面临的一 些挑战性问题，包括如何保障系统行为和业务约束的一致性、如何提供辅助编程 推荐，以及如何向最终用户提供个性化的服务集合等问题，提出了支持最终用户 编程的主动式个性化服务空间的概念，同时也定义和实现了相应的模型、技术和 原型系统。组成主动式个性化服务空间的核心模型和技术包括：用于定义主动式 Pattem 服务空间的系统行为约束描述语言PROPOLS(PropertySpecification forService OntologyLanguage Composition)、基于主动式服务空间的系统行为一 致性验证技术、基于主动式服务空间的编程活动推荐技术、以及服务空间的个性 化定制技术． Pattern System)，该语言继承了规范模式系统直观易懂的特点，同时也具有严格 的形式语义．PROPOLS语言可以被最终用户和领域专家理解并用于描述业务活 动(之间)的约束和依赖关系。同时，PROPOLS语言在规范模式系统的基础上 扩展了逻辑组合机制，具备更强的表达能力。另外，PROPOLS用Web本体语言 OWL编码的，这使得用PROPOLS表示的约束语句可以成为形式领域知识的一 部分，从而更易于共享和复用。 基于主动式服务空间的系统行为验证技术以PROPOLS语言的自动机语义为 基础，采用模型检查技术检查并确保最终用户完成的服务组合程序和PROPOLS 约束语句之间的一致性。 基于主动式服务空间的服务推荐技术在上述验证技术的基础上进一步在最 终用户进行服务组合编程时即时向用户推荐下一步活动(如加入新服务、删除错 误服务等)，从而支持探索式编程(ExploratoryProgramming)，为最终用户的编 程工作提供了方便。 服务空间的个性化定制技术则利用最终用户的偏好、语境等个性化信息和个 性化过滤规则把普通服务空间根据最终用户的实际倩况进行裁减和过滤，可以提 供给最终用户一个更易管理，更符合当前需要的个性化的服务空间。 本文除了详细介绍上述技术的原理、细节和实现，也讨论了上述技术在奥运 综合信息系统中的具体实例应用。 关键词：服务计算，最终用户编程，主动式个性化服务空间，模型检查，编程推 荐，个性化 2 Abstract To end．usersconstructservice—oriented ina enable applications iust-in-timeandon—demand facethe like：Howto fashion,wechallenges ensuretheconformancebetweenbehavioranduser system requirements? Howto recommendationstotheend—userswhen provideproactive they to thecollectionofserviesused are customize by programming?How end-users time toa end—user’s according duringprogramming specific needs． personalised This anovel calledActivePe