フォーマルメソッド - 代数的仕様

をオブジェクト指向対私はいくつかの研究の途中で午前助けるために多くの文献を見つけることができませんでした、私は2つの形式手法のプラットフォーム依存性を比較したいです。代数仕様とオブジェクト指向。どの言語を使うのですか？フォーマルメソッド - 代数的仕様

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

出典

2012-03-08 Student

私の会社はこのようなシステムを構築し、それを産業慣行として使用していたので、「代数仕様」（GIYF：http://en.wikipedia.org/wiki/Algebraic_specificationを参照）が何を意味するのか知っています。「言語」は、ADT、シグネチャ、および公理がパラメータ化された「代数」にパッケージ化されており、より複雑な代数を形成することができる抽象データ型、関数シグネチャおよび公理の機能を記述したものです。

私は、あなたが「オブジェクト指向」（仕様）によって何を意味するかわかりません。ほとんどのOO「設計」は、（データ型を暗黙的に表す）クラスとシグネチャの集合であり、セマンティクスは添付されていません。私はそれらを「仕様」と呼ぶことはほとんどありません。むしろ、それらは「スケッチ」です。

出典

2012-03-08 16:50:59

プラットフォーム依存性の観点から、代数的にはCASLのような特定の言語を使用し、オブジェクト指向のようにかなり基本的であるように、その複雑さに応じて依存して、選択した言語プラットフォームであることができると言うには、正しいだろうだから....あなたの答えをありがとう任意のウィンドウ、MacまたはLinuxコンピュータ上でUML図を使用することは簡単ですか？ – Student

CASLなら、あなたはこの種のものを意味します：http://dl.acm.org/citation.cfm?id=1139752私は答えが「はい」だと思います。プラットフォームの依存関係についての質問は私をループの対象にしてくれます。ほとんどの代数仕様システムはいくつかのプラットフォーム上で動作しますが、それは本当の意味ではありません。彼らはほとんどが語彙を持っていません。 UMLベースのツールも同様です。（実装に関連するいくつかのUMLダイアグラムは、私がかなり珍しい方法で考えるものでプラットフォームを命名することができますが）。 –

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

出典

2012-07-25 04:08:07 Bassam

プラットフォームに依存しませんか？本当に抽象的な仕様かもしれません。実際的な問題として、仕様は暗黙的に記述されている実装よりも詳細が少ないだけです。それらは*非常に*プラットフォーム固有のものであり、依然として有用です。 –

私は、この論文はあなたを助けるかもしれないと思います。それはオンライン（Googleのそれ）で利用可能ですが、私はそれが公開されているかどうかはわかりません。著者DBLPには何も書かれていません。

Nicolas Guel、Olivier Biberstein、Didier Buchs、Ercument Canver、Marie-Claude Gaudel、Friedrich von Henke、Detlef Schwierによる「オブジェクト指向フォーマルメソッドの比較」

出典

2013-02-18 12:32:30

フォーマルメソッド - 代数的仕様

答えて

関連する問題