[HTML][HTML] 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 …
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 …
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 …
relationships between domain concepts. Unfortunately, the support of semantically rich …
Service request monitoring using Petri nets and model at runtime
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 …
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 …
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 …
concevoir, comprendre, calculer, imaginer, analyser, communiquer. L'Ingénierie Dirigée par …