Deadline Verification for Web Services Using Timed Automata-Reference-Cited by-同舟云学术

Deadline Verification for Web Services Using Timed Automata

Published:2022-02-12 Issue:1 Volume:12 Page:8013-8016
ISSN:1792-8036
Container-title:Engineering, Technology & Applied Science Research
language:
Short-container-title:Eng. Technol. Appl. Sci. Res.

Author:

El Touati Y.

Abstract

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).

Publisher

Engineering, Technology & Applied Science Research

Subject

General Medicine

Reference20 articles.

1. 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.

2. 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.

3. 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.

4. 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.

5. 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.

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Feature Imputation using Neutrosophic Set Theory in Machine Learning Regression Context;Engineering, Technology & Applied Science Research;2024-04-02