Deadline Verification for Web Services Using Timed Automata
Received: 10 November 2021 | Revised: 20 November 2021 | Accepted: 5 December 2021 | Online: 25 December 2021
Corresponding author: Y. El Touati
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).
Keywords:
web services, deadlines, timed automata, verificationDownloads
References
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: https://doi.org/10.1109/TSC.2016.2605090
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: https://doi.org/10.1109/SCC.2017.53
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: https://doi.org/10.1109/ICECTECH.2011.5941653
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: https://doi.org/10.4018/ijitwe.2015010101
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: https://doi.org/10.1109/ICWS.2015.50
R. Alur and D. L. Dill, "A theory of timed automata," Theoretical Computer Science, vol. 126, no. 2, pp. 183–235, Apr. 1994. DOI: https://doi.org/10.1016/0304-3975(94)90010-8
T. A. Henzinger, Z. Manna, and A. Pnueli, "Timed transition systems," in Real-Time: Theory in Practice, Berlin, Heidelberg, 1992, pp. 226–251. DOI: https://doi.org/10.1007/BFb0031995
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: https://doi.org/10.1006/inco.1994.1045
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: https://doi.org/10.14569/IJACSA.2018.090561
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: https://doi.org/10.1109/ICWS.2006.113
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: https://doi.org/10.1109/93.923954
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: https://doi.org/10.1109/GRID.2010.5697966
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: https://doi.org/10.1006/jcss.1998.1581
G. Frehse, "PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech," in Hybrid Systems: Computation and Control, Berlin, Heidelberg, 2005, pp. 258–273. DOI: https://doi.org/10.1007/978-3-540-31954-2_17
G. A. Tarnavsky and E. V. Vorozhtsov, "Cloud Computing in Science and Engineering and the ‘SciShop.ru’ Computer Simulation Center," Engineering, Technology & Applied Science Research, vol. 1, no. 6, pp. 133–138, Dec. 2011. DOI: https://doi.org/10.48084/etasr.87
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: https://doi.org/10.48084/etasr.53
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: https://doi.org/10.48084/etasr.4077
Downloads
How to Cite
License
Copyright (c) 2021 Y. El Touati
This work is licensed under a Creative Commons Attribution 4.0 International License.
Authors who publish with this journal agree to the following terms:
- Authors retain the copyright and grant the journal the right of first publication with the work simultaneously licensed under a Creative Commons Attribution License that allows others to share the work with an acknowledgement of the work's authorship and initial publication in this journal.
- Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgement of its initial publication in this journal.
- Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) after its publication in ETASR with an acknowledgement of its initial publication in this journal.
