問題タブ [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.
groovy - OCLforAllと同等のGroovy
OCLのforAllメソッドに相当するGroovyとは何ですか?
アイテムのリストがあるとしましょう。
すべての項目が特定の基準に一致する場合にのみ保持される述語を表現するGroovyの方法は何ですか?
次のコードスニペットは機能しません。これは、内部リターンが各クロージャの現在の反復からのみジャンプし、forAllメソッドからはジャンプしないためです。
次のコードスニペットは、トリックを実行する必要がありますが、Groovyのようではなく、扱いにくいと感じています。
述語を怠惰に評価する方法を探しています。これにより、一致しない最初の項目が見つかったときに評価が終了します。
object - OCL 要件: 属性値の可能な範囲の不変
したがって、次のオブジェクト構造があります。
すべての Node オブジェクトの RSSI 値の差が 2 を超えないという要件のために、OCL 不変式を作成する必要があります。反復式で解決しようとしましたが、OCL の変数を実際に使用して現在の値を格納することはできないためです。最大値と最小値(または少なくともその方法を知らない)私はそれを行う方法がわかりません。誰でもそれで私を助けることができますか?
java - javaのメインコードからOCL制約(モデルの生成されたjavaソースコード)を呼び出す方法
ecoreモデルでOCL制約を使用し、コードを生成しています。だから、これと同じくらい簡単です。私は属性を持つクラスTaskを持ってstartDate
いendDate
て、それはocl制約を持っています:-状態を示す不変条件startDate < endDate
。
このプロジェクトのJavaコードを生成しましたが、Javaクラスがあります。
それで、私のメインクラスから、ここで自分のタスクを検証するにはどうすればよいですか。startDate
OCL制約を呼び出して、がより小さいかどうかを確認したいendDate
eclipse - OCL での UML 関連のナビゲート
Eclipse OCL 実装を使用して、OCL で UML 関連付けをナビゲートしようとしています。UMLAssociations
は として扱われAttributes
、 でgetAttributes()
呼び出された関数は、とそれぞれのオブジェクトをClass
含むセットを返します。ただし、必要なのは ではなく、の反対側にあるです。Attributes
Property
Association
Property
Class
Association
bidirectionalAssociations
の場合、次のコードは機能しますが、あまり洗練されていないように見えます。
self.getAllAttributes().opposite.class
エレガントではないだけでなく、方向性もありませんAssociations
(そこに反対はありませんProperty
)。Associations
OCLでナビゲートするより良い方法はありますか?
uml - OCLでの再帰
UMLにこのクラス図があるとしましょう。
OCLで、Aのインスタンスがlist_of_Asに再帰的に含まれないように指定するにはどうすればよいですか?つまり、AのインスタンスはA.list_of_Asに含まれておらず、A.list_of_AsなどのAのすべてのインスタンスのすべてのlist_of_Asに含まれていない可能性があります...?
uml - OCL: コレクションから最大値を見つける操作 max の事前条件と事後条件を作成するにはどうすればよいですか?
コレクション「col」の最大値を見つけるために、前後の条件を記述しようとしています。再帰的にそれを行う方法がよくわからないので、誰かが助けてくれるかどうか疑問に思っていました!
java - Eclipse での UML/OCL モデルからの自動テスト ケース生成
私はモデルベースのテストを行っており、UML ダイアグラムを使用してアプリケーションをモデル化し、OCL を使用してテストするためのすべての制約も作成しました。UML/OCL モデルからテストケースを生成するのに役立つ Eclipse 用のツールまたはプラグインがあるかどうか疑問に思っていました。ブラックボックステストに使用できます。(前もって感謝します)
' @Christian 返信ありがとうございます。以下は私の OCL 表現の一部です
'
unordered-set - OCLで順序付きセットを取得するには?
type の結果が得られた場合Set(Integer)
、数字は順序付けされていません。というコレクションsortedBy ( expr : OclExpression ) : Sequence(T)
で使用できる操作がありますが、このセットに整数しかない場合、使用する式は何ですか?
profile - OCL 制約 UML プロファイル Rational Software Architect
StateMachine の拡張である ModeBehaviour のステレオタイプに制約を追加する必要がある UML プロファイルがあります。
制約: 所有する状態はモードとしてステレオタイプ化する必要があり、所有する遷移はモード遷移としてステレオタイプ化する必要があります
制約の最初の部分については、self.submachine で始まる可能性があると考えています。これは、ModeBehaviour の所有状態を参照するためですか? そこから、これらの状態がモードとしてのステレオタイプであるかどうかを確認する方法がわかりません。
どんな方向でも非常に役に立ちます。