要求図

要求図は、要求と、要求同士およびその他の文書化された要素とのつながりを視覚化します。モデリング仕様は、SysML v1.6で定義されたものに従います。

要求のレンダリングは簡単です。

構文

要求図には、要求、要素、関係の3種類の構成要素があります。

それぞれの定義の文法を以下に示します。<word>のように山かっこで示された単語は、表で詳しく説明されているオプションを持つ列挙キーワードです。user_defined_...は、ユーザー入力を想定する場所で使用されます。

ユーザーテキストに関する重要な注意点：すべての入力は引用符で囲むことも、囲まないこともできます。たとえば、Id: "ここに例があります"とId: ここに例がありますの両方が有効です。ただし、引用符で囲まれていない入力には注意が必要です。別のキーワードが検出されると、パーサーは失敗します。

要求の定義には、要求タイプ、名前、ID、テキスト、リスク、検証方法が含まれます。構文は以下に従います。

<type> user_defined_name {
    id: user_defined_id
    text: user_defined text
    risk: <risk>
    verifymethod: <method>
}

タイプ、リスク、メソッドは、SysMLで定義された列挙です。

キーワード	オプション
タイプ	requirement, functionalRequirement, interfaceRequirement, performanceRequirement, physicalRequirement, designConstraint
リスク	Low, Medium, High
VerificationMethod	Analysis, Inspection, Test, Demonstration

要素の定義には、要素名、タイプ、ドキュメント参照が含まれます。これら3つはすべてユーザー定義です。要素機能は軽量であることを意図していますが、要件を他のドキュメントの一部に接続できるようにします。

element user_defined_name {
    type: user_defined_type
    docref: user_defined_ref
}

関係は、ソースノード、宛先ノード、関係タイプで構成されます。

それぞれ、次の定義形式に従います。

{name of source} - <type> -> {name of destination}

または

{name of destination} <- <type> - {name of source}

"ソースの名前"と"宛先の名前"は、他の場所で定義された要求ノードまたは要素ノードの名前である必要があります。

関係タイプは、contains、copies、derives、satisfies、verifies、refines、tracesのいずれかになります。

各関係は図にラベル付けされます。

この例では、図のすべての機能を使用しています。