我正处于一些研究的中间,并且未能找到很多文献可以帮助,我想比较两种形式方法的平台依赖性;代数规范和面向对象。他们会使用哪种语言?
有没有人对此有任何了解或能指出正确的方向?感谢
答案 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。