問題タブ [ocl]

For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.

0 投票する
2 に答える
705 参照

groovy - OCLforAllと同等のGroovy

OCLのforAllメソッドに相当するGroovyとは何ですか?


アイテムのリストがあるとしましょう。

すべての項目が特定の基準に一致する場合にのみ保持される述語を表現するGroovyの方法は何ですか?


次のコードスニペットは機能しません。これは、内部リターンが各クロージャの現在の反復からのみジャンプし、forAllメソッドからはジャンプしないためです。


次のコードスニペットは、トリックを実行する必要がありますが、Groovyのようではなく、扱いにくいと感じています。


述語を怠惰に評価する方法を探しています。これにより、一致しない最初の項目が見つかったときに評価が終了します。

0 投票する
1 に答える
598 参照

object - OCL 要件: 属性値の可能な範囲の不変

したがって、次のオブジェクト構造があります。

すべての Node オブジェクトの RSSI 値の差が 2 を超えないという要件のために、OCL 不変式を作成する必要があります。反復式で解決しようとしましたが、OCL の変数を実際に使用して現在の値を格納することはできないためです。最大値と最小値(または少なくともその方法を知らない)私はそれを行う方法がわかりません。誰でもそれで私を助けることができますか?

0 投票する
1 に答える
754 参照

java - javaのメインコードからOCL制約(モデルの生成されたjavaソースコード)を呼び出す方法

ecoreモデルでOCL制約を使用し、コードを生成しています。だから、これと同じくらい簡単です。私は属性を持つクラスTaskを持ってstartDateendDate て、それはocl制約を持っています:-状態を示す不変条件startDate < endDate

このプロジェクトのJavaコードを生成しましたが、Javaクラスがあります。

それで、私のメインクラスから、ここで自分のタスクを検証するにはどうすればよいですか。startDateOCL制約を呼び出して、がより小さいかどうかを確認したいendDate

0 投票する
2 に答える
823 参照

eclipse - OCL での UML 関連のナビゲート

Eclipse OCL 実装を使用して、OCL で UML 関連付けをナビゲートしようとしています。UMLAssociationsは として扱われAttributes、 でgetAttributes()呼び出された関数は、とそれぞれのオブジェクトをClass含むセットを返します。ただし、必要なのは ではなく、の反対側にあるです。AttributesPropertyAssociationPropertyClassAssociation

bidirectionalAssociationsの場合、次のコードは機能しますが、あまり洗練されていないように見えます。

self.getAllAttributes().opposite.class

エレガントではないだけでなく、方向性もありませんAssociations(そこに反対はありませんProperty)。AssociationsOCLでナビゲートするより良い方法はありますか?

0 投票する
1 に答える
1090 参照

uml - OCLでの再帰

UMLにこのクラス図があるとしましょう。

OCLでの再帰

OCLで、Aのインスタンスがlist_of_Asに再帰的に含まれないように指定するにはどうすればよいですか?つまり、AのインスタンスはA.list_of_Asに含まれておらず、A.list_of_AsなどのAのすべてのインスタンスのすべてのlist_of_Asに含まれていない可能性があります...?

0 投票する
4 に答える
5690 参照

uml - OCL: コレクションから最大値を見つける操作 max の事前条件と事後条件を作成するにはどうすればよいですか?

コレクション「col」の最大値を見つけるために、前後の条件を記述しようとしています。再帰的にそれを行う方法がよくわからないので、誰かが助けてくれるかどうか疑問に思っていました!

0 投票する
1 に答える
436 参照

java - Eclipse での UML/OCL モデルからの自動テスト ケース生成

私はモデルベースのテストを行っており、UML ダイアグラムを使用してアプリケーションをモデル化し、OCL を使用してテストするためのすべての制約も作成しました。UML/OCL モデルからテストケースを生成するのに役立つ Eclipse 用のツールまたはプラグインがあるかどうか疑問に思っていました。ブラックボックステストに使用できます。(前もって感謝します)

' @Christian 返信ありがとうございます。以下は私の OCL 表現の一部です

'

0 投票する
1 に答える
929 参照

unordered-set - OCLで順序付きセットを取得するには?

type の結果が得られた場合Set(Integer)、数字は順序付けされていません。というコレクションsortedBy ( expr : OclExpression ) : Sequence(T)で使用できる操作がありますが、このセットに整数しかない場合、使用する式は何ですか?

0 投票する
1 に答える
326 参照

profile - OCL 制約 UML プロファイル Rational Software Architect

StateMachine の拡張である ModeBehaviour のステレオタイプに制約を追加する必要がある UML プロファイルがあります。

制約: 所有する状態はモードとしてステレオタイプ化する必要があり、所有する遷移はモード遷移としてステレオタイプ化する必要があります

制約の最初の部分については、self.submachine で始まる可能性があると考えています。これは、ModeBehaviour の所有状態を参照するためですか? そこから、これらの状態がモードとしてのステレオタイプであるかどうかを確認する方法がわかりません。

どんな方向でも非常に役に立ちます。