我正在进行一些研究，并没有找到太多的文献来帮助，我想比较两种形式化方法的平台依赖关系；代数规范和面向对象。他们会使用哪种语言？
有没有人对此有任何了解或可以指出我正确的方向？谢谢
问问题
459 次
3 回答
1
我知道“代数规范”是什么意思（GIYF：见http://en.wikipedia.org/wiki/Algebraic_specification），因为我的公司已经建立了这样一个系统并在工业实践中使用它。“语言”是抽象数据类型、函数签名和描述函数作用的公理的语言，ADT、签名和公理通常打包成参数化的“代数”，这些代数可以组合形成更复杂的代数。
我不确定“面向对象”（规范）是什么意思。大多数面向对象的“设计”只是一组类（隐含地表示数据类型）和签名，没有附加语义。我几乎不会称这些为“规范”。相反，它们是“草图”。
于 2012-03-08T16:50:59.263 回答
0
请原谅我，但根据定义，规范与平台无关。如果您正在寻找一种支持面向对象建模的规范语言，我认为 VDM++ 非常适合。
于 2012-07-25T04:08:07.103 回答
0
我认为这篇论文可能会对你有所帮助。它可以在线获得（google it），但是，我不确定它是否已发布。作者 DBLP 对此一无所知。
“面向对象形式方法的比较”，作者 Nicolas Guel、Olivier Biberstein、Didier Buchs、Ercument Canver、Marie-Claude Gaudel、Friedrich von Henke、Detlef Schwier。
于 2013-02-18T12:32:30.120 回答