正式方法 - 代數規範vs面向對象

我正處於一些研究的中間，一直未能找到很多文獻來幫助，我想比較兩種形式方法的平臺依賴關係;代數規範和麪向對象。他們將使用哪種語言？正式方法 - 代數規範vs面向對象

有沒有人有這方面的知識或可以指向正確的方向？謝謝

2012-03-08 Student

我知道「代數規範」的含義是什麼（GIYF：見http://en.wikipedia.org/wiki/Algebraic_specification），因爲我的公司已經建立了這樣一個系統並用於工業實踐。在「語言」是抽象數據類型，函數簽名和公理描述什麼功能呢，有ADT的，簽名和公理往往打包成參數「代數」，它可以結合起來，形成更復雜的代數這一點。

我不確定「面向對象」（規範）是什麼意思。最OO「設計」是簡單地設置的類（隱式表示的數據類型）和簽名，不帶任何附加語義。我幾乎不會將這些稱爲「規範」。相反，他們是「素描」。

來源

2012-03-08 16:50:59

謝謝你的答案....所以在平臺的依賴方面，它是正確的說代數使用特定的語言，如CASL和可以依賴於平臺，根據其複雜性和其中的面向對象的選擇的語言是非常基本的在任何Windows，Mac或Linux計算機上使用UML圖可能很簡單？ – Student 2012-03-08 17:04:13

如果CASL你的意思是這樣的事情：http://dl.acm.org/citation.cfm?id=1139752那麼我想答案是肯定的。關於平臺依賴關係的問題完全引發了我的循環;最代數規範的系統在某些平臺上運行[但那不是真正的興趣]，但他們指定幾乎從來沒有在它的平臺依賴性;他們大多沒有詞彙。基於UML的工具也是如此。（儘管與部署相關的一些UML圖可以通過相當特別的方式命名我認爲的平臺）。 – 2012-03-08 17:10:15

請原諒我，但根據定義，規範是獨立於平臺的。如果你正在尋找一個支持面向對象的建模規範語言，我想VDM ++是一個不錯的選擇。

來源

2012-07-25 04:08:07 Bassam

平臺無關？真正抽象的規格可能是。作爲一個實際問題，規範只是比它們隱含描述的實現簡單得多。他們可以*非常*平臺特定的，仍然有用。 – 2012-07-25 04:44:24

我認爲這篇論文可能對你有所幫助。它可以在網上（谷歌它），但是，我不知道它是否發佈。作者DBLP沒有任何關於它的信息。

Nicolas Guel，Olivier Biberstein，Didier Buchs，Ercument Canver，Marie-Claude Gaudel，Friedrich von Henke，Detlef Schwier的「面向對象的形式化方法比較」。

來源

2013-02-18 12:32:30

正式方法 - 代數規範vs面向對象

回答

相關問題