电子商务、电子政务应用的不断深入发展要求分布在不同地理位置、具有多种多样的硬件平台、操作系统、编程语言、软件技术和数据库管理等技术因素的企业(或政府部门)应用系统可以在Internet环境下进行企业(或政府部门)之间的应用互操作和应用集成，要求能够根据不同的应用需求，快速、灵活地发现合适的业务应用程序，或者在单个业务应用程序无法满足需求的情况下能自动化地组合各种已有的和新添置的业务应用系统，并使得它们可以有机地协同工作来为用户提供服务。Web服务概念以及web服务体系结构的提出使得服务提供者可以将自己的软件以服务的形式提供给用户，同时，服务通过将不同层次的应用和资源抽象成统一的形式并提供标准的服务使用方法，为分布环境下资源共享与协同工作提供了很好的支持。语义web服务是语义web与web服务技术的结合体，通过对web服务进行语义封装可便于实现web服务的自动化发现、调用、互操作、组合、执行、监控等。因此，如何将语义web与web服务技术结合起来以实现web服务的自动化发现和组合是一个非常值得研究和探讨的问题。本文结合国家自然基金项目“面向资源自动发现的网络信息空间结构化模型研究”以及863重大专项课题“上海市电子政务关键技术研究与开发”，针对基于语义web服务的自动化服务发现和自动化服务组合的关键问题进行了研究，并设计和实现了基于语义web服务的自动化服务发现和服务组合原型系统ASDC(Automatic Service Discovery and Composition)。“自动化服务发现”是指系统可以自动化地选择能满足用户的特定需求和相关约束的服务。“自动化服务组合”是指当不存在能满足用户需求的单个服务情况下，系统可以自动化地产生满足用户需求的组合web服务。本文主要的工作和成果如下：(1)提出一种支持自动化服务发现和服务组合的语义web服务描述模型(简称ASDC服务描述模型)。该模型不仅包括传统web服务所描述的输入输出消息的数据类型和绑定等底层调用内容，还包括web服务的语义信息以及它所包含的操作和相关输入输出信息的语义内容以及服务质量描述信息，同时还包括web服务参量所包含的数据元的描述信息。对web服务的描述细化到服务参量所包含的数据元，可便于对序列web服务之间需交换的信息进行自动化的语义转化与异构消除。(2)提出一个自动化的服务发现方法。该方法先把用户的特定需求和相关约束转化为初始状态与需求目标，然后把它们与web服务的执行前提条件(preconditions)和后驱状态(effects)进行语义比较，根据一种匹配算法确定服务请求与web服务之间的匹配度，以得出web服务相对于用户需求的合适程度。与传统的基于关键字和目录的服务搜索方法相比，该方法使服务发现变得更方便灵活、更自动化、更符合用户的服务需求。(3)提出一种基于语义web服务的自动化服务组合技术。该技术允许计算机能精确地理解用户的需求，并使得计算机根据该需求利用已经发布的web服务的语义信息进行语义化推理产生抽象工作流(所谓抽象，是因为只考虑业务逻辑问题而忽略了进行交互的web服务之间的底层匹配的细节问题)，再根据抽象工作流中需互操作的web服务的语义信息与语法信息对它们之间要交换的消息进行必要的语义转化以及异构消除，自动化地把抽象的工作流转化为可执行的工作流(如以BPEL4WS表示)。该组合技术通过把服务组合分为产生抽象工作流和语义转化以及异构消除两个阶段，既便于实现自动化服务组合，又把web服务之间的异构性考虑其中，从而提高了自动化服务组合的可适用性。(4)提出一种着色Petri网的web服务组合形式化模型，该模型具有可视化地、动态地反映web服务组合过程的能力。因此，可以采用该模型模拟给定的组合服务的执行过程，以便对web服务组合模型的正确性、有效性进行分析与评估。