形式化方法 - 代数规范与面向对象

Question

我正处于一些研究的中间，并且未能找到很多文献可以帮助，我想比较两种形式方法的平台依赖性;代数规范和面向对象。他们会使用哪种语言？

有没有人对此有任何了解或能指出正确的方向？感谢

Answer 1

我知道“代数规范”是什么意思（GIYF：见http://en.wikipedia.org/wiki/Algebraic_specification），因为我的公司已经建立了这样一个系统，并将其用于工业实践。 “语言”是描述函数功能的抽象数据类型，函数签名和公理的语言，ADT，签名和公理经常打包成参数化的“代数”，可以组合形成更复杂的代数。

我不确定“面向对象”（规范）是什么意思。大多数OO“设计”只是简单的类集（隐式表示数据类型）和签名，没有附加的语义。我几乎不称这些为“规范”;相反，它们是“草图”。

Answer 2

请原谅我，但根据定义，规格与平台无关。如果您正在寻找支持面向对象建模的规范语言，我认为VDM ++非常适合。

Answer 3

我认为本文可能会对您有所帮助。它可以在线获得（谷歌），但是，我不确定它是否已发布。在作者DBLP中没有任何关于它的内容。

“面向对象形式方法的比较”，作者：Nicolas Guel，Olivier Biberstein，Didier Buchs，Ercument Canver，Marie-Claude Gaudel，Friedrich von Henke，Detlef Schwier。