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 条
  • [31] Context-aware Generic Service Discovery and Service Composition
    Zhang, Yifei
    Wang, Jianing
    Yan, Yuhong
    [J]. 2014 IEEE INTERNATIONAL CONFERENCE ON MOBILE SERVICES (MS), 2014, : 132 - 139
  • [32] A RFID-based Context-Aware Service Model
    Sheng, Jinfang
    Zou, Wen
    Yang, Liu
    Wang, Bin
    [J]. TRUSTCOM 2011: 2011 INTERNATIONAL JOINT CONFERENCE OF IEEE TRUSTCOM-11/IEEE ICESS-11/FCST-11, 2011, : 779 - 784
  • [33] Context-Aware Composition and Adaptation based on Model Transformation
    Cubo, Javier
    Canal, Carlos
    Pimentel, Ernesto
    [J]. JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2011, 17 (05) : 777 - 806
  • [34] Verifying the correctness of GIS service chain based on Pi-Calculus
    Liang, JuanZhu
    [J]. INDUSTRIAL INSTRUMENTATION AND CONTROL SYSTEMS, PTS 1-4, 2013, 241-244 : 2923 - 2928
  • [35] Context-aware ubiquitous service composition technology
    Yamato, Yoji
    Tanaka, Yohei
    Sunaga, Hiroshi
    [J]. RESEARCH AND PRACTICAL ISSUES OF ENTERPRISE INFORMATION SYSTEMS, 2006, : 51 - 61
  • [36] Context-Aware Service Adaptation: An Approach Based on Fuzzy Sets and Service Composition
    Madkour, Mohcine
    El Ghanami, Driss
    Maach, Abdelilah
    Hasbi, Abderrahim
    [J]. JOURNAL OF INFORMATION SCIENCE AND ENGINEERING, 2013, 29 (01) : 1 - 16
  • [37] A CONTEXT-AWARE SERVICE PROVISIONING SCHEME BASED ON SERVICE COMPOSITION FOR MOBILE ENVIRONMENT
    Li, Ming
    Li, Yuhong
    Wang, Wendong
    Gong, Xiangyang
    Chen, Canfeng
    Ma, Jian
    [J]. CIICT 2008: PROCEEDINGS OF CHINA-IRELAND INTERNATIONAL CONFERENCE ON INFORMATION AND COMMUNICATIONS TECHNOLOGIES 2008, 2008, : 757 - +
  • [38] The Calculus of Context-aware Ambients
    Siewe, Francois
    Zedan, Hussein
    Cau, Antonio
    [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2011, 77 (04) : 597 - 620
  • [39] Modeling service compatibility with pi-calculus for choreography
    Deng, Shuiguang
    Wu, Zhaohui
    Zhou, Mengchu
    Li, Ying
    Wu, Jian
    [J]. Conceptual Modeling - ER 2006, Proceedings, 2006, 4215 : 26 - 39
  • [40] An Adaptive and Context-Aware Scenario Model Based on a Web Service Architecture for Pervasive Learning Systems
    Pham-Nguyen, Cuong
    Garlatti, Serge
    Lau, B. -Y. -Simon
    Barbry, Benjamin
    Vantroys, Thomas
    [J]. INTERNATIONAL JOURNAL OF MOBILE AND BLENDED LEARNING, 2009, 1 (03) : 41 - 69
12345