Abstract Details
  1. Home
  2. Abstract List
  3. Abstract Details
53 / 2017-03-08 11:46:02
A Pi-Calculus based Context-Aware Model for Web Service Composition
Plenary track
Final Paper
力 包 / 内蒙古工业大学
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 Picalculus 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.
Important Date

  • Conference Date

    Jul 21

    2017

    to

    Jul 23

    2017

  • Apr 30 2017

    Draft paper submission deadline

  • May 10 2017

    Draft Paper Acceptance Notification

  • May 25 2017

    Final Paper Deadline

  • Jul 23 2017

    Registration deadline

Sponsored By
ieee computer society
Supported By
ieee computer society
Contact Information
  • 章老师
  • 180********
Login to view full contact details
Previous Conferences