本文针对面向服务计算环境下最终用户即时按需构造应用软件时面临的一些挑战性问题，包括如何保障系统行为和业务约束的一致性、如何提供辅助编程推荐、以及如何向最终用户提供个性化的服务集合等问题，提出了支持最终用户编程的主动式个性化服务空间的概念，同时也定义和实现了相应的模型、技术和原型系统。组成主动式个性化服务空间的核心模型和技术包括：用于定义主动式服务空间的系统行为约束描述语言PROPOLS(Property Specification Pattem Ontology Language for Service Composition)、基于主动式服务空间的系统行为一致性验证技术、基于主动式服务空间的编程活动推荐技术、以及服务空间的个性化定制技术。 　　PROPOLS语言的基础是Dwyler等人提出的规范模式系统(Specification Pattem System)，该语言继承了规范模式系统直观易懂的特点，同时也具有严格的形式语义。PROPOLS语言可以被最终用户和领域专家理解并用于描述业务活动(之间)的约束和依赖关系。同时，PROPOLS语言在规范模式系统的基础上扩展了逻辑组合机制，具备更强的表达能力。另外，PROPOLS用Web本体语言OWL编码的，这使得用PROPOLS表示的约束语句可以成为形式领域知识的一部分，从而更易于共享和复用。 　　基于主动式服务空间的系统行为验证技术以PROPOLS语言的自动机语义为基础，采用模型检查技术检查并确保最终用户完成的服务组合程序和PROPOLS约束语句之间的一致性。 　　基于主动式服务空间的服务推荐技术在上述验证技术的基础上进一步在最终用户进行服务组合编程时即时向用户推荐下一步活动(如加入新服务、删除错误服务等)，从而支持探索式编程(Exploratory Programming)，为最终用户的编程工作提供了方便。 　　服务空间的个性化定制技术则利用最终用户的偏好、语境等个性化信息和个性化过滤规则把普通服务空间根据最终用户的实际情况进行裁减和过滤，可以提供给最终用户一个更易管理，更符合当前需要的个性化的服务空间。