SlideShare a Scribd company logo
1 of 32
Download to read offline
交通費申請システム
    作成手順書
― シナリオ・ドメイン表の作成及びシーケンス図の作成―




          学籍番号 s19231
          氏名   中村 祐貴
1.シナリオ・ドメイン表の作成 ....................................................................................................................... 1
2. シーケンス図の作成 .............................................................................................................................. 2
     I.       ロールの作成.................................................................................................................................... 4
     II.      ロールに対応する人を記述 ............................................................................................................... 7
     III.     帳票「交通費申請書」の記述 ............................................................................................................11
     IV.         ロールごとにコメントや導出物を記述 ........................................................................................... 15
            Ⅳ-Ⅰ.ロール:交通費申請書作成者 .................................................................................................. 15
            Ⅳ-Ⅱ.ロール:仕訳作成者................................................................................................................. 17
            Ⅳ-Ⅲ.ロール:支払依頼作成者 ......................................................................................................... 19
3.          交通費申請システムの実行手順 ......................................................................................................... 23
     I.       交通費申請書作成者 ...................................................................................................................... 23
     II.      交通費申請書受付者 ...................................................................................................................... 25
     III.     交通費申請書承認者 ...................................................................................................................... 27
     IV.         交通費申請書最終承認者 ........................................................................................................... 28
     V.       仕訳作成者..................................................................................................................................... 29
     VI.         支払依頼作成者 .......................................................................................................................... 30
1.シナリオ・ドメイン表の作成
交通費申請システムを自動展開するためには、PEXA に交通費申請システムのシーケンス図を入力する必要
がある。
このシーケンス図を作成するために、まず元となるシナリオ・ドメイン表を作成する。
  I.     Microsoft Excel を起動
  II.    シナリオ(利用者に対するサービス)を記述
  今回の場合、交通費申請書作成依頼ただひとつとなる。
  ※ シナリオに過不足があってはならない。




                               図 1 シナリオの記述
  III.   ドメイン(シナリオに対して発生する業務)を記述
  今回は、交通費申請書作成、交通費申請書受付、交通費申請承認、交通費申請最終承認、仕分作成、
  支払依頼作成の 6 つとなる。
  ※ ドメインに過不足があってはならない。




                               図.2 ドメインの記述
                                 1 / 30
IV.       シナリオ毎に関連するドメインに○をつける。
  ※ 例外的に関連するドメインには●をつける。




                                   図 3 シナリオ・ドメイン表
  これでシナリオ・ドメイン表は完成となる。これを元に、PEXA の入力となるシーケンス図を作成していく。


2. シーケンス図の作成
  ・Astah のインストール(JRE 環境が必要)
        astah-community-6_1-jre-setup.exe をダブルクリック
  ・Astah の実行
        ①    Astah を実行
        ②    ファイル – プロジェクトの新規作成
        ③    構造ツリーの一番上のフォルダ(no_title)を右クリック – 図の追加 – アクティビティ図の追加
        ※ 1.③でシーケンス図の追加を選ばない。(PEXA のシーケンス図は Astah のアクティビティ図で作
            成する。)
        ※ 2.保存するときは 000000000000 交通費申請書作成というファイル名で保存する。
              (0 は 12 個)




                                         2 / 30
図 4 新規作成




図 5 アクティビティ図の追加




   3 / 30
図 6 ファイルの保存
 ・シーケンス図の作成
  I.   ロールの作成
       ・アクティビティ図の上にあるリストの中の「パーティション〔縦〕」をクリック
       ・下の act アクティビティ図 0 と書かれた枠の範囲内でクリック
        これでロールがひとつ作成される。




パーティション〔縦〕




                            図 7 ロールの作成 1
                              4 / 30
・再びパーティション〔縦〕をクリック
・下の act アクティビティ図 0 と書かれた枠の範囲内の、先ほど作成したロールの右側で
 クリック
 これで二つ目のロールが作成される。




                     図 8 ロールの作成 2




                     図 9 ロールの作成 3
                      5 / 30
ロールはシナリオ・ドメイン表のドメインの数だけ必要なので、同様にしてロールが 6 つになるまでロ
ールを追加していく。




                    図 10 ロールの作成 4
・ロール名:パーティション 0~5 を以下のように変更する
    パーティション 0 → 交通費申請書作成者:作成
    パーティション 1 → 交通費申請書受付者:受付
    パーティション 2 → 交通費申請書承認者:承認
    パーティション 3 → 交通費申請書最終承認者:承認
    パーティション 4 → 仕訳作成者:導出
    パーティション 5 → 支払依頼作成者:導出
変更後のロール名は、シナリオ・ドメイン表のドメインに「者」をつけたものである。
また、:の後の「作成」などはそのロールの動作を表す。
※「作成」は何もない状態から新しいものを作ることで、「導出」は既にあるものを利用して新しいもの
を作ることである。




                      6 / 30
図 11 ロールの作成 5
II.   ロールに対応する人を記述
      ・アクティビティ図の上にあるリストの中の「ノート」をクリック             ノートから図要素へのアンカー

      ・下の act アクティビティ図 0 と書かれた枠の範囲内でクリック



                                           ノート




                             7 / 30
図 12 ロールに対応する人の記述 1
・アクティビティ図の上にあるリストの中の「ノートから図要素へのアンカー」をクリック
・ノートの上でクリック、その後ロール名の上でクリック
これでノートとロールが点線でつながる




               図 13 ロールに対応する人の記述 2


                     8 / 30
・同様にしてすべてのロールにノートをつなげる




                   図 14 ロールに対応する人の記述 3
・   ノートをクリックし、左にある「ステレオタイプ」タブをクリック
・   追加ボタンをクリックし、テキストボックスに member と入力
これでノートにステレオタイプ<<member>>がつく
※「member」はロールの参加者を記述する際に用いられるステレオタイプである。これを記述しておく
ことで、自動展開する際に SVO Statement の参加者欄に内容を反映させることができる。
※直接ノートの中に入力すると、PEXA に反映されない可能性があるため、必ず上記の手順で入力を
行う。




                         9 / 30
図 15 ロールに対応する人の記述 4
・   同様にして、すべてのノートにステレオタイプ<<member>>をつける




                  図 16 ロールに対応する人の記述 5




                        10 / 30
・   ノートをクリックし、左にある「ベース」タブをクリック
       ・   ノートの中に、ロールに対応する人を以下のように入力
                 交通費申請書作成者:作成 : 社員
                 交通費申請書受付者:受付 : 事務
                 交通費申請書承認者:承認 : 上長
                 交通費申請書最終承認者:承認 : 社長
                 仕訳作成者:導出 : 経理
                 支払依頼作成者:導出 : 経理




                           図 17 ロールに対応する人の記述 6
III.   帳票「交通費申請書」の記述
           交通費申請システムでは、帳票である交通費申請書が社員、事務、上長、社長、経理と流れて
           いく。
           そこで、交通費申請書の流れをシーケンス図に記述していく。
           ・   アクティビティ図の上にあるリストの中の「アクション」をクリック
           ・   ロール:交通費申請書作成者の中でクリック




                                   11 / 30
アクション




                   図 18 帳票「交通費申請書」の記述 1
 ・   作成されたアクションをクリック、左にある「入力動作」タブをクリック
 ・   入力動作に 交通費申請書/Request(申請書状態区分;作成済) と入力
 ※ 直接帳票の中に入力すると、PEXA に反映されない可能性があるため、必ず上記の手順で入力
     を行う。
 ※ 何もないところに帳票を作成する振る舞いを Active という。




                        12 / 30
図 19 帳票「交通費申請書」の記述 2
同様にして、すべてのロールに帳票:交通費申請書を記述
・   作成した帳票:交通費申請書を、コピー&ペーストですべてのロールにコピー




                図 20 帳票「交通費申請書」の記述 3




                     13 / 30
帳票が流れていくと、ロールによってその状態区分が変更されるので、帳票の状態区分を変更する。
        ・   各ロールの状態区分を以下のように変更
              交通費申請書作成者:作成 : 作成済 → 作成済(変更なし)
              交通費申請書受付者:受付 : 作成済 → 受付済
              交通費申請書承認者:承認 : 作成済 → 承認済
              交通費申請書最終承認者:承認 : 作成済 → 最終承認済
              仕訳作成者:導出 : 作成済 → 仕訳作成済
              支払依頼作成者:導出 : 作成済 → 支払依頼作成済




制御フロー/オブジェクトフロー
                          図 21 帳票「交通費申請書」の記述 4
        ・   各帳票を図 21 のように「制御フロー/オブジェクトフロー(矢印)」でつなぐ
        ※別ロール間で、同一の帳票の状態区分を変更する動作を Accept という。




                          図 22 帳票「交通費申請書」の記述 5




                               14 / 30
IV.   ロールごとにコメントや導出物を記述
      Ⅳ-Ⅰ.ロール:交通費申請書作成者
      ・   帳票:交通費申請書明細
          ステレオタイプ:entry_create
          入力動作:交通費申請書明細/NonType(申請書明細状態区分;作成済)
          を作成
      ※同一ロール内で帳票から帳票を生成する動作を Produce という。
      ※「entry_create」は帳票が明細を持つ場合、それを生成し、利用者に手動で編集内容を入力させる
      場合に用いられる。
      ・   帳票:交通費申請書から、帳票:交通費申請書明細へ矢印を引く




                           ・     図 23 帳票:交通費申請書明細の記述
      ・   コメント
          ステレオタイプ:edit
          ノート:交通費申請書申請日;input/申請日,
                 交通費申請書合計金額;input/合計金額
          を作成
      ※ 「edit」は業務項目の値(日付や金額)を、利用者に入力させる場合に用いられる。
          書式は「業務項目名;input/値」。
      ・   帳票:交通費申請書と作成したコメントを点線でつなぐ




                                     15 / 30
図 24 ロール:交通費申請書作成者でのコメントの記述 1
・   コメント
    ステレオタイプ:search
    ノート:行き先 Master(行き先名;input/行き先名)行き先 No;行き先 No
    を作成
・   帳票:交通費申請書明細と作成したコメントを点線でつなぐ


・   コメント
    ステレオタイプ:edit
    ノート:交通費申請書明細金額;input/明細金額,
           交通費申請書明細行先;input/行先,
           交通費申請書明細移動日;input/移動日,
           移動手段;input/移動手段,
    を作成
・   帳票:交通費申請書明細と作成したコメントを点線でつなぐ




                              16 / 30
図 25 ロール:交通費申請書作成者でのコメントの記述 2
Ⅳ-Ⅱ.ロール:仕訳作成者
・   帳票:仕訳
    ステレオタイプ:なし
    入力動作:仕訳/NonType(仕訳状態区分;作成済)
    を作成
・   帳票:交通費申請書から、帳票:仕訳へ矢印を引く




                        17 / 30
図 26 帳票:仕訳の記述
・   コメント
    ステレオタイプ:copy
    ノート:仕訳金額;交通費申請書合計金額
    を作成
    ※「copy」は Produce 元の業務項目を Produce 先にコピーする場合に用いられる。
・   帳票:交通費申請書と帳票:仕訳とを結ぶ矢印に、作成したコメントを点線でつなぐ




                   図 27 ロール:仕訳作成者でのコメントの記述1


                          18 / 30
・   コメント
    ステレオタイプ:edit
    ノート:勘定科目;input/勘定科目
    を作成
・   帳票:仕訳と作成したコメントを点線でつなぐ




                   図 28 ロール:仕訳作成者でのコメントの記述 2
Ⅳ-Ⅲ.ロール:支払依頼作成者
・   帳票:支払依頼
    ステレオタイプ:なし
    入力動作:支払依頼/NonType(支払依頼状態区分;作成済)
    を作成
・   帳票:交通費申請書から、帳票:支払依頼へ矢印を引く




                           19 / 30
図 29 帳票:支払依頼の記述
・   コメント
    ステレオタイプ:copy
    ノート:支払依頼金額;交通費申請書合計金額
    を作成
・   帳票:交通費申請書と帳票:支払依頼とを結ぶ矢印に、作成したコメントを点線でつなぐ




               図 30 ロール:支払依頼作成者でのコメントの記述 1


                        20 / 30
・   コメント
    ステレオタイプ:edit
    ノート:支払依頼振込元口座番号;input/振込元口座番号,
          支払依頼振込先口座番号;input/振込先口座番号
    を作成
・   帳票:支払依頼と作成したコメントを点線でつなぐ




             図 31 ロール:支払依頼作成者でのコメントの記述 2
これで、シーケンス図の作成は完了である。
最後にわかりやすくするために以下のように色づけを行う




                         21 / 30
図 32 交通費申請システムのシーケンス図
作成したシーケンス図を PEXA 導入手順書に従って PEXA に入力することで、交通費申請システムが自動展開
される。




                         22 / 30
3.   交通費申請システムの実行手順
     交通費申請システムを実行すると,シーケンス図で作成したドメイン(ロール)ごとに画面が作成され,画面左
側のメニューからドメインを選択して表示させる.
      I.    交通費申請書作成者
            交通費申請を申請する際にはまず、交通費申請書作成者の画面で申請日と合計金額を入力し交
           通費申請書を作成する。




                         図 33 交通費申請書作成者画面




                              23 / 30
このとき交通費申請書明細も作成することができる。右上の交通費申請書交通費申請書明細 Dialog ボタンを
クリックすると、図 34 のような交通費申請書明細の入力画面が表示される。行き先名、明細金額、行先、移動
日、移動手段を入力すると交通費申請書明細が作成される。このとき、行き先名には最寄の駅など料金が発
生する場所を、行先には会社名などを入力する。




                  図 34 交通費申請書明細 Dialog




                         24 / 30
さらに、行き先名は行き先 Master を参照して入力することができる。行き先名の右にある虫眼鏡マークをクリッ
クすると、図 35 のような行き先 Master の参照画面が開かれる。そこで、行き先名を入力し検索ボタンをクリック
すると、行き先名が表示されるのでそれを選択すると、自動で行き先名が入力される。




                    図 35 行き先 Master 参照画面




  II.   交通費申請書受付者
                           25 / 30
交通費申請書受付者の画面では作成した交通費申請書を受け付ける。右上の検索ボタンをクリックする
と画面上に交通費申請書が表示される。これを選択して OK ボタンをクリックすると交通費申請書の申請
書状態区分が受付済になり、受け付けが完了する。




               図 36 交通費申請書受付者画面




                     26 / 30
III.   交通費申請書承認者
 交通費申請書承認者の画面では受付済の交通費申請書を承認する。右上の検索ボタンをクリックすると画
面上に交通費申請書が表示される。これを選択して OK ボタンをクリックすると交通費申請書の申請書状態区
分が承認済になり、承認が完了する。




                     図 31 交通費申請書承認者画面




                           27 / 30
IV.   交通費申請書最終承認者
 交通費申請書最終承認者の画面では承認済の交通費申請書をさらに承認する。右上の検索ボタンをクリッ
クすると画面上に交通費申請書が表示される。これを選択して OK ボタンをクリックすると交通費申請書の申請
書状態区分が最終承認済になり、承認が完了する。




                 図 32 交通費申請書最終承認者画面




                        28 / 30
V.   仕訳作成者
 仕訳作成者の画面では最終承認済の交通費申請書をもとに仕訳を導出する。右上の検索ボタンをクリック
すると画面上に交通費申請書が表示される。これを選択して、さらに勘定科目を入力して OK ボタンをクリックす
ると仕訳が導出され、交通費申請書の申請書状態区分が仕訳作成済となり業務が完了する。




                    図 33 仕訳作成者の画面




                        29 / 30
VI.   支払依頼作成者
  支払依頼作成者の画面では仕訳作成済の交通費申請書をもとに支払依頼を導出する。右上の検索ボ
タンをクリックすると画面上に交通費申請書が表示される。これを選択して、さらに振込元口座番号と振込
先口座番号を入力して OK ボタンをクリックすると支払依頼が導出され、交通費申請書の申請書状態区分
が支払依頼作成済となり業務が完了する。




                図 40 支払依頼作成者の画面




                      30 / 30

More Related Content

More from n-yuki

平成24年度社会知能情報学専攻修士論文中間発表会(予稿)
平成24年度社会知能情報学専攻修士論文中間発表会(予稿)平成24年度社会知能情報学専攻修士論文中間発表会(予稿)
平成24年度社会知能情報学専攻修士論文中間発表会(予稿)n-yuki
 
2009 splc-a framework for constructing semantically composable feature models...
2009 splc-a framework for constructing semantically composable feature models...2009 splc-a framework for constructing semantically composable feature models...
2009 splc-a framework for constructing semantically composable feature models...n-yuki
 
2011 splc-using multiple feature models to design applications for mobile phones
2011 splc-using multiple feature models to design applications for mobile phones2011 splc-using multiple feature models to design applications for mobile phones
2011 splc-using multiple feature models to design applications for mobile phonesn-yuki
 
図書館システム作成手順書
図書館システム作成手順書図書館システム作成手順書
図書館システム作成手順書n-yuki
 
学部卒業論文
学部卒業論文学部卒業論文
学部卒業論文n-yuki
 
2011 splc-a scalable goal-oriented approach to software variability recovery
2011 splc-a scalable goal-oriented approach to software variability recovery2011 splc-a scalable goal-oriented approach to software variability recovery
2011 splc-a scalable goal-oriented approach to software variability recoveryn-yuki
 
2011 sac-goal-driven software product line engineering
2011 sac-goal-driven software product line engineering2011 sac-goal-driven software product line engineering
2011 sac-goal-driven software product line engineeringn-yuki
 
2011 icse-improving requirements quality using essential use case interaction...
2011 icse-improving requirements quality using essential use case interaction...2011 icse-improving requirements quality using essential use case interaction...
2011 icse-improving requirements quality using essential use case interaction...n-yuki
 
2011 icse-feature cohesion in software product lines an exploratory study
2011 icse-feature cohesion in software product lines an exploratory study2011 icse-feature cohesion in software product lines an exploratory study
2011 icse-feature cohesion in software product lines an exploratory studyn-yuki
 
2010 電子情報通信学会論文誌-要求変更によるソースコードへのインパクトを分析するシステムの開発と評価
2010 電子情報通信学会論文誌-要求変更によるソースコードへのインパクトを分析するシステムの開発と評価2010 電子情報通信学会論文誌-要求変更によるソースコードへのインパクトを分析するシステムの開発と評価
2010 電子情報通信学会論文誌-要求変更によるソースコードへのインパクトを分析するシステムの開発と評価n-yuki
 
2010 re-extending nocuous ambiguity analysis for anaphora in natural language...
2010 re-extending nocuous ambiguity analysis for anaphora in natural language...2010 re-extending nocuous ambiguity analysis for anaphora in natural language...
2010 re-extending nocuous ambiguity analysis for anaphora in natural language...n-yuki
 
2010 icse-an analysis of the variability in forty preprocessor-based software...
2010 icse-an analysis of the variability in forty preprocessor-based software...2010 icse-an analysis of the variability in forty preprocessor-based software...
2010 icse-an analysis of the variability in forty preprocessor-based software...n-yuki
 
2010 ase-tool support for essential use cases to better capture software requ...
2010 ase-tool support for essential use cases to better capture software requ...2010 ase-tool support for essential use cases to better capture software requ...
2010 ase-tool support for essential use cases to better capture software requ...n-yuki
 
2010 ase-automatic detection of nocuous coordination ambiguities in natural l...
2010 ase-automatic detection of nocuous coordination ambiguities in natural l...2010 ase-automatic detection of nocuous coordination ambiguities in natural l...
2010 ase-automatic detection of nocuous coordination ambiguities in natural l...n-yuki
 
2009 splc-relating requirements and feature configurations a systematic approach
2009 splc-relating requirements and feature configurations a systematic approach2009 splc-relating requirements and feature configurations a systematic approach
2009 splc-relating requirements and feature configurations a systematic approachn-yuki
 
2009 qsic-constructing feature models using goal-oriented analysis
2009 qsic-constructing feature models using goal-oriented analysis2009 qsic-constructing feature models using goal-oriented analysis
2009 qsic-constructing feature models using goal-oriented analysisn-yuki
 
2008 ismis-from goals to high-variability software design
2008 ismis-from goals to high-variability software design2008 ismis-from goals to high-variability software design
2008 ismis-from goals to high-variability software designn-yuki
 
2008 icse-granularity in software product lines
2008 icse-granularity in software product lines2008 icse-granularity in software product lines
2008 icse-granularity in software product linesn-yuki
 
2007 情報処理学会論文誌-類似既存システムの情報を利用した要求獲得支援システムの開発と評価
2007 情報処理学会論文誌-類似既存システムの情報を利用した要求獲得支援システムの開発と評価2007 情報処理学会論文誌-類似既存システムの情報を利用した要求獲得支援システムの開発と評価
2007 情報処理学会論文誌-類似既存システムの情報を利用した要求獲得支援システムの開発と評価n-yuki
 
2007 fose-research directions in requirements engineering
2007 fose-research directions in requirements engineering2007 fose-research directions in requirements engineering
2007 fose-research directions in requirements engineeringn-yuki
 

More from n-yuki (20)

平成24年度社会知能情報学専攻修士論文中間発表会(予稿)
平成24年度社会知能情報学専攻修士論文中間発表会(予稿)平成24年度社会知能情報学専攻修士論文中間発表会(予稿)
平成24年度社会知能情報学専攻修士論文中間発表会(予稿)
 
2009 splc-a framework for constructing semantically composable feature models...
2009 splc-a framework for constructing semantically composable feature models...2009 splc-a framework for constructing semantically composable feature models...
2009 splc-a framework for constructing semantically composable feature models...
 
2011 splc-using multiple feature models to design applications for mobile phones
2011 splc-using multiple feature models to design applications for mobile phones2011 splc-using multiple feature models to design applications for mobile phones
2011 splc-using multiple feature models to design applications for mobile phones
 
図書館システム作成手順書
図書館システム作成手順書図書館システム作成手順書
図書館システム作成手順書
 
学部卒業論文
学部卒業論文学部卒業論文
学部卒業論文
 
2011 splc-a scalable goal-oriented approach to software variability recovery
2011 splc-a scalable goal-oriented approach to software variability recovery2011 splc-a scalable goal-oriented approach to software variability recovery
2011 splc-a scalable goal-oriented approach to software variability recovery
 
2011 sac-goal-driven software product line engineering
2011 sac-goal-driven software product line engineering2011 sac-goal-driven software product line engineering
2011 sac-goal-driven software product line engineering
 
2011 icse-improving requirements quality using essential use case interaction...
2011 icse-improving requirements quality using essential use case interaction...2011 icse-improving requirements quality using essential use case interaction...
2011 icse-improving requirements quality using essential use case interaction...
 
2011 icse-feature cohesion in software product lines an exploratory study
2011 icse-feature cohesion in software product lines an exploratory study2011 icse-feature cohesion in software product lines an exploratory study
2011 icse-feature cohesion in software product lines an exploratory study
 
2010 電子情報通信学会論文誌-要求変更によるソースコードへのインパクトを分析するシステムの開発と評価
2010 電子情報通信学会論文誌-要求変更によるソースコードへのインパクトを分析するシステムの開発と評価2010 電子情報通信学会論文誌-要求変更によるソースコードへのインパクトを分析するシステムの開発と評価
2010 電子情報通信学会論文誌-要求変更によるソースコードへのインパクトを分析するシステムの開発と評価
 
2010 re-extending nocuous ambiguity analysis for anaphora in natural language...
2010 re-extending nocuous ambiguity analysis for anaphora in natural language...2010 re-extending nocuous ambiguity analysis for anaphora in natural language...
2010 re-extending nocuous ambiguity analysis for anaphora in natural language...
 
2010 icse-an analysis of the variability in forty preprocessor-based software...
2010 icse-an analysis of the variability in forty preprocessor-based software...2010 icse-an analysis of the variability in forty preprocessor-based software...
2010 icse-an analysis of the variability in forty preprocessor-based software...
 
2010 ase-tool support for essential use cases to better capture software requ...
2010 ase-tool support for essential use cases to better capture software requ...2010 ase-tool support for essential use cases to better capture software requ...
2010 ase-tool support for essential use cases to better capture software requ...
 
2010 ase-automatic detection of nocuous coordination ambiguities in natural l...
2010 ase-automatic detection of nocuous coordination ambiguities in natural l...2010 ase-automatic detection of nocuous coordination ambiguities in natural l...
2010 ase-automatic detection of nocuous coordination ambiguities in natural l...
 
2009 splc-relating requirements and feature configurations a systematic approach
2009 splc-relating requirements and feature configurations a systematic approach2009 splc-relating requirements and feature configurations a systematic approach
2009 splc-relating requirements and feature configurations a systematic approach
 
2009 qsic-constructing feature models using goal-oriented analysis
2009 qsic-constructing feature models using goal-oriented analysis2009 qsic-constructing feature models using goal-oriented analysis
2009 qsic-constructing feature models using goal-oriented analysis
 
2008 ismis-from goals to high-variability software design
2008 ismis-from goals to high-variability software design2008 ismis-from goals to high-variability software design
2008 ismis-from goals to high-variability software design
 
2008 icse-granularity in software product lines
2008 icse-granularity in software product lines2008 icse-granularity in software product lines
2008 icse-granularity in software product lines
 
2007 情報処理学会論文誌-類似既存システムの情報を利用した要求獲得支援システムの開発と評価
2007 情報処理学会論文誌-類似既存システムの情報を利用した要求獲得支援システムの開発と評価2007 情報処理学会論文誌-類似既存システムの情報を利用した要求獲得支援システムの開発と評価
2007 情報処理学会論文誌-類似既存システムの情報を利用した要求獲得支援システムの開発と評価
 
2007 fose-research directions in requirements engineering
2007 fose-research directions in requirements engineering2007 fose-research directions in requirements engineering
2007 fose-research directions in requirements engineering
 

交通費申請システム作成手順書

  • 1. 交通費申請システム 作成手順書 ― シナリオ・ドメイン表の作成及びシーケンス図の作成― 学籍番号 s19231 氏名 中村 祐貴
  • 2. 1.シナリオ・ドメイン表の作成 ....................................................................................................................... 1 2. シーケンス図の作成 .............................................................................................................................. 2 I. ロールの作成.................................................................................................................................... 4 II. ロールに対応する人を記述 ............................................................................................................... 7 III. 帳票「交通費申請書」の記述 ............................................................................................................11 IV. ロールごとにコメントや導出物を記述 ........................................................................................... 15 Ⅳ-Ⅰ.ロール:交通費申請書作成者 .................................................................................................. 15 Ⅳ-Ⅱ.ロール:仕訳作成者................................................................................................................. 17 Ⅳ-Ⅲ.ロール:支払依頼作成者 ......................................................................................................... 19 3. 交通費申請システムの実行手順 ......................................................................................................... 23 I. 交通費申請書作成者 ...................................................................................................................... 23 II. 交通費申請書受付者 ...................................................................................................................... 25 III. 交通費申請書承認者 ...................................................................................................................... 27 IV. 交通費申請書最終承認者 ........................................................................................................... 28 V. 仕訳作成者..................................................................................................................................... 29 VI. 支払依頼作成者 .......................................................................................................................... 30
  • 3. 1.シナリオ・ドメイン表の作成 交通費申請システムを自動展開するためには、PEXA に交通費申請システムのシーケンス図を入力する必要 がある。 このシーケンス図を作成するために、まず元となるシナリオ・ドメイン表を作成する。 I. Microsoft Excel を起動 II. シナリオ(利用者に対するサービス)を記述 今回の場合、交通費申請書作成依頼ただひとつとなる。 ※ シナリオに過不足があってはならない。 図 1 シナリオの記述 III. ドメイン(シナリオに対して発生する業務)を記述 今回は、交通費申請書作成、交通費申請書受付、交通費申請承認、交通費申請最終承認、仕分作成、 支払依頼作成の 6 つとなる。 ※ ドメインに過不足があってはならない。 図.2 ドメインの記述 1 / 30
  • 4. IV. シナリオ毎に関連するドメインに○をつける。 ※ 例外的に関連するドメインには●をつける。 図 3 シナリオ・ドメイン表 これでシナリオ・ドメイン表は完成となる。これを元に、PEXA の入力となるシーケンス図を作成していく。 2. シーケンス図の作成 ・Astah のインストール(JRE 環境が必要) astah-community-6_1-jre-setup.exe をダブルクリック ・Astah の実行 ① Astah を実行 ② ファイル – プロジェクトの新規作成 ③ 構造ツリーの一番上のフォルダ(no_title)を右クリック – 図の追加 – アクティビティ図の追加 ※ 1.③でシーケンス図の追加を選ばない。(PEXA のシーケンス図は Astah のアクティビティ図で作 成する。) ※ 2.保存するときは 000000000000 交通費申請書作成というファイル名で保存する。 (0 は 12 個) 2 / 30
  • 5. 図 4 新規作成 図 5 アクティビティ図の追加 3 / 30
  • 6. 図 6 ファイルの保存 ・シーケンス図の作成 I. ロールの作成 ・アクティビティ図の上にあるリストの中の「パーティション〔縦〕」をクリック ・下の act アクティビティ図 0 と書かれた枠の範囲内でクリック これでロールがひとつ作成される。 パーティション〔縦〕 図 7 ロールの作成 1 4 / 30
  • 7. ・再びパーティション〔縦〕をクリック ・下の act アクティビティ図 0 と書かれた枠の範囲内の、先ほど作成したロールの右側で クリック これで二つ目のロールが作成される。 図 8 ロールの作成 2 図 9 ロールの作成 3 5 / 30
  • 8. ロールはシナリオ・ドメイン表のドメインの数だけ必要なので、同様にしてロールが 6 つになるまでロ ールを追加していく。 図 10 ロールの作成 4 ・ロール名:パーティション 0~5 を以下のように変更する パーティション 0 → 交通費申請書作成者:作成 パーティション 1 → 交通費申請書受付者:受付 パーティション 2 → 交通費申請書承認者:承認 パーティション 3 → 交通費申請書最終承認者:承認 パーティション 4 → 仕訳作成者:導出 パーティション 5 → 支払依頼作成者:導出 変更後のロール名は、シナリオ・ドメイン表のドメインに「者」をつけたものである。 また、:の後の「作成」などはそのロールの動作を表す。 ※「作成」は何もない状態から新しいものを作ることで、「導出」は既にあるものを利用して新しいもの を作ることである。 6 / 30
  • 9. 図 11 ロールの作成 5 II. ロールに対応する人を記述 ・アクティビティ図の上にあるリストの中の「ノート」をクリック ノートから図要素へのアンカー ・下の act アクティビティ図 0 と書かれた枠の範囲内でクリック ノート 7 / 30
  • 10. 図 12 ロールに対応する人の記述 1 ・アクティビティ図の上にあるリストの中の「ノートから図要素へのアンカー」をクリック ・ノートの上でクリック、その後ロール名の上でクリック これでノートとロールが点線でつながる 図 13 ロールに対応する人の記述 2 8 / 30
  • 11. ・同様にしてすべてのロールにノートをつなげる 図 14 ロールに対応する人の記述 3 ・ ノートをクリックし、左にある「ステレオタイプ」タブをクリック ・ 追加ボタンをクリックし、テキストボックスに member と入力 これでノートにステレオタイプ<<member>>がつく ※「member」はロールの参加者を記述する際に用いられるステレオタイプである。これを記述しておく ことで、自動展開する際に SVO Statement の参加者欄に内容を反映させることができる。 ※直接ノートの中に入力すると、PEXA に反映されない可能性があるため、必ず上記の手順で入力を 行う。 9 / 30
  • 12. 図 15 ロールに対応する人の記述 4 ・ 同様にして、すべてのノートにステレオタイプ<<member>>をつける 図 16 ロールに対応する人の記述 5 10 / 30
  • 13. ノートをクリックし、左にある「ベース」タブをクリック ・ ノートの中に、ロールに対応する人を以下のように入力 交通費申請書作成者:作成 : 社員 交通費申請書受付者:受付 : 事務 交通費申請書承認者:承認 : 上長 交通費申請書最終承認者:承認 : 社長 仕訳作成者:導出 : 経理 支払依頼作成者:導出 : 経理 図 17 ロールに対応する人の記述 6 III. 帳票「交通費申請書」の記述 交通費申請システムでは、帳票である交通費申請書が社員、事務、上長、社長、経理と流れて いく。 そこで、交通費申請書の流れをシーケンス図に記述していく。 ・ アクティビティ図の上にあるリストの中の「アクション」をクリック ・ ロール:交通費申請書作成者の中でクリック 11 / 30
  • 14. アクション 図 18 帳票「交通費申請書」の記述 1 ・ 作成されたアクションをクリック、左にある「入力動作」タブをクリック ・ 入力動作に 交通費申請書/Request(申請書状態区分;作成済) と入力 ※ 直接帳票の中に入力すると、PEXA に反映されない可能性があるため、必ず上記の手順で入力 を行う。 ※ 何もないところに帳票を作成する振る舞いを Active という。 12 / 30
  • 15. 図 19 帳票「交通費申請書」の記述 2 同様にして、すべてのロールに帳票:交通費申請書を記述 ・ 作成した帳票:交通費申請書を、コピー&ペーストですべてのロールにコピー 図 20 帳票「交通費申請書」の記述 3 13 / 30
  • 16. 帳票が流れていくと、ロールによってその状態区分が変更されるので、帳票の状態区分を変更する。 ・ 各ロールの状態区分を以下のように変更 交通費申請書作成者:作成 : 作成済 → 作成済(変更なし) 交通費申請書受付者:受付 : 作成済 → 受付済 交通費申請書承認者:承認 : 作成済 → 承認済 交通費申請書最終承認者:承認 : 作成済 → 最終承認済 仕訳作成者:導出 : 作成済 → 仕訳作成済 支払依頼作成者:導出 : 作成済 → 支払依頼作成済 制御フロー/オブジェクトフロー 図 21 帳票「交通費申請書」の記述 4 ・ 各帳票を図 21 のように「制御フロー/オブジェクトフロー(矢印)」でつなぐ ※別ロール間で、同一の帳票の状態区分を変更する動作を Accept という。 図 22 帳票「交通費申請書」の記述 5 14 / 30
  • 17. IV. ロールごとにコメントや導出物を記述 Ⅳ-Ⅰ.ロール:交通費申請書作成者 ・ 帳票:交通費申請書明細 ステレオタイプ:entry_create 入力動作:交通費申請書明細/NonType(申請書明細状態区分;作成済) を作成 ※同一ロール内で帳票から帳票を生成する動作を Produce という。 ※「entry_create」は帳票が明細を持つ場合、それを生成し、利用者に手動で編集内容を入力させる 場合に用いられる。 ・ 帳票:交通費申請書から、帳票:交通費申請書明細へ矢印を引く ・ 図 23 帳票:交通費申請書明細の記述 ・ コメント ステレオタイプ:edit ノート:交通費申請書申請日;input/申請日, 交通費申請書合計金額;input/合計金額 を作成 ※ 「edit」は業務項目の値(日付や金額)を、利用者に入力させる場合に用いられる。 書式は「業務項目名;input/値」。 ・ 帳票:交通費申請書と作成したコメントを点線でつなぐ 15 / 30
  • 18. 図 24 ロール:交通費申請書作成者でのコメントの記述 1 ・ コメント ステレオタイプ:search ノート:行き先 Master(行き先名;input/行き先名)行き先 No;行き先 No を作成 ・ 帳票:交通費申請書明細と作成したコメントを点線でつなぐ ・ コメント ステレオタイプ:edit ノート:交通費申請書明細金額;input/明細金額, 交通費申請書明細行先;input/行先, 交通費申請書明細移動日;input/移動日, 移動手段;input/移動手段, を作成 ・ 帳票:交通費申請書明細と作成したコメントを点線でつなぐ 16 / 30
  • 19. 図 25 ロール:交通費申請書作成者でのコメントの記述 2 Ⅳ-Ⅱ.ロール:仕訳作成者 ・ 帳票:仕訳 ステレオタイプ:なし 入力動作:仕訳/NonType(仕訳状態区分;作成済) を作成 ・ 帳票:交通費申請書から、帳票:仕訳へ矢印を引く 17 / 30
  • 20. 図 26 帳票:仕訳の記述 ・ コメント ステレオタイプ:copy ノート:仕訳金額;交通費申請書合計金額 を作成 ※「copy」は Produce 元の業務項目を Produce 先にコピーする場合に用いられる。 ・ 帳票:交通費申請書と帳票:仕訳とを結ぶ矢印に、作成したコメントを点線でつなぐ 図 27 ロール:仕訳作成者でのコメントの記述1 18 / 30
  • 21. コメント ステレオタイプ:edit ノート:勘定科目;input/勘定科目 を作成 ・ 帳票:仕訳と作成したコメントを点線でつなぐ 図 28 ロール:仕訳作成者でのコメントの記述 2 Ⅳ-Ⅲ.ロール:支払依頼作成者 ・ 帳票:支払依頼 ステレオタイプ:なし 入力動作:支払依頼/NonType(支払依頼状態区分;作成済) を作成 ・ 帳票:交通費申請書から、帳票:支払依頼へ矢印を引く 19 / 30
  • 22. 図 29 帳票:支払依頼の記述 ・ コメント ステレオタイプ:copy ノート:支払依頼金額;交通費申請書合計金額 を作成 ・ 帳票:交通費申請書と帳票:支払依頼とを結ぶ矢印に、作成したコメントを点線でつなぐ 図 30 ロール:支払依頼作成者でのコメントの記述 1 20 / 30
  • 23. コメント ステレオタイプ:edit ノート:支払依頼振込元口座番号;input/振込元口座番号, 支払依頼振込先口座番号;input/振込先口座番号 を作成 ・ 帳票:支払依頼と作成したコメントを点線でつなぐ 図 31 ロール:支払依頼作成者でのコメントの記述 2 これで、シーケンス図の作成は完了である。 最後にわかりやすくするために以下のように色づけを行う 21 / 30
  • 24. 図 32 交通費申請システムのシーケンス図 作成したシーケンス図を PEXA 導入手順書に従って PEXA に入力することで、交通費申請システムが自動展開 される。 22 / 30
  • 25. 3. 交通費申請システムの実行手順 交通費申請システムを実行すると,シーケンス図で作成したドメイン(ロール)ごとに画面が作成され,画面左 側のメニューからドメインを選択して表示させる. I. 交通費申請書作成者 交通費申請を申請する際にはまず、交通費申請書作成者の画面で申請日と合計金額を入力し交 通費申請書を作成する。 図 33 交通費申請書作成者画面 23 / 30
  • 26. このとき交通費申請書明細も作成することができる。右上の交通費申請書交通費申請書明細 Dialog ボタンを クリックすると、図 34 のような交通費申請書明細の入力画面が表示される。行き先名、明細金額、行先、移動 日、移動手段を入力すると交通費申請書明細が作成される。このとき、行き先名には最寄の駅など料金が発 生する場所を、行先には会社名などを入力する。 図 34 交通費申請書明細 Dialog 24 / 30
  • 27. さらに、行き先名は行き先 Master を参照して入力することができる。行き先名の右にある虫眼鏡マークをクリッ クすると、図 35 のような行き先 Master の参照画面が開かれる。そこで、行き先名を入力し検索ボタンをクリック すると、行き先名が表示されるのでそれを選択すると、自動で行き先名が入力される。 図 35 行き先 Master 参照画面 II. 交通費申請書受付者 25 / 30
  • 29. III. 交通費申請書承認者 交通費申請書承認者の画面では受付済の交通費申請書を承認する。右上の検索ボタンをクリックすると画 面上に交通費申請書が表示される。これを選択して OK ボタンをクリックすると交通費申請書の申請書状態区 分が承認済になり、承認が完了する。 図 31 交通費申請書承認者画面 27 / 30
  • 30. IV. 交通費申請書最終承認者 交通費申請書最終承認者の画面では承認済の交通費申請書をさらに承認する。右上の検索ボタンをクリッ クすると画面上に交通費申請書が表示される。これを選択して OK ボタンをクリックすると交通費申請書の申請 書状態区分が最終承認済になり、承認が完了する。 図 32 交通費申請書最終承認者画面 28 / 30
  • 31. V. 仕訳作成者 仕訳作成者の画面では最終承認済の交通費申請書をもとに仕訳を導出する。右上の検索ボタンをクリック すると画面上に交通費申請書が表示される。これを選択して、さらに勘定科目を入力して OK ボタンをクリックす ると仕訳が導出され、交通費申請書の申請書状態区分が仕訳作成済となり業務が完了する。 図 33 仕訳作成者の画面 29 / 30
  • 32. VI. 支払依頼作成者 支払依頼作成者の画面では仕訳作成済の交通費申請書をもとに支払依頼を導出する。右上の検索ボ タンをクリックすると画面上に交通費申請書が表示される。これを選択して、さらに振込元口座番号と振込 先口座番号を入力して OK ボタンをクリックすると支払依頼が導出され、交通費申請書の申請書状態区分 が支払依頼作成済となり業務が完了する。 図 40 支払依頼作成者の画面 30 / 30