Deadline Verification for Web Services Using Timed Automata


  • Y. El Touati Faculty of Computing and IT, Northern Border University, Saudi Arabia
Volume: 12 | Issue: 1 | Pages: 8013-8016 | February 2022 |


Many computation tasks are made today on remote cloud platforms using web services. Beyond the advantages provided by such services, many new challenges arise. One of the challenging problems is ensuring that web services respect critical deadlines. This is a critical issue, especially for real-time systems that use remote web services. This paper aims to propose a framework for deadline verification using Timed Automata (TA).


web services, deadlines, timed automata, verification


Download data is not yet available.


A. Bourouis, K. Klai, N. B. Hadj-Alouane, and Y. E. Touati, "On the Verification of Opacity in Web Services and Their Composition," IEEE Transactions on Services Computing, vol. 10, no. 1, pp. 66–79, Jan. 2017. DOI:

A. Burouis, N. B. Hadj-Alouane, and K. Klai, "Computing Quantified Opacity for SOG-Abstracted Web Services," in 2017 IEEE International Conference on Services Computing (SCC), Jun. 2017, pp. 362–369. DOI:

S. Tiwari and P. Singh, "Survey of potential attacks on web services and web service compositions," in 2011 3rd International Conference on Electronics Computer Technology, Apr. 2011, vol. 2, pp. 47–51. DOI:

A. Bourouis, K. Klai, Y. E. Touati, and N. B. Hadj-Alouane, "Checking Opacity of Vulnerable Critical Systems On-The-Fly," International Journal of Information Technology and Web Engineering (IJITWE), vol. 10, no. 1, pp. 1–30, Jan. 2015. DOI:

A. Bourouis, K. Klai, Y. El Touati, and N. B. Hadj-Alouane, "Opacity Preserving Abstraction for Web Services and Their Composition Using SOGs," in 2015 IEEE International Conference on Web Services, Jun. 2015, pp. 313–320. DOI:

R. Alur and D. L. Dill, "A theory of timed automata," Theoretical Computer Science, vol. 126, no. 2, pp. 183–235, Apr. 1994. DOI:

T. A. Henzinger, Z. Manna, and A. Pnueli, "Timed transition systems," in Real-Time: Theory in Practice, Berlin, Heidelberg, 1992, pp. 226–251. DOI:

T. A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine, "Symbolic Model Checking for Real-Time Systems," Information and Computation, vol. 111, no. 2, pp. 193–244, Jun. 1994. DOI:

Y. El Touati, "Minimization of Linear Constraints in Constant Slope Hybrid Dynamic Systems," International Journal of Advanced Computer Science and Applications, vol. 18, no. 10, pp. 19–23, 2018.

Y. E. Touati, S. Altowaijri, and M. Ayari, "Control of Industrial Systems to Avoid Failures: Application to Electrical System," International Journal of Advanced Computer Science and Applications, vol. 9, no. 5, 2018. DOI:

Y. E. Touati, M. Ayari, and S. Altowaijri, "Extended Time Petri Net and Hybrid Petri Net : Modeling Multi- Instance Dynamic Hybrid Systems," International Journal of Computer Science and Network Security, vol. 18, no. 5, pp. 75–83, 2018.

F. Barbon, P. Traverso, M. Pistore, and M. Trainotti, "Run-Time Monitoring of Instances and Classes of Web Service Compositions," in 2006 IEEE International Conference on Web Services (ICWS’06), Sep. 2006, pp. 63–71. DOI:

R. Aggarwal, K. Verma, J. Miller, and W. Milnor, "Constraint driven Web service composition in METEOR-S," in IEEE International Conference onServices Computing, 2004. (SCC 2004). Proceedings. 2004, Sep. 2004, pp. 23–30.

E. Kirda, M. Jazayeri, C. Kerer, and M. Schranz, "Experiences in engineering flexible Web services," IEEE MultiMedia, vol. 8, no. 1, pp. 58–65, Jan. 2001. DOI:

M. Mao, J. Li, and M. Humphrey, "Cloud auto-scaling with deadline and budget constraints," in 2010 11th IEEE/ACM International Conference on Grid Computing, Oct. 2010, pp. 41–48. DOI:

T. A. Henzinger, P. W. Kopke, A. Puri, and P. Varaiya, "What’s Decidable about Hybrid Automata?," Journal of Computer and System Sciences, vol. 57, no. 1, pp. 94–124, Aug. 1998. DOI:

G. Frehse, "PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech," in Hybrid Systems: Computation and Control, Berlin, Heidelberg, 2005, pp. 258–273. DOI:

G. A. Tarnavsky and E. V. Vorozhtsov, "Cloud Computing in Science and Engineering and the ‘’ Computer Simulation Center," Engineering, Technology & Applied Science Research, vol. 1, no. 6, pp. 133–138, Dec. 2011. DOI:

B. O. Odedairo and V. Oladokun, "Relevance and Applicability of Multi-objective Resource Constrained Project Scheduling Problem: Review Article," Engineering, Technology & Applied Science Research, vol. 1, no. 6, pp. 144–150, Dec. 2011. DOI:

F. H. Khoso, A. Lakhan, A. A. Arain, M. A. Soomro, S. Z. Nizamani, and K. Kanwar, "A Microservice-Based System for Industrial Internet of Things in Fog-Cloud Assisted Network," Engineering, Technology & Applied Science Research, vol. 11, no. 2, pp. 7029–7032, Apr. 2021. DOI:


How to Cite

Y. El Touati, “Deadline Verification for Web Services Using Timed Automata”, Eng. Technol. Appl. Sci. Res., vol. 12, no. 1, pp. 8013–8016, Feb. 2022.


Abstract Views: 264
PDF Downloads: 186

Metrics Information
Bookmark and Share