Welcome to the InfoSci Platform
Reference Hub1
Formalizing Timed BPEL by D-LOTOS

Formalizing Timed BPEL by D-LOTOS

Imed Eddine Chama, Nabil Belala, Djamel Eddine Saidouni
Copyright: © 2014 |Volume: 5 |Issue: 2 |Pages: 21
ISSN: 1947-3176|EISSN: 1947-3184|EISBN13: 9781466654204|DOI: 10.4018/ijertcs.2014040102
Cite Article Cite Article

MLA

Chama, Imed Eddine, et al. "Formalizing Timed BPEL by D-LOTOS." IJERTCS vol.5, no.2 2014: pp.1-21. http://doi.org/10.4018/ijertcs.2014040102

APA

Chama, I. E., Belala, N., & Saidouni, D. E. (2014). Formalizing Timed BPEL by D-LOTOS. International Journal of Embedded and Real-Time Communication Systems (IJERTCS), 5(2), 1-21. http://doi.org/10.4018/ijertcs.2014040102

Chicago

Chama, Imed Eddine, Nabil Belala, and Djamel Eddine Saidouni. "Formalizing Timed BPEL by D-LOTOS," International Journal of Embedded and Real-Time Communication Systems (IJERTCS) 5, no.2: 1-21. http://doi.org/10.4018/ijertcs.2014040102

Export Reference

Mendeley
Favorite Full-Issue Download

Abstract

Different standards and languages are proposed in the literature to model the composition of Web services. Unfortunately these languages are essentially syntactic and thus contain much ambiguity and inconsistency. In addition, the formal verification of the proposed languages is impossible. In this paper, the authors propose a transformation approach allowing the formal representation, analysis and refinement of Web services compositions. Both timed constraints and the durations of interactions between these services are taken into account. The authors present a mapping from Web services described in the BPEL language to an abstract specification written in the real-time language D-LOTOS which is based on true-concurrency semantics.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.