図は、階層化されたDFDにおける、あるレベルのDFDの一部である。プロセス1を子プロセスに分割して詳細化したDFDのうち、適切なものはどれか。ここで、プロセス1の子プロセスは、プロセス1-1、1-2及び1-3とする。

選択肢

• ア1-1は外部入力1本を受け、1-2と1-3それぞれへ出力する。1-2・1-3ともに外部出力をもつ。
• イ1-1は外部入力1本と外部出力1本をもち、1-3へも出力する。1-2は外部入力1本をもち1-3へ出力する。1-3が外部出力をもつ。
• ウ1-1は外部入力2本を受け、1-2と1-3の両方へ出力する。1-2には出力が無く、外部への出力は1-3からの1本だけである。
• エ1-1は外部入力2本を受け1-3へ出力する。1-2は外部入力をもたずに1-3へ出力する。1-3は外部出力2本をもつ。

正解と解説

正解：イ 1-1は外部入力1本と外部出力1本をもち、1-3へも出力する。1-2は外部入力1本をもち1-3へ出力する。1-3が外部出力をもつ。

DFDを階層化するときは、親のプロセスと、それを詳細化した子のDFDとの間で、外部とやり取りするデータフローが過不足なく一致していなければならない。これをバランスの原則という。もとのプロセスが受け取る入力の本数と、外部へ出す出力の本数を数え、子のDFD全体で見たときに同じになっているものを選べばよい。加えて、入力を持たないプロセスのような不整合がないことも確認する。

選択肢ごとの解説

• ア外部からの入力が1本しかなく、親プロセス1の入力2本と一致しない。バランスが崩れている。
• イ正しい。外部入力2本・外部への出力2本が親プロセス1と一致している。
• ウ外部へ出す出力が1本しかなく、親プロセス1の出力2本より少ない。1-2に出力が無い点も不自然である。
• エ外部との入出力の本数は合うが、1-2が入力を全く受け取っておらず、詳細化として成立していない。

同じ分野の他の問題

• 並列に生起する事象の間の同期を表現することが可能な、ソフトウェアの要求モデルはどれか。2024年度 秋期 午前II 問17
• 表の状態遷移に従って動作する組込みシステムがある。最初の状態がS0の場合に、a→b→c→d→aの順序でイベントが発生する…2023年度 秋期 午前II 問19
• 次の状態遷移図に従って動作する組込みシステムがある。最初の状態がS0の場合に、最後の状態がS4になるイベントの発生順序は…2022年度 秋期 午前II 問22
• イベント駆動型のアプリケーションプログラムにおける、時系列でのオブジェクト間の相互作用を設計するのに有用なものはどれか。2022年度 秋期 午前II 問19
• 並列に生起する事象間の同期を表現することが可能な、ソフトウェアの要求モデルはどれか。2021年度 秋期 午前II 問20