Towards a Categorical Framework for Verifying Design and Implementation of Concurrent Systems

Zhu, Muhua; Li, Jing

doi:10.4236/jcc.2018.611022

Cited by 4 publications

(4 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The powerful mathematical structure of CT is applied in several research works in different domains such as systems engineering and collaborative design. A categorical framework is presented by Zhu and Li [4] in order to design and implement concurrent systems. This approach makes use of functors to check consistency between design categorical models and implementation categorical models.…”

Section: B Category Theory Related Approachesmentioning

confidence: 99%

“…Since these models are performed by several stakeholders, they may present some conflicts that need to be handled carefully [3]. This can be reached through creating a common formalism supporting conflict detection as well as resolution [4]. The formal framework provides, on one hand, the detection of potential contradictions occurred among the expert models, and on the other hand, the resolution of these conflicts.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Conflict Management for Mechatronic Systems Design

Fradi

Mhenni

Gaha

et al. 2021

2021 IEEE International Symposium on Systems Engineering (ISSE)

View full text Add to dashboard Cite

Due to the multidisciplinary and complex nature of mechatronic systems, collaborative design becomes necessary in order to reduce the design cycle time and cost. This collaboration involves the use of numerous languages and expert models in order to represent distinct views on the same system. Consequently, conflicts among these models are likely to happen and need to be detected and resolved carefully. In order to capture and handle these conflicts in an easy and simple way, a unifying formalism based on mathematical concepts is required. Thus, we suggest the use of Category Theory (CT), motivated by its mathematical and formal foundation to handle conflicts in a formal way. This work presents a new framework able to check and manage conflicts in collaborative design. This framework has two key features. First, to detect the conflicts between the expert models in a formal way based on category theory concepts. And second, to manage these conflicts in order to ensure the coherence of the system under design. Our approach is illustrated through its application to an Electronic Throttle Body (ETB) from the automotive industry since it involves the collaboration among several expert domains.

show abstract

Section: B Category Theory Related Approachesmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Conflict Management for Mechatronic Systems Design

Fradi

Mhenni

Gaha

et al. 2021

2021 IEEE International Symposium on Systems Engineering (ISSE)

View full text Add to dashboard Cite

show abstract

“…The solution category is related to the system category by functors where each alternative is a result of a particular functor. Additionally, Zhu and Li [37] presented a categorical framework to formally design and implement complex systems as well as to verify the consistency of communication between design and implementation. The presented framework is based on the use of functors in order to verify design categorical models against implementation categorical models.…”

Section: Category Theory In Collaborative Designmentioning

confidence: 99%

Conflict Resolution in Mechatronic Collaborative Design Using Category Theory

et al. 2021

View full text Add to dashboard Cite

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.

show abstract

“…The solution category is related to the system category using functors where every alternative is a result of a different functor. Similarly, Zhu and Li (2018) proposed a categorical framework to formally design and implement concurrent systems as well as to verify communication consistency among design and implementation. The presented framework is based on the use of functors in order to verify design categorical models against implementation categorical models.…”

Section: State Of the Artmentioning

confidence: 99%

Knowledge capitalization in mechatronic collaborative design

Fradi

Gaha

Mhenni

et al. 2021

Concurrent Engineering

View full text Add to dashboard Cite

In mechatronic collaborative design, there is a synergic integration of several expert domains, where heterogeneous knowledge needs to be shared. To address this challenge, ontology-based approaches are proposed as a solution to overtake this heterogeneity. However, dynamic exchange between design teams is overlooked. Consequently, parametric-based approaches are developed to use constraints and parameters consistently during collaborative design. The most valuable knowledge that needs to be capitalized, which we call crucial knowledge, is identified with informal solutions. Thus, a formal identification and extraction is required. In this paper, we propose a new methodology to formalize the interconnection between stakeholders and facilitate the extraction and capitalization of crucial knowledge during the collaboration, based on the mathematical theory ‘Category Theory’ (CT). Firstly, we present an overview of most used methods for crucial knowledge identification in the context of collaborative design as well as a brief review of CT basic concepts. Secondly, we propose a methodology to formally extract crucial knowledge based on some fundamental concepts of category theory. Finally, a case study is considered to validate the proposed methodology.

show abstract

Towards a Categorical Framework for Verifying Design and Implementation of Concurrent Systems

Cited by 4 publications

References 17 publications

Conflict Management for Mechatronic Systems Design

Conflict Management for Mechatronic Systems Design

Conflict Resolution in Mechatronic Collaborative Design Using Category Theory

Knowledge capitalization in mechatronic collaborative design

Contact Info

Product

Resources

About