Conflict Resolution in Mechatronic Collaborative Design Using Category Theory
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 l...
| Main Authors: | , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
MDPI AG
2021-05-01
|
| Series: | Applied Sciences |
| Subjects: | |
| Online Access: | https://www.mdpi.com/2076-3417/11/10/4486 |
| _version_ | 1797534107335393280 |
|---|---|
| author | Mouna Fradi Faïda Mhenni Raoudha Gaha Abdelfattah Mlika Jean-Yves Choley |
| author_facet | Mouna Fradi Faïda Mhenni Raoudha Gaha Abdelfattah Mlika Jean-Yves Choley |
| author_sort | Mouna Fradi |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-03-10T11:24:57Z |
| format | Article |
| id | doaj.art-870aa471eb4942059cb393076a274a5c |
| institution | Directory Open Access Journal |
| issn | 2076-3417 |
| language | English |
| last_indexed | 2024-03-10T11:24:57Z |
| publishDate | 2021-05-01 |
| publisher | MDPI AG |
| record_format | Article |
| series | Applied Sciences |
| spelling | doaj.art-870aa471eb4942059cb393076a274a5c2023-11-21T19:44:26ZengMDPI AGApplied Sciences2076-34172021-05-011110448610.3390/app11104486Conflict Resolution in Mechatronic Collaborative Design Using Category TheoryMouna Fradi0Faïda Mhenni1Raoudha Gaha2Abdelfattah Mlika3Jean-Yves Choley4Laboratory of Mechanics of Sousse, National Engineering School of Sousse, University of Sousse, Novation City, Sousse 4023, TunisiaQuartz Laboratory, ISAE-SUPMECA, 93400 Saint-Ouen, FranceLaboratory of Mechanics of Sousse, National Engineering School of Sousse, University of Sousse, Novation City, Sousse 4023, TunisiaLaboratory of Mechanics of Sousse, National Engineering School of Sousse, University of Sousse, Novation City, Sousse 4023, TunisiaQuartz Laboratory, ISAE-SUPMECA, 93400 Saint-Ouen, FranceDue 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.https://www.mdpi.com/2076-3417/11/10/4486conflict resolution processmechatronic systemcollaborative designcategory theory |
| spellingShingle | Mouna Fradi Faïda Mhenni Raoudha Gaha Abdelfattah Mlika Jean-Yves Choley Conflict Resolution in Mechatronic Collaborative Design Using Category Theory Applied Sciences conflict resolution process mechatronic system collaborative design category theory |
| title | Conflict Resolution in Mechatronic Collaborative Design Using Category Theory |
| title_full | Conflict Resolution in Mechatronic Collaborative Design Using Category Theory |
| title_fullStr | Conflict Resolution in Mechatronic Collaborative Design Using Category Theory |
| title_full_unstemmed | Conflict Resolution in Mechatronic Collaborative Design Using Category Theory |
| title_short | Conflict Resolution in Mechatronic Collaborative Design Using Category Theory |
| title_sort | conflict resolution in mechatronic collaborative design using category theory |
| topic | conflict resolution process mechatronic system collaborative design category theory |
| url | https://www.mdpi.com/2076-3417/11/10/4486 |
| work_keys_str_mv | AT mounafradi conflictresolutioninmechatroniccollaborativedesignusingcategorytheory AT faidamhenni conflictresolutioninmechatroniccollaborativedesignusingcategorytheory AT raoudhagaha conflictresolutioninmechatroniccollaborativedesignusingcategorytheory AT abdelfattahmlika conflictresolutioninmechatroniccollaborativedesignusingcategorytheory AT jeanyvescholey conflictresolutioninmechatroniccollaborativedesignusingcategorytheory |