形式的方法 - 代数仕様対オブジェクト指向

Question

私はいくつかの研究の途中で、そして助けに多くの文献を見つけることができなかった、私は2つの形式的方法のプラットフォームの依存関係を比較したいです。代数仕様とオブジェクト指向彼らはどの言語を使うのですか？

誰もがこれに関する知識を持っているか、私を正しい方向に向けることができますか？ありがとう

Answer 1

私は「代数仕様」を意味するものを知っています（giyf：href="http://en.wikipedia.org/wiki/algebraic_specification" real="nofollout"> http://en.wikipedia.org/Wiki / Algebraic_specification ）私の会社がそのようなシステムを構築し、それを産業練習で使用したように。「言語」は、抽象データ型、機能シグネチャ、および機能が、ADTS、署名、および公理がしばしばより複雑な代数を形成するために組み合わせることができるパラメータ化された「代数」にしばしばパッケージ化されることを説明する機能署名および公理です。

「オブジェクト指向」（仕様）によって何を意味するのかわからない。ほとんどのOO "デザイン"は、単に添付の意味論を持たない、単にクラス（データ型を暗黙的に表します）と署名です。私はそれらの「仕様」と呼ばれません。むしろ、それらは「スケッチ」です。

Answer 2

Pardon Me、しかし、定義による仕様はプラットフォームに依存しません。オブジェクト指向モデリングをサポートする仕様言語を探している場合は、VDM ++が適していると思います。

Answer 3

この論文はあなたを助けるかもしれないと思います。オンラインで入手可能です（Google It）。ただし、公開されているかどうかわからない。著者のDBLPの中では何もない。

「オブジェクト指向の正式な方法の比較」、Nicolas Guel、Olivier Biberstein、Disier Buchs、Ercument Canver、Marie-Claude Gaudel、Friedrich Von Henke、Detlef Schwier。