FDR-based compositional verification for OWL-S process model

被引：0
|
作者：
机构：
[1] Gong, Ping
[2] Zhang, Shi
来源：
Gong, P. (tnfair@126.com) | 1600年 / Advanced Institute of Convergence Information Technology卷 / 07期
关键词：
Semantic Web - Birds - Data flow analysis - Websites;
D O I：
10.4156/jcit.vol7.issue12.45
中图分类号：
学科分类号：
摘要：
Nowadays, SOA is considered as a promising architecture for enterprise applications integration. OWL-S, as a Semantic Web Service technology, promises to facilitate various service tasks, such as service specification, discovery, composition, etc. It is essential to analyze the OWL-S process model for the quality issue of the composition of web services before its deployment. In this work, based on CSPm and FDR tool, a compositional semantics for OWL-S process model is given, and then a parameterized verification method is proposed for analyzing OWL-S process model, especially the interplay between the control part and dataflow part. Its validity is illustrated by an extended version of the BravoAir process model.
引用
收藏
相关论文
共 50 条
  • [31] Efficient distributed discovery and composition of OWL-S process model in P2P systems
    Boukhadra, Adel
    Benatchba, Karima
    Balla, Amar
    JOURNAL OF AMBIENT INTELLIGENCE AND HUMANIZED COMPUTING, 2016, 7 (02) : 187 - 203
  • [32] Characterizing services composeability and OWL-S based services composition
    Yang, ZH
    Zhang, JB
    Tao, J
    Gay, R
    GRID AND COOPERATIVE COMPUTING - GCC 2005, PROCEEDINGS, 2005, 3795 : 244 - 249
  • [33] Automated Testing of Web Services System Based on OWL-S
    Shafin, Shawkat Hasan
    Zhang, Li
    Xu, Xi
    PROCEEDINGS OF THE 2012 WORLD CONGRESS ON INFORMATION AND COMMUNICATION TECHNOLOGIES, 2012, : 1103 - 1108
  • [34] OWL-S Based Web Service Discovery in Distributed System
    Zhang, Lin
    2014 IEEE WORKSHOP ON ELECTRONICS, COMPUTER AND APPLICATIONS, 2014, : 882 - 885
  • [35] An efficient algorithm for OWL-S based semantic search in UDDI
    Srinivasan, N
    Paolucci, M
    Sycara, K
    SEMANTIC WEB SERVICES AND WEB PROCESS COMPOSITION, 2005, 3387 : 96 - 110
  • [36] Review of Semantic Web Service Composition Based on OWL-S
    MA Xiuli
    DING Yingying
    WANG Hongxia
    沈阳理工大学学报, 2014, 33 (03) : 88 - 94
  • [37] Graph-Based Matching of Composite OWL-S Services
    Cuzzocrea, Alfredo
    De Coi, Juri Luca
    Fisichella, Marco
    Skoutas, Dimitrios
    DATABASE SYSTEMS FOR ADVANCED APPLICATIONS, DASFAA 2011, 2011, 6637 : 28 - 39
  • [38] A SUPPORTING FRAMEWORK FOR WEB SERVICE DISCOVERY BASED ON OWL-S
    Lou Yuan-sheng
    Yang Ning
    Xu Hong-tao
    DCABES 2009: THE 8TH INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING AND APPLICATIONS TO BUSINESS, ENGINEERING AND SCIENCE, PROCEEDINGS, 2009, : 303 - 305
  • [39] Grounding and Execution of OWL-S Based Semantic Web Services
    Timm, John T. E.
    Gannod, Gerald C.
    2008 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING, PROCEEDINGS, VOL 2, 2008, : 588 - +
  • [40] Efficient distributed discovery and composition of OWL-S process model in P2P systems
    Adel Boukhadra
    Karima Benatchba
    Amar Balla
    Journal of Ambient Intelligence and Humanized Computing, 2016, 7 : 187 - 203
12345