Simplifying transformations of OCL constraints
Simplifying transformations of OCL constraints
复制标题
简化 OCL 约束的转换
DOI：
--
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
Daniel Larsson
中科院分区：
文献类型：
--
作者：
M. Giese;Daniel Larsson
随着模型驱动架构的出现，OCL约束不再需要由人来编写。它们可以是从一系列转换中产生的模型的一部分。它们可能是实例化模板、组合预制部件或更一般计算的结果。这种生成的规范通常会包含冗余，从而降低其可读性。在本文中，我们探讨了通过重复应用简单规则将OCL公式转换为更简单形式的可能性。我们讨论了所需的不同类型的规则，并描述了该方法的原型实现。
With the advent of Model Driven Architecture, OCL constraints are no longer necessarily written by humans. They can be part of models that emerge from a chain of transformations. They might be the result of instantiating templates, of combining prefabricated parts, or of more general computation. Such generated specifications will often contain redundancies that reduce their readability. In this paper, we explore the possibilities of transforming OCL formulae to a simpler form through the repeated application of simple rules. We discuss the different kinds of rules that are needed, and we describe a prototypical implementation of the approach.