Maude Strategies-Based SoSs Workflow Modeling

Charaf Eddine Dridi, Charaf Eddine Dridi, Nabil Hameurlain, Faiza Belala

2025

Abstract

Systems of Systems (SoSs) are large-scale, complex, and occasionally critical software systems. They emerge from the integration of autonomous, heterogeneous, and evolving Constituent Systems (CSs) that collaborate to fulfill operational missions and provide functionalities that exceed those of individual systems. The modeling, simulation, and analysis of SoSs are challenging due to complexities such as temporal constraints on missions and the emergence of both desired and unwanted behaviors within CSs. In this paper, we propose a formal-based solution to specify and validate the functional behavior of SoSs. We employ the Maude Strategy language, a rewriting logic-based language to define the operational semantics of these systems. This includes implementing a set of strategies for managing mission execution, which aim to enhance the SoS workflow by avoiding undesirable behaviors and promoting desirable ones. Our approach offers an executable solution for these strategies and validates the SoS behavior using model-checking techniques provided by Maude. To demonstrate its applicability, the approach is illustrated with a case study of a French Emergency SoS.

Paper Citation

in Harvard Style

Dridi C., Hameurlain N. and Belala F. (2025). Maude Strategies-Based SoSs Workflow Modeling. In Proceedings of the 20th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE; ISBN 978-989-758-742-9, SciTePress, pages 316-327. DOI: 10.5220/0013481800003928

in Bibtex Style

@conference{enase25,
author={Charaf Eddine Dridi and Nabil Hameurlain and Faiza Belala},
title={Maude Strategies-Based SoSs Workflow Modeling},
booktitle={Proceedings of the 20th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE},
year={2025},
pages={316-327},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0013481800003928},
isbn={978-989-758-742-9},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 20th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE
TI - Maude Strategies-Based SoSs Workflow Modeling
SN - 978-989-758-742-9
AU - Dridi C.
AU - Hameurlain N.
AU - Belala F.
PY - 2025
SP - 316
EP - 327
DO - 10.5220/0013481800003928
PB - SciTePress