uml - OCL を含む UML を正式な仕様に使用できますか?

Question

UML は非公式の仕様に使用されており、そのセマンティクスにはいくつかのあいまいさがあるため、質問しています。ただし、OCL を使用して、事前/事後条件、不変条件、およびその他の制約を非常に効率的に指定できると思います。

最近 Z 記法と代数仕様に出会いました。私の質問は、UML と OCL の組み合わせで正式な仕様として十分ですか?

Answer 1

はい、ほとんどのシステムで構築できます。

つまり、UML と OCL は準形式言語にすぎません (構文は明確に定義されていますが、セマンティクスは部分的にしか形式化されておらず、多くの側面が標準のドキュメント仕様で自然言語で記述されているだけです)。したがって、重要なシステムを構築していて、システムの正確性を証明する必要がある場合、UML/OCL では不十分かもしれませんが、他の多くの種類のシステムでは、UML/OCL が提供できる形式で十分です。