今天,企业、政府等众多机构不仅要面对快速多变的业务需求,还越来越多地倚重跨组织协作。一些应用领域(如企业动态供应链、城市应急指挥等)的跨组织协作具有很强的动态性,提出了对动态应用集成的要求。为了满足这种要求,随着技术的发展和思维的变革,人们开始关注其计算机应用系统的按需、即时构造的能力。作为一种新兴的、面向Internet的分布式计算模式,近年流行的面向服务架构也为松耦合的跨组织应用集成提供了更好的使能技术。本文从支持业务用户自行构造面向服务的应用的角度出发,依托面向服务架构,提出一种面向服务的应用的即时构造方法以提高集成化计算机应用系统的按需、即时的构造能力,并围绕其中的核心内容从模型、语言、支撑机制、及系统等方面进行了研究,其主要工作和贡献如下:对面向服务的应用进行了分析与总结。在此基础上,按照对物理服务资源进行业务抽象并基于此提供业务级服务组合手段以及进而实现业务级服务组合到软件级服务组合的转换的基本思路,从支持业务用户“编程”的角度提出了面向服务的应用的即时构造方法——CAFISE。通过实例验证以及与相关工作的比较可表明:CAFISE方法在提高集成化应用的构造效率以及快速响应多变的跨组织协作需求方面具有更好的效果。在上述CAFISE方法基本思路的指导下,针对其中支持业务端编程的服务资源虚拟化和业务级服务组合两个与业务用户直接相关的核心内容,提出了CAFISE模型,并设计了相应的建模语言——VINCA。其中,CAFISE模型包含聚合服务和业务级服务组合模型两部分内容:聚合服务提供了一种业务驱动及“两头定义、中间相遇”的服务虚拟化机制,使得业务用户透明使用IT领域的物理服务资源成为可能。相对于一般单纯从软件角度考虑的、自底向上的服务虚拟化机制,聚合服务具有两点好处:一是在业务抽象层面为业务用户提供了可以反映业务需求的业务服务;二是同时在IT实施层面提供了对业务服务到动态多变的物理服务资源的自动落实的支持。业务级服务组合模型通过将(聚合服务中的)业务服务看作是表示用户需求的业务过程中业务活动的执行者,提供了一种基于业务服务的业务过程描述方式,使得业务用户可以在以此方式进行“编程”时专注于对其需求的直接表示,而不必考虑物理服务资源的使用细节以及服务组合的IT实现。在CAFISE模型基础上,进一步从实现角度讨论了CAFISE方法的核心支撑机制:一是通过提出聚合服务的生命周期模型将聚合服务具体化为具有一定状态的可操作对象,为聚合服务的管理提供了明确指导,并基于此设计了聚合服务管理机制及关键算法;二是对于CAFISE方法中与业务用户不直接相关的另一核心内容(即业务级服务组合到软件级服务组合的转换)提出了一种基于模式与反演的转换机制,该机制的特点在于通