• May 03, 2016 News! IJIET Vol. 5, No. 10 has been indexed by EI (Inspec).   [Click]
  • Jun 28, 2017 News!Vol. 7, No. 9 has been indexed by Crossref.
  • Jun 22, 2017 News!Vol. 7, No. 9 issue has been published online!   [Click]
General Information
    • ISSN: 2010-3689
    • Frequency: Bimonthly (2011-2014); Monthly (Since 2015)
    • DOI: 10.18178/IJIET
    • Editor-in-Chief: Prof. Dr. Steve Thatcher
    • Executive Editor: Ms. Nancy Y. Liu
    • Abstracting/ Indexing: EI (INSPEC, IET), Electronic Journals Library, Google Scholar, Crossref and ProQuest
    • E-mail: ijiet@ejournal.net
Editor-in-chief
Prof. Dr. Steve Thatcher
University of South Australia, Australia
It is my honor to be the editor-in-chief of IJIET. The journal publishes good papers which focous on the advanced researches in the field of information and education technology. Hopefully, IJIET will become a recognized journal among the scholars in the filed of information and education technology.
IJIET 2012 Vol.2(1): 1-10 ISSN: 2010-3689
DOI: 10.7763/IJIET.2012.V2.73

A TVPCCS Model for Testing Web Service Choreography and Generating BPEL Code

Mohammed Lamine Beggar and Lejian Liao

Abstract—Web services are software applications which can be used through a network (intranet or Internet) via the exchange of messages based on XML standards. They are aimed at wild reusability and are typically designed to interact with other in order to build larger applications. Web service sometimes requires combining more than one to meet our requirements. Service composition is the process of creating new services from a set of services. In this context, one of the important investigations is the choreography compatibility analysis. We mean by the choreography compatibility the capability of a set of Web services of actually interacting by exchanging messages in a proper manner. Whether a set of services are compatible depends not only on their sequences of messages but also on quantitative properties such as timed properties. In this paper, we present a framework for model checking web service choreography based on checking web service (CWB) in which the web services support synchronous or asynchronous timed communications. Particularly, in this paper we present a new modeling of Web services using temporal value passing calculus of communicating systems (TVPCCS).

Index Terms—Model checking, web service composition, temporal value passing calculus of communicating systems, the edinburgh concurrency workbench.

M. La. Beggar is with School of Computer Science, Beijing Institute of Technology, Beijing, China (e-mail amine@bit.edu.cn).
L. Liao is with School of Computer Science and Technology, Beijing Institute of Technology, China (e-mail liaolj@bit.edu.cn).

[PDF]

Cite: Mohammed Lamine Beggar and Lejian Liao, "A TVPCCS Model for Testing Web Service Choreography and Generating BPEL Code," International Journal of Information and Education Technology vol. 2, no. 1, pp. 1-10, 2012.

Copyright © 2008-2017. International Journal of Information and Education Technology. All rights reserved.
E-mail: ijiet@ejournal.net