巴 〉 一

在 庫 Data  Stock 

関

3 .

ビジネスプロセス・モデル

Model Category 

Model受 発 注̲Process=(Proces̲受 注Pro田S一 生 産Proces̲出 荷8t田k在庫的 WorkFlowPr凹essー受注=(Work̲受注入 input̲注 克outpuC生 週

WorkFIow Process一生意=(Work̲生産， inpuC受 注 outpuc出荷生産言li昆 倉 腸 WorkFIowPr町田丸出荷=(Work̲出荷、inpuC生産"outpuC出 荷 在 劇

[ビジネスプロセスの定義]

第7章 経営情報システムとビジネスモデリング技法 127 

V  Dipas

モ デ ル 設 計 と ア プ リ ケ ー シ ョ ン の 作 成

Dipas

によるモデル設計、ソフトウェアデータベース構築、ソフトウェア工 学ツール実現の流れを説明し、アプリケーションの作成例を示す。モデル設計 には、最も抽象度の高いところから出発するアプローチ(下降)、細粒度から 出発するアプローチ(上昇)の

2

つがある。トップダウン手法は、モデルカテ ゴリーの中で定義したサブモデルを、新たにカテゴリーとして再帰的に定義し、

オブジ、エクトの抽象レベルを細粒度リポジトリまで対応させる。ボトムアップ 手法は、すでに定義されたモデルカテゴリーを実オブジェクトとして利用し、

組み合わせて行く。

モデル設計プロセスでは、

Dipas

の記述言語を利用するか、

UML

などのモ デリングを用いる。モデルインスタンス定義では、ターゲットソフトウェアの 構造や性質を考慮して、仮想オブジェクトと実オブジェクトの対応関係を定義 する。複数の言語やライブラリを対象とする場合は、オブジェクトのマッピン グデータベースを作成する。

5 . 1  

解析例

‑GUI

モデルを例として

4 . 2

で扱った

GUI

アプリケーションを解析するプログラムを作成する。イン スタンス定義のマッピング情報から

SDB+

のスキーマを作成する。オブジェク ト

GtkWidget

は、

Sapid

の オ ブ ジ ェ ク ト

i d e n t i f i e r ( s o r t :

変数)である。

i d e n t i f i e r

オブジェクトの配列の中で、

s o r t

が変数で、対応する宣言文が定義

型 GtkWidget

(へのポインタ)であるものを選ぶ。

S a p i d

では、ソフトウェアデータベース

(SDB)

にアクセスするために

AR4

関数を用いる。

Dipas

は

AR4

関 数 に 準 ず る ア ク セ ス 関 数 < I

oadDipasDB

、

dps̲getRelArray e t c . )

を用意する。結果を図として表示するために、

4

、

6

章で用いたVML記述や

g i f

画像への変換系を利用する。

128  Sapidによるソフトウエア解析技法

サンプルプログラム 7‑3 ‑GUIモデルに基づく解析

#include <stdio.h> 

#include <Sapid/.Sapid.h> 

#include <Dipas.h> 

Ttmm(

同 時 いhar・岬[])

D脚RelArraYrel;..;array;  int  1; 

I

蝿滋)lpas

D

副主

rel."array.= d~:吋欝tRClお宮高'f ("~ntainer");

for 0 = 

  0 ;

^i < reC

a '

rray.si日;i++)

prinぜ'(fdl，'内View:%s Contains %s By %s¥n"， dps~G成Name(rel̲array.id l[ilJ，  dpιGetN副総e(rel̲array.id2[ilJ，  rel̲array 曲 目[ilJ;

dp!し政官，~除l'I'I\Y(rel̲array);  rel̲array = dps....getReIArray ("CaIlBack");  for (i = O; i < rel":‑array.si皿;i++)

prinぜ'(fdl，"Control:%s calls Function:%s by %s¥n  ，'ldps̲ GetName (rel̲array.id l[i])，  dps̲GetName (rel̲array.id2[i])， reLarray.sort[可);

dps̲FreeRelArray (問I̲array); retum (EXIT̲SUCCESS); 

実行結果

View: Window 1 Contains button 1 by add  Con甘01button 1 calls function:func 1 by c1icked 

View:  Control: 

凪 E 

図 4. 実行結果 (VML形式)

参 考 文 献 129  参考文献

福 安 直 樹 山 本 晋 一 郎 ， 阿 草 清 滋 細 粒 度 ソ フ ト ウ ヱ ア ・ リ ポ ジ ト リ に 基 づ い たCASEツール・プ ラットフォームSapid，情報処理学会論文誌，Vo.139， NO.6， p

ロ

1990‑1998(1998/6) 

有 賀 寛 朗 山 本 晋 ‑ ! s . 阿 草 清 滋 ソ フ ト ウ ェ ア 概 宣 解 析 情 報 に 基 づ く ツ ー ル プ ラ ッ ト ホ ム シ ステム電子情報通信学会ソフトウェアサイエンス研究会，Vo.194， NO.15， pp25‑‑32 (1994/7) 

山 本 晋 一 郎l阿草清滋細粒度リポジトリに基づいたツール・プラットフォームとその応用t情 報 処理学会ソフトウェア工学研究会，Vo.ll02， NO.7， pp.37‑‑42 (1995/1) 

斉 藤 邦 彦 : ソ フ ト ウ 工 ア 工 学 ツ ー ル プ ラ ッ ト フ ォ ー ムSAPID，彦根論叢310号 pp 183^司199 (1998/2) 

斉厳邦彦:直接実現可能な経営情報システムのモデリング手法の提案。 彦根論叢323号pp141‑

157 (2000/1) 

斉 藤 邦 彦 :SAPIDによるソフトウエア解析技法 Cプログラムの全体構造をとらえる 彦根論叢 325号 pp121‑139(2000/6) 

斉藤邦彦 SAPIDによるソフトウエア解析技法ーソフトウエア・メトリックスの作成 彦様車叢 327号

α

^000/10)

藤 田 充 典 藤 枝 和 宏 山 本 晋 郎1落 水 浩 一 郎l阿草清滋オープンソースとソフトウェア進化，

bit， Vd. 32， Na 12， p

ロ

21‑27，共立出版

α

^000/12)

山本晋一郎.オープンソースに潜む問題日本ソフトウェア科学会FOSE2000，OOF (2002/11) 

小 田 章 夫 鯵 坂 恒 夫Cプログラムに対するカプセル発見手法とその支援ツールl電子情転車儒学 会論文誌D1，VaI.J79D‑I， NO.l0， pp.74 5ー758(1996/10) 

荒 木 円

1

蟻 手 嶋 茂 晴 リ ン ク 自 動 付 与 機 能 を 持 つ 技 術 文 書 サ ー バ の 開 発 手 法 情 報 処 理 学 会 第55 回全面大会，pp3‑438‑‑3‑439 (1997/9) 

手嶋茂晴，荒木円程車問草清滋設計工程に合わせたビュー生成を可能にするソフトウェア文書 管理手法の提案電子情報通信学会論文誌VoI.J82‑D1，Na.6， p

ロ

740一一750(1999) 

130  Sapidによるソフトウェア解析技法

高田智規佐藤慎一『飯田元，井上克郎ソースコード解析ツール開発支援システムの鼠用，電子 情輯量信学会論文誌D~，VoI.J80

‑ o

‑I， No.3， pp.317 ‑3 18 (1997 ) 

小林隆志権藤克彦構文木に基づく細粒度ソフトウェア・コンフィグレーション・マネージメ ン卜での影響解析1日本ソフトウェア手陣会 FOSE'97，~.119-126 (1997) 

吉 田 教 山 本 晋 一 郎 阿 草 清 滋 ソ フ ト ウ ェ ア 操 作 言 語 の 提 案 ， 電 子 情 輯 重 信 学 会 ソ フ ト ウ ェ ア サ イエンス研究全 Vo.192，NO.18， ppト唱(1993)

橋 本 鳩 山 本 晋 一 郎 阿 草 清 滋 Prog‑amSlicingを利用したプログラムカスタマイザ;電子情報通 信学会ソフトウェアサイエンス研究会"Vo.194， NO.10， pp.73‑‑80 (1994) 

Yostida Atsushi， Yamamoto Shinichirou and Agu;a Kiyoshi:  A Software Mantulating Language  for a MetaCASE， The First Internatioral Cong用SSon META‑GASE (1995/1) 

吉田教山本晋一郎阿草清滋依存関係に基づく差分抽出ツール，電子情聴直信学会ソフトウェ アサイエンス研究会:VoI.95， NO.8， pp53-~0 (1995/8) 

吉 田 敦 山 本 晋 一 郎 阿 草 清 滋 CASEツール開発のためのソフトウェア操作言語情報処理学会 論文誌 Vo.136，No.lO，  pp.243 3‑2441 (1995/11) 

内山晃司山本音一郎，阿草清滋依存関係が定義可能なテストベッド，情報処理学会ソフトウ工 ア工学研究会 Vo1.106，NO.6， pp.41‑‑47 (1995ハ1)

木野和佳山本晋一郎，阿草清滋プログラム動作理解のための抽象実行系，日本ソフトウ工ア科 学 会FOSE'96，∞ 98‑101(1996/12) 

大崎樽基山本晋一郎，阿草清滋:プログラム理解のための依存関係表示ツール，日本ソフトウェ ア科学会FOSE'96，∞.34‑41(1996/12) 

山本晋一郎阿草清滋柔らかなソフトウェア部品と新工法情報処理学会ウインターワークショ ップ・イン・松山情処ワークショップ論文集 Vol.97，NO.1， pp 55‑‑56 (1997/ 1) 

吉 田 教 山 本 晋 一 郎 ， 阿 草 清 滋 意 味 を 考 慮 し た 差 分 抽 出 ツ ー ル1情報処理学会論文誌 VoI.38， No6， pp 1163‑‑117 1 (1997/6) 

参 考 文 献 131  岩本奈美山本晋一郎，阿草清滋関数スライサによるプログラム部品抽出手法とその応用，情報 処理学会ソフトウェア工学研究会，Vo.1115， No ，4.pp.25‑‑32 (1 997/7) 

椴 山 嘉 人 山 本 晋 一 郎 ， 阿 草 清 滋 FunGramfこ基づくプログラムパターンとその応用電子情報通 信学会ソフトウェアサイエンス研究会;Vo.197， NO.29， pp.3ト38(1997/9) 

吉田教山本晋一郎，阿草清滋抽象スレッドに基づいたソースプログラムの依存解析手法，日本 ソフトウェア科学会第14回大会普段:集，pp 157ー160(1997/9) 

河 合 茂 樹 山 本 晋 一 郎 阿 草 清 滋 既 存 プ ロ グ ラ ム か ら の 規 量 百 パ タ ー ン 獲 得 と そ れ に 基 づ く コ ー ディングチヱツカ，日本ソフトウェア科学会FOSE'97，印99ー106(1997/12) 

小 西 智 久 山 本 晋 一 郎 阿 草 清 滋 入 力 ド メ イ ン 解 析 に 基 づ く 自 動 テ ス ト デ ー タ 生 成 と そ れ を 用 いたテストツールの開発日本ソフトウェア科学会FOSE'97，即107‑110(1997/12) 

倉 内 伸 和 山 本 晋 郎 阿 草j膏滋ソースプログラムに対する術文規則に基づいた高度な問い合 わせシステムについて，電子情報通信学会ソフトウェアサイエンス研究会，Vo.197， NO.522，∞25一一32 (1998/1) 

日高隆博山本晋一郎，阿草清滋ソフトウェアの動作状況のモデル化に関する研究電子情範重 信学会ソフトウェアサイエンス研究会Vo.197，NO.83， pp.49‑‑56 (1998/3) 

福安直樹，吉田敦l山本晋‑!lll.阿草j膏滋細粒度ソフトウェア・リポジトリに基づいたソースプ ログラムの安全な変更日本ソフトウェア科学会コンビュータソフトウェア，Vo.l1 5， No ，4.w.78  81 (1998/7) 

鈴 木 宏 紀 山 本 晋 一 郎 ， 阿 草j育滋プログラムの実行情報の視覚化による理解支援ツール情報処 理学会ソフトウェア工学研究会;Vo.198， NO.64， pp.77 ‑‑84 (1  998/7) 

大 橋 洋 寛 山 本 晋 一 郎 阿 草 清 滋 ハ イ パ ー テ キ ス ト に 基 づ い た ソ ー ス プ ロ グ ラ ム ・ レ ビ ュ ー 支 援ツール電子情組重信学会ソフトウェアサイエンス研究全Vo.198，No.28， pp.15‑‑22 (1998/9) 

吉 田 敦 山 本 晋 郎 ， 阿 草 清 滋 ソ ー ス プ ロ グ ラ ム に 対 す る 変 更 操 作 が 可 能 な 細 粒 度 ソ フ ト ウ 工 アリポジトリの提案日本ソフトウェア科学会FOSE'98，W.189‑198 (1998/11) 

三 浦 良 山 本 晋 一 郎l阿 草 清 滋 プ ロ グ ラ ム パ タ ンの段階的抽出手法1日本ソフトウヱア科学会

132  Sapidに よ る ソ フ ト ウ ェ ア 解 析 技 法

FOSE'98，印 181‑188(1998/11) 

岩 本 奈 美 山 本 晋 郎^l阿 草j青滋部分評価を利用したプログラム部品抽出手法，電子情報通信学 会ソフトウェアサイエンス研究会 Vol.98，No.36， pp.9一一16(1998

ハ

2)

吉 田 教 官 山 本 晋 一 郎 ， 阿 草 清 滋 抽 象 ス レ ッ ド に 基 づ く ソ ー ス プ ロ グ ラ ム の 依 存 解 析 の 枠 組 の 提 案日本ソフトウェア科学会コンビュータソフトウェア， Vol.16， NO.1， p

ロ

46ーも6(1999/1) 

尾 崎 憲 章 吉 田 教 山 本 晋 一 郎 ， 阿 草 清 滋 意 味 を 考 慮 し た プ ロ グ ラ ム の 差 分 抽 出 去 の 提 案 情 報処理学会ソフトウェア工学研究会 Vol.123，NoA， pp.25一一32(1999/5) 

Ha chisu  Y oshina rl  Ya mam oto S h nichirou  a nd Agusa K iyos hi:  S om e Me thods  for  Spe cia lizing  Object‑Q‑iented Programs，情報処理学会論文誌， VdAO， No.3， pp.1346‑‑1349 (1999/3) 

Ha chisu  Y ost羽inarl  Ya mam oto S hinichirou  a nd Agusa  Kiyos hi:  A C ASE Tool  Pla tform f or an  Qbject印 entedLanguage， IE ICE 丁目ns.on Infσmation and Systems， Vo.1E82‑D，  NO.5， pp.997  984 (1999/5) 

F ukuya su Naoki， Y ama moto S hinichirou  and Agusa  Ki yoshi  An E vol Lt ion F ramew ork ba sed on  Fine Grained Repository， Irternatio円al Worぬhopon Pri~les of Software  Evdution， pp.43 ‑47  (1999/7) 

大 橋 洋 黄 山 本 晋 一 郎 ， 阿 草 清 滋 ソ フ ト ウ ヱ ア 空 間 を ト ラ パ ー ス す る 柔 軟 な 検 索^l 日本ソフトウ ェア科学会第 16回 大 会 論 文 集 叩 149‑‑152(1999/9) 

古山将佳寿，山本晋一郎，阿草清滋ドキュメントを含むソフトウヱアモデルの提案，日本ソフト ウェア科学会FOSE'99，印 100ー107(1999/11) 

鈴木孝聡，山本晋一郎阿草清滋 Javaプログラムの振舞いのモデル化，日本ソフトウェア科学会 FOSE'99

∞ ，

^236‑243 (1999/11) 

McCabe， Thomas J & Butler， Charles W 'Design Complexity Measurement and Testing.'  Communications of the ACM 32， 12 (tecerrber 1989): 1415‑1425 

Marciniak Jotn J， ed 'Encydopedia of S oftware Eneineeri

， . . g

¥13ト165.New York， NY: Jcnn Wley 

& 

Sons， 1994 

参 考 文 献 133 

McCabe， Homas J.  & 陥tson，Arthur H.  'Software Complexity.'  Crosstalk， Journal  of Dererse  Software Enelineerirg 7， 1 2 (December 1994) 5~

Perry， Wlliam E.  'A Structlred Apprach to Systems Testing.'  Wellesley， M A  Q::D Infσmation  Sciences， 1988 

Watson  Arth.Jr H. & McCabe， Thomas J.  'Structured Testing A Testing Methodol口gyUsing the  Cyclomatic Complexity Metric' [σlline] Available W，^附，

Colema ，nDo門L加 the.rBruce; & Oman Pau .l'The Tpplica tion of Softw a陪 Maintairn凶ityModels in  Indu;trial  So1tware Systems.' Joumal af  Systems Softwa陪 29，1 (April  1995) 3‑16. 

Oman P. & Hagemeis1er， J. 'Metrics  for Assessing a Saftware System's Mairtainabiity，"  337‑344  Co円台ren^{田 口}nSoftware Mainternnce 1992.  crlandq FL， November 9‑12， 1992.  Los刈amitos，CA  IEEE Compu官官rSociety Press， 199 2 

Oman， P.  & Hagemeister， J.  'Constructing and Testing of Polynomials  Predicting  Software  Maintainability.' JωrrnlofSys1ems andSaftware 24，3 (March 1994) 251‑266 

福 安 直 樹 吉 田 教 開 発 者 の 対 話 の た め の プ ロ グ ラ ム 断 片 提 示 手 法 の 提 案 日 本 ソ フ ト ウ ェ ア 科 学 会 第 17回 大 会 論 文 集 D5‑4(2000/9) 

Sit1ernll:lr， Chris & Olsem， Mike.  'Time to ReeneJjneer・つC ross talk， Journal  of Defense S 0吐ware EneJjneerirg 32 (March 1992): 7‑10 

尾 崎 憲 幸 ， 山 本 晋 一 郎 ， 阿 草 清 滋 プ ロ グ ラ ム の 正 規 化 に 基 づ い た 差 分 抽 出 法 の 提 案 日 本 ソ フ ト ウェア科学会FOSE2000，pp 197一一204(2000/11) 

三 浦 良 山 本 晋 一 郎 ， 阿 草 清 滋 プ ロ グ ラ ミ ン グ ナ ピ ゲ ー シ ョ ン の た め の 関 数 呼 び 出 し 依 存 グ ラ フl 日 本 ソ フ ト ウ ェ ア 科 学 会 コ ン ビ ュ ー タ ソ フ ト ウ ェ ア 別 冊 ? ソ フ ト ウ ェ ア 発 展 ， pp.19‑‑29  (2000/12) 

Welker， Kurt D. & Oman， Paul W.  'So1twa同 MaはairabiityMetrics Moals in  Practice.'  Crosstalk  Joumal af De毎nseSoftwa re EneJjneering 8， 11φ~oveπlber/De偲πÍler1995): 1 9‑23 

ドキュメント内 Sapidによるソフトウェア解析技法 (ページ 128-139)