主动式个性化服务空间

《主动式个性化服务空间》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、内容摘要本文针对面向服务计算环境下最终用户即时按需构造应用软件时面临的一些挑战性问题，包括如何保障系统行为和业务约束的一致性、如何提供辅助编程推荐，以及如何向最终用户提供个性化的服务集合等问题，提出了支持最终用户编程的主动式个性化服务空间的概念，同时也定义和实现了相应的模型、技术和原型系统。组成主动式个性化服务空间的核心模型和技术包括：用于定义主动式服务空间的系统行为约束描述语言PROPOLS(PropertySpecificationPattemOntologyLanguageforServiceComposition)、基于主动式服务空间的

2、系统行为一致性验证技术、基于主动式服务空间的编程活动推荐技术、以及服务空间的个性化定制技术．PROPOLS语言的基础是Dwyler等人提出的规范模式系统(SpecificationPatternSystem)，该语言继承了规范模式系统直观易懂的特点，同时也具有严格的形式语义．PROPOLS语言可以被最终用户和领域专家理解并用于描述业务活动(之间)的约束和依赖关系。同时，PROPOLS语言在规范模式系统的基础上扩展了逻辑组合机制，具备更强的表达能力。另外，PROPOLS用Web本体语言OWL编码的，这使得用PROPOLS表示的约束语句可以成为形式

3、领域知识的一部分，从而更易于共享和复用。基于主动式服务空间的系统行为验证技术以PROPOLS语言的自动机语义为基础，采用模型检查技术检查并确保最终用户完成的服务组合程序和PROPOLS约束语句之间的一致性。基于主动式服务空间的服务推荐技术在上述验证技术的基础上进一步在最终用户进行服务组合编程时即时向用户推荐下一步活动(如加入新服务、删除错误服务等)，从而支持探索式编程(ExploratoryProgramming)，为最终用户的编程工作提供了方便。服务空间的个性化定制技术则利用最终用户的偏好、语境等个性化信息和个性化过滤规则把普通服务空间根据最

4、终用户的实际倩况进行裁减和过滤，可以提供给最终用户一个更易管理，更符合当前需要的个性化的服务空间。本文除了详细介绍上述技术的原理、细节和实现，也讨论了上述技术在奥运综合信息系统中的具体实例应用。关键词：服务计算，最终用户编程，主动式个性化服务空间，模型检查，编程推荐，个性化2AbstractToenableend．usersconstructservice—orientedapplicationsinaiust-in-timeandon—demandfashion,wefacethechallengeslike：Howtoensuretheco

5、nformancebetweensystembehavioranduserrequirements?Howtoprovideproactiverecommendationstotheend—userswhentheyareprogramming?Howtocustomizethecollectionofserviesusedbyend-usersduringprogrammingtimeaccordingtoaspecificend—user’spersonalisedneeds．Thisreportproposedanoveltechnolo

6、gycalledActivePersonalizedServiceSpaces(PASS)aimingatsolvingtheabove-mentionedproblems．PASSincludesthefollowingcoretechniques：PROPOLS(PropertySpecificationPatternOntologyLanguageforServiceComposition)，ahi曲-levelsystembehaviorspecificationlanguageforthedefinitionofanActiveSer

7、viceSpace；anActiveServiceSpacebasedverificationtechniquecheckingtheconfrlrmancebetweenservicecompositionschemasandPROPOLSstatements；anActiveServiceSpacebasedguidancetechniqueprovidingdesign-timerecommendationstoend-userdevelopers；andaServiceSpacepersonalisationtechniqueforcu

8、stomizingacommonservicespace．PROPOLSspecificationlanguagederivesfromSpecifi