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

时间:2012-03-08 16:27:21

标签: formal-methods

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

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

3 个答案:

答案 0 :(得分:1)

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

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

答案 1 :(得分:0)

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

答案 2 :(得分:0)

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

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