Temporal Constraint in Web Service Composition

Bey Fella, Samia Bouyakoub, Abdelkader Belkhir


Web service composition is studied by many works, and constitutes the heart of a great research activity. However, the majority of this work does not take into account all temporal constraints imposed by the service provider and the users in the composition process. Incorporating temporal constraints in Web service composition result in more complex model and make crucial the verification of temporal consistence during the modeling (at design time) and then during the execution (at run time). In this paper, we presented H-Service-Net model for Web service composition with time constraints, and propose a modular approach for modeling composition with time constraint using Extend time unit system (XTUS), Allen’s interval algebra and comparison operators in a time Petri net model.


  1. Berthomieu, B., Diaz, M., 1991. Modeling and verification of time dependent systems using time Petri nets. Software Engineering, IEEE Transactions on (Volume:17, Issue: 3) Page (s): 259 - 273.
  2. Diaz, G., Pardo, J., Cambronero, M., Valero, V., Cuartero, F., 2006. Verification of Web Services with Timed Automata. Notes in Theoretical Computer Science, vol. 157(2), pp. 19-34.
  3. Dai, G., Bai, X., 2007. A Framework for Time Consistency Verification for Web Processes Based on Annotated OWL-S. The Sixth International Conference on Grid and Cooperative Computing(GCC 2007).
  4. Allen, J., 1983. Maintaining Knowledge about Temporal Intervals. Communications of ACM ,Vol 26 , no 11 , 1983.
  5. Bouzid, M., Ligeza, A., 2005. hierarchical granular terms and their applications. In Proc. of the International Conference on Tools with Artificial Intelligence. IEEE, pp. 249-253.
  6. Lallali, M., Zaidi, F., Cavalli, A., 2007. Timed Modeling of Web Services Composition for Automatic Testing. In Proc. Third International IEEE Conference on Signal-Image Technologies and Internet-Based System SITIS 7807, pages 417-426.
  7. Lallali, M., Zaidi, F., Cavalli, A., 2008. Automatic Timed Test Case Generation for Web Services Composition. In Proc. IEEE Sixth European Conference on Web Services ECOWS 7808, pages 53-62.
  8. Rouached, M., Perrin, O., Godart, C., 2006. Towards Formal Verification of Web Service Composition. in ed. S. Dustdar, J. L. Fiadeiro, and A. Sheth, Lecture Notes in Computer Science 4102: 257-273.
  9. Peltz, C. 2003. Web services orchestration and choreography. Published in: Computer (Volume:36 , Issue: 10 ) Page(s): 46 - 52.
  10. Hamadi, R., Benatallah, B., 2003. A Petri Net-based Model for Web Service Composition. Proceeding ADC 7803 Proceedings of the 14th Australasian database conference Volume 17, 2003, Pages 191- 200, Australia.
  11. Hamadi, R., Benatallah, B, Medjahed , B., 2008. Selfadapting recovery nets for policy-driven exception handling in business processes. Journal Distributed and Parallel Databases Volume 23 Issue 1, Pages 1 - 44.
  12. Kazhamiakin, R., Pandya, P., Pistore, M., 2004. Representation, Verification, and Computation of Timed Properties in Web Service Compositions. In Proceedings of AAAI Spring Symposium on Semantic Web Services (Stanford University, CA).
  13. CHEN, T., GENG, S., 2011. Verification of Time Constraints Consistency on Web Service Composition based on ETPN. Applied Mechanics and Materials Vols. 58-60 (2011) pp 1094-1099.

Paper Citation

in Harvard Style

Fella B., Bouyakoub S. and Belkhir A. (2015). Temporal Constraint in Web Service Composition . In Proceedings of the 17th International Conference on Enterprise Information Systems - Volume 2: ICEIS, ISBN 978-989-758-097-0, pages 577-584. DOI: 10.5220/0005345405770584

in Bibtex Style

author={Bey Fella and Samia Bouyakoub and Abdelkader Belkhir},
title={Temporal Constraint in Web Service Composition},
booktitle={Proceedings of the 17th International Conference on Enterprise Information Systems - Volume 2: ICEIS,},

in EndNote Style

JO - Proceedings of the 17th International Conference on Enterprise Information Systems - Volume 2: ICEIS,
TI - Temporal Constraint in Web Service Composition
SN - 978-989-758-097-0
AU - Fella B.
AU - Bouyakoub S.
AU - Belkhir A.
PY - 2015
SP - 577
EP - 584
DO - 10.5220/0005345405770584