DAML-S的Service Profile使用ontology来描述了Web服务的性能及其执行效果。在进行Web服务发布时，可以将Service Profile和UDDI中的Web服务描述绑定在一起，即使用UDDI的TModel对DAML-S的服务描述进行编码。这样，在进行服务发现时，也就是在对服务进行匹配时就需要一个基于DAML+OIL逻辑推理的Web服务匹配引擎，其结构如图2所示。当Web服务请求者向UDDI发出请求（包括服务功能描述和可以提供的输入以及期望的输出），则UDDI将该请求转换成Service Profile形式，再将其交给匹配引擎。然后匹配引擎利用DAML+OIL推理机对功能描述进行基于DAML Ontology库和Web服务描述库的灵活匹配，得到一些满足条件的Web服务。当然，这种匹配不是简单的基于关键字方式，而是基于语义约束的模糊匹配。例如客户需要购买猫粮，由于猫是宠物的一种，所以宠物食品店提供的宠物食品出售服务会被选中，而这是传统的UDDI无法做到的。接着再使用匹配引擎逐个检查找到的Web服务的输入是否是请求者所提供的输入的子集和其输出是否包含请求者所期望的输出；这样匹配率最高的服务就是Web服务发现的目标。

4.2 用DAML-S实现Web服务执行自动化

       为了实现Web服务执行自动化，DAML-S首先使用Service Grounding定义代理该如何访问Web服务，包括代理和服务之间的交互信息、服务的输入输出和服务执行时机等。然后类似BPEL4WS，用Process Model定义服务之间的交互过程，即规定Web服务所完成的所有任务（此处任务可以是一个Web服务）、执行任务的顺序，并在服务执行过程中监控各个服务的状态。当然在上述过程中已经涉及到Web服务组合自动化，接下来有更详细的叙述。

4.3 用DAML-S实现Web服务组合自动化

    DAML-S把一个Web服务认为是一个过程（Process），因而用过程模型（Process Model）来描述Web服务的执行和组合。过程模型主要由两部分组成：过程模型（Process Model）和过程控制模型（Process Control Model）。其中过程模型描述了服务组件的操作或者进程，说明了服务规划、组合信息以及代理和服务之间的配合；过程控制模型则允许代理对服务执行过程进行监控。而且DAML-S针对这两部分定义了过程本体论（Process Ontology）和过程控制本体论（Process Control Ontology）。

       勿庸置疑，过程本体论中最基本的实体类型是过程（Process）。一个过程应该有一些输入和一些输出。另外，要执行一个过程还可能需要一些前置条件，例如可能需要特殊的设备、某些参数（譬如压力）要达到一定的阀值等等。当然，过程执行完成之后会产生一定的效应。因此一个过程具有如下属性：前置条件、参数和执行结果，其中参数又包括输入、输出参数和参与者信息。

过程可以被分为两种：基本过程（Primitive Process）和组合过程（Composite Process）。组合过程继承于过程，是但是比过程多了一个称为组件的属性。一个组合过程是由多个子基本过程或子组合过程嵌套组成。而组件属性就描述了这些子过程的执行顺序和条件。基于组合方式的不同，组合过程分为以下几类：Sequence、Split、Split + Join、Choice、Unordered、Condition、If-Then-Else、Iterate、Repeat-While和Repeat-Until.。利用这些组合过程就可以完成对现实中组合Web服务的建模。下面举一个例子来说明如何使用过程模型来实现自动化的Web服务组合。

假设客户要通过名称为AmazonBuyBook的Web服务到亚马逊网上书店购买一本书。整个购买过程又可以分解为以下几个简单的Web服务：找到适当的书籍（LocateBook）、放入购物车（PutInCart）、付款（Payment）等。因此AmazonBuyBook是一个组合Web服务。下面首先将AmazonBuyBook定义成过程。此时的AmazonBuyBook过程还是一个整体过程，即没有被展开。

<rdfs:Class rdf:ID="AmazonBuyBook">

<rdfs:subClassOf rdf:resource=

"http://www.daml.org/services/daml-s/2001/05/Process.daml#Process"/>

</rdfs:Class>

<rdf:Property rdf:ID="bookName">

<rdfs:subPropertyOf rdf:resource=

"http://www.daml.org/services/daml-s/2001/05/Process.daml#input"/>

<rdfs:domain rdf:resource="#AmazonBuyBook"/>

<rdfs:range rdf:resource="http://www.w3.org/2000/10/XMLSchema#string"/>

</rdf:Property>

<rdf:Property rdf:ID="eReceiptOutput">

<rdfs:subPropertyOf rdf:resource=

"http://www.daml.org/services/daml-s/2001/05/Process.daml#output"/>

<rdfs:range rdf:resource="#EReceipt"/>

</rdf:Property>

<rdf:Property rdf:ID="creditCardValidity">

<rdfs:subPropertyOf rdf:resource=

"http://www.daml.org/services/daml-s/2001/05/Process.daml#parameter"/>

<rdfs:range rdf:resource="#ValidityType"/>

</rdf:Property>

在上述定义中，属性bookName（书名）是过程AmazonBuyBook必需的一个输入参数；属性eReceiptOutput（电子收据）是其输出，表示买书是否成功；而属性creditCardValidity（信用卡有效性）是付款时要用到的信息，既不是输入，也不是输出。

三个简单Web服务的过程定义如下：

<rdfs:Class rdf:ID="LocateBook">

<rdfs:subClassOf rdf:resource="#AmazonBuyBook"/>

</rdfs:Class>

<rdfs:Class rdf:ID="PutInCart">

<rdfs:subClassOf rdf:resource="#AmazonBuyBook"/>

</rdfs:Class>

<rdfs:Class rdf:ID="Payment">

<rdfs:subClassOf rdf:resource="#AmazonBuyBook"/>

</rdfs:Class>

接着将AmazonBuyBook按顺序方式（Sequence）扩展成ExpandedAmazonBuyBook，并将其定义如下：

<process:expand>

<rdfs:Class> rdfs:about ="#AmazonBuyBook"</rdfs:Class>

<rdfs:Class> rdfs:about ="#ExpandedAmazonBuyBook"</rdfs:Class>

</process:expand>

<rdfs:Class rdf:ID="ExpandedAmazonBuyBook">

<daml:intersectionOf rdf:parseType="daml:collection">

<daml:Class rdf:about=

"http://www.daml.org/services/daml-s/2001/05/Process.daml#Sequence"/>

<daml:Restriction>

<daml:onProperty rdf:resource=

"http://www.daml.org/services/daml-s/2001/05/Process.daml#components"/>

<daml:toClass>

<daml:Class>

<daml:intersectionOf rdf:parseType="daml:collection">

<daml:Restriction>

<daml:onProperty rdf:resource=

"http://www.daml.org/services/daml-s/2001/05/Process.daml#firstItem"/>

<daml:toClass rdf:resource ="#LocateBook"/>

</daml:Restriction>

<daml:Restriction>

<daml:onProperty rdf:resource=

"http://www.daml.org/services/daml-s/2001/05/Process.daml#secondItem"/>

<daml:toClass rdf:resource ="#PutInCart"/>

</daml:Restriction>

<daml:Restriction>

<daml:onProperty rdf:resource=

"http://www.daml.org/services/daml-s/2001/05/Process.daml#thirdItem"/>

<daml:toClass rdf:resource ="#Payment"/>

</daml:Restriction>

</daml:intersectionOf>

</daml:Class>

</daml:toClass>

</daml:Restriction>

</daml:intersectionOf>

</rdfs:Class>

    有了上述定义，我们可以看到，调用执行AmazonBuyBook的过程就是顺序执行LocateBook、PutInCart和Payment这三个简单Web服务的过程。每一个过程的前置条件都是上一个服务的执行效果，而其执行效果则是下一个服务的前置条件。客户端程序或代理只要给出AmazonBuyBook需要的前置条件，则Web服务基础构架（例如改进的UDDI）就能自动挑选、组装适当的简单Web服务，然后按顺序执行来完成任务，最后将执行效果返回给客户端，例如确认单、电子收款收据以及邮寄过来的实体书，而无需客户代理了解其中细节。这样就实现了Web服务执行和组合自动化。

5．结束语

       尽管已经有类似DAML-S、OWL-S等语言来描述语义Web服务，但还有许多的研究工作需要我们来完成。譬如如何将现有的Web服务语义进行完整描述，如何实现更精准的语义匹配引擎，如何进一步改进现有架构使Web服务更加自动化，组合Web服务语义保持问题等等；另外，语义Web服务的实现需要也更庞大详细的ontology库的支持。

From: http://www.xml.org.cn/blog/more.asp?name=holysword&id=2327

近年来，Web服务作为一种新兴的Web应用模式，是一个崭新的分布式计算模型，是Web上数据和信息集成的有效机制，发展非常迅速。Web服务的目的是要解决异构平台上的数据和应用的整合与共享问题。单个Web服务可能只提供唯一的调用函数来完成一个单一的功能，而将多个Web服务进行有机组合就可以完成一系列的复杂任务，SOA（Service Oriented Architecture）就是利用组合Web服务进行应用整合的构架。但是，现有的Web服务构架需要Web服务提供端和服务请求端的编程人员自己明确相互传递的消息的含义，然后对Web服务进行硬编码。这样至少存在两个问题：首先，如果单个Web服务的交换模式发生了变动，则请求端必须由编程人员自己来应对变动；其次如果Web服务组合中的某个服务被撤销，则组合者（编程者）必须亲自重新寻求适当的替换者，以维护其组合。最后，这种不能进行自动化重新配置的Web服务将是不灵活和难以维护的。因此我们需要智能的Web服务，即实现Web服务的自动化。

2．Web服务自动化

如上所述，Web服务自动化技术可以减少编程人员对Web服务的直接干预，从而提高了Web服务的灵活性，并且大大降低了Web服务的维护成本。事实上，Web服务自动化技术包括Web服务的发现、执行和组合的自动化。

2.1 Web服务发现自动化

       现有的Web服务基本构架，包括Web服务提供者（service provider）、服务请求者（service requester）和服务代理（service broker）等三个参与者以及参与者之间的发布（publish）、查找（find）和绑定（bind）等三个操作。而所谓Web服务发现，就是客户以某种方式在许多已发布的Web服务中查找到其想要的服务，以执行Web服务请求。传统的服务发现技术一方面需要人的参与，增加了Web服务发现的成本和难度；另一方面，它是通过精确匹配实现的（例如UDDI），不能较好地支持基于概率和语义约束的模糊匹配，使得服务执行的整个过程受到影响，而且语义冲突问题（对于同一服务在不同站点上实现了不同接口）也没有可行的解决方案。

而Web服务发现自动化是指程序自动寻找和获取适当的Web服务或组合，对其进行基于概率和语义约束的模糊匹配，让Web服务或组合符合需求，过程中不需要人的干预，从而提高了Web服务质量，节省了成本以及使得Web服务或组合具有更高的灵活性。例如，客户可能提出如下要求：想买一张2004年10月3日的从西安开往上海的火车票，并通过招商银行的“一卡通”来支付。如果使用传统的服务发现技术，则客户首先需要使用搜索引擎通过一些关键字列出那些和关键字匹配的网页和Web服务，然后再逐一检查这些网页和Web服务是否有满足需求。而如果使用自动化的Web服务发现技术，则客户只需告诉代理程序一些必要的信息，然后代理程序可以自动的定位到适当的Web服务，并告诉客户其详细信息。

2.2 Web服务执行自动化

       找到适当的Web服务后，就可以执行Web服务请求了。传统的Web服务执行过程中需要人的干预。事实上，完成一个Web服务执行通常会有很多的客户与服务之间的交互。例如在上述例子中，当找到了一个满足要求的买火车票的Web服务后，它可能要求客户填一些表格，然后按下“提交”按钮来执行请求。这些过程都需要人来理解执行Web服务所需要的信息，以及解析执行后返回的信息。而Web服务执行自动化是指程序或者代理自动执行一个已经定义好的Web服务或组合，并在执行过程中对其进行监控，而且对于那些复杂的、需要长时间运行过程的Web服务或组合Web服务，还可以跟踪每个Web服务及其相关组件的执行状态。所以，要完成买火车票的任务，客户只需将带语义（买火车票）的请求提交给代理，那么代理就可以自动和Web服务交互：代入正确的输入，并理解返回信息，同时监控执行过程。

2.3 Web服务组合自动化

由于各种Web服务可能是运行在各种异构系统中，以不同的方式创建、用不同程序语言实现、由不同供应商提供的，那么服务的请求需要根据特定的应用背景和需求进行合理的服务组合；另外，为了可重用性，基本服务（elementary service）不可能很复杂。因此需要按照一定的粒度进行Web服务的组合。传统的方法是客户端根据需要人为的选择一些合适的Web服务，然后定义这些Web服务之间的交互过程，并对其进行硬编码来完成Web服务组合。这样做使得Web服务组合是不灵活和难以维护的。例如WSCI和BPEL4WS都对如何将多个基本服务组合成一个复杂服务做了描述，但都仍然是语法级别的，做不到Web服务的自动组合。而Web服务组合自动化是指程序或代理自动挑选、组装和配合适当的Web服务来完成任务，而只需用户在高层次上给出一个格式正规的任务描述即可。

3．语义Web服务

       事实上，以现有的Web技术不能完全实现上述三种Web服务自动化。其根本原因是现有的Web或Web服务缺少语义信息。现有的Web服务通过XML进行交互，却只能保证语法的互操作性。通过XML可以让Web服务提供者和请求者相互之间传递消息，但由于缺少语义，导致计算机程序不能真正的“理解”消息内容的含义，不能进行自动化处理。因此需要在Web服务中引入语义。而语义Web为此提供了支持。

3.1 语义Web

到目前为止，Web大多数开发成为人们阅读文档的媒体，而在提供可自动处理的数据和信息方面，则发展较慢。Tim Berners-Lee，Web的创始人以及当前W3C的总裁，在1998年首次提出了语义Web的概念，对其描述如下：“一个web数据库，某种意义上就像一个全球数据库。”基本的思想就是一个Web，在那里远程主机可以以有意义的方式进行交谈，而不仅仅是请求HTML页面。

语义Web研究的主要目的，就是扩展当前的WWW，使得网络中尽可能多的信息都是具有语义的，是计算机能够理解和处理的，便于人和计算机，计算机和计算机之间的交互与合作。其研究重点就是如何把信息表示为计算机能够理解和处理的形式，即带有语义。Tim Berners-Lee给出了语义网中的层次关系——基于XML和RDF/RDFS，并在此之上构建ontology（本体）和逻辑推理规则，以完成基于语义的知识表示和推理，从而能够为计算机所理解和处理。一些用来创建ontology的语言也相继出现，例如DAML+OIL和OWL。

3.2 语义Web服务：将语义Web和Web服务相结合

现有的Web服务缺少明显的语义，Web服务之间不能很好的理解其相互传递的消息，因而不能实行Web服务的发现、执行和组合自动化。而语义Web和Web服务的共同目标都是通过利用Web上人和机器都能够存取的内容，创建智能自动服务及商务处理基础设施。因此考虑以上二者的结合，实现功能互补是一种自然的选择。基于语义的Web服务可以做到：

（1）       明确描述和推理事务之间的联系和规则；

（2）       明确描述Web服务所执行的任务，实现Web服务发现的自动化；

（3）       在Web服务所执行过程中进行监控，并随时自动进行调整，实现执行自动化；

（4）       将简单Web服务组合成为复杂Web服务，并实现自动化组合。

语义Web服务通过ontology和形式语言来推理服务描述、消息内容、商业法则以及ontology之间的联系。目前用来实现语义Web服务的主要方法是DAML-S。下面来看一下DAML-S如何实现Web服务自动化。

4．DAML-S实现Web服务自动化

       DAML-S是由BBN、卡耐基梅隆大学、诺基亚、斯坦福大学以及SRI等一些组织和大学实验室联合在DAML+OIL基础上创建的，用来定义Web服务的ontology。DAML-S允许Web服务提供者使用一种标记语言，以非二义性的、计算机可解释的方式来描述Web服务的属性和能力，以及如何与它交互。DAML-S的ontology结构包括3部分：Service Profile、Process Model和Service Grounding。其中Service Profile描述了Web服务的性能和服务提供者信息，类似于UDDI中的WSDL，但描述信息具有语义。Process Model规定了Web服务所完成的所有任务、执行任务的顺序以及完成各个任务的结果。Process Model的功能类似于WSCI和BPEL4WS，但是Process Model更关注于执行一个服务的不同组件的效果。而Service Grounding则规定了客户端程序或代理如何访问Web服务，包括使用的协议、端口以及输入输出的定义等等。总之，Service Profile为Web服务的发现提供了信息，Process Model和Service Grounding则一同告诉代理如何来使用Web服务。图1是使用DAML-S的Web服务构架。如图所示，让DAML-S结合已有的Web服务构架（SOAP、WSDL、UDDI）可以实现Web服务的发现、执行和组合自动化。

           图1：使用DAML-S的Web服务构架   

        图2：DAML-S匹配引擎结构

From: http://www.xml.org.cn/blog/more.asp?name=holysword&id=2326

”里。
               
    关于图灵机模型的研究主要是Turing本人的贡献，其他人的东西至多可以浏览一下，参考参考。可惜国内的读者知道的不多，一则不象国外到处都有原著经典，二则国内不重视学习创新者。整个上图的计算机软件领域里，起作用的就是工程技术了，我们大量学习的就是软件工程。软件工程的目标是获得主要以算法和数据结构表达的应用系统，而软件工程的方法论、即工具，就是软件语言，如UML（统一模块语言）以及Basic、C、Java等众多的程序设计语言。可以说语言是计算表达的唯一方式。

    语言就是符号系统，与在人类长期发展中

                        

http://blog.donews.com/ygzw/archive/2006/03/01/747953.aspx