Models@Runtime: The Development and Re-Configuration Management of Python Applications Using Formal Methods.
Saved in:
| Title: | Models@Runtime: The Development and Re-Configuration Management of Python Applications Using Formal Methods. |
|---|---|
| Authors: | Bouhamed, Mohammed Mounir, Díaz, Gregorio, Chaoui, Allaoua, Kamel, Oussama, Nouara, Radouane |
| Source: | Applied Sciences (2076-3417); Oct2021, Vol. 11 Issue 20, p9743, 21p |
| Subject Terms: | PYTHON programming language, PETRI nets, SERVICE level agreements |
| Abstract: | Models@runtime (models at runtime) are based on computation reflection. Runtime models can be regarded as a reflexive layer causally connected with the underlying system. Hence, every change in the runtime model involves a change in the reflected system, and vice versa. To the best of our knowledge, there are no runtime models for Python applications. Therefore, we propose a formal approach based on Petri Nets (PNs) to model, develop, and reconfigure Python applications at runtime. This framework is supported by a tool whose architecture consists of two modules connecting both the model and its execution. The proposed framework considers execution exceptions and allows users to monitor Python expressions at runtime. Additionally, the application behavior can be reconfigured by applying Graph Rewriting Rules (GRRs). A case study using Service-Level Agreement (SLA) violations is presented to illustrate our approach. [ABSTRACT FROM AUTHOR] |
| Copyright of Applied Sciences (2076-3417) is the property of MDPI and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Database: | Complementary Index |
Full Text Finder 
Nájsť tento článok vo Web of Science Be the first to leave a comment!