Models@Runtime: The Development and Re-Configuration Management of Python Applications Using Formal Methods
| Autor: | Radouane Nouara, Gregorio Díaz, Mohammed Mounir Bouhamed, Oussama Kamel, Allaoua Chaoui |
|---|---|
| Přispěvatelé: | Faculty of Information and Communication Technology (ICT), Instituto de Investigación en Informática, Universidad de Castilla-La Mancha, Faculty of Medicine, University Constantine 3 Salah Boubnider |
| Jazyk: | angličtina |
| Rok vydání: | 2021 |
| Předmět: |
Technology
Reflection (computer programming) formal methods Computer science QH301-705.5 QC1-999 petri nets application re-configuration Application re-configuration computer.software_genre Formal Methods Application lifecycle management graph rewriting rules General Materials Science Petri Nets Graph rewriting rules Layer (object-oriented design) Biology (General) Instrumentation QD1-999 computer.programming_language Fluid Flow and Transfer Processes Configuration management Graph rewriting application management Programming language Process Chemistry and Technology Physics General Engineering Python (programming language) Petri net Formal methods Engineering (General). Civil engineering (General) models@runtime Computer Science Applications Chemistry python application Application management TA1-2040 computer |
| Zdroj: | Applied Sciences Volume 11 Issue 20 Applied Sciences, Vol 11, Iss 9743, p 9743 (2021) |
| ISSN: | 2076-3417 |
| DOI: | 10.3390/app11209743 |
| Popis: | This work is licensed under a Creative Commons Attribution 4.0 International License. Models@runtime (models at runtime) are based on computation reflection. Runtimemodels 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. Tothe best of our knowledge, there are no runtime models for Python applications. Therefore, wepropose a formal approach based on Petri Nets (PNs) to model, develop, and reconfigure Pythonapplications at runtime. This framework is supported by a tool whose architecture consists of twomodules connecting both the model and its execution. The proposed framework considers executionexceptions and allows users to monitor Python expressions at runtime. Additionally, the applicationbehavior can be reconfigured by applying Graph Rewriting Rules (GRRs). A case study usingService-Level Agreement (SLA) violations is presented to illustrate our approach. 11 20 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|