用于模型行为精确和可重用定义的多级耦合模型变换
Multilevel Coupled Model Transformations for Precise and Reusable Definition of Model Behaviour
摘要：
领域特定语言（DSL）的使用是开发针对特定问题空间的工具的一个有前途的领域，有效地降低了手工软件的复杂性。为了使模型尽可能精确、简单和可重用，我们使用多级建模的概念来增强DSL，其中抽象级别的数量不受限制。这对于带有行为的DSL定义特别有用，因为其概念本质上属于不同的抽象级别。在这里，模型可以表示建模系统的状态，并使用模型转换进行演化。这些转换可以从多级设置中受益，成为行为建模语言语义的精确和可重用的定义。在本文中，我们提出了多层次耦合模型变换的概念，连同例子，正式定义和工具，以评估其概念的合理性和实用价值。
英文摘要：
The use of Domain-Specific Languages (DSLs) is a promising field for the development of tools tailored to specific problem spaces, effectively diminishing the complexity of hand-made software. With the goal of making models as precise, simple and reusable as possible, we augment DSLs with concepts from multilevel modelling, where the number of abstraction levels are not limited. This is particularly useful for DSL definitions with behaviour, whose concepts inherently belong to different levels of abstraction. Here, models can represent the state of the modelled system and evolve using model transformations. These transformations can benefit from a multilevel setting, becoming a precise and reusable definition of the semantics for behavioural modelling languages. We present in this paper the concept of Multilevel Coupled Model Transformations, together with examples, formal definitions and tools to assess their conceptual soundness and practical value.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
