F类皮重O（运行）C类L（左）:A类 P（P）提议M（M）机器-C类被检查过的F类正常S公司用于的放射O（运行）C类L（左）2.5

阿希姆·D·布鲁克 📧,Tuong神父 📧和伯克哈特·沃尔夫 📧

2014年1月16日

这是本条目的开发版本。它可能会随着时间的推移而变化，并且不稳定。引用请参考发布版本。

摘要

统一建模语言（UML）是为数不多的工业中广泛使用的建模语言。While期间UML通常被称为图表建模语言（例如，可视化类模型），它由一个文本语言，称为对象约束语言（OCL）。OCL的当前版本基于四值将UML转换为正式语言的逻辑。任何类型包含“无效”和“空”元素分别以严格和非严格的方式传播。不幸的是，它以前的半形式语义规范语言，见OCL标准，导致对角落的不同解释案例。我们形式化了OCL的核心：指称定义、逻辑演算和运算规则允许通过以下混合方式执行OCL表达式术语重写和代码编译。我们的形式化揭示了OCL标准的当前版本。总的来说，本文件旨在为机器检查文本提供基础针对工具的OCL标准的“附录A”实施者。

许可证

许可协议

历史

2015年10月13日
afp-devel@ea3b38fc54d6和霍尔测试根@12148
更新Featherweight OCL，包括摘要中的更改。
2014年1月16日
afp-devel@9091ce05cb20和hol-testgen@10241
新条目：Featherweight OCL

话题

会话Featherweight_OCL

引用

× 
@文章{Featherweight_OCL-AFP，author={Achim D.Brucker和FréDéric Tuong和Burkhart Wolff}，title={Featherweight OCL:OCL2.5}机器检查形式语义的建议，journal={正式证据存档}，月={1月}，年份={2014}，注意={\url{https://isa-afp.org/entries/Featherweight_OCL.html}，形式证明开发}，ISSN={2150-914x}，}
下载

下载

× 下载最新版本

旧版本：