A Pi-Calculus based Context-Aware Model for Web Service Composition

被引：1
|
作者：
Bao, Li [1 ]
Deng, Yi [2 ]
机构：
[1] Inner Mongolia Univ Technol, Sch Informat, Hohhot 010080, Peoples R China
[2] WulanChabu Bur Culture Broadcasting Televis Press, Relay Stn 708, Wulanchabu 012000, Peoples R China
来源：
2017 4TH INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE AND CONTROL ENGINEERING (ICISCE) | 2017年
关键词：
fomal methods; web service; context aware; IMWSC;
D O I：
10.1109/ICISCE.2017.26
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Formal methods are effective ways to model and verify software system. To Describe and verify Web services by formal method is considered as an important research field. Guaranteeing the correctness of Web services composition is indispensable for enhancing the value of services. Pi-calculus is a kind of process algebra which can be used to model asynchronous concurrent communication network. A Pi-calculus based context aware model for Web service composition is presented. Web services behavior are described and modeled based on Pi-calculus in this paper. Finally, a case study is presented and the validity of composition model is verified.
引用
收藏
页码：77 / 81
页数：5
相关论文
共 50 条
  • [1] Research on context-aware web service composition based on the fluent calculus
    Zheng, Xiaolin
    Lin, Zhen
    Yang, Yanbo
    Chen, Deren
    [J]. Advances in Information Sciences and Service Sciences, 2011, 3 (07): : 62 - 74
  • [2] Compatibility Verification of Web Service Composition Based on Pi-calculus
    Jia, Zhichun
    Xing, Xing
    [J]. PROCEEDINGS OF THE 2015 JOINT INTERNATIONAL MECHANICAL, ELECTRONIC AND INFORMATION TECHNOLOGY CONFERENCE (JIMET 2015), 2015, 10 : 244 - 248
  • [3] Formalization and Verification of Automatic Composition Based on Pi-Calculus for Semantic Web Service
    Wang, Yong-Lian
    Yu, Xue-Li
    [J]. 2009 SECOND INTERNATIONAL SYMPOSIUM ON KNOWLEDGE ACQUISITION AND MODELING: KAM 2009, VOL 1, 2009, : 103 - 106
  • [4] Automatic Service Composition Verification Based on Pi-calculus
    Peng, Yanbin
    Ye, Lv
    Zheng, Zhijun
    Xiang, Jian
    Jiang, Xueqin
    Gao, Ji
    Ai, Jieqing
    Lu, Zhenyu
    Jin, Yu
    [J]. 2009 INTERNATIONAL CONFERENCE ON E-BUSINESS AND INFORMATION SYSTEM SECURITY, VOLS 1 AND 2, 2009, : 437 - +
  • [5] Context-Aware Web Service Composition based on AI Planning
    Omid, Maryam
    [J]. APPLIED ARTIFICIAL INTELLIGENCE, 2017, 31 (01) : 23 - 43
  • [6] Context-aware Web service composition framework based on Agent
    Sun, Wenxi
    Zhang, Xiuguo
    Yuan, Yuan
    Han, Tingting
    [J]. 2013 INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY AND APPLICATIONS (ITA), 2013, : 30 - 34
  • [7] Polyadic Pi-calculus based description and verification for web service
    Hu, Jing
    Rao, Guozheng
    Feng, Zhiyong
    [J]. Tianjin Daxue Xuebao (Ziran Kexue yu Gongcheng Jishu Ban)/Journal of Tianjin University Science and Technology, 2013, 46 (06): : 520 - 525
  • [8] Pi-Calculus Based Formal Verification of Web Services Composition
    Agarwal, Saurabh
    Agarwal, Koshel
    [J]. INTERNATIONAL JOURNAL OF GRID AND DISTRIBUTED COMPUTING, 2015, 8 (05): : 137 - 140
  • [9] A Context-aware Adaptive Web service Composition Framework
    Cao, Zhiying
    Zhang, Xiuguo
    Zhang, Weishi
    Xie, Xiong
    Shi, Jinyu
    Xu, Haotian
    [J]. 2015 IEEE INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND COMMUNICATION TECHNOLOGY CICT 2015, 2015, : 62 - 66
  • [10] Semantic Weaving for Context-Aware Web Service Composition
    Li, Li
    Liu, Dongxi
    Bouguettaya, Athman
    [J]. WEB INFORMATION SYSTEMS ENGINEERING - WISE 2009, PROCEEDINGS, 2009, 5802 : 101 - 114
12345