An Extended Type System for OCL Supporting Templates and Transformations
An Extended Type System for OCL Supporting Templates and Transformations
复制标题
支持模板和转换的 OCL 扩展类型系统
DOI：
10.1007/11494881_6
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
M. Kyas
中科院分区：
文献类型：
--
作者：
M. Kyas
根据我们为对象约束语言(OCL)实现类型检查器的经验，我们观察到OCL不适合约束正在开发的系统，因为底层类图中的更改不必要地使约束的类型正确性无效，而它们的语义值不会更改。此外，OCL的类型系统不支持模板，为了缓解这些问题，我们在OCL的类型系统中扩展了交集和并集类型以及有界运算符抽象。我们的类型系统的主要优势是，它允许在上下文类图中进行更多更改，而无需适应OCL约束。
Based on our experience in implementing a type-checker for the Object Constraint Language (OCL), we observed that OCL is not suitable for constraining a system under development, because changes in the underlying class diagram unnecessarily invalidate the type correctness of constraints, while their semantic value does not change. Furthermore, the type system of OCL does not support templates.To alleviate these problems, we extended the type system of OCL with intersection and union types and bounded operator abstraction. The main advantage of our type system is that it allows more changes in the contextual class diagrams without adapting the OCL constraints.