※注：本記事ではSysMLのモデル要素を説明するための図の中で、ピンク色の吹き出しや赤い点線を使って説明を補足しているところがあるが、これはあくまで補足のためのものであり、SysMLモデルの一部ではない。また、本記事で紹介するモデルはSysMLの言語要素やその表記方法の解説のためのものであり、特定の開発プロセスや工程、特定のシステムを想定したものではない。

＜目次＞　第2回：内部ブロック図の基礎と共通要素
＞＞1ページ		＞＞2ページ
・内部ブロック図とは・内部ブロック図の例・プロパティ - パート・プロパティ - 参照プロパティ - その他の種類のプロパティ - プロパティ固有型 - プロパティのネスト表現		・区画 - 初期値区画 - 型の区画の表記・コネクタ - コネクタ・プロパティ - 参加プロパティ・ダイアグラム共通要素 - フレーム - コメント

内部ブロック図とは

　内部ブロック図（Internal Block Diagram）は、前回解説したブロック定義図（Block Definition Diagram）とともに構造図として位置付けられ、システムの構造を表現するために利用される。構造図を用いてシステムをその構成要素の木構造として表現したり、構成要素間の関係を表現したりできる。

　ブロック定義図は要素の型を表現することで、各要素の種々の仕様を示すことに適している。これに対し本記事で解説する内部ブロック図は、要素間の接続関係を表現するとともに、構成要素の役割や利用方法を表現するために利用される。では、ここでいう“役割”とはどのようなものだろうか。

　例えば、自動車を複数の部分に分解することを考えてみてほしい。自動車は、エンジンや足回りなど、幾つかの部分に分解して捉えることができる。そして、足回りをさらに分解してホイール、サスペンションなどに分けることができる。分解の結果得られた複数のホイールは、個々のホイールに着目すればどれも同じであるかもしれない。しかし、前輪と後輪ではホイールの働きが異なる場合がある。例えば、前輪のみが駆動輪として機能する場合、後輪と異なり、前輪のみに駆動力を伝達することになる。このような構造を表現するためには、ホイールそのものを表現したり、4つの個々のホイールを個別に表現するよりも、「前輪」「後輪」といった役割に着目して構造を表現することが、システムの構造の特徴を表現するうえで効果的と考えられる。

　このように、システムの各部分の役割を明確にしながら、システムをより細かい単位に分解していくことは、すなわちシステムの構造を明確化、具体化していくことだといえるだろう。

内部ブロック図の例

　連載第1回に続き、今回も図1のようなロケットを題材として考えてみよう。

図1　ロケット

　このロケットの構造の概略を表現する内部ブロック図を図2に示す。

図2　内部ブロック図の例

　図2では、ロケットが2段式になっていて第1段推進部、第2段推進部や荷載部といった部分から構成されることや、それら構成要素の内部構造を示している。

　以降、図2を基に各モデル要素について説明していく。

プロパティ

図3　各種プロパティ

　図2では、ここで取り上げる2段式のロケットに関係する要素として、第1段推進部、第2段ロケットや発射台があることを図3のように表現している。このように、ブロックに関係する要素についての情報を表すモデル要素を、「プロパティ（Property）」と呼ぶ。プロパティは、要素そのものというよりも、ブロックから見た要素の役割や利用方法を表す。図4を見てみよう。

図4　プロパティ

　図2では、ロケットエンジンが主推進としての役割を果たしていることを図4のように表現している。このように、プロパティはブロックのような型や具体的な物などではなく、あくまで役割を表すモデル要素である点に注意してほしい。前述の「前輪」「後輪」の例のように、プロパティを使って要素の役割を表現することで、システムの構造を効果的に表現できる。

　プロパティの矩（く）形内には、前回「ブロック定義図の基礎」で解説したのと同様、プロパティに関する以下のような情報を記載できる。

プロパティの形式：

プロパティ名 : 型 [多重度] = デフォルト値 { プロパティ修飾子 }

　上記情報の記載方法について詳しくは、前回記事「ブロック定義図の基礎」の「プロパティ」の章を参照されたい。

　図4では、上記記載方法における多重度の表現とは異なる形で多重度を表現している。このように、プロパティの多重度は矩形内の右上に表記することができる。

パート・プロパティ

　図4で示した「主推進」プロパティは、図2の中で「第1段推進部」の一部分として表現されている。このように、全体－部分関係において、全体を構成する一部分を表すプロパティを「パート・プロパティ（Part Property）」と呼ぶ。図4のように、パート・プロパティは内部ブロック図の中で実線で描かれた矩形として表記する。

図5　ブロック定義図におけるパート・プロパティの表現

　図5は図4に示したパート・プロパティに対応する情報を示したブロック定義図である。このように、パート・プロパティはブロック定義図のパート関連の関連端に対応する。

参照プロパティ

図6　参照プロパティ

　図2では、発射台はロケットの一部ではないが、電力供給元としてロケットと関係があることを図6のように表現している。このように、ブロックと関係するがブロックの一部ではない要素を表すプロパティを、「参照プロパティ（Reference Property）」と呼ぶ。図6に示すように、参照プロパティは内部ブロック図の中で破線で描かれた矩形として表記する。

図7　ブロック定義図における参照プロパティの表現

　図7は図6に示した参照プロパティに対応する情報を表現したブロック定義図である。このように、参照プロパティはブロック定義図の参照関連の関連端に対応する。

その他の種類のプロパティ

　プロパティには、前述のパート・プロパティ、参照プロパティの他に、「値プロパティ」「制約プロパティ」といった種類がある。

　値プロパティ（Value Property）は、値型で型付けされたプロパティである。パート・プロパティと同様に実線の矩形として表記する。

　値プロパティの使用例や制約プロパティについては、参考文献［4］を参考にしてほしい。

プロパティ固有型

図8　プロパティ固有型

　図2では、ある種のペイロードをロケットの荷載部に搭載することを、図8のように表現している。ここで搭載するペイロードのための型は、ブロック定義図で別途定義されているわけではない。このように、ブロック定義図で新たに型を定義することなく、内部ブロック図の中で特定のプロパティ専用に定義する型を、「プロパティ固有型（Property-specific Type）」と呼ぶ。

　図8に示すように、プロパティ固有型はプロパティの型名を角括弧（かっこ）で囲うことで表現する。このとき、プロパティ固有型は角括弧で囲われた型（この場合「ペイロード」）を拡張した型として定義される。すなわち、この場合「ペイロード」が持つプロパティや操作といった特性は、プロパティ固有型のインスタンスの特性となり、加えて「上限許容温度」などのプロパティがプロパティ固有型のインスタンスの特性として追加されることになる。