− 教務情報システムについて −

ユースケース（Usecase）はオブジェクト指向設計との関連の中で参照されることが多い．しかしユースケースは設計パラダイムに依存しない仕様書記述手法として考えるのが妥当である．従って，他の設計技法（構造化設計等）を採用した場合でも，完全かつ矛盾のない仕様書を作成するために活用すべきである．

• 教務情報システムの概略仕様
• 第１版：概略仕様に対する確認事項を列挙した版
• 第2版：第1版の確認事項に示した曖昧個所の解釈
• 第3版：抽象ユースケースを用いて構造化した版

1. 入試課は，入学する学生に関する情報（氏名，学籍番号，所属学科，入学年度）を教務係に通知する．
2. 教務係は，学生の入学時に学籍簿を作成し，各学生に関する情報及び各学生の履修状況（科目番号，点数）を記録する．
3. 各学科は，各開講科目に関する情報（科目名，科目番号，担当教官，必修/選択，単位数）を教務係に通知する．なお，各科目の担当教官は一名とする．
4. 教務係は，開講科目に関する情報を保存する．
5. 各学生は，各学期毎に履修届（科目番号リスト）を教務係に提出する．
6. 各教官は，自分の担当科目の受講者一覧（科目番号，学籍番号リスト）を教務係から入手できる．
7. 各教官は，科目毎に成績表（学籍番号，点数）を教務係に提出する（点数は0〜100点）．
8. 教務係は，履修届や科目別成績表に基づいて学籍簿を更新する．
9. 各学生は，自分の成績一覧（学籍簿に基づいて作成）を教務係から入手できる．
10. 各学科は，当該学科の学生に関する成績集計（学生別に必修科目と選択科目の単位数をまとめた資料）を教務係から入手できる．
11. 教授会は，全学科の4年生の成績集計を教務係から入手できる．
12. 教授会は，必修科目と選択科目の単位数に基づいて卒業判定を行う．

参考要求文：1，2

• アクター：入試課
• 目的：入学生に関する情報を学籍簿に登録する．
• 事前条件：
• 学生に関する情報が指定されている．
• 基本系列：

• 事後条件：
• 入学生に関する情報が学籍簿に登録されている．
• 代替系列：
• 同一の学籍番号を持つ学生が既に登録されていた場合には，システムはアクターにその旨を通知する．
• 備考：
• 学生に関する情報は，氏名，学籍番号，所属学科，入学年度とする．
• 履修状況は，履修届が登録された際に作成する．

参考要求文：3，4

• アクター：各学科
• 目的：開講科目に関する情報を開講科目一覧に登録する．
• 事前条件：
• 開講科目に関する情報が指定されている．
• 基本系列：

• 事後条件：
• 開講科目に関する情報が開講科目一覧に登録されている．
• 代替系列：
• 同一の科目が既に登録されていた場合には，システムはアクターにその旨を通知する．
• 備考：
• 科目に関する情報は，学科名，科目名，科目番号，担当教官，必修/選択，単位数とする．
• 確認事項
• 全科目の担当教官は一名と仮定して良いか．
• 同姓同名の教官はいないと仮定して良いか．
• 必要データに科目の開講時間（曜日，校時）を含める必要があるのではないか．
• 開講科目に関する情報は，毎学期新たに登録されるのか？ もしそうならば，開講科目一覧をクリアしてから開講科目の登録を行う必要がある．
• 開講科目に関する情報は，変更があった時点で登録されるのか？ もしそうならば，開講しなくなった科目の抹消機能が必要になる．（新規登録機能と登録変更機能は，開講科目の登録機能により一本化できる．）

参考要求文：5

• アクター：学生
• 目的：履修届に基づいて履修科目を学籍簿に登録する．
• 事前条件：
• 開講履修届に関する情報が指定されている．
• 開講科目の登録が完了している．
• 基本系列：

• 事後条件：
• 当該学生の履修科目が学籍簿に登録される．
• 代替系列：
• 当該学生の履修届が既に受理されていた場合は，システムはその旨をアクターに通知する．
• 同一曜日の同一校時に複数科目を登録しようとした場合は，システムは該当科目をアクターに通知する．
• 備考：
• 履修科目データは，学籍番号，履修科目の科目番号，曜日，校時からなる．
• 確認事項：
• 全ての学生が履修届を登録すると仮定して良いか．（履修届を提出しない学生が存在した場合，履修届の受付開始機能と受け付け終了機能が必要．）
• 必要データに科目の曜日と校時を記入させる必要があるか．（各科目が1コマしか開講されない場合には不要．複数コマ開講される場合には必要．）
• 所属学科以外の学科で開講されている科目の履修は認められるか．

参考要求文：6

• アクター：教官
• 目的：当該教官の担当科目の履修者一覧を表示する．
• 事前条件：
• 履修届の登録が完了している．
• 基本系列：

参考要求文：7，8

• アクター：教官
• 目的：当該教官の担当科目について成績を登録する．
• 事前条件：
• 当該教官の担当科目が指定されている．
• 当該教官による受講者一覧の表示が完了している．
• 基本系列：

• 事後条件：
• 指定された科目の成績が学籍簿に登録される．
• 代替系列：
• 指定された学生が指定された科目を履修していなかった場合，当該成績は学籍簿に登録せず，システムはその旨をアクターに通知する．それ以外の成績は学籍簿に登録する．
• 備考：
• 成績データは，科目番号，学籍番号，点数からなる．
• 確認事項：
• 全ての科目に対して成績が登録されると仮定して良いか？
• 各科目の全ての受講者に対して成績が登録されると仮定して良いか？

参考要求文：9

• アクター：学生
• 目的：当該学生の成績一覧を表示する．
• 事前条件：
• 学籍番号が指定されている．
• 基本系列：

参考要求文：10

• アクター：学科
• 目的：当該学科の学生別成績集計を表示する．
• 事前条件：
• 全ての科目に対する成績登録が完了している．
• 基本系列：

4年生の成績集計の表示

参考要求文：11

• アクター：教授会
• 目的：4年生の学生別成績集計を表示する．
• 事前条件：
• 全ての科目に対する成績登録が完了している．
• 基本系列：

1. システムは，4年生を学籍簿から検索する．
2. システムは，各学生が取得した必修単位数と選択単位数を求める．
3. システムは，学生毎に上記の単位数を表示する．

• 確認事項：
• 4年生の定義は，入学後3年以上を経過した学生として良いか？ 卒論着手条件を満足する学生と定義した場合，着手条件を満足するか否かを学籍簿に登録する必要がある．

• 卒業生の抹消機能は必要ないのか．
• 事前条件が満足されていない場合には，システムはアクターにその旨を通知する．

第2版（第1版の確認事項に示した曖昧個所の解釈）

• 各科目の担当教官は一名と仮定する．
• 同姓同名の教官はいないと仮定する．
• 開講科目に関する情報に科目の開講時間（曜日，校時）を含める．各科目は1コマしか開講されないとする．
• 開講科目に関する情報は，毎学期新たに登録されるとする．これに伴い，開講科目一覧をクリアする機能を追加する．
• 履修届を提出しない学生が存在すると仮定する．従って，履修届の受付開始機能と受け付け締め切り機能を提供する．
• 各科目は1コマしか開講されないため，履修届には科目の曜日と校時を記入させない．
• 所属学科以外の学科で開講されている科目の履修は認めない．
• 教官の開講科目一覧を表示する機能と教官及び科目番号から受講者一覧を表示する機能を分けて利用者に提供する．
• 全ての科目に対して成績が最終的には登録されると仮定する．
• 当該科目の全ての受講者に対して成績が登録される．そうでない成績登録はエラーとする．
• その時点で成績が登録されていない科目の一覧表示機能を考えることができるが，概略仕様で要求されていないため提供しない．
• 4年生は，入学後3年以上を経過した学生と定義する．従って，卒業研究着手条件の判定は行なわない．
• 学生の抹消機能を追加する．

• 学部学生の成績集計表示と4年生の成績集計表示の間には，共通機能「当該学生の成績集計表示」があるので，これを抽象ユースケースとする．

第3版（抽象ユースケースを用いて構造化した版）

参考要求文：1，2

• アクター：入試課
• 目的：入学生に関する情報を学籍簿に登録する．
• 事前条件：
• 学生に関する情報が指定されている．
• 基本系列：

参考要求文：3，4

• アクター：学科
• 目的：開講科目に関する情報を開講科目一覧に登録する．
• 事前条件：
• 開講科目に関する情報が指定されている．
• 当該学科の開講科目が削除されている．
• 基本系列：

• 事後条件：
• 開講科目に関する情報が開講科目一覧に登録されている．
• 当該学科に対して科目登録完了となる．
• 登録された科目の成績が未登録となる．
• 備考：
• 科目に関する情報は，学科名，科目名，科目番号，担当教官，必修/選択，単位数，曜日，校時とする．
• 各科目の担当教官は一名と仮定する．
• 同姓同名の教官はいないと仮定する．
• 各科目は1コマしか開講されないとする．

参考要求文：3，4

• アクター：学科
• 目的：指定された学科の開講科目を開講科目一覧から消去する．
• 事前条件：
• 学科名が指定されている．
• 基本系列：

• 事後条件：
• 指定された学科の開講科目が開講科目一覧に含まれない．
• 当該学科に対して科目未登録となる．

参考要求文：5

• アクター：教務係
• 目的：履修届の受付を開始する．
• 事前条件：
• 全学科の科目登録が完了している．
• 基本系列：

参考要求文：5

• アクター：学生
• 目的：履修届に基づいて履修科目を学籍簿に登録する．
• 事前条件：
• 履修届に関する情報が指定されている．
• 基本系列：

参考要求文：5

• アクター：教務係
• 目的：履修届の受付を終了する．
• 基本系列：

参考要求文：6

• アクター：教官
• 目的：当該教官の担当科目一覧を表示する．
• 事前条件：
• 教官名が指定されている．
• 全学科の科目登録が完了している．
• 基本系列：

参考要求文：6

• アクター：教官
• 目的：指定科目の履修者一覧を表示する．
• 事前条件：
• 科目番号が指定されている．
• 履修届の登録が完了している．
• 基本系列：

参考要求文：7，8

• アクター：教官
• 目的：当該科目の成績を登録する．
• 事前条件：
• 当該教官の担当科目が指定されている．
• 履修届の受付が終了している．
• 基本系列：

• 事後条件：
• 指定された科目の成績が学籍簿に登録される．
• 指定された科目の成績が登録済みとなる．
• 代替系列：
• 指定された学生が指定された科目を履修していなかった場合，当該成績は学籍簿に登録せず，システムはその旨をアクターに通知する．
• 備考：
• 成績データは，学籍番号と点数の系列である．
• 全ての科目に対して成績が登録されると仮定する．
• 各科目の全ての受講者に対して成績が登録されると仮定する．

参考要求文：9

• アクター：学生
• 目的：当該学生の成績一覧を表示する．
• 事前条件：
• 学籍番号が指定されている．
• 基本系列：

参考要求文：10

• アクター：学科
• 目的：当該学科の学生別成績集計を表示する．
• 事前条件：
• 学科名が指定されている．
• 当該学科の全ての科目に対する成績登録が完了している．
• 基本系列：

4年生の成績集計の表示

参考要求文：11

• アクター：教授会
• 目的：4年生の学生別成績集計を表示する．
• 事前条件：
• 全ての科目に対する成績登録が完了している．
• 基本系列：

1. システムは，成績集計を行なう．
2. システムは，集計された成績から4年生を検索して表示する．

• 備考：
• 4年生の定義は，入学後3年以上を経過した学生とする．

参考要求文：10, 11

• アクター：なし（抽象ユースケース）
• 目的：学生別成績集計を生成する．
• 基本系列：

参考要求文：12

• アクター：教務係
• 目的：学生を学籍簿から消去する．
• 事前条件：
• 学籍番号が指定されている．
• 基本系列：

• 事後条件：
• 学籍簿は消去された学生の情報を含まない．

質問，コメントは掛下（kake@is.saga-u.ac.jp）まで