Conflict Resolution in Mechatronic Collaborative Design Using Category Theory - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Applied Sciences Année : 2021

Conflict Resolution in Mechatronic Collaborative Design Using Category Theory

Résumé

Due to the multitude of disciplines involved in mechatronic design, heterogeneous languages and expert models are used to describe the system from different domain-specific views. Despite their heterogeneity, these models are highly interrelated. As a consequence, conflicts among expert models are likely to occur. In order to ensure that these models are not contradictory, the necessity to detect and manage conflicts among the models arises. Detecting these inconsistencies at an early stage significantly reduces the amount of engineering activities re-execution. Therefore, to deal with this issue, a formal framework relying upon mathematical concepts is required. The mathematical theory, namely category theory (CT), is considered as an efficient tool to provide a formal and unifying framework supporting conflict detection and management. This paper proposes a comprehensive methodology that allows conflict detection and resolution in the context of mechatronic collaborative design. CT is used in order to explicitly capture the inconsistencies occurred between the disparate expert models. By means of this theory, the conflicts can be detected and handled in an easy and formal way. Our proposed approach is applied to a collaborative scenario concerning the electro-mechanical actuator (EMA) of the aileron.

Dates et versions

hal-03836775 , version 1 (02-11-2022)

Identifiants

Citer

Mouna Fradi, Faïda Mhenni, Raoudha Gaha, Abdelfattah Mlika, Jean-Yves Choley. Conflict Resolution in Mechatronic Collaborative Design Using Category Theory. Applied Sciences, 2021, 11 (10), pp.4486. ⟨10.3390/app11104486⟩. ⟨hal-03836775⟩
21 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More