From BPEL4WS to OWL-S: Integrating e-business process descriptions

被引:0
|
作者
Shen, J [1 ]
Yang, Y [1 ]
Zhu, C [1 ]
Wan, CG [1 ]
机构
[1] Swinburne Univ Technol, Fac ICT, Ctr Internet Comp & E Commerce, Hawthorn, Vic 3122, Australia
关键词
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
With the rapid deployment of e-services, many workflow-like e-business process definition languages come into existence. At the same time, Ontology Web Language for Services (OWL-S) aims to build an ontology language to support the integration of various specifications. There has been some work on mapping WSDL (Web Services Description Language) to OWL-S to build a connection between the Web service and service profile. However in the sense of activity relationships, there has been no effort so far trying to build the OWL-S service model from a workflow process model. Therefore, we design and develop an innovative mapping tool to translate BPEL4WS (Business Process Execution Language for Web Services) to OWL-S. Through this mapping, semantics in the traditional business process specifications can be enriched significantly to enable more flexible and automatic e-service functions by using existing OWL-S tools such as composition and discovery, especially the execution of workflow-based services.
引用
收藏
页码:181 / 188
页数:8
相关论文
共 40 条
  • [1] BPEL4WS verification environment using an enhanced OWL-S and VDM++
    Lin, Shih-Hung
    Lin, Yong-Feng
    Chen, Jason Jen-Yen
    2006 INTERNATIONAL CONFERENCE ON ADVANCED COMPUTING AND COMMUNICATIONS, VOLS 1 AND 2, 2007, : 625 - 630
  • [2] On simulation of BPEL4WS/UML descriptions
    Endo, T
    Miyamoto, T
    Fujii, T
    Kumagai, T
    12TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2005, : 103 - 109
  • [3] Modeling business processes with BPEL4WS
    Leymann F.
    Roller D.
    Information Systems and e-Business Management, 2006, 4 (3) : 265 - 284
  • [4] Formal verification of BPEL4WS business collaborations
    Fisteus, JA
    Fernández, LS
    Kloos, CD
    E-COMMERCE AND WEB TECHNOLOGIES, 2004, 3182 : 76 - 85
  • [5] Formal verification of BPEL4WS business collaborations
    Fisteus, Jesús Arias
    Fernández, Luis Sánchez
    Kloos, Carlos Delgado
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2004, 3182 : 76 - 85
  • [6] Transformation algorithms between BPEL4WS and BPML for the executable business process
    Moon, J
    Lee, D
    Park, C
    Cho, H
    THIRTEENTH IEEE INTERNATIONAL WORKSHOPS ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES, PROCEEDINGS, 2004, : 135 - 140
  • [7] Transformation algorithms between WSCI and BPEL4WS for the collaborative business process
    Moon, J
    Kim, R
    Song, B
    Cho, H
    7th International Conference on Advanced Communication Technology, Vols 1 and 2, Proceedings, 2005, : 285 - 290
  • [8] Simulating process orchestrations in business networks: A case wing BPEL4WS
    Tewoldeberhan, Tamrat W.
    Verbraeck, Alexander
    Msanjila, Simon S.
    Seventh International Conference on Electronic Commerce, Vols 1 and 2, Selected Proceedings, 2005, : 471 - 477
  • [9] From DAML-S processes to BPEL4WS
    Liu, SS
    Khalaf, R
    Curbera, F
    14TH INTERNATIONAL WORKSHOP ON RESEARCH ISSUES ON DATA ENGINEERING: WEB SERVICES FOR E-COMMERCE AND E-GOVERNMENT APPLICATIONS, PROCEEDINGS, 2004, : 77 - 84
  • [10] A method to extend BPEL4WS to enable business performance measurement
    McGregor, C
    ICWS'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON WEB SERVICES, 2003, : 46 - 51