(57)【要約】【課題】定性シミュレーションの出力結果を、実際のサービス挙動と適切に対応づけて解釈することを容易化すること。【解決手段】入力部は、設計の対象サービスの構造および処理手順を表す定性シミュレーションモデルを保持するサービス設計情報を入力する。シミュレーション実行部は、サービス設計情報に対して所定の手法を適用して定性シミュレーションを実行する。構築部は、対象サービスの実行基盤となるシステム構成機器の接続状態を表すアーキテクチャ設計情報に基づいて、サービス設計情報において対象サービスの品質に影響する可能性のあるパラメータの組み合わせを決定する品質特性情報を構築する。結果判定部は、品質特性情報に基づいて、シミュレーション実行部が出力するサービスの振る舞いの一覧の中に、サービス品質が損なわれていると解釈されるような状態への遷移が含まれるか否かを判定する。【選択図】図１
2018142032.tif 000002
【特許請求の範囲】
【請求項１】
設計の対象サービスの構造および処理手順を表す定性シミュレーションモデルを保持するサービス設計情報を入力する入力部と、
前記サービス設計情報に対して所定の手法を適用して定性シミュレーションを実行するシミュレーション実行部と、
前記対象サービスの実行基盤となるシステム構成機器の接続状態を表すアーキテクチャ設計情報に基づいて、前記サービス設計情報において前記対象サービスの品質に影響する可能性のあるパラメータの組み合わせを決定する品質特性情報を構築する構築部と、
前記品質特性情報に基づいて、前記シミュレーション実行部が出力するサービスの振る舞いの一覧の中に、サービス品質が損なわれていると解釈されるような状態への遷移が含まれるか否かを判定する結果判定部と、
を備える、サービス設計支援装置。
【請求項２】
前記品質特性情報は、前記アーキテクチャ設計情報に加え、前記対象サービスの実行基盤であるシステムの構成に依存しない、共通的な知識、ヒューリスティクス、および制約に基づいて、前記対象サービスの品質に影響するパラメータの組み合わせを定義した情報を含む、請求項１に記載のサービス設計支援装置。
【請求項３】
前記結果判定部は、前記定性シミュレーション実行部の出力結果に、前記品質特性情報に含まれる組み合わせのパラメータが上限値かつ上昇傾向である状態が含まれる場合に、サービス品質が損なわれていると判定する、請求項１または２に記載のサービス設計支援装置。
【請求項４】
前記結果判定部は、顧客の要求および技術的な制約によって決定されている、パラメータが取るべき条件に基づいて、前記定性シミュレーションの実行結果に、設計者の想定しない振る舞いが含まれるか否かを判定する、請求項１乃至３のいずれか１つに記載のサービス設計支援装置。
【請求項５】
前記結果判定部において、サービス品質が損なわれている、あるいは設計者の想定と異なる状態への遷移が含まれると判定された場合に、前記サービス設計情報の修正方針を定義した修正ルール情報に従って、前記サービス設計情報を変更するモデル修正部をさらに備える、請求項１乃至４のいずれか１つに記載のサービス設計支援装置。
【請求項６】
前記修正ルール情報は、前記品質特性情報に含まれる組み合わせのパラメータを改善する効果のあるパラメータを、前記サービス設計情報に追加することを定めた情報である、請求項５に記載のサービス設計支援装置。
【請求項７】
前記修正ルール情報は、前記品質特性情報に含まれるパラメータの優先度に応じて、前記サービス設計情報において、追加するパラメータの位置を定めた情報である、請求項５または６に記載のサービス設計支援装置。
【請求項８】
入力部が、設計の対象サービスの構造および処理手順を表す定性シミュレーションモデルを保持するサービス設計情報を入力し、
シミュレーション実行部が、前記サービス設計情報に対して所定の手法を適用して定性シミュレーションを実行し、
構築部が、前記対象サービスの実行基盤となるシステム構成機器の接続状態を表すアーキテクチャ設計情報に基づいて、前記サービス設計情報において前記対象サービスの品質に影響する可能性のあるパラメータの組み合わせを決定する品質特性情報を構築し、
結果判定部が、前記品質特性情報に基づいて、前記シミュレーション実行部が出力するサービスの振る舞いの一覧の中に、サービス品質が損なわれていると解釈されるような状態への遷移が含まれるか否かを判定する、
サービス設計支援方法。
【請求項９】
モデル修正部が、前記結果判定部において、サービス品質が損なわれている、あるいは設計者の想定と異なる状態への遷移が含まれると判定された場合に、前記サービス設計情報の修正方針を定義した修正ルール情報に従って、前記サービス設計情報を変更する、請求項８に記載のサービス設計支援方法。
【請求項１０】
コンピュータに、
設計の対象サービスの構造および処理手順を表す定性シミュレーションモデルを保持するサービス設計情報を入力する入力機能と、
前記サービス設計情報に対して所定の手法を適用して定性シミュレーションを実行するシミュレーション実行機能と、
前記対象サービスの実行基盤となるシステム構成機器の接続状態を表すアーキテクチャ設計情報に基づいて、前記サービス設計情報において前記対象サービスの品質に影響する可能性のあるパラメータの組み合わせを決定する品質特性情報を構築する構築機能と、
前記品質特性情報に基づいて、前記シミュレーション実行部が出力するサービスの振る舞いの一覧の中に、サービス品質が損なわれていると解釈されるような状態への遷移が含まれるか否かを判定する結果判定機能と、
を実現させるためのサービス設計支援プログラム。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、サービス設計支援装置、サービス設計支援方法、およびサービス設計支援プログラムに関する。
【背景技術】
【０００２】
ＩＴ（information technology）サービスの開発における重要な課題として、サービス品質の向上や開発の効率化などが挙げられる。近年、ＩＴサービス開発の下流工程において、品質問題を引き起こすような設計ミスが発覚し、大幅な手戻りコストによって採算が取れなくなる、いわゆる失敗プロジェクトの発生が、大きな問題となっている。また、運用時の障害発生によってＩＴサービスが利用不可となり、信頼性が著しく損なわれる事例も多発している。
【０００３】
このような問題に対処するためには、ＩＴサービス開発の上流設計の時点であらかじめ、設計の妥当性を、評価・検証しておく必要があると考えられる。特に、シミュレーション技術を用いることで、ＩＴサービスの挙動を予測し、運用時に発生しうる問題への対策を講じることができるので、設計ミスによる手戻りや運用開始後の障害発生を防ぐことができると期待される。通常、このようなシミュレーションは、対象ＩＴサービスにおけるユーザの振る舞いやオペレーション手順などに関する定量的な情報を用いて、シミュレーション用のモデルを構築するのが一般的である。
【０００４】
しかしながら、このような定量情報の大半は、ＩＴサービス導入前の設計段階では得ることができないため、シミュレーション用のモデルの構築が困難である、という問題がある。
【０００５】
このような定量的な情報を用いることなく、対象ＩＴサービスの挙動を推定・把握するための手法として、既知の情報を論理的に組み合わせて構築した定性的なモデルによるシミュレーション（定性シミュレーション）が提案されている。定性シミュレーションでは、対象系の構造から、挙動のメカニズムを解析することで、該挙動に対する因果的な説明を与えることを可能とする。このように、定性シミュレーションを用いることで、ＩＴサービスの運用に関わる定量情報がほとんど得られていない設計段階においても、ＩＴサービスの挙動を把握したり、設計の妥当性を評価することが可能となる。その結果、開発における手戻りの防止、ＩＴサービスの品質向上などの効果がある。
【０００６】
しかしながら、定性シミュレーションを用いて対象系における振る舞いを予測する場合には、シミュレーション過程で発生する定性的演算の曖昧さのため、実際に起こる挙動を含む複数の定性的挙動が導出される。そのため、得られた結果を実際の挙動と適切に対応づけて解釈することが難しい、という課題が存在した。
【０００７】
このような定性シミュレーションにおける曖昧性を排除するため、特許文献１は、物理システムの挙動に関する定量データを入力として、実際の挙動と一致する定性的挙動を導出する「定性シミュレーション装置」を開示している。
【０００８】
また、特許文献２は、定性モデルに定量情報を付加することで定性シミュレーションの曖昧さを軽減するとともに、オペレータと同様の予測機構、すなわち、プラントシステムにおいて発生する様々な兆候から適切なものを選び、それに基づいた定性的な予測によるプラントの状態判定を行う「状態予測装置」を開示している。
【０００９】
特許文献３は、対象の物理システムを定性的にモデル化するために記述した状態記述変数データと状態記述変数データ相互間の因果関係を表した関係記述データとから成る定性モデルを使用した「定性シミュレーション装置」を開示している。
【００１０】
特許文献４は、画面を示す画面情報と、画面情報と関係付けられ画面に含まれる要素の属性を示す要素属性情報と、画面に含まれる要素が動作する条件に関する動作条件情報と、要素が動作する処理の内容に関する動作内容情報と、を取得する取得部を備えた表示制御装置を開示している。
【００１１】
特許文献５は、半導体集積回路へテストパターンが与えられてテストされたテスト結果を取得し、取得されたテスト結果と第２シミュレーション結果とが観測的において一致するか否かを判定する試験支援装置を開示している。
【００１２】
特許文献６は、ルールに基づいてモデル変更アクションがなされる「レイアウト設計装置」を開示している。
【００１３】
また、非特許文献１は、定性プロセス理論に基づくモデルを開示している。
【００１４】
非特許文献２は、既存の定性シミュレータであるＧａｒｐ３を開示している。
【先行技術文献】
【特許文献】
【００１５】
【特許文献１】特開平４−３１３１４３号公報
【特許文献２】特開平７−２４４５２４号公報
【特許文献３】特開平６−３１４２６９号公報
【特許文献４】特開２０１３−１４０４８２号公報
【特許文献５】特開２０１３−２２４８２９号公報
【特許文献６】特開平８−７７２３８号公報
【非特許文献】
【００１６】
【非特許文献１】西田豊明、定性推論の諸相、朝倉書店、１９９３
【非特許文献２】Ｂｅｒｔ  Ｂｒｅｄｅｗｅｇ，Ｇａｒｐ３−Ｗｏｒｋｂｅｎｃｈ  ｆｏｒ  ｑｕａｌｉｔａｔｉｖｅ  ｍｏｄｅｌｌｉｎｇ  ａｎｄ  ｓｉｍｕｌａｔｉｏｎ，Ｅｃｏｌｏｇｉｃａｌ  Ｉｎｆｏｒｍａｔｉｃｓ  ４，２００９
【発明の概要】
【発明が解決しようとする課題】
【００１７】
しかしながら、前述の特許文献１および特許文献２に開示されている技術では、対象系に関する定量的なデータが必要となる。そのため、ＩＴサービス開発の上流段階で設計を評価・検証するための定性シミュレーションにおける曖昧性を軽減し、出力結果の解釈を容易化するための手段として適用することはできない。
【００１８】
また、定性シミュレーションの実行結果、すなわち、ある設計のもとで起こり得るサービス挙動の一覧において、設計者（シミュレーション用のモデルの構築者）が想定していないような挙動が出力されたとする。この場合、入力されたモデルにおいて、設計者の想定とは異なる設計（モデル化）がなされていると考えられる。しかしながら、このような不正なモデルを設計者の想定に一致するように修正する作業は、現状ではトライアンドエラーで行わざるを得ない。
【００１９】
特許文献３は、単に、状態記述変数データ相互間の因果関係を表した関係記述データを含む定性モデルを使用した定性シミュレーション装置を開示しているに過ぎない。
【００２０】
特許文献４は、単に、取得部が要素が動作する条件に関する動作条件情報を取得することを開示しているに過ぎない。この動作条件情報は、自明かつ他の情報と独立なものとして定義されている。
【００２１】
特許文献５は、単に、テスト結果とシミュレーション結果とが一致するか否かを判定することを開示しているに過ぎない。
【００２２】
特許文献６は、単に、ルールに基づいてモデル変更アクションがなされることを記載しているに過ぎない。
【００２３】
本発明の目的は、上記課題を解決するための技術を提供することにあり、定性シミュレーションの出力結果を、実際のサービス挙動と適切に対応づけて解釈することを容易化する、サービス設計支援装置を提供することにある。
【課題を解決するための手段】
【００２４】
本発明の一態様に係るサービス設計支援装置は、設計の対象サービスの構造および処理手順を表す定性シミュレーションモデルを保持するサービス設計情報を入力する入力部と、前記サービス設計情報に対して所定の手法を適用して定性シミュレーションを実行するシミュレーション実行部と、対象サービスの実行基盤となるシステム構成機器の接続状態を表すアーキテクチャ設計情報に基づいて、前記サービス設計情報において対象サービスの品質に影響する可能性のあるパラメータの組み合わせを決定する品質特性情報を構築する構築部と、前記品質特性情報に基づいて、前記シミュレーション実行部が出力するサービスの振る舞い（状態遷移）の一覧の中に、サービス品質が損なわれていると解釈されるような状態への遷移が含まれるか否かを判定する結果判定部と、を備える。
【００２５】
本発明の一態様に係るサービス設計支援方法は、入力部が、設計の対象サービスの構造および処理手順を表す定性シミュレーションモデルを保持するサービス設計情報を入力し、シミュレーション実行部が、前記サービス設計情報に対して所定の手法を適用して定性シミュレーションを実行し、構築部が、前記対象サービスの実行基盤となるシステム構成機器の接続状態を表すアーキテクチャ設計情報に基づいて、前記サービス設計情報において前記対象サービスの品質に影響する可能性のあるパラメータの組み合わせを決定する品質特性情報を構築し、結果判定部が、前記品質特性情報に基づいて、前記シミュレーション実行部が出力するサービスの振る舞いの一覧の中に、サービス品質が損なわれていると解釈されるような状態への遷移が含まれるか否かを判定する。
【００２６】
本発明の一態様に係るサービス設計支援プログラムは、コンピュータに、設計の対象サービスの構造および処理手順を表す定性シミュレーションモデルを保持するサービス設計情報を入力する入力機能と、前記サービス設計情報に対して所定の手法を適用して定性シミュレーションを実行するシミュレーション実行機能と、前記対象サービスの実行基盤となるシステム構成機器の接続状態を表すアーキテクチャ設計情報に基づいて、前記サービス設計情報において前記対象サービスの品質に影響する可能性のあるパラメータの組み合わせを決定する品質特性情報を構築する構築機能と、前記品質特性情報に基づいて、前記シミュレーション実行部が出力するサービスの振る舞いの一覧の中に、サービス品質が損なわれていると解釈されるような状態への遷移が含まれるか否かを判定する結果判定機能と、を実現させる。
【発明の効果】
【００２７】
本発明によれば、定性シミュレーションの出力結果を、実際のサービス挙動と適切に対応づけて解釈することが容易となる。
【図面の簡単な説明】
【００２８】
【図１】本発明の第１の実施形態に係るサービス設計支援装置の構成を示すブロック図である。
【図２】定性プロセス理論における固体ビューとプロセスビューの構成要素を示す図である。
【図３】図１に示したサービス設計支援装置において使用される、サーバ１のみで処理を行う場合のサービス設計情報の一例を示す図である。
【図４】図１に示したサービス設計支援装置において使用される、サーバ２に処理を振り分ける場合のサービス設計情報の他の例を示す図である。
【図５】図１に示したサービス設計支援装置において使用される、アーキテクチャ設計情報の一例を示す図である。
【図６】図１に示したサービス設計支援装置において使用される、シミュレーション実行部によって出力される、定性シミュレーション結果の一部の例を示す図である。
【図７】図１に示したサービス設計支援装置における処理の流れを表すフローチャートである。
【図８】本発明の第２の実施形態に係るサービス設計支援装置の構成を表すブロック図である。
【図９】図８に示したサービス設計支援装置において使用される、モデル修正部によって変更されたサービス設計情報の一例を示す図である。
【発明を実施するための形態】
【００２９】
［発明の概要］
最初に、本発明の理解を容易するために、本発明の概要について説明する。
【００３０】
本発明は、ＩＴ（information technology）サービスの設計方法に関し、特に、ＩＴサービス導入前の設計段階で、ＩＴサービスの挙動を把握し、設計の妥当性を評価するための定性シミュレーションモデルの構築手法に関する。
【００３１】
本発明に係るサービス設計支援装置は、上記背景技術の事情に鑑みてなされたものであり、プロセス間の因果的観点からＩＴサービスの設計を表現した定性モデルに基づいて対象サービスの振る舞いを予測し、設計の妥当性を評価する。この際に、本発明の実施形態に係るサービス設計支援装置は、定性シミュレーションの出力結果を、実際のサービス挙動と適切に対応づけて解釈することを容易化する。
【００３２】
より具体的には、本発明の実施形態に係るサービス設計支援装置は、上記定性シミュレーションの出力結果の中に、設計者が想定していない挙動が含まれるか否かの判断を容易化する。
【００３３】
また、本発明に係るサービス設計支援装置は、設計者が想定していない挙動が出力された場合、上記定性モデルを、設計者が想定した通りの挙動を示すように自動的に修正する。
【００３４】
本発明に係るサービス設計支援装置は、設計の対象サービスの構造および処理手順を表す定性シミュレーションモデルを保持するサービス設計情報を入力する入力部と、サービス設計情報に対して所定の手法を適用して定性シミュレーションを実行するシミュレーション実行部と、対象サービスの実行基盤となるシステム構成機器の接続状態を表すアーキテクチャ設計情報に基づいて、サービス設計情報において対象サービスの品質に影響する可能性のあるパラメータの組み合わせを決定する品質特性情報を構築する構築部と、上記品質特性情報に基づいて、シミュレーション実行部が出力するサービスの振る舞い（状態遷移）の一覧の中に、サービス品質が損なわれていると解釈されるような状態への遷移が含まれるか否かを判定する結果判定部と、を備えることを特徴とする。
【００３５】
ここで、サービス品質が損なわれる条件は、対象サービスの実行環境（コンピュータ基盤の構成）や、暗黙的な制約・知見などを含めた上で決定されるので、自明には定義されない。
【００３６】
上記品質特性情報は、上記アーキテクチャ設計情報に加え、対象サービスの実行基盤であるシステムの構成に依存しない、共通的な知識、ヒューリスティクス、および制約に基づいて、対象サービスの品質に影響するパラメータの組み合わせを定義してもよい。
【００３７】
上記結果判定部は、定性シミュレーション実行部の出力結果に、上記品質特性情報に含まれる組み合わせのパラメータが、上限値かつ上昇傾向である状態が含まれる場合に、サービス品質が損なわれていると判定してもよい。
【００３８】
上記結果判定部は、顧客の要求や技術的な制約などによって決定されている、パラメータが取るべき条件などに基づいて、上記定性シミュレーションの実行結果に、設計者の想定しない振る舞いが含まれるか否かを判定してもよい。
【００３９】
また、本発明に係るサービス設計支援装置は、上記結果判定部において、サービス品質が損なわれている、あるいは設計者の想定と異な状態への遷移が含まれると判定された場合に、修正ルール情報格納部に保持されているサービス設計情報の修正方針を定義した修正ルール情報に従って、上記サービス設計情報を変更するモデル修正部をさらに備えてもよい。
【００４０】
上記修正ルール情報は、上記品質特性情報に含まれる組み合わせのパラメータを改善する効果のあるパラメータを、上記サービス設計情報に追加すること、を定めてもよい。
【００４１】
上記修正ルール情報は、上記品質特性情報に含まれる組み合わせのパラメータの優先度に応じて、上記サービス設計情報において追加するパラメータの位置を定めてもよい。
【００４２】
本発明に係るサービス設計支援装置は、プロセス間の因果的観点からＩＴサービスの設計を表現した定性モデルに基づいて対象サービスの振る舞いを予測し、設計の妥当性を評価する。その際に、本発明に係るサービス設計支援装置は、定性シミュレーションによって得られた結果を、実際の挙動と適切に対応づけて解釈することを容易化する。それにより、本発明に係るサービス設計支援装置によれば、出力結果の中に、設計者が想定していない挙動が含まれるか否かを容易に判断することが可能となる。
【００４３】
また、本発明に係るサービス設計支援装置によれば、設計者が想定していない挙動が出力された場合、上記定性モデルを、設計者が想定した通りの挙動を示すように自動的に修正することが可能となる。
【００４４】
以下、本発明の実施形態を、図面を参照しながら詳細に説明する。
【００４５】
[実施形態１]
以下、本発明の第１の実施形態について、図面を参照して説明する。図１は、本発明の第１の実施形態に係るサービス設計支援装置１００の構成を表すブロック図である。
【００４６】
図１に示すように、本第１の実施形態によるサービス設計支援装置１００は、設計情報入力部１１０と、シミュレーション実行部１２０と、品質特性情報構築部１３０と、結果判定部１４０と、を備える。
【００４７】
設計情報入力部１１０は、サービス設計情報１１２として、設計対象サービスの構造や処理手順などを表す定性シミュレーションモデルを記憶する。ここで、本第１の実施形態においては、サービス設計情報１１２を表す定性シミュレーションモデルとして、定性プロセス理論（非特許文献１）に基づくモデルを用いる。
【００４８】
定性プロセス理論では、パラメータの状態を定性値と微分値の組み合わせによって表現し、パラメータ間に、対象系に対する原理などに関する因果的観点に基づく定性的な依存関係を記述したモデルを用いて、起こり得る挙動を列挙する。ここで、パラメータ間の影響関係は、直接影響と間接影響に分類される。直接影響は、特定のプロセスが生じることにより、あるパラメータ間の増減が決定される影響関係を表し、間接影響は、何らかのメカニズムによって、パラメータの変量間に定性的な比例関係があることを表す。
【００４９】
また、定性プロセス理論では、個体ビューとプロセスビューと呼ばれる二つのフレーム表現を用いて、ある熱源によって液体が加熱される、などの物理現象を記述する。個体ビューは、パラメータ間に成り立つ恒常的な関係を記述し、プロセスビューは、あるプロセス（物理現象）が発生する際に存在するパラメータ間の関係を記述する。図２に、各ビューを構成する要素を示す。
【００５０】
図３および図４は、サービス設計情報１１２の例を示す図である。図３はサーバ１のみで処理を行う場合のサービス設計情報１１２の例を示し、図４はサーバ２に処理を振り分ける場合のサービス設計情報１１２の例を示している。
【００５１】
図３の例では、ユーザからのリクエストによって、サーバ１が稼働し、その後サーバ３が稼働することで、リクエストが処理され、サービスの供給を待つユーザ数が減少する。ただし、サーバ１の稼働率が上限に達すると、図４に示されるように、サーバ２へ処理が振り分けられることが表現されている。図３および図４において、Ｉは直接影響を表し、Ｐは間接影響を表す。
【００５２】
また、設計情報入力部１１０は、対象サービスの実行基盤となるシステムのアーキテクチャ設計情報１１４を記憶する。アーキテクチャ設計情報１１４は、サーバやストレージ、ネットワーク機器などのシステム構成要素を表すオブジェクトと、それらの接続関係で構成される。上記オブジェクトは、サービス品質を測る指標に相当する属性を持つ。図５は、アーキテクチャ設計情報１１４の例を示す図である。
【００５３】
品質特性情報構築部１３０は、サービス設計情報１１２とアーキテクチャ設計情報１１４の要素を対応付け、一般的な知識をもとに、対象サービスの品質を悪化させる可能性のある、サービス設計情報１１２のパラメータの組み合わせを品質特性情報として定義する。
【００５４】
品質特性情報構築部１３０の動作例について、図３および図４のサービス設計情報１１２および図５のアーキテクチャ設計情報１１４を用いて説明する。
【００５５】
図５のアーキテクチャ設計情報１１４において、典型的なサービス品質である「可用性」に関する属性を持つ要素として、サーバ１、サーバ２、サーバ３を取り上げる。そして、可用性に影響する属性である各サーバの「稼働率」がユーザからのリクエストによって上昇し、それによってユーザへサービスが提供される様子を定性的にモデル化したのが、図３および図４のサービス設計情報１１２である。
【００５６】
すなわち、図５のアーキテクチャ設計情報１１４における「サーバ１」という要素の「稼働率」という属性は、図３および図４のサービス設計情報１１２における「α」というパラメータとしてモデル化されている、という対応関係になる。
【００５７】
そして、サービス品質に関する一般的な知識、例えば、並列化されたサーバの使用率がともに１００％に達したり、直列接続されているいずれかのサーバの使用率が１００％に達すると、それ以上のリクエストを処理できず、サービスの可用性が損なわれる、といった知識があったとする。この場合、品質特性情報構築部１３０は、既知の手法などを用いて、図５のアーキテクチャ設計情報１１４におけるサーバの接続状態を解釈し、サービスの可用性が損なわれる状態として、「（サーバ１の稼働率に対応するパラメータα（ＡＮＤ）サーバ２の稼働率に対応するパラメータβ）（ＯＲ）サーバ３の稼働率に対応するパラメータγ」という組み合わせを定義する。
【００５８】
シミュレーション実行部１２０は、既知の手法によって、サービス設計情報１１２に対する定性シミュレーションを実行し、サービス設計情報１１２によってモデル化された対象サービスが取り得る可能性のある振る舞いを全て列挙する。
【００５９】
結果判定部１４０は、シミュレーション実行部１２０によって出力される、対象サービスの振る舞いの一覧の中に、上記品質特性情報に含まれる組み合わせのパラメータに、上限値かつ上昇傾向である状態が含まれているか否かを調べる。結果判定部１４０は、品質特性情報に含まれる組み合わせのパラメータに、上限値かつ上昇傾向である状態が含まれている場合に、サービス品質が損なわれている、と判定する。
【００６０】
例えば、図３および図４のサービス設計情報１１２に基づいた定性シミュレーション結果として、図６に示すように、パラメータαとパラメータβがともに上限値で上昇傾向である状態が出力されたとする。この場合、結果判定部１４０は、サービスの可用性が損なわれている、と判定する。ここで、図６は、既存の定性シミュレータであるＧａｒｐ３（非特許文献２）による出力結果の例を示している。
【００６１】
ここで、対象サービスの振る舞いが、設計者の想定通りであるか否かを判定するための条件として、パラメータの値が上限値かつ上昇傾向である、という以外の条件を別途定義し、外部から与えたりしてもよい。例えば、サーバ１の稼働率を５０％以内に抑える必要がある、などの条件が顧客から指定されている場合、結果判定部１４０は、パラメータαが中間値かつ上昇傾向である状態を、設計者の想定に合わない不適切なモデルである、と判定することができる。結果判定部１４０は、このようにして判定された結果、すなわち、サービス設計情報に不備があるか否かについて、設計者に通知してもよい。
【００６２】
次に、図７を参照して、本発明の第１の実施形態に係るサービス設計支援装置１００の動作について説明する。
【００６３】
まず、設計情報入力部１１０は、設計者によって記述されたサービス設計情報１１２およびアーキテクチャ設計情報１１４を保持する（ステップＡ１）。
【００６４】
一方、品質特性情報構築部１３０は、既知の手法などを用いて、アーキテクチャ設計情報１１４を解釈し、サービス品質に関する一般知識をもとに、アーキテクチャ設計情報１１４の構成要素が持つ属性に対して、サービス品質が損なわれている状態を表す組み合わせを定義する（ステップＡ２）。
【００６５】
次に、品質特性情報構築部１３０は、アーキテクチャ設計情報１１４の構成要素の属性を、サービス設計情報１１２のパラメータに変換する（ステップＡ３）。
【００６６】
そして、シミュレーション実行部１２０が、ステップＡ１のサービス設計情報１１２に対して定性シミュレーションを実行する（ステップＡ４）。
【００６７】
結果判定部１４０は、シミュレーション結果の中に、ステップＡ３で構築された品質特性情報に含まれる組み合わせのパラメータが、上限値かつ上昇傾向である状態が含まれるか否かを調べる（ステップＡ５）。
【００６８】
サービス設計支援装置１００は、ステップ５の判定結果を受けて、ステップＡ１で記述されたサービス設計情報１１２に、設計者が想定していない、サービス品質が損なわれる挙動を引き起こすような不備があることなどを、設計者に通知してもよい（ステップＡ６）。
【００６９】
以上のように、本第１の実施形態に係るサービス設計支援装置１００では、ＩＴサービスを構成するプロセス間の定性的な依存関係をモデル化したサービス設計情報１１２に対し、定性シミュレーションを適用して、対象サービスの振る舞いを予測する。この際、本第１の実施形態に係るサービス設計支援装置１００では、サービスの実行基盤となるハードウェア機器のアーキテクチャ設計とサービス品質に関する一般的な知識を、サービス設計情報１１２と対応付ける。このことにより、本第１の実施形態に係るサービス設計支援装置１００によれば、定性シミュレーション結果において、設計者が想定していないような、サービス品質が損なわれる状態が含まれるか否かを容易に判定することができる。
【００７０】
よって、本第１の実施形態に係るサービス設計支援装置１００によれば、対象サービスに関する定量データが得られない上流設計段階におけるサービス設計の評価・分析を可能とし、高品質な設計を支援することができる。
【００７１】
本第１の実施形態に係るサービス設計支援装置１００の各部は、ハードウェアとソフトウェアとの組み合わせを用いて実現すればよい。ハードウェアとソフトウェアとを組み合わせた形態では、たとえば、ＲＯＭ（read only memory）に記憶されたサービス設計支援プログラムに基づいて、ＣＰＵ（central processing unit）のような制御部等のハードウェアを動作させることによって、各部を各種手段として実現する。また、該サービス設計支援プログラムは、記録媒体に記録されて頒布されてもよい。当該記録媒体に記録されたサービス設計支援プログラムは、有線、無線、又は記録媒体そのものを介して、メモリに読み込まれ、制御部等を動作させる。尚、記録媒体を例示すれば、ハードディスクなどの磁気ディスク、ＣＤ-ＲＯＭ（compact disc read only memory）、ＤＶＤ（digital versatile disc）などの光ディスク、光磁気ディスク（ＭＯ；magneto-optical disc）、半導体メモリ装置などが挙げられる。
【００７２】
[実施形態２]
以下、本発明の第２の実施形態について、図面を参照して説明する。図８は、本発明の第２の実施形態に係るサービス設計支援装置１００Ａの構成を表すブロック図である。
【００７３】
図８に示すサービス設計支援装置１００Ａは、図１に示す第１の実施形態のサービス設計支援装置１００と比べて、修正ルール情報格納部１５０と、モデル修正部１６０と、を更に備えている、という点で異なる。以下では、図１に示される構成要素と同一の機能を有するものには同一の参照符号を付して、説明の簡略化の為にそれらの説明については省略する。
【００７４】
修正ルール情報格納部１５０は、結果判定部１４０においてサービス品質が損なわれていると判定される状態への遷移が出力されるようなモデル、すなわち、設計者が想定していないような振る舞いを示すサービス設計情報１１２に対する修正方針を定めた修正ルール情報を保持する。
【００７５】
例えば、修正ルール情報は、結果判定部１４０において不備があると判定されたサービス設計情報に対してパラメータを追加し、上記品質特性情報に定義される、サービス品質が損なわれている状態に関連するパラメータを改善させる、例えば、値を減少させるような影響関係で接続する、といったルールである。ここで、上記品質特性情報に含まれるパラメータに優先度を設定しておき、修正ルール情報として、該優先度に応じた改善効果のあるパラメータの追加位置を定義してもよい。
【００７６】
モデル修正部１６０は、修正ルール情報に従って、サービス設計情報１１２を変更する。図９は、修正後のサービス設計情報１１２の例を示す図である。
【００７７】
モデル修正部１６０によって出力される修正後のモデルに対して、サービス設計支援装置１００Ａは、再度定性シミュレーションを実行し、サービス品質が損なわれる状態への遷移が改善されたか否かを調べてもよい。
【００７８】
また、モデルを修正したことで、サービス設計支援装置１００Ａは、上記品質特性情報に含まれるパラメータの組み合わせに含まれるような、別のサービス品質が損なわれている状態への遷移が出力されるか否かを調べてもよい。
【００７９】
以上のように、本第２の実施形態によるサービス設計支援装置１００Ａによれば、サービス品質が損なわれる状態への遷移が発生するような不適切なサービス設計情報を自動的に修正することができるので、設計者の想定する挙動を示すような高品質なサービス設計情報の構築を支援することができる。
【００８０】
本第２の実施形態に係るサービス設計支援装置１００Ａの各部は、ハードウェアとソフトウェアとの組み合わせを用いて実現すればよい。ハードウェアとソフトウェアとを組み合わせた形態では、たとえば、ＲＯＭ（read only memory）に記憶されたサービス設計支援プログラムに基づいて、ＣＰＵ（central processing unit）のような制御部等のハードウェアを動作させることによって、各部を各種手段として実現する。また、該サービス設計支援プログラムは、記録媒体に記録されて頒布されてもよい。当該記録媒体に記録されたサービス設計支援プログラムは、有線、無線、又は記録媒体そのものを介して、メモリに読み込まれ、制御部等を動作させる。尚、記録媒体を例示すれば、ハードディスクなどの磁気ディスク、ＣＤ-ＲＯＭ（compact disc read only memory）、ＤＶＤ（digital versatile disc）などの光ディスク、光磁気ディスク（ＭＯ；magneto-optical disc）、半導体メモリ装置などが挙げられる。
【００８１】
以上、本発明をその例示的な実施形態に基づいて説明したが、本発明のサービス設計支援装置は、上記実施形態の構成にのみ限定されるものではなく、上記実施形態の構成から種々の修正及び変更を施したものも、本発明の範囲に含まれる。
【００８２】
上記の実施形態の一部又は全部は、以下の付記のようにも記載されうるが、以下には限られない。
【００８３】
（付記１）
設計の対象サービスの構造および処理手順を表す定性シミュレーションモデルを保持するサービス設計情報を入力する入力部と、
前記サービス設計情報に対して所定の手法を適用して定性シミュレーションを実行するシミュレーション実行部と、
前記対象サービスの実行基盤となるシステム構成機器の接続状態を表すアーキテクチャ設計情報に基づいて、前記サービス設計情報において前記対象サービスの品質に影響する可能性のあるパラメータの組み合わせを決定する品質特性情報を構築する構築部と、
前記品質特性情報に基づいて、前記シミュレーション実行部が出力するサービスの振る舞いの一覧の中に、サービス品質が損なわれていると解釈されるような状態への遷移が含まれるか否かを判定する結果判定部と、
を備える、サービス設計支援装置。
【００８４】
（付記２）
前記品質特性情報は、前記アーキテクチャ設計情報に加え、前記対象サービスの実行基盤であるシステムの構成に依存しない、共通的な知識、ヒューリスティクス、および制約に基づいて、前記対象サービスの品質に影響するパラメータの組み合わせを定義した情報を含む、付記１に記載のサービス設計支援装置。
【００８５】
（付記３）
前記結果判定部は、前記定性シミュレーション実行部の出力結果に、前記品質特性情報に含まれる組み合わせのパラメータが上限値かつ上昇傾向である状態が含まれる場合に、サービス品質が損なわれていると判定する、付記１または２に記載のサービス設計支援装置。
【００８６】
（付記４）
前記結果判定部は、顧客の要求および技術的な制約によって決定されている、パラメータが取るべき条件に基づいて、前記定性シミュレーションの実行結果に、設計者の想定しない振る舞いが含まれるか否かを判定する、付記１乃至３のいずれか１つに記載のサービス設計支援装置。
【００８７】
（付記５）
前記結果判定部において、サービス品質が損なわれている、あるいは設計者の想定と異なる状態への遷移が含まれると判定された場合に、前記サービス設計情報の修正方針を定義した修正ルール情報に従って、前記サービス設計情報を変更するモデル修正部をさらに備える、付記１乃至４のいずれか１つに記載のサービス設計支援装置。
【００８８】
（付記６）
前記修正ルール情報は、前記品質特性情報に含まれる組み合わせのパラメータを改善する効果のあるパラメータを、前記サービス設計情報に追加することを定めた情報である、付記５に記載のサービス設計支援装置。
【００８９】
（付記７）
前記修正ルール情報は、前記品質特性情報に含まれるパラメータの優先度に応じて、前記サービス設計情報において、追加するパラメータの位置を定めた情報である、付記５または６に記載のサービス設計支援装置。
【００９０】
（付記８）
入力部が、設計の対象サービスの構造および処理手順を表す定性シミュレーションモデルを保持するサービス設計情報を入力し、
シミュレーション実行部が、前記サービス設計情報に対して所定の手法を適用して定性シミュレーションを実行し、
構築部が、前記対象サービスの実行基盤となるシステム構成機器の接続状態を表すアーキテクチャ設計情報に基づいて、前記サービス設計情報において前記対象サービスの品質に影響する可能性のあるパラメータの組み合わせを決定する品質特性情報を構築し、
結果判定部が、前記品質特性情報に基づいて、前記シミュレーション実行部が出力するサービスの振る舞いの一覧の中に、サービス品質が損なわれていると解釈されるような状態への遷移が含まれるか否かを判定する、
サービス設計支援方法。
【００９１】
（付記９)
前記品質特性情報は、前記アーキテクチャ設計情報に加え、前記対象サービスの実行基盤であるシステムの構成に依存しない、共通的な知識、ヒューリスティクス、および制約に基づいて、前記対象サービスの品質に影響するパラメータの組み合わせを定義した情報を含む、付記８に記載のサービス設計支援方法。
【００９２】
（付記１０）
前記結果判定部が、前記定性シミュレーション実行部の出力結果に、前記品質特性情報に含まれる組み合わせのパラメータが上限値かつ上昇傾向である状態が含まれる場合に、サービス品質が損なわれていると判定する、付記８または９に記載のサービス設計支援方法。
【００９３】
（付記１１）
前記結果判定部が、顧客の要求および技術的な制約によって決定されている、パラメータが取るべき条件に基づいて、前記定性シミュレーションの実行結果に、設計者の想定しない振る舞いが含まれるか否かを判定する、付記８乃至１０のいずれか１つに記載のサービス設計支援方法。
【００９４】
（付記１２）
モデル修正部が、前記結果判定部において、サービス品質が損なわれている、あるいは設計者の想定と異なる状態への遷移が含まれると判定された場合に、前記サービス設計情報の修正方針を定義した修正ルール情報に従って、前記サービス設計情報を変更する、付記８乃至１１のいずれか１つに記載のサービス設計支援方法。
【００９５】
（付記１３）
前記修正ルール情報は、前記品質特性情報に含まれる組み合わせのパラメータを改善する効果のあるパラメータを、前記サービス設計情報に追加することを定めた情報である、付記１２に記載のサービス設計支援方法。
【００９６】
（付記１４）
前記修正ルール情報は、前記品質特性情報に含まれるパラメータの優先度に応じて、前記サービス設計情報において、追加するパラメータの位置を定めた情報である、付記１２または１３に記載のサービス設計支援方法。
【００９７】
（付記１５）
コンピュータに、
設計の対象サービスの構造および処理手順を表す定性シミュレーションモデルを保持するサービス設計情報を入力する入力機能と、
前記サービス設計情報に対して所定の手法を適用して定性シミュレーションを実行するシミュレーション実行機能と、
前記対象サービスの実行基盤となるシステム構成機器の接続状態を表すアーキテクチャ設計情報に基づいて、前記サービス設計情報において前記対象サービスの品質に影響する可能性のあるパラメータの組み合わせを決定する品質特性情報を構築する構築機能と、
前記品質特性情報に基づいて、前記シミュレーション実行部が出力するサービスの振る舞いの一覧の中に、サービス品質が損なわれていると解釈されるような状態への遷移が含まれるか否かを判定する結果判定機能と、
を実現させるためのサービス設計支援プログラム。
【００９８】
（付記１６）
前記品質特性情報は、前記アーキテクチャ設計情報に加え、前記対象サービスの実行基盤であるシステムの構成に依存しない、共通的な知識、ヒューリスティクス、および制約に基づいて、前記対象サービスの品質に影響するパラメータの組み合わせを定義した情報を含む、付記１５に記載のサービス設計支援プログラム。
【００９９】
（付記１７）
前記結果判定機能は、前記定性シミュレーション実行機能の出力結果に、前記品質特性情報に含まれる組み合わせのパラメータが上限値かつ上昇傾向である状態が含まれる場合に、サービス品質が損なわれていると判定する、付記１５または１６に記載のサービス設計支援プログラム。
【０１００】
（付記１８）
前記結果判定機能は、顧客の要求および技術的な制約によって決定されている、パラメータが取るべき条件に基づいて、前記定性シミュレーションの実行結果に、設計者の想定しない振る舞いが含まれるか否かを判定する、付記１５乃至１７のいずれか１つに記載のサービス設計支援プログラム。
【０１０１】
（付記１９）
前記コンピュータに、前記結果判定機能において、サービス品質が損なわれている、あるいは設計者の想定と異なる状態への遷移が含まれると判定された場合に、前記サービス設計情報の修正方針を定義した修正ルール情報に従って、前記サービス設計情報を変更するモデル修正機能を、さらに実現させるための、付記１５乃至１８のいずれか１つに記載のサービス設計支援プログラム。
【０１０２】
（付記２０）
前記修正ルール情報は、前記品質特性情報に含まれる組み合わせのパラメータを改善する効果のあるパラメータを、前記サービス設計情報に追加することを定めた情報である、付記１９に記載のサービス設計支援プログラム。
【０１０３】
（付記２１）
前記修正ルール情報は、前記品質特性情報に含まれるパラメータの優先度に応じて、前記サービス設計情報において、追加するパラメータの位置を定めた情報である、付記１９または２０に記載のサービス設計支援プログラム。
【符号の説明】
【０１０４】
１００、１００Ａ    サービス設計支援装置
１１０    設計情報入力部
１１２    サービス設計情報
１１４    アーキテクチャ設計情報
１２０    シミュレーション実行部
１３０    品質特性情報構築部
１４０    結果判定部
１５０    修正ルール情報格納部
１６０    モデル修正部
【図１】
2018142032.tif 000003
【図２】
2018142032.tif 000004
【図３】
2018142032.tif 000005
【図４】
2018142032.tif 000006
【図５】
2018142032.tif 000007
【図６】
2018142032.tif 000008
【図７】
2018142032.tif 000009
【図８】
2018142032.tif 000010
【図９】
2018142032.tif 000011