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 条
  • [1] Towards an Agent Based Approach for Verification of OWL-S Process Models
    Lomuscio, Alessio
    Solanki, Monika
    SEMANTIC WEB: RESEARCH AND APPLICATIONS, 2009, 5554 : 578 - 592
  • [2] Towards a formal verification of OWL-S Process Models
    Ankolekar, A
    Paolucci, M
    Sycara, K
    SEMANTIC WEB - ISWC 2005, PROCEEDINGS, 2005, 3729 : 37 - 51
  • [3] A compositional operational semantics for OWL-S
    Norton, B
    Foster, S
    Hughes, A
    FORMAL TECHNIQUES FOR COMPUTER SYSTEMS AND BUSINESS PROCESSES, PROCEEDINGS, 2005, 3670 : 303 - 317
  • [4] Formalizing Semantics of OWL-S Process Model
    Peng YongYi
    Huang Ning
    PACIIA: 2008 PACIFIC-ASIA WORKSHOP ON COMPUTATIONAL INTELLIGENCE AND INDUSTRIAL APPLICATION, VOLS 1-3, PROCEEDINGS, 2008, : 572 - +
  • [5] Verification Web Services Composition Based on OWL-S
    Xia, Hong
    Li, Zengzhi
    2009 SECOND INTERNATIONAL SYMPOSIUM ON KNOWLEDGE ACQUISITION AND MODELING: KAM 2009, VOL 1, 2009, : 164 - 167
  • [6] OWL-S based three layers matched model
    College of Computer Science, South Normal University of China, Guangzhou 510631, China
    Jisuanji Gongcheng, 2006, 16 (261-263):
  • [7] Mutation Test Based on OWL-S Requirement Model
    Wang, Xiaojuan
    Huang, Ning
    Wang, Rui
    2009 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, VOLS 1 AND 2, 2009, : 1006 - 1007
  • [8] A framework for time consistency verification for Web processes based on annotated OWL-S
    Dai, Guilan
    Bai, Xiaoying
    Zhao, Chongchong
    SIXTH INTERNATIONAL CONFERENCE ON GRID AND COOPERATIVE COMPUTING, PROCEEDINGS, 2007, : 346 - +
  • [9] ACPN-based Verification Method of Web Service described by OWL-S
    Zhang, GuangHao
    Lan, YuQing
    PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND SERVICE SYSTEM (CSSS), 2014, 109 : 53 - 58
  • [10] Process mediation of OWL-S web services
    The Robotics Institute, Carnegie Mellon University, United States
    Lect. Notes Comput. Sci., 2008, (324-345): : 324 - 345
12345