Using knowledge and expressions to validate inter-model constraints

详细信息    查看全文

• 作者：David Simon Zayas^* ; ^{david.simon-zayas@eads.net" class="auth_mail" title="E-mail the corresponding author} ; Anne Monceaux^* ; ^{anne.monceaux@eads.net" class="auth_mail" title="E-mail the corresponding author} ; Yamine Ait-Ameur^** ; ^{yamine@ensma.fr" class="auth_mail" title="E-mail the corresponding author}
• 关键词：Systems engineering ; Interoperability ; Concurrent Engineering ; Models
• 刊名：IFAC-PapersOnLine
• 出版年：2011
• 出版时间：January 2011
• 年：2011
• 卷：44
• 期：1
• 页码：2737-2742
• 全文大小：481 K

文摘

Model Based System Engineering (MBSE) field recommends practices, framework, tools and standards to improve the modeling of systems. Nevertheless, even though one follows a modeling methodology, inconsistencies arise in models since they are shared and developed in a collaborative context. This paper focuses on an approach to manage models heterogeneity by taking into consideration the implicit knowledge of the engineers. We defend this knowledge as the key to check inter-model constraints in the framework of MBSE methodologies.