阿希姆·D·布鲁克。;沃尔夫,伯克哈特 HOL-OCL:经验、后果和设计选择。 (英文) Zbl 1018.68566号 Jézéquel,Jean-Marc(编辑)等人,“UML”2002——统一建模语言。模型工程、概念和工具。第五届国际会议,2002年9月30日至10月4日,德国德累斯顿。诉讼程序。柏林:斯普林格。勒克特。注释计算。科学。第2460页,196-211页(2002年)。 总结:基于在高阶逻辑中嵌入对象约束语言(OCL)的经验,我们探讨了OCL形式语义设计的几个关键问题。OCL的Thecs。这些问题包括不变量、前置条件和后置条件、可执行子语言的解释以及精化概念的可能性。特别强调了UML/OCL规范中的机械化演绎问题。关于整个系列,请参见[Zbl 1005.68723号]. MSC公司: 68单位99 计算方法和应用 68甲15 编程语言理论 关键词:OCL公司;形式语义学;约束语言;精炼 软件:ETPS公司;HOL-OCL公司 PDF格式BibTeX公司 XML格式引用 \textit{A.D.Brucker}和\textit{B.Wolff},莱克特。注释计算。科学。2460196-211(2002;Zbl 1018.68566) 全文: 链接