さ ま ざ ま な 視 点 に 合 わ せ た 仕 様 書 の 作 成 ・ 維 持 の 支 援 手 法
Support method for preparation and maintenance of
specifications tailored to various perspectives
酒 井
雄 太 （ キ ヤ ノ ン ア イ テ ッ ク 株 式 会 社 ）
研 究 概 要
業 務 シ ス テ ム の 開 発 に お い て は ， 技 術 背 景 の 異 な る ス テ ー ク ホ ル ダ ー に 対 し て ， 仕
様 に 関 す る 情 報 を さ ま ざ ま な 視 点 や 抽 象 度 で 表 現 し ， 議 論 や 妥 当 性 確 認 を 促 す 必 要 が
あ る ． そ の よ う な 場 面 に お い て ， 仕 様 書 は ， 通 常 ， 技 術 者 が 作 成 し ， 仕 様 に 関 す る 情
報 を 仕 様 記 述 と し て 集 約 し た も の と な る が ， 例 え ば ， 技 術 者 で は な い 顧 客 に は 読 み に
く い と い っ た 課 題 や ， 読 み 手 の さ ま ざ ま な 視 点 に 合 わ せ た 複 数 の 仕 様 記 述 間 に 不 整 合
が 生 じ る と い っ た 課 題 が あ る ． そ こ で 本 研 究 で は ， 形 式 手 法 の ひ と つ で あ る
V D M
( V i e n n a D e v e l o p m e n t M e t h o d ) に よ っ て 仕 様 記 述 を 行 い ， そ の 仕 様 記 述 か ら 機 械 処
理 に よ っ て ， 読 み 手 の さ ま ざ ま な 視 点 に 合 わ せ た 仕 様 記 述 を 生 成 す る こ と に よ り ， 仕
様 書 の 作 成 ・ 維 持 の 支 援 手 法 を 提 案 す る ． 本 提 案 手 法 に よ る 仕 様 書 は ， 複 数 の 仕 様 記
述 間 の 不 整 合 を 防 ぎ つ つ ， 技 術 者 で は な い 読 み 手 に も 読 み や す い と い う 特 徴 を 持 つ ．
A b s t r a c t I n t h e d e v e l o p m e n t o f b u s i n e s s s y s t e m s , i t i s n e c e s s a r y t o r e p r e s e n t t h e
c o n t e n t s o f t h e s p e c i f i c a t i o n i n a v a r i e t y o f p e r s p e c t i v e s a n d l e v e l s o f a b s t r a c t i o n t o
p r o m o t e d i s c u s s i o n a n d v a l i d a t i o n b y s t a k e h o l d e r s w i t h d i f f e r e n t t e c h n i c a l
b a c k g r o u n d s . A s p e c i f i c a t i o n d o c u m e n t , a d e s c r i p t i o n a g g r e g a t i n g t h e s p e c i f i c a t i o n
c o n t e n t s , i s u s u a l l y c r e a t e d b y e n g i n e e r s a n d t h u s l e a d s t o i s s u e s s u c h a s d i f f i c u l t y
f o r n o n - t e c h n i c a l c u s t o m e r s t o r e a d a n d i n c o n s i s t e n c y b e t w e e n s p e c i f i c a t i o n
d e s c r i p t i o n s p r e p a r e d f o r v a r i o u s v i e w p o i n t s o f r e a d e r s . I n r e s p o n s e t o t h e s e i s s u e s ,
t h i s w o r k p r o p o s e s a m e t h o d f o r s u p p o r t i n g c o n s t r u c t i o n a n d m a i n t e n a n c e o f
s p e c i f i c a t i o n d o c u m e n t s . I n t h e m e t h o d , a s p e c i f i c a t i o n d e s c r i p t i o n i s c o n s t r u c t e d
b y u s i n g V D M ( V i e n n a D e v e l o p m e n t M e t h o d ) , o n e o f f o r m a l m e t h o d s , a n d t h e n
d e s c r i p t i o n s f o r v a r i o u s v i e w p o i n t s o f r e a d e r s a r e a u t o m a t i c a l l y g e n e r a t e d . T h i s
m e t h o d l e a d s t o s p e c i f i c a t i o n d o c u m e n t s t h a t p r e v e n t i n c o n s i s t e n c y b e t w e e n
m u l t i p l e d e s c r i p t i o n s a n d a r e c o m p r e h e n s i b l e f o r n o n - t e c h n i c a l r e a d e r s .
1 . は じ め に
1 . 1 業 務 シ ス テ ム の 開 発
著 者 は ， 所 属 す る 組 織 に お い て ， 業 務 シ ス テ ム の 開 発 に 携 わ っ て い る ． 業 務 シ ス テ
ム の 開 発 に お い て は ， 技 術 背 景 の 異 な る ス テ ー ク ホ ル ダ ー に 対 し て ， 業 務 シ ス テ ム の
機 能 や 画 面 と い っ た ， 仕 様 に 関 す る 情 報 を さ ま ざ ま な 視 点 や 抽 象 度 で 表 現 し ， 議 論 や
妥 当 性 確 認 を 促 す 必 要 が あ る ． 例 え ば ， 現 場 担 当 者 に お い て は ， 現 場 で 業 務 シ ス テ ム
を ど の よ う に 使 う か と い う こ と に つ い て 興 味 が あ る の で ， 業 務 シ ス テ ム の 基 本 的 な 使
い 方 の 視 点 で 表 現 し た 仕 様 を 示 す こ と が ， 議 論 や 妥 当 性 確 認 を 促 す こ と に つ な が る ．
1 . 2 業 務 シ ス テ ム の 開 発 に お け る 仕 様 書 の 課 題
技 術 背 景 の 異 な る ス テ ー ク ホ ル ダ ー に 対 し て 議 論 や 妥 当 性 確 認 を 促 す 必 要 が あ る 場
面 に お い て ， 技 術 者 と 技 術 者 で は な い 読 み 手 と の コ ミ ュ ニ ケ ー シ ョ ン の た め に ， 仕 様
書 が 用 い ら れ る ． 仕 様 書 は ， 通 常 ， 技 術 者 が 作 成 ・ 維 持 し ， 仕 様 に 関 す る 情 報 を 仕 様
記 述 （ 仕 様 を あ る 形 式 で 表 現 し た も の ） と し て 集 約 し た も の で あ る ．
こ の よ う な 仕 様 書 の 課 題 の ひ と つ は ， 技 術 者 で は な い 読 み 手 に は 読 み に く い と い う
こ と で あ る ． 例 え ば ， 読 み 手 が 現 場 担 当 者 で あ る 場 合 ， 以 下 に 挙 げ る よ う な 問 題 が 生
じ う る ．
( 1 ) 読 み 手 は ， ど の 記 述 を 読 む べ き か 分 か ら な い た め ， 仕 様 書 の 全 て の 記 述 に
向 き 合 う 必 要 が あ り ， 限 ら れ た 時 間 内 に 理 解 す る こ と が で き な か っ た り ，
レ ビ ュ ー を 完 了 さ せ た り す る こ と が で き な い
( 2 ) 読 み 手 は ， 具 体 的 な 動 作 を 理 解 し た い と き ， 複 数 の 記 述 を 横 断 的 に 読 む 必
要 が あ る
( 3 ) 読 み 手 は ， 内 部 の ロ ジ ッ ク や 外 部 の 業 務 管 理 シ ス テ ム と の 連 携 に つ い て の
記 載 に つ い て は ， 関 心 が な い
( 4 ) 読 み 手 は ， 普 段 行 な っ て い る 業 務 が ど の よ う に 変 化 す る の か を 想 像 す る こ
と が で き ず ， 業 務 が 楽 に な る の か 分 か ら な い
上 記 の 問 題 を 扱 う た め に ， 読 み 手 に 合 わ せ た 仕 様 記 述 を 用 意 す る こ と が 多 い ． し か
し ， 読 み 手 の さ ま ざ ま な 視 点 に 合 わ せ た 複 数 の 仕 様 記 述 間 に 不 整 合 が 生 じ る と い う 課
題 が あ る ． 不 整 合 が 生 じ る 原 因 と し て ， あ る 仕 様 記 述 か ら ， 視 点 や 抽 象 度 を 変 え た 仕
様 記 述 を 作 成 す る 際 に ， 欠 陥 が 混 入 す る こ と や ， あ る 仕 様 記 述 を 更 新 し た と き に ， そ
の 仕 様 記 述 か ら 作 成 さ れ て い る 仕 様 記 述 が 更 新 さ れ な い こ と な ど が 挙 げ ら れ る ．
2 . 本 研 究 の 提 案
2 . 1 さ ま ざ ま な 視 点 に 合 わ せ た 仕 様 書 の 作 成 ・ 維 持 の 支 援 手 法
そ こ で 本 研 究 で は ， 仕 様 に 関 す る 一 通 り の 情 報 が 集 約 さ れ た も の と し て ， 形 式 手 法
の ひ と つ で あ る
V D M ( V i e n n a D e v e l o p m e n t M e t h o d ) [ 1 ] に よ っ て 形 式 仕 様 記 述 [ 2 ]
を 行 い ， そ の 仕 様 記 述 か ら 機 械 処 理 に よ っ て ， 読 み 手 の さ ま ざ ま な 視 点 に 合 わ せ た 仕
様 記 述 を 生 成 す る こ と に よ る ， 仕 様 書 の 作 成 ・ 維 持 の 支 援 手 法 を 提 案 す る ．
V D M に
お い て は ， 仕 様 記 述 言 語 に よ り シ ス テ ム の モ デ ル を 厳 密 に 記 述 す る ． 本 研 究 で は ，
V D M に よ る 厳 密 な 仕 様 記 述 が 機 械 処 理 可 能 で あ る こ と を 活 か し ， そ の 記 述 か ら 状 態
遷 移 図 や シ ー ケ ン ス 図 と い っ た 表 現 形 式 の 仕 様 記 述 を 生 成 す る 手 法 を 提 案 す る ．
図
1 提 案 手 法 の 概 念
図
1 に て ， 本 提 案 手 法 の 概 念 を 説 明 す る ． V D M に よ る 仕 様 記 述 は ， 技 術 者 に よ り
作 成 ・ 維 持 さ れ ， 仕 様 に 関 す る 一 通 り の 情 報 が 集 約 さ れ た も の で あ る ． こ れ は ， さ ま
ざ ま な 視 点 で 読 む こ と が で き る が ， 技 術 者 で は な い 読 み 手 に は 読 み に く い も の で あ る ．
そ こ で ，
V D M に よ る 仕 様 記 述 か ら ， 現 場 担 当 者 や 技 術 者 と い っ た 読 み 手 の 視 点 に 合
わ せ て ， 機 械 処 理 に よ る 仕 様 記 述 の 生 成 を 行 う ．
本 提 案 手 法 に よ り 作 成 ・ 維 持 さ れ る 仕 様 書 は ， 複 数 の 仕 様 記 述 間 の 不 整 合 を 防 ぐ こ
と が で き た り ， 技 術 者 で は な い 読 み 手 に も 読 み や す か っ た り す る ． な ぜ な ら ば ， あ る
仕 様 記 述 か ら 機 械 処 理 に よ っ て 生 成 さ れ た 仕 様 記 述 は ， 欠 陥 が 混 入 す る 可 能 性 が 低 い
し ， 機 械 処 理 を 自 動 化 す る こ と に よ っ て ， 常 に 整 合 性 を 維 持 す る こ と が で き る か ら で
あ る ． さ ら に ， 仕 様 書 に ， 読 み 手 や 状 況 に 応 じ た 仕 様 記 述 が 存 在 し ， 読 む べ き 仕 様 記
述 を 取 捨 選 択 す る こ と が 容 易 だ か ら で あ る ．
な お ， 仕 様 に 関 す る 一 通 り の 情 報 に は ，
V D M に よ っ て 記 述 さ れ る 機 能 仕 様 や ユ ー
ス ケ ー ス 記 述 な ど に 加 え て ， 図 に よ る 画 面 イ メ ー ジ が 含 ま れ る と 考 え る が ， 本 研 究 に
お い て は ，
V D M に よ る 部 分 に 絞 っ て 検 討 す る ．
ま た ， 機 械 処 理 に よ り 生 成 さ れ た 仕 様 記 述 の 修 正 は ，
V D M に よ る 仕 様 記 述 を 修 正
す る こ と で 実 現 す る ． こ の よ う な 手 順 と す る 背 景 と し て ， 通 常 ， 機 械 処 理 に よ り 生 成
さ れ た 仕 様 記 述 は ，
V D M に よ る 仕 様 記 述 に 比 べ 情 報 量 が 少 な い も の と な り ， 情 報 量
の 少 な い 仕 様 記 述 の 変 更 か ら ， 情 報 量 の 多 い 仕 様 記 述 の 変 更 を 一 意 に 決 め る こ と が 困
難 だ と い う こ と が あ る ． 具 体 的 な 運 用 と し て ， レ ビ ュ ー に お い て ， 参 加 者 は 機 械 処 理
に よ り 生 成 さ れ た 仕 様 記 述 に 対 し て 赤 入 れ を 行 い ， 技 術 者 は そ の 結 果 と 一 致 す る よ う
に ，
V D M に よ る 仕 様 記 述 を 修 正 す る と い っ た こ と が 考 え ら れ る ．
2 . 2 本 研 究 の 実 装
本 研 究 で は ， 本 提 案 の 第 一 歩 と し て ， 以 下 の 提 案 手 法 に 基 づ い た 仕 様 記 述 生 成 機 能
を 実 装 す る ．
( 1 ) 現 場 担 当 者 向 け の 仕 様 記 述 （ シ ー ケ ン ス 図 ） の 生 成 機 能
( 2 ) 技 術 者 向 け の 仕 様 記 述 （ 画 面 遷 移 図 と シ ー ケ ン ス 図 ） の 生 成 機 能
こ れ ら の 仕 様 記 述 生 成 機 能 に よ っ て 生 成 さ れ た 仕 様 記 述 は ， 現 場 担 当 者 や 技 術 者 が ，
業 務 シ ス テ ム に つ い て あ る 視 点 か ら 理 解 す る こ と を 促 す ． 表
1 に ， 視 点 の 具 体 例 を
挙 げ る ．
表
1 本 研 究 で 生 成 の 仕 組 み を 検 討 す る 仕 様 記 述 と そ の 視 点
仕 様 記 述
図 の 種 類
視 点
現 場 担 当 者 向 け の 仕 様 記
述
シ ー ケ ン ス 図
業 務 シ ス テ ム の 基 本 的 な 使 い 方 を 理 解
す る
技 術 者 向 け の 仕 様 記 述
画 面 遷 移 図
画 面 遷 移 に 関 す る 仕 様 を 俯 瞰 し ， 全 体
像 を 理 解 す る
シ ー ケ ン ス 図
業 務 シ ス テ ム の 具 体 的 な 動 作 の 一 例 を
通 し て ， 仕 様 の 理 解 を 促 す
3 例 題 を 用 い た 提 案 手 法 の 説 明
3 . 1 V D M に よ る 仕 様 記 述
本 提 案 手 法 を 構 築 ， 試 行 す る に あ た り ， 機 器 の メ ン テ ナ ン ス 業 務 を 管 理 す る シ ス テ
ム を 例 題 と し て 設 定 し ， 例 題 に つ い て の
V D M に よ る 仕 様 記 述 を 行 な っ た ． 本 研 究 で
は ， 仕 様 記 述 言 語 と し て
V D M + + 言 語 を 採 用 し た ． ま た ， 機 械 処 理 に よ る 仕 様 記 述 の
生 成 を 実 施 可 能 と す る た め に ， 表
2 の 要 求 事 項 を 満 た す よ う な 記 述 と し た ．
表
2 本 提 案 手 法 の V D M に よ る 仕 様 記 述 に 対 す る 要 求 事 項
要 求
定 め た ル ー ル
各 画 面 に 関 す る 仕 様 が 記 述 さ れ て お り ，
画 面 毎 に ま と ま っ た 形 で 容 易 に 抽 出 で き
る こ と
各 画 面 を ，
1 つ の V D M + + ク ラ ス で 記 述
す る
各
U I 要 素 に 関 す る 仕 様 が 記 述 さ れ て お
り ， 画 面 に 紐 づ く 形 で 容 易 に 抽 出 で き る
こ と
各
U I 要 素 を ， 画 面 に つ い て 記 述 し た
V D M + + ク ラ ス の イ ン ス タ ン ス 変 数 で 表
現 す る
画 面 遷 移 に 関 す る 仕 様 が 記 述 さ れ て お
り ， 遷 移 元 と 遷 移 先 の 画 面 名 が 容 易 に 抽
出 で き る こ と
画 面 遷 移 を ， 画 面 に つ い て 記 述 し た
V D M + + ク ラ ス の 操 作 の 戻 り 値 に て ， 遷
移 先 の 画 面 の イ ン ス タ ン ス を 返 す こ と で
表 現 す る
基 本 的 な 使 い 方 が 記 述 さ れ て い て ， ま
た ， そ れ を 実 行 し た と き の 内 部 的 な こ と
も 含 め た 振 る 舞 い に つ い て の 情 報 を 抽 出
で き る こ と
画 面 に 対 す る 一 連 の 操 作 の 一 例 を 記 述 す
る
全 て の 操 作 に 対 し て ， ロ グ 出 力 を 記 述 す
る
こ れ ら を 踏 ま え た ， 具 体 的 な 仕 様 記 述 の 例 を 以 下 に 示 す ． 前 述 の 要 求 事 項 と の 対 応
は ， 仕 様 記 述 中 の コ メ ン ト と し て 示 し た ．
- - こ の ク ラ ス は ロ グ イ ン 画 面 に つ い て の 仕 様 記 述 で あ る c l a s s ロ グ イ ン 画 面 i s s u b c l a s s o f 画 面 i n s t a n c e v a r i a b l e s - - U I 要 素 を イ ン ス タ ン ス 変 数 と し て 表 現 す る p u b l i c I D フ ィ ー ル ド : t o k e n : = m k _ t o k e n ( " N U L L " ) ; p u b l i c パ ス ワ ー ド フ ィ ー ル ド : t o k e n : = m k _ t o k e n ( " N U L L " ) ; < 省 略 > - - 画 面 遷 移 を 伴 う 操 作 の 戻 り 値 は 次 の 画 面 の イ ン ス タ ン ス で あ る p u b l i c ロ グ イ ン ボ タ ン を 押 下 す る : ( ) = = > 画 面 ロ グ イ ン ボ タ ン を 押 下 す る ( ) = = ( - - 操 作 に 対 し て ， V D M + + を 実 行 し た 際 に 出 力 さ れ る ロ グ が 埋 め 込 ま れ て い る i o . p r i n t ( " ロ グ イ ン 画 面 . ロ グ イ ン ボ タ ン を 押 下 す る \ n " ) ; l e t s y s = シ ス テ ム ` シ ス テ ム イ ン ス タ ン ス , 認 証 情 報 確 認 結 果 = s y s . 認 証 情 報 を 確 認 す る ( I D フ ィ ー ル ド , パ ス ワ ー ド フ ィ ー ル ド ) i n i f 認 証 情 報 確 認 結 果 = t r u e t h e n ( i o . p r i n t ( " ロ グ イ ン 画 面 . タ ス ク 一 覧 画 面 に 遷 移 す る \ n " ) ; r e t u r n n e w タ ス ク 一 覧 画 面 ( ) ; ) e l s e r e t u r n s e l f ) < 省 略 > e n d ロ グ イ ン 画 面図
2 ロ グ イ ン 画 面 の V D M に よ る 仕 様 記 述 の 例
p u b l i c 基 本 シ ナ リ オ を 実 行 す る : ( ) = = > ( ) 基 本 シ ナ リ オ を 実 行 す る ( ) = = ( i o . p r i n t ( " ユ ー ス ケ ー ス . 基 本 シ ナ リ オ を 実 行 す る \ n " ) ; 現 ユ ー ザ . 起 動 す る ( ) ; 現 ユ ー ザ . ロ グ イ ン す る ( m k _ t o k e n ( " L o g i n " ) , m k _ t o k e n ( " P a s s w o r d " ) ) ; 現 ユ ー ザ . タ ス ク を 選 択 す る ( m k _ t o k e n ( " 顧 客 0 0 0 1 " ) ) ; 現 ユ ー ザ . タ ス ク 情 報 を 取 得 す る ( ) ; 現 ユ ー ザ . 作 業 内 容 を 登 録 す る ( m k _ t o k e n ( " W o r k 1 " ) ) ; 現 ユ ー ザ . 交 換 部 品 を 登 録 す る ( m k _ t o k e n ( " P 0 0 0 1 " ) , m k _ t o k e n ( " P a r t s 1 " ) ) ; 現 ユ ー ザ . 作 業 内 容 を 取 得 す る ( ) ; 現 ユ ー ザ . 交 換 部 品 を 取 得 す る ( ) ; 現 ユ ー ザ . 作 業 結 果 を 送 信 す る ( ) ; )
図
3 画 面 に 対 す る 一 連 の 操 作 を V D M に よ り 記 述 し た 例
3 . 2 機 械 処 理 に よ る 仕 様 記 述 の 生 成
次 に ， 先 に 作 成 し た
V D M に よ る 仕 様 記 述 か ら ， 機 械 処 理 に よ る 仕 様 記 述 の 生 成 を
行 な っ た ． 本 研 究 で は ， 現 場 担 当 者 向 け の 仕 様 記 述 （ シ ー ケ ン ス 図 ） と 技 術 者 向 け の
仕 様 記 述 （ 画 面 遷 移 図 と シ ー ケ ン ス 図 ） が 対 象 で あ る ．
3 . 2 . 1 シ ー ケ ン ス 図 の 生 成
本 研 究 の シ ー ケ ン ス 図 は ，
V D M に よ る 仕 様 記 述 を 実 行 す る こ と に よ る 出 力 （ 実 行
ロ グ ） に 対 し て シ ー ケ ン ス 図 へ の 変 換 処 理 を 行 う こ と で 得 ら れ る ． 本 研 究 で は ，
V D M に よ る 仕 様 記 述 の 実 行 に O v e r t u r e T o o l [ 3 ] を 利 用 し た ． ま た ， シ ー ケ ン ス 図
へ の 変 換 処 理 は ， 実 行 ロ グ か ら ， ク ラ ス 間 の 操 作 呼 び 出 し ロ グ を 抽 出 し ， さ ま ざ ま な
図 の 生 成 ツ ー ル で あ る
P l a n t U M L [ 4 ] が 解 釈 可 能 な 形 式 の フ ァ イ ル を 生 成 す る 手 段 と ，
そ の フ ァ イ ル を 入 力 と し て ツ ー ル を 実 行 し ， 画 像 デ ー タ と し て シ ー ケ ン ス 図 を 得 る 手
段 で 構 成 さ れ る ． さ ら に ， こ の 変 換 処 理 は ， 読 み 手 に 合 わ せ て ， シ ー ケ ン ス 図 に 掲 載
す る 情 報 を 取 捨 選 択 す る こ と が で き る ． 例 え ば ， 現 場 担 当 者 は シ ス テ ム に 関 す る 情 報
は 不 要 で あ る の で ， 操 作 呼 び 出 し ロ グ の 抽 出 処 理 に お い て ， シ ス テ ム ク ラ ス の 操 作 呼
び 出 し ロ グ は 除 外 す る ， と い っ た こ と で あ る ． こ れ ら に よ り ， 生 成 さ れ た シ ー ケ ン ス
図 の 例 を 図
4 に 示 す ．
図
4 機 械 処 理 に よ り 生 成 さ れ た 仕 様 記 述 ( シ ー ケ ン ス 図 ) の 例
3 . 2 . 2 画 面 遷 移 図 の 生 成
本 研 究 の 画 面 遷 移 図 は ，
V D M に よ る 仕 様 記 述 に 対 し て 変 換 処 理 を 行 う こ と で 得 ら
れ る ． 画 面 遷 移 図 へ の 変 換 処 理 は ，
V D M に よ る 仕 様 記 述 の う ち ， 画 面 の 仕 様 に あ た
る も の を 抽 出 し ， さ ら に ， そ れ ら に 記 述 さ れ て い る
U I 要 素 と 画 面 遷 移 に 関 す る 情 報
を 抽 出 し た 上 で ， ツ ー ル で 解 釈 可 能 な 形 式 の フ ァ イ ル を 生 成 す る 手 段 と ， そ の フ ァ イ
ル を 入 力 と し て
P l a n t U M L を 実 行 し ， 画 像 デ ー タ と し て 画 面 遷 移 図 を 得 る 手 段 で 構
成 さ れ る ． な お ， 画 面 遷 移 図 の 生 成 は ， ア ク テ ィ ビ テ ィ 図 生 成 機 能 を 利 用 し た ． こ れ
ら に よ り ， 生 成 さ れ た 画 面 遷 移 図 の 例 を 図
5 に 示 す ．
こ の 画 面 遷 移 図 か ら は ， 業 務 シ ス テ ム の 画 面 遷 移 に 関 す る 仕 様 を 俯 瞰 し ， 全 体 像 を
理 解 す る こ と が で き る ． 例 え ば ， 本 研 究 の 実 装 で は ， 画 面 毎 に 仕 様 記 述 が さ れ て い る
が ， 画 面 遷 移 の 仕 様 を 理 解 す る た め に は ， そ れ ら の 仕 様 記 述 を 横 断 的 に 読 む 必 要 が あ
る ． 本 図 な ら ば ， 画 面 遷 移 に 関 す る 仕 様 が ひ と つ の 図 に ま と ま っ て い る の で ， 理 解 す
る こ と が 容 易 で あ る ．
図
5 機 械 処 理 に よ り 生 成 さ れ た 仕 様 記 述 ( 画 面 遷 移 図 ) の 例
4 . 評 価 と 考 察
4 . 1 生 成 機 能 に つ い て
本 研 究 の 実 装 に よ る 仕 様 書 生 成 機 能 は ， 本 提 案 の 第 一 歩 と な る も の で あ り ， 本 提 案
で 期 待 す る 初 期 の 効 果 を 確 認 す る こ と が で き た と 言 え る ． 具 体 的 に は ，
V D M に よ る
仕 様 記 述 か ら ， 機 械 処 理 に よ り 仕 様 記 述 （ シ ー ケ ン ス 図 と 画 面 遷 移 図 ） を 生 成 す る こ
と で ， 複 数 の 仕 様 記 述 間 の 不 整 合 を 防 ぐ こ と が で き た ． ま た ， シ ー ケ ン ス 図 で は ， 業
務 シ ス テ ム の 基 本 的 な 使 い 方 を 表 現 す る こ と が で き た ． 普 段 の 業 務 で は ， さ ら に ， 図
に よ る 画 面 イ メ ー ジ と い っ た 情 報 を 含 め て ， 操 作 マ ニ ュ ア ル の よ う な 形 で 示 す こ と も
あ る が ， 後 述 す る 提 案 手 法 の 拡 張 に よ っ て ， そ れ は 実 現 可 能 だ と 言 え る ．
な お ， 本 仕 様 書 生 成 機 能 は ，
5 0 0 行 程 度 の 少 な い 量 の 仕 様 記 述 で ， さ ま ざ ま な 視 点
の 仕 様 記 述 を 機 械 処 理 よ っ て 生 成 す る こ と が で き た ．
4 . 2 提 案 手 法 に つ い て
本 提 案 手 法 の 目 指 す こ と は ， 読 み 手 の さ ま ざ ま な 視 点 に 合 わ せ た 仕 様 記 述 を 生 成 し ，
か つ ， 複 数 の 仕 様 記 述 間 の 不 整 合 を 防 ぐ こ と で あ る ． そ こ に た ど り 着 く た め に は ， 本
提 案 手 法 を 拡 張 す る こ と や ， 本 提 案 手 法 を 開 発 プ ロ セ ス に 適 用 す る と い っ た こ と が 必
要 で あ る と 考 え る ．
本 提 案 手 法 の 今 後 の 拡 張 と し て ， 例 え ば ， 本 研 究 で 作 成 し た
V D M に よ る 仕 様 記 述
で あ っ て も ， 「 シ ス テ ム が 持 つ イ ン タ ー フ ェ ー ス の 一 覧 」 の よ う な 仕 様 記 述 は 簡 単 な
拡 張 で 実 現 で き る と 考 え ら れ る ． ま た ， 前 述 し た
V D M に よ る 仕 様 記 述 の 要 求 事 項 を
拡 張 し ， 本 研 究 で は 扱 わ な か っ た 図 に よ る 画 面 イ メ ー ジ と 組 み 合 わ せ て ， 静 的 プ ロ ト
タ イ プ
[ 5 ] の よ う な 仕 様 記 述 を 生 成 す る こ と や ， 業 務 に 関 す る こ と が ら を 含 め た
V D M に よ る 仕 様 記 述 を 作 成 し て ， 業 務 フ ロ ー 図 [ 6 ] の よ う な 仕 様 記 述 を 生 成 す る こ と
の 実 現 方 法 は 容 易 に 考 え ら れ る ．
さ ら に ， 対 象 と す る シ ス テ ム を 増 や す こ と も 可 能 だ と 考 え ら れ る ． 本 研 究 で は 典 型
的 な 業 務 シ ス テ ム を 対 象 に し た の で ，
V D M に よ る 仕 様 記 述 に 対 す る 要 求 事 項 と し て ，
画 面 に 関 す る 仕 様 な ど を 設 け た が ， 組 み 込 み シ ス テ ム と い っ た ， 別 の シ ス テ ム を 対 象
と す る 場 合 は ， 前 述 の も の と は 異 な る 要 求 事 項 を 定 め る 必 要 が あ る ． し か し ， 本 提 案
手 法 の 考 え 方 は ， 別 の シ ス テ ム を 対 象 と す る 場 合 に も 活 用 で き る ．
本 提 案 手 法 を 開 発 プ ロ セ ス に 適 用 す る た め に は ， ス テ ー ク ホ ル ダ ー に 応 じ た 視 点 の
選 定 す る こ と ， 視 点 に 合 わ せ た 仕 様 記 述 を 生 成 す る た め の 手 法 の 検 討 と 実 装 を 行 う こ
と ，
V D M に よ る 仕 様 記 述 を 更 新 し た ら ， 機 械 処 理 に よ る 仕 様 記 述 を 再 生 成 す る と い
っ た 実 際 の 運 用 に つ い て の こ と ， 読 み 手 か ら の フ ィ ー ド バ ッ ク に 基 づ き 提 案 手 法 を 改
善 す る と い っ た こ と を 定 め る 必 要 が あ る ．
5 . お わ り に
本 研 究 で は ， 形 式 手 法 の ひ と つ で あ る
V D M に よ っ て 仕 様 記 述 を 行 い ， そ の 仕 様 記
述 か ら 機 械 処 理 に よ っ て ， ス テ ー ク ホ ル ダ ー の さ ま ざ ま な 視 点 に 合 わ せ た 仕 様 記 述 を
生 成 す る こ と に よ り ， 仕 様 書 の 作 成 ・ 維 持 作 業 の 支 援 手 法 を 提 案 し た ．
本 研 究 で は ， 機 械 処 理 に よ っ て 画 面 遷 移 図 と シ ー ケ ン ス 図 を 生 成 す る ， 本 提 案 手 法
に 基 づ い た 仕 様 記 述 作 成 機 能 の 実 装 を 行 な っ た ． こ れ ら の 仕 様 記 述 は ， 技 術 者 や 現 場
担 当 者 に 役 立 つ 視 点 で あ る と 考 え た ． 本 研 究 の 実 装 は ， 本 提 案 手 法 の 第 一 歩 と な る も
の で あ る が ， そ の 特 徴 で あ る ， 複 数 の 仕 様 記 述 間 の 不 整 合 を 防 ぎ つ つ ， 技 術 者 で は な
い 読 み 手 に も 読 み や す い と い う こ と を 示 し ， ま た ， 今 後 の 拡 張 の 可 能 性 を 示 す こ と が
で き た ．
今 後 は ， 本 提 案 手 法 の 拡 張 に よ っ て ， つ ま り ， 多 様 な ス テ ー ク ホ ル ダ ー と の よ り 深
い 議 論 や 妥 当 性 確 認 の た め の 仕 様 書 を 生 成 で き る よ う に す る こ と で ， 要 求 獲 得 活 動 の
品 質 向 上 に つ な げ た い ．
6 . 今 後 の 展 望
下 記 に ， 本 研 究 に お け る 今 後 の 展 望 を 列 挙 す る ．
l
よ り さ ま ざ ま な 仕 様 記 述 へ の 生 成 機 能 を 構 築
l
他 の シ ス テ ム へ の 適 用 を 通 し た 手 法 の 洗 練
l
技 術 者 で は な い 読 み 手 に よ る 評 価
謝 辞
本 論 文 の 執 筆 に 当 た り ， 演 習 コ ー ス
I I ア ド バ イ ザ ー の 九 州 大 学 大 学 院 荒 木 啓 二 先
生 ， 主 査 の 栗 田 太 郎 氏 ， 副 主 査 の 石 川 冬 樹 氏 ， 研 究 員 の 宮 本 陽 子 氏 ， 日 本 科 学 技 術 連
盟 の 事 務 局 の 皆 様 に 大 変 お 世 話 に な り ま し た ． 厚 く お 礼 申 し 上 げ ま す ．
参 考 文 献
[ 1 ] J o h n F i t z g e r a l d , P e t e r G o r m L a r s e n , P a u l M u k h e r j e e , N i c o P l a t , a n d M a r c e l
V e r h o e f , 酒 匂 寛 ( 訳 ) , V D M + + に よ る オ ブ ジ ェ ク ト 指 向 シ ス テ ム の 高 品 質 設 計 と 検
証
, 翔 泳 社 2 0 1 0 .
[ 2 ] 荒 木 啓 二 郎 ， 張 漢 明 : プ ロ グ ラ ム 仕 様 記 述 論 ， オ ー ム 社 ， 2 0 0 2 .
[ 3 ] O v e r t u r e T o o l
h t t p : / / o v e r t u r e t o o l . o r g /
[ 4 ] P l a n t U M L
h t t p : / / p l a n t u m l . c o m /
[ 5 ] 川 西
裕 幸 ， 栗 山 進 ， 潮 田 浩 ， U X デ ザ イ ン 入 門 ， 日 経 B P 社 2 0 1 2
[ 6 ] 高 安
厚 思 ， シ ス テ ム 設 計 の 謎 を 解 く ， ソ フ ト バ ン ク ク リ エ イ テ ィ ブ 株 式 会 社
2 0 1 3
付 録
本 稿 の
3 章 で 示 し た ， V D M に よ る 仕 様 記 述 と ， 機 械 処 理 に よ り 生 成 さ れ た 仕 様 記
述
( シ ー ケ ン ス 図 と 画 面 遷 移 図 ) に つ い て ， 作 成 し た フ ァ イ ル を 付 録 と し て 掲 載 す る ．
な お ， 使 用 し た ラ イ ブ ラ リ に 関 す る 記 載 は 省 略 す る ．
- フ ァ イ ル 一 覧
- ユ ー ス ケ ー ス . v d m p p
- ユ ー ザ . v d m p p
- 画 面 . v d m p p
- ホ ー ム 画 面 . v d m p p
- ロ グ イ ン 画 面 . v d m p p
- タ ス ク 一 覧 画 面 . v d m p p
- メ ン テ ナ ン ス 作 業 画 面 . v d m p p
- タ ス ク 情 報 画 面 . v d m p p
- 作 業 内 容 登 録 画 面 . v d m p p
- 交 換 部 品 登 録 画 面 . v d m p p
- シ ー ケ ン ス 図 . s v g
- 画 面 遷 移 図 . s v g
c l a s s ユ ー ス ケ ー ス i n s t a n c e v a r i a b l e s 現 ユ ー ザ : ユ ー ザ : = n e w ユ ー ザ ( ) ; i o : I O : = n e w I O ( ) ; o p e r a t i o n s p u b l i c 基 本 シ ナ リ オ を 実 行 す る : ( ) = = > ( ) 基 本 シ ナ リ オ を 実 行 す る ( ) = = ( i o . p r i n t ( " ユ ー ス ケ ー ス . 基 本 シ ナ リ オ を 実 行 す る \ n " ) ; 現 ユ ー ザ . 起 動 す る ( ) ; 現 ユ ー ザ . ロ グ イ ン す る ( m k _ t o k e n ( " L o g i n " ) , m k _ t o k e n ( " P a s s w o r d " ) ) ; 現 ユ ー ザ . タ ス ク を 選 択 す る ( m k _ t o k e n ( " 顧 客 0 0 0 1 " ) ) ; 現 ユ ー ザ . タ ス ク 情 報 を 取 得 す る ( ) ; 現 ユ ー ザ . 作 業 内 容 を 登 録 す る ( m k _ t o k e n ( " W o r k 1 " ) ) ; 現 ユ ー ザ . 交 換 部 品 を 登 録 す る ( m k _ t o k e n ( " P 0 0 0 1 " ) , m k _ t o k e n ( " P a r t s 1 " ) ) ; 現 ユ ー ザ . 作 業 内 容 を 取 得 す る ( ) ; 現 ユ ー ザ . 交 換 部 品 を 取 得 す る ( ) ; 現 ユ ー ザ . 作 業 結 果 を 送 信 す る ( ) ; ) p o s t ( 現 ユ ー ザ . 現 顧 客 名 = m k _ t o k e n ( " 顧 客 0 0 0 2 " ) a n d 現 ユ ー ザ . 現 現 象 情 報 = m k _ t o k e n ( " 現 象 2 " ) ) ; e n d ユ ー ス ケ ー ス図
6 ユ ー ス ケ ー ス . v d m p p
c l a s s ユ ー ザ t y p e s p u b l i c I D 型 = t o k e n ; p u b l i c パ ス ワ ー ド 型 = t o k e n ; p u b l i c タ ス ク 名 型 = t o k e n ; v a l u e s i n s t a n c e v a r i a b l e s p u b l i c 現 画 面 : 画 面 : = n e w ホ ー ム 画 面 ( ) ; p u b l i c 現 顧 客 名 : t o k e n : = m k _ t o k e n ( " N U L L " ) ; p u b l i c 現 顧 客 住 所 : t o k e n : = m k _ t o k e n ( " N U L L " ) ; p u b l i c 現 そ の 他 情 報 : t o k e n : = m k _ t o k e n ( " N U L L " ) ; p u b l i c 現 現 象 情 報 : t o k e n : = m k _ t o k e n ( " N U L L " ) ; p u b l i c 現 原 因 情 報 : t o k e n : = m k _ t o k e n ( " N U L L " ) ; p u b l i c 現 対 策 情 報 : t o k e n : = m k _ t o k e n ( " N U L L " ) ; p u b l i c 現 交 換 部 品 集 合 : s e t o f 交 換 部 品 登 録 画 面 ` 部 品 フ ィ ー ル ド 型 : = { } ; i o : I O : = n e w I O ( ) ; o p e r a t i o n s p u b l i c 起 動 す る : ( ) = = > ( ) 起 動 す る ( ) = = ( i o . p r i n t ( " ユ ー ザ . 起 動 す る \ n " ) ; 現 画 面 : = n a r r o w _ ( 現 画 面 , ホ ー ム 画 面 ) . ア イ コ ン を 押 下 す る ( ) ; ) p r e i s o f c l a s s ( ホ ー ム 画 面 , 現 画 面 ) p o s t i s o f c l a s s ( ロ グ イ ン 画 面 , 現 画 面 ) ; p u b l i c ロ グ イ ン す る : I D 型 * パ ス ワ ー ド 型 = = > ( ) ロ グ イ ン す る ( i d , パ ス ワ ー ド ) = = l e t s = n a r r o w _ ( 現 画 面 , ロ グ イ ン 画 面 ) i n ( i o . p r i n t ( " ユ ー ザ . ロ グ イ ン す る \ n " ) ; s . I D を 入 力 す る ( i d ) ; s . パ ス ワ ー ド を 入 力 す る ( パ ス ワ ー ド ) ; 現 画 面 : = s . ロ グ イ ン ボ タ ン を 押 下 す る ( ) ; ) p r e i s o f c l a s s ( ロ グ イ ン 画 面 , 現 画 面 ) p o s t i s o f c l a s s ( タ ス ク 一 覧 画 面 , 現 画 面 ) o r i s o f c l a s s ( ロ グ イ ン 画 面 , 現 画 面 ) ; p u b l i c タ ス ク を 選 択 す る : タ ス ク 名 型 = = > ( ) タ ス ク を 選 択 す る ( タ ス ク 名 ) = = ( i o . p r i n t ( " ユ ー ザ . タ ス ク を 選 択 す る \ n " ) ; 現 画 面 : = n a r r o w _ ( 現 画 面 , タ ス ク 一 覧 画 面 ) . タ ス ク 一 覧 を 押 下 す る ( タ ス ク 名 ) ; ) p r e i s o f c l a s s ( タ ス ク 一 覧 画 面 , 現 画 面 ) p o s t ( タ ス ク 一 覧 画 面 に タ ス ク 名 が 含 ま れ て い る ( 現 画 面 ~ , タ ス ク 名 ) a n d i s o f c l a s s ( メ ン テ ナ ン ス 作 業 画 面 , 現 画 面 ) ) o r ( n o t タ ス ク 一 覧 画 面 に タ ス ク 名 が 含 ま れ て い る ( 現 画 面 ~ , タ ス ク 名 ) a n d 現 画 面 = 現 画 面 ~ ) ; p u b l i c タ ス ク 情 報 を 取 得 す る : ( ) = = > ( ) タ ス ク 情 報 を 取 得 す る ( ) = = ( i o . p r i n t ( " ユ ー ザ . タ ス ク 情 報 を 取 得 す る \ n " ) ; 現 画 面 : = n a r r o w _ ( 現 画 面 , メ ン テ ナ ン ス 作 業 画 面 ) . タ ス ク 情 報 ボ タ ン を 押 下 す る ( ) ; 現 顧 客 名 : = n a r r o w _ ( 現 画 面 , タ ス ク 情 報 画 面 ) . 顧 客 名 フ ィ ー ル ド ; 現 顧 客 住 所 : = n a r r o w _ ( 現 画 面 , タ ス ク 情 報 画 面 ) . 住 所 フ ィ ー ル ド ; 現 そ の 他 情 報 : = n a r r o w _ ( 現 画 面 , タ ス ク 情 報 画 面 ) . そ の 他 フ ィ ー ル ド ; 現 画 面 : = n a r r o w _ ( 現 画 面 , タ ス ク 情 報 画 面 ) . 戻 る ボ タ ン を 押 下 す る ( ) ; ) p r e i s o f c l a s s ( メ ン テ ナ ン ス 作 業 画 面 , 現 画 面 ) p o s t s a m e c l a s s ( 現 画 面 , 現 画 面 ~ ) ;
図
7 ユ ー ザ . v d m p p ( 前 半 )
p u b l i c 作 業 内 容 を 登 録 す る : t o k e n = = > ( ) 作 業 内 容 を 登 録 す る ( w o r k ) = = ( i o . p r i n t ( " ユ ー ザ . 作 業 内 容 を 登 録 す る \ n " ) ; 現 画 面 : = n a r r o w _ ( 現 画 面 , メ ン テ ナ ン ス 作 業 画 面 ) . 作 業 内 容 登 録 ボ タ ン を 押 下 す る ( ) ; l e t s = n a r r o w _ ( 現 画 面 , 作 業 内 容 登 録 画 面 ) i n s . 現 象 を 入 力 す る ( w o r k ) ; l e t s = n a r r o w _ ( 現 画 面 , 作 業 内 容 登 録 画 面 ) i n s . 原 因 を 入 力 す る ( w o r k ) ; l e t s = n a r r o w _ ( 現 画 面 , 作 業 内 容 登 録 画 面 ) i n s . 対 策 を 入 力 す る ( w o r k ) ; 現 画 面 : = n a r r o w _ ( 現 画 面 , 作 業 内 容 登 録 画 面 ) . 戻 る ボ タ ン を 押 下 す る ( ) ; ) p r e i s o f c l a s s ( メ ン テ ナ ン ス 作 業 画 面 , 現 画 面 ) p o s t s a m e c l a s s ( 現 画 面 , 現 画 面 ~ ) ; p u b l i c 作 業 内 容 を 取 得 す る : ( ) = = > ( ) 作 業 内 容 を 取 得 す る ( ) = = ( i o . p r i n t ( " ユ ー ザ . 作 業 内 容 を 取 得 す る \ n " ) ; 現 画 面 : = n a r r o w _ ( 現 画 面 , メ ン テ ナ ン ス 作 業 画 面 ) . 作 業 内 容 登 録 ボ タ ン を 押 下 す る ( ) ; 現 現 象 情 報 : = n a r r o w _ ( 現 画 面 , 作 業 内 容 登 録 画 面 ) . 現 象 フ ィ ー ル ド ; 現 原 因 情 報 : = n a r r o w _ ( 現 画 面 , 作 業 内 容 登 録 画 面 ) . 原 因 フ ィ ー ル ド ; 現 対 策 情 報 : = n a r r o w _ ( 現 画 面 , 作 業 内 容 登 録 画 面 ) . 対 策 フ ィ ー ル ド ; 現 画 面 : = n a r r o w _ ( 現 画 面 , 作 業 内 容 登 録 画 面 ) . 戻 る ボ タ ン を 押 下 す る ( ) ; ) p r e i s o f c l a s s ( メ ン テ ナ ン ス 作 業 画 面 , 現 画 面 ) p o s t s a m e c l a s s ( 現 画 面 , 現 画 面 ~ ) ; p u b l i c 交 換 部 品 を 登 録 す る : t o k e n * t o k e n = = > ( ) 交 換 部 品 を 登 録 す る ( 型 番 , 名 称 ) = = ( i o . p r i n t ( " ユ ー ザ . 交 換 部 品 を 登 録 す る \ n " ) ; 現 画 面 : = n a r r o w _ ( 現 画 面 , メ ン テ ナ ン ス 作 業 画 面 ) . 交 換 部 品 登 録 ボ タ ン を 押 下 す る ( ) ; l e t s = n a r r o w _ ( 現 画 面 , 交 換 部 品 登 録 画 面 ) i n s . 交 換 部 品 を 追 加 す る ( m k _ 交 換 部 品 登 録 画 面 ` 部 品 フ ィ ー ル ド 型 ( 型 番 , 名 称 ) ) ; 現 画 面 : = n a r r o w _ ( 現 画 面 , 交 換 部 品 登 録 画 面 ) . 戻 る ボ タ ン を 押 下 す る ( ) ; ) p r e i s o f c l a s s ( メ ン テ ナ ン ス 作 業 画 面 , 現 画 面 ) p o s t s a m e c l a s s ( 現 画 面 , 現 画 面 ~ ) ; p u b l i c 交 換 部 品 を 取 得 す る : ( ) = = > ( ) 交 換 部 品 を 取 得 す る ( ) = = ( i o . p r i n t ( " ユ ー ザ . 交 換 部 品 を 取 得 す る \ n " ) ; 現 画 面 : = n a r r o w _ ( 現 画 面 , メ ン テ ナ ン ス 作 業 画 面 ) . 交 換 部 品 登 録 ボ タ ン を 押 下 す る ( ) ; 現 交 換 部 品 集 合 : = n a r r o w _ ( 現 画 面 , 交 換 部 品 登 録 画 面 ) . 部 品 フ ィ ー ル ド 集 合 ; 現 画 面 : = n a r r o w _ ( 現 画 面 , 交 換 部 品 登 録 画 面 ) . 戻 る ボ タ ン を 押 下 す る ( ) ; ) p r e i s o f c l a s s ( メ ン テ ナ ン ス 作 業 画 面 , 現 画 面 ) p o s t s a m e c l a s s ( 現 画 面 , 現 画 面 ~ ) ; p u b l i c 作 業 結 果 を 送 信 す る : ( ) = = > ( ) 作 業 結 果 を 送 信 す る ( ) = = ( i o . p r i n t ( " ユ ー ザ . 作 業 結 果 を 送 信 す る \ n " ) ; 現 画 面 : = n a r r o w _ ( 現 画 面 , メ ン テ ナ ン ス 作 業 画 面 ) . 作 業 結 果 送 信 ボ タ ン を 押 下 す る ( ) ; ) p r e i s o f c l a s s ( メ ン テ ナ ン ス 作 業 画 面 , 現 画 面 ) p o s t i s o f c l a s s ( タ ス ク 一 覧 画 面 , 現 画 面 ) ; f u n c t i o n s p u b l i c タ ス ク 一 覧 画 面 に タ ス ク 名 が 含 ま れ て い る : タ ス ク 一 覧 画 面 * タ ス ク 名 型 - > b o o l タ ス ク 一 覧 画 面 に タ ス ク 名 が 含 ま れ て い る ( t a s k L i s t S c r e e n , t a s k N a m e ) = = t a s k N a m e i n s e t t a s k L i s t S c r e e n . タ ス ク 一 覧 テ ー ブ ル ; e n d ユ ー ザ
図
8 ユ ー ザ . v d m p p ( 後 半 )
c l a s s 画 面 i n s t a n c e v a r i a b l e s p r o t e c t e d i o : I O : = n e w I O ( ) ; e n d 画 面
図
9 画 面 . v d m p p
c l a s s ホ ー ム 画 面 i s s u b c l a s s o f 画 面 o p e r a t i o n s p u b l i c ア イ コ ン を 押 下 す る : ( ) = = > 画 面 ア イ コ ン を 押 下 す る ( ) = = ( i o . p r i n t ( " ホ ー ム 画 面 . ア イ コ ン を 押 下 す る \ n " ) ; i o . p r i n t ( " ホ ー ム 画 面 . ロ グ イ ン 画 面 に 遷 移 す る \ n " ) ; r e t u r n n e w ロ グ イ ン 画 面 ( ) ; ) e n d ホ ー ム 画 面図
1 0 ホ ー ム 画 面 . v d m p p
c l a s s ロ グ イ ン 画 面 i s s u b c l a s s o f 画 面 i n s t a n c e v a r i a b l e s p u b l i c I D フ ィ ー ル ド : t o k e n : = m k _ t o k e n ( " N U L L " ) ; p u b l i c パ ス ワ ー ド フ ィ ー ル ド : t o k e n : = m k _ t o k e n ( " N U L L " ) ; o p e r a t i o n s p u b l i c I D を 入 力 す る : t o k e n = = > ( ) I D を 入 力 す る ( i d ) = = ( i o . p r i n t ( " ロ グ イ ン 画 面 . I D を 入 力 す る \ n " ) ; I D フ ィ ー ル ド : = i d ; ) ; p u b l i c パ ス ワ ー ド を 入 力 す る : t o k e n = = > ( ) パ ス ワ ー ド を 入 力 す る ( p a s s ) = = ( i o . p r i n t ( " ロ グ イ ン 画 面 . パ ス ワ ー ド を 入 力 す る \ n " ) ; パ ス ワ ー ド フ ィ ー ル ド : = p a s s ; ) ; - - 画 面 遷 移 を 伴 う 操 作 の 戻 り 値 は 次 の 画 面 の イ ン ス タ ン ス で あ る p u b l i c ロ グ イ ン ボ タ ン を 押 下 す る : ( ) = = > 画 面 ロ グ イ ン ボ タ ン を 押 下 す る ( ) = = ( i o . p r i n t ( " ロ グ イ ン 画 面 . ロ グ イ ン ボ タ ン を 押 下 す る \ n " ) ; l e t s y s = シ ス テ ム ` シ ス テ ム イ ン ス タ ン ス , 認 証 情 報 確 認 結 果 = s y s . 認 証 情 報 を 確 認 す る ( I D フ ィ ー ル ド , パ ス ワ ー ド フ ィ ー ル ド ) i n i f 認 証 情 報 確 認 結 果 = t r u e t h e n ( i o . p r i n t ( " ロ グ イ ン 画 面 . タ ス ク 一 覧 画 面 に 遷 移 す る \ n " ) ; r e t u r n n e w タ ス ク 一 覧 画 面 ( ) ; ) e l s e r e t u r n s e l f ) p o s t l e t s y s = シ ス テ ム ` シ ス テ ム イ ン ス タ ン ス , 認 証 情 報 確 認 結 果 = s y s . 認 証 情 報 を 確 認 す る ( I D フ ィ ー ル ド , パ ス ワ ー ド フ ィ ー ル ド ) i n - - I D と パ ス ワ ー ド が 正 し け れ ば ， タ ス ク 一 覧 画 面 に 遷 移 す る ( 認 証 情 報 確 認 結 果 = t r u e a n d i s o f c l a s s ( タ ス ク 一 覧 画 面 , R E S U L T ) ) o r - - I D と パ ス ワ ー ド が 正 し く な け れ ば ， 画 面 遷 移 し な い ( 認 証 情 報 確 認 結 果 = f a l s e a n d R E S U L T = s e l f ) ; e n d ロ グ イ ン 画 面図
1 1 ロ グ イ ン 画 面 . v d m p p
c l a s s タ ス ク 一 覧 画 面 i s s u b c l a s s o f 画 面 v a l u e s シ ス テ ム : シ ス テ ム = シ ス テ ム ` シ ス テ ム イ ン ス タ ン ス ; i n s t a n c e v a r i a b l e s 顧 客 名 一 覧 : シ ス テ ム ` 顧 客 名 一 覧 型 : = シ ス テ ム . 顧 客 名 一 覧 を 返 す ( シ ス テ ム . 現 ユ ー ザ I D ) ; p u b l i c タ ス ク 一 覧 テ ー ブ ル : s e t o f t o k e n : = r n g 顧 客 名 一 覧 ; o p e r a t i o n s p u b l i c タ ス ク 一 覧 を 押 下 す る : t o k e n = = > 画 面 タ ス ク 一 覧 を 押 下 す る ( タ ス ク 名 ) = = ( i o . p r i n t ( " タ ス ク 一 覧 画 面 . タ ス ク 一 覧 を 押 下 す る \ n " ) ; i o . p r i n t ( " タ ス ク 一 覧 画 面 . メ ン テ ナ ン ス 作 業 画 面 に 遷 移 す る \ n " ) ; r e t u r n n e w メ ン テ ナ ン ス 作 業 画 面 ( ) ; ) p o s t i s o f c l a s s ( メ ン テ ナ ン ス 作 業 画 面 , R E S U L T ) ; e n d タ ス ク 一 覧 画 面
図
1 2 タ ス ク 一 覧 画 面 . v d m p p
c l a s s メ ン テ ナ ン ス 作 業 画 面 i s s u b c l a s s o f 画 面 o p e r a t i o n s p u b l i c タ ス ク 情 報 ボ タ ン を 押 下 す る : ( ) = = > 画 面 タ ス ク 情 報 ボ タ ン を 押 下 す る ( ) = = ( i o . p r i n t ( " メ ン テ ナ ン ス 作 業 画 面 . タ ス ク 情 報 ボ タ ン を 押 下 す る \ n " ) ; i o . p r i n t ( " メ ン テ ナ ン ス 作 業 画 面 . タ ス ク 情 報 画 面 に 遷 移 す る \ n " ) ; r e t u r n n e w タ ス ク 情 報 画 面 ( ) ; ) ; p u b l i c 作 業 内 容 登 録 ボ タ ン を 押 下 す る : ( ) = = > 画 面 作 業 内 容 登 録 ボ タ ン を 押 下 す る ( ) = = ( i o . p r i n t ( " メ ン テ ナ ン ス 作 業 画 面 . 作 業 内 容 登 録 ボ タ ン を 押 下 す る \ n " ) ; i o . p r i n t ( " メ ン テ ナ ン ス 作 業 画 面 . 作 業 内 容 登 録 画 面 に 遷 移 す る \ n " ) ; r e t u r n n e w 作 業 内 容 登 録 画 面 ( ) ; ) ; p u b l i c 交 換 部 品 登 録 ボ タ ン を 押 下 す る : ( ) = = > 画 面 交 換 部 品 登 録 ボ タ ン を 押 下 す る ( ) = = ( i o . p r i n t ( " メ ン テ ナ ン ス 作 業 画 面 . 交 換 部 品 登 録 ボ タ ン を 押 下 す る \ n " ) ; i o . p r i n t ( " メ ン テ ナ ン ス 作 業 画 面 . 交 換 部 品 登 録 画 面 に 遷 移 す る \ n " ) ; r e t u r n n e w 交 換 部 品 登 録 画 面 ( ) ; ) ; p u b l i c 作 業 結 果 送 信 ボ タ ン を 押 下 す る : ( ) = = > 画 面 作 業 結 果 送 信 ボ タ ン を 押 下 す る ( ) = = ( i o . p r i n t ( " メ ン テ ナ ン ス 作 業 画 面 . 作 業 結 果 送 信 ボ タ ン を 押 下 す る \ n " ) ; l e t シ ス テ ム = シ ス テ ム ` シ ス テ ム イ ン ス タ ン ス i n シ ス テ ム . タ ス ク 情 報 を 送 信 す る ( シ ス テ ム . 現 タ ス ク I D ) ; i o . p r i n t ( " メ ン テ ナ ン ス 作 業 画 面 . タ ス ク 一 覧 画 面 に 遷 移 す る \ n " ) ; r e t u r n n e w タ ス ク 一 覧 画 面 ( ) ; ) p o s t i s o f c l a s s ( タ ス ク 一 覧 画 面 , R E S U L T ) ; e n d メ ン テ ナ ン ス 作 業 画 面図
1 3 メ ン テ ナ ン ス 作 業 画 面 . v d m p p
c l a s s タ ス ク 情 報 画 面 i s s u b c l a s s o f 画 面 v a l u e s シ ス テ ム : シ ス テ ム = シ ス テ ム ` シ ス テ ム イ ン ス タ ン ス ; i n s t a n c e v a r i a b l e s タ ス ク 情 報 : シ ス テ ム ` タ ス ク 情 報 型 : = シ ス テ ム . タ ス ク 情 報 を 返 す ( シ ス テ ム . 現 タ ス ク I D ) ; p u b l i c 顧 客 名 フ ィ ー ル ド : t o k e n : = タ ス ク 情 報 . 顧 客 名 ; p u b l i c 住 所 フ ィ ー ル ド : t o k e n : = タ ス ク 情 報 . 住 所 ; p u b l i c そ の 他 フ ィ ー ル ド : t o k e n : = タ ス ク 情 報 . そ の 他 ; o p e r a t i o n s p u b l i c 戻 る ボ タ ン を 押 下 す る : ( ) = = > 画 面 戻 る ボ タ ン を 押 下 す る ( ) = = ( i o . p r i n t ( " タ ス ク 一 覧 画 面 . タ ス ク 一 覧 を 押 下 す る \ n " ) ; i o . p r i n t ( " タ ス ク 一 覧 画 面 . メ ン テ ナ ン ス 作 業 画 面 に 遷 移 す る \ n " ) ; r e t u r n n e w メ ン テ ナ ン ス 作 業 画 面 ( ) ; ) ; e n d タ ス ク 情 報 画 面
図
1 4 タ ス ク 情 報 画 面 . v d m p p
c l a s s 作 業 内 容 登 録 画 面 i s s u b c l a s s o f 画 面 v a l u e s シ ス テ ム : シ ス テ ム = シ ス テ ム ` シ ス テ ム イ ン ス タ ン ス ; i n s t a n c e v a r i a b l e s タ ス ク 情 報 : シ ス テ ム ` タ ス ク 情 報 型 : = シ ス テ ム . タ ス ク 情 報 を 返 す ( シ ス テ ム . 現 タ ス ク I D ) ; p u b l i c 現 象 フ ィ ー ル ド : t o k e n : = タ ス ク 情 報 . 作 業 内 容 . 現 象 ; p u b l i c 原 因 フ ィ ー ル ド : t o k e n : = タ ス ク 情 報 . 作 業 内 容 . 原 因 ; p u b l i c 対 策 フ ィ ー ル ド : t o k e n : = タ ス ク 情 報 . 作 業 内 容 . 対 策 ; o p e r a t i o n s p u b l i c 戻 る ボ タ ン を 押 下 す る : ( ) = = > 画 面 戻 る ボ タ ン を 押 下 す る ( ) = = ( i o . p r i n t ( " 作 業 内 容 登 録 画 面 . 戻 る ボ タ ン を 押 下 す る \ n " ) ; i o . p r i n t ( " 作 業 内 容 登 録 画 面 . メ ン テ ナ ン ス 作 業 画 面 に 遷 移 す る \ n " ) ; r e t u r n n e w メ ン テ ナ ン ス 作 業 画 面 ( ) ; ) ; p u b l i c 現 象 を 入 力 す る : t o k e n = = > ( ) 現 象 を 入 力 す る ( 現 象 ) = = ( i o . p r i n t ( " 作 業 内 容 登 録 画 面 . 現 象 を 入 力 す る \ n " ) ; 現 象 フ ィ ー ル ド : = 現 象 ; ) ; p u b l i c 原 因 を 入 力 す る : t o k e n = = > ( ) 原 因 を 入 力 す る ( 原 因 ) = = ( i o . p r i n t ( " 作 業 内 容 登 録 画 面 . 原 因 を 入 力 す る \ n " ) ; 原 因 フ ィ ー ル ド : = 原 因 ; ) ; p u b l i c 対 策 を 入 力 す る : t o k e n = = > ( ) 対 策 を 入 力 す る ( 対 策 ) = = ( i o . p r i n t ( " 作 業 内 容 登 録 画 面 . 対 策 を 入 力 す る \ n " ) ; 対 策 フ ィ ー ル ド : = 対 策 ; ) ; e n d 作 業 内 容 登 録 画 面図
1 5 作 業 内 容 登 録 画 面 . v d m p p
c l a s s 交 換 部 品 登 録 画 面 i s s u b c l a s s o f 画 面 t y p e s p u b l i c 部 品 フ ィ ー ル ド 型 : : 型 番 : t o k e n 名 称 : t o k e n ; v a l u e s シ ス テ ム : シ ス テ ム = シ ス テ ム ` シ ス テ ム イ ン ス タ ン ス ; i n s t a n c e v a r i a b l e s タ ス ク 情 報 : シ ス テ ム ` タ ス ク 情 報 型 : = シ ス テ ム . タ ス ク 情 報 を 返 す ( シ ス テ ム . 現 タ ス ク I D ) ; p u b l i c 部 品 フ ィ ー ル ド 集 合 : s e t o f 部 品 フ ィ ー ル ド 型 : = 部 品 フ ィ ー ル ド 集 合 を 生 成 す る ( タ ス ク 情 報 . 交 換 部 品 集 合 ) ; o p e r a t i o n s p u b l i c 戻 る ボ タ ン を 押 下 す る : ( ) = = > 画 面 戻 る ボ タ ン を 押 下 す る ( ) = = ( i o . p r i n t ( " 交 換 部 品 登 録 画 面 . 戻 る ボ タ ン を 押 下 す る \ n " ) ; i o . p r i n t ( " 交 換 部 品 登 録 画 面 . メ ン テ ナ ン ス 作 業 画 面 に 遷 移 す る \ n " ) ; r e t u r n n e w メ ン テ ナ ン ス 作 業 画 面 ( ) ; ) ; p u b l i c 交 換 部 品 を 追 加 す る : 部 品 フ ィ ー ル ド 型 = = > ( ) 交 換 部 品 を 追 加 す る ( p a r t s ) = = ( i o . p r i n t ( " 交 換 部 品 登 録 画 面 . 交 換 部 品 を 追 加 す る \ n " ) ; 部 品 フ ィ ー ル ド 集 合 : = 部 品 フ ィ ー ル ド 集 合 u n i o n { p a r t s } ; ) ; p u b l i c 交 換 部 品 を 変 更 す る : n a t 1 * 部 品 フ ィ ー ル ド 型 = = > ( ) 交 換 部 品 を 変 更 す る ( i n d e x , p a r t s ) = = ( i o . p r i n t ( " 交 換 部 品 登 録 画 面 . 交 換 部 品 を 変 更 す る \ n " ) ; 部 品 フ ィ ー ル ド 集 合 : = 部 品 フ ィ ー ル ド 集 合 u n i o n { p a r t s } ; ) ; f u n c t i o n s p u b l i c 部 品 フ ィ ー ル ド 集 合 を 生 成 す る : シ ス テ ム ` 交 換 部 品 集 合 型 - > s e t o f 部 品 フ ィ ー ル ド 型 部 品 フ ィ ー ル ド 集 合 を 生 成 す る ( 交 換 部 品 集 合 ) = = { m k _ 部 品 フ ィ ー ル ド 型 ( 交 換 部 品 . 型 番 , 交 換 部 品 . 名 称 ) | 交 換 部 品 i n s e t 交 換 部 品 集 合 & t r u e } ; e n d 交 換 部 品 登 録 画 面
