正式方法 - 代数规范VS面向对象

Question

我在一些研究中间，并无法找到很多文学来帮助，我想比较两种形式方法的平台依赖性;代数规范和面向对象。他们会使用哪种语言？

有没有人知道这一点或者可以将我指向正确的方向？谢谢

Answer 1

我知道什么“代数规范”是什么意思（giyf：请参阅 http://en.wikipedia.org/Wiki / Algebraic_Specification ）随着我公司建立了这样的系统并使用它的工业实践。“语言”是抽象数据类型，功能签名和公理，描述功能所做的功能，签名和公理经常打包成参数化的“代数”，其可以组合以形成更复杂的代数。

我不确定你的意思是“面向对象”（规范）。大多数OO“Designs”只是类的类（隐式代表数据类型）和签名，没有附加语义。我几乎没有称之为“规范”;相反，它们是“素描”。

Answer 2

赦免我，但规范，根据定义，是平台独立的。如果您正在寻找支持面向对象建模的规范语言，我假设VDM ++是一个很好的合适。

Answer 3

我认为这篇论文可以帮助你。它在线（Google It）可用，但是，我不确定是否出版或不发布。在作者DBLP中没有任何东西。

“面向对象的形式方法”，由Nicolas Guel，Olivier Biberstein，Didier Buchs，ercument Canver，Marie-Claude Gaudel，Friedrich Von Henke，Detlef Schwier。