私はOCLを初めて使用します。Eclipseルナ4.4.2でパピルスを使用していますclass call Address with attribute provenance with constraint {provenance should be Required}
形式言語に合わせた OCL 制約はどのように書けばよいでしょうか? 構文の正確性を検証する方法も知りたいですか?
私はOCLを初めて使用します。Eclipseルナ4.4.2でパピルスを使用していますclass call Address with attribute provenance with constraint {provenance should be Required}
形式言語に合わせた OCL 制約はどのように書けばよいでしょうか? 構文の正確性を検証する方法も知りたいですか?