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

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

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

Full description

Bibliographic Details
Main Authors: Mohammed Mounir Bouhamed, Gregorio Díaz, Allaoua Chaoui, Oussama Kamel, Radouane  Nouara
Format: Article
Language:English
Published: MDPI AG 2021-10-01
Series:Applied Sciences
Subjects:
models@runtime
python application
petri nets
formal methods
graph rewriting rules
application re-configuration
Online Access:https://www.mdpi.com/2076-3417/11/20/9743

Similar Items

Similar Items