問題タブ [sysml]

しきい値と客観的な属性を作成できる新しい要件のステレオタイプを作成することを検討しました。要件を把握する限りは問題ありませんが、検証を行おうとすると見苦しくなります。トレーサビリティ、満足度、および検証を行うときにも醜いかもしれません。

たとえば、私の要件は、「システムは 100kg を超えないこと (T)」と「システムは 80kg を超えないこと (O)」です。

テスト計画を作成し、どの要件が満たされているかを示すときに、これ (または同様に述べられた要件) を追跡することは「醜い」ものになります。(O) が満たされる場合、明らかに (T) も満たされます。ただし、(O) の検証に失敗する可能性がありますが、システムはテストに合格します。おそらく、満たされていないいくつかの要件 (O) を実行するのが標準です。私はこのモデリング方法に慣れていないので、興味があります。すでにベストプラクティスがあるかどうかを知りたかったのです。私は探していましたが、これに対処するものは何も見つかりませんでした。

SysML (UML) モデルを Neo4J にインポートする方法を探しています。Xpath を使用して、それらの間の要素と関係を抽出しています。XML/XML ファイルから構造化された要素をエクスポートして、単純な CSV ファイルに変換し、グラフ データベースにインポートできるようにする良い方法はありますか?

私は現在、IBD と BDD を使用して Cameo Systems Modeler 19.0 で作業しています。

私が現在モデリングしているシステムには、2 つのサブコンポーネント (:first、:second) で構成されるコンポーネント (:Parent) が含まれており、メインの BDD 内で同様に確立しています。各 :Parent は、1 つの一意の :first と 1 つの一意の :second で構成されます。:Parent から :first、:Parent から :second の 1 対 1 の構成関係が設定されています。

システムのコンテキスト内で使用されているこのメイン コンポーネントの複数のインスタンスがあります。システムの ibd では、必要な数の :Parent クラスをインスタンス化できます (つまり、親 1 : 親、親 2 : 親、親 3 : 親など)

私の問題は、各親インスタンスが構成されているパーツを表示すると (各 :Parent が一意の :first および :second インスタンスで構成されていることを示すため)、ネストされた各クラスが同じインスタンスとして表示されることです。親 1 の :first および :second 子への変更: 親は、:Parent のすべてのインスタンスに同じ変更を適用します。

これらのネストされたブロックを親に固有のものとしてインスタンス化したい-これまでのところ、少しでも機能させる唯一の方法は、冗長ブロックを定義して必要に応じて表示することですが、何かが必要な気がします親のインスタンスごとに個別の子参照をインスタンス化できるようにする方法がありません。