[HTML][HTML] Models@ runtime: The development and re-configuration management of python applications using formal methods

MM Bouhamed, G Díaz, A Chaoui, O Kamel… - Applied Sciences, 2021 - mdpi.com
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 …

Multi-paradigm modelling for model based systems engineering: Extending the ftg+ pm

R Paredis, J Exelmans… - 2022 Annual Modeling …, 2022 - ieeexplore.ieee.org
Model Based Systems Engineering (MBSE) supports Cyber-Physical Systems (CPS) design,
by experts from various domains, through complex workflows, manipulating models in …

Monitoring Association Constraints in Model-Oriented Programming

S Guérin, J Champeau, A Beugnard… - 2023 ACM/IEEE …, 2023 - ieeexplore.ieee.org
Associations are a key concept in modeling languages as a way to formalize the
relationships between domain concepts. Unfortunately, the support of semantically rich …

Service request monitoring using Petri nets and model at runtime

MM Bouhamed, O Kamel, G Dı́az, A Chaoui - 2022 - researchsquare.com
The service computing paradigm has been widely adopted in various domains, such as in
Web applications, Cloud computing and Internet of Things (IoT). Service providers offer …

[HTML][HTML] eLegalls-as-a-Service: Towards Developing Cloud-based Legal Tech System to Aid Lawyering in the Digital Age

S Sugam, S Ritu, D Divya, P Millie - Legal Issues in the digital Age, 2024 - cyberleninka.ru
Legal Tech Jurisprudence is not as developed as it was hoped for, compared with other
fields of study. As a result, legal tech has not advanced globally as would have been …

FML: un langage de fédération de modèles pour l'interopérabilité sémantique de sources d'information hétérogènes

S Guérin - 2023 - theses.hal.science
La modélisation est une pratique universelle à la base de la pensée humaine, pour
concevoir, comprendre, calculer, imaginer, analyser, communiquer. L'Ingénierie Dirigée par …