文章基本信息

标题：A Formal Definition of Model Composition Traceability
本地全文：下载
作者：Youness Laghouaouta ; Adil Anwar ; Mahmoud Nassar 等
期刊名称：International Journal of Computer Science Issues
印刷版ISSN：1694-0784
电子版ISSN：1694-0814
出版年度：2015
卷号：12
期号：6
出版社：IJCSI Press
摘要：In a multi-modeling based approach, the system under development is described by several models that represent various perspectives and concerns. Obviously, these partial representations are less complex than the global model, but they need to be composed to address validation and synchronization tasks. The model composition is a crucial model driven development operation, but it remains a tedious and error prone activity. In this perspective, a traceability mechanism offers a way to master this complexity by providing support to comprehend the composition effects. In previous work, we presented a traceability approach dedicated to this operation. The current takes advantages of these experiments, and proposes a formalization of the model composition traceability. Also, an overview of a generic traceability approach is provided. The latter relies on the formal definition we introduce for the model composition operation and the related traces.
关键词：Model Traceability; Model Driven Development; Model Composition; Formal Approach