A Formal Semantics for OCL 1.4

A Formal Semantics for OCL 1.4
复制标题

OCL 1.4 的形式语义

DOI：
--
复制
发表时间：
2001
期刊：
International Conference on the Unified Modeling Language
影响因子：
--
通讯作者：
Alexander Knapp
Alexander Knapp
中科院分区：
--
文献类型：
--
作者：
M. V. Cengarle;Alexander Knapp

文献摘要

被引文献

相似文献

OCL 1.4规范引入了let声明，用于在UML的静态结构中添加辅助类特性。我们为OCL 1.4提供了一个类型推理系统和一个大步骤的操作语义，它将UML静态结构和UML对象模型抽象化，并容纳额外的声明;操作语义满足类型推理系统的主题还原属性。我们还讨论了一种替代的，非操作性的解释，让声明的约束。
The OCL 1.4 specification introduces let-declarations for adding auxiliary class features in static structures of the UML. We provide a type inference system and a big-step operational semantics for the OCL 1.4 that treat UML static structures and UML object models abstractly and accommodate for additional declarations; the operational semantics satisfies a subject reduction property with respect to the type inference system. We also discuss an alternative, non-operational interpretation of let-declarations as constraints.