[论文摘录] Classification of SOA Contract Specification Languages(ICWS, 2008), 第二部分

这篇介绍*-S和eb-*系列的协议. 第一部分点此处.
Semantic Web Services (*-S)系列
OWL-S (Web Ontology Language for Web Service)
语义层次上描述Web服务. 包括三个部分:
    service profile:  for service discovery, 支持功能性(IOPEs)和非功能性描述
    process model:  support composition of services
    service grounding:  associate profile and process concepts with the underlying service interfaces

OWL-S ontology包括4个主要的类:
    Service:  OWL-S service description, textual description of the service
    Profile: IOPEs of a service
    Process: has properties used to describe how the service works
    Grounding: with properties to specify how the service is activated

版本历史
  2006-03: OWL-S 1.2 Pre-Release (temporary location at SRI)
  2004-11: OWL-S 1.1
  2004-07: OWL-S 1.1 Beta
  2003-11: OWL-S 1.0
  2003-05: DAML-S 0.9
  2002-10: DAML-S 0.7
  2001-12: DAML-S 0.6
  2001-05: DAML-S 0.5

WSMO (The Web Service Modeling Ontology)
allows to specification of extra-functional properties for each particular element of a Web service description.
WSML(The Web Service Modeling Language)是 WSMO的语言.

版本历史
Oct. 2006, D2v1.3. Web Service Modeling Ontology(WSMO), WSMO Final Draft
(之间还有很多版本)
June. 2004, D19.1v0.1. WSMO in DIP, WSMO Working Draft

Electronic Business (eb-*)系列
ebXML(electronic business XML):
    a framework that
        provides a global electronic market place
            where enterprises of any size, anywhere can
                 find each other electronically 
                 and conduct business through exchange of XML based business messages.

推动机构: UN/CEFACT and OASIS. exXML包括了以下几部分:
BPSS (Business Process Specification Schema)
describes collaboration between business partners, their roles, relationships and responsibilities.
CPP (Collaboration Protocol Profile)
contains the interaction of partners by describing the capabilities of an individual party through Business capabilities and Technology capabilities.
CPA (Collaboration Protocol Agreement)
expresses an agreement between partners.

这个系列的协议与WS-*系列的协议比较类似, 不过针对的目标群狭窄, 平时也很少接触到, 在此仅作了解.

三类协议的比较
WS-*/eb-* 属于operational programming style, 是modeling languages.
*-S 则属于predicative style, 是property languages.
作者认为将WS-*与eb-*系列合并在技术上是没有问题的.


Classification of Service Contract Specification Languages

 其他

1. 各类语言/协议相互转换的相关文献:
WS-CDL-> BPEL:
    Jan Mendling. From Inter-Organizational Workflows to Process Execution: Generating BPEL from WS-CDL, OTM 2005
OWL-S –> BPEL:
    B Bordbar. Model Transformation from OWL-S to BPEL Via SiTra, LNCS 2007
BPEL –> OWL-S
    MA Aslam. From bpel4ws process model to full owl-s ontology, ECWS 2006

2. (问题) 以下三个概念的区别:  
       decentralized orchestration, distributed orchestration and choreography