2021
DOI: 10.3390/app11209743
|View full text |Cite
|
Sign up to set email alerts
|

Models@Runtime: The Development and Re-Configuration Management of Python Applications Using Formal Methods

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 … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
1
1

Citation Types

0
8
0

Year Published

2022
2022
2022
2022

Publication Types

Select...
4
2
1

Relationship

0
7

Authors

Journals

citations
Cited by 11 publications
(10 citation statements)
references
References 32 publications
0
8
0
Order By: Relevance
“…We focus on the PN formalism used in this work to model a service request. Then, we explain the notion of model@runtime, and we present the architecture of our model at-runtime framework introduced in our previous work [16]. This framework is used to develop the approach presented in this work.…”
Section: Background and Related Workmentioning
confidence: 99%
See 3 more Smart Citations
“…We focus on the PN formalism used in this work to model a service request. Then, we explain the notion of model@runtime, and we present the architecture of our model at-runtime framework introduced in our previous work [16]. This framework is used to develop the approach presented in this work.…”
Section: Background and Related Workmentioning
confidence: 99%
“…The transitions represent real actions that calculate a student grade. Therefore, models@runtime will support running systems and decision-making by many things, such as reconfiguring systems [16]. This paradigm offers a model reflection of the running system at runtime.…”
Section: B Model@runtimementioning
confidence: 99%
See 2 more Smart Citations
“…Banking sector is the chief network for providing credit facility to numerous commercial segments (Kamran et al, 2018;Kamel, 2005;Richard, 2011;Rehman, Adzis, & Mohamed Arshad, 2020). However, it cannot be ignored that the reliability and performance of the banking sector are measured through its earning steadiness (Kim et al, 2019;Ghosh, 2017;Yin, 2019), enhancements in the profitability (Galdeano et al, 2019Trujillo-Ponce, 2013Tan et al, 2017), growing the volume of funds from investors to debtors (Jakab & Kumhof, 2015), and facility of eminence services for their clients (Bouhamed, Díaz, Chaoui, Kamel, & Nouara, 2021;Panigrahi, Azizan, & Waris, 2018;Rafiq & Siddiqui, 2018;Zameer, Tara, Kausar, & Mohsin, 2015). Though, risk administration practices are the gauge for the general performance of the bank.…”
Section: Introductionmentioning
confidence: 99%