Behavioral models play an essential role in Model-driven engineering (MDE). Keeping inter-related behavioral models consistent is critical to use them successfully in MDE. However, consistency checking for behavioral models, especially in a heterogeneous scenario, is limited. We propose a methodology to integrate heterogeneous behavioral models to achieve consistency checking in broader scenarios. It is based on aligning the respective behavioral metamodels by defining possible inter-model relations which carry behavioral meaning. Converting the models and their relations to a behavioral formalism enables analysis of global behavioral consistency using model-checking.

翻译：行为模型在模型驱动工程（MDE）中发挥着核心作用。保持相互关联的行为模型之间的一致性，对于在MDE中成功应用这些模型至关重要。然而，现有针对行为模型的一致性检查方法在异构场景中仍存在局限性。本文提出一种方法体系，通过整合异构行为模型来扩展一致性检查的适用范围。该体系基于定义具有行为语义的模型间关系，实现各行为元模型的对齐。通过将模型及其关系转化为行为形式化规范，可利用模型检验技术对全局行为一致性进行分析。