時間,資源の制約をもつビジネスプロセスの形式検証(ソフトウェアシステム)
スポンサーリンク
概要
- 論文の詳細を見る
ITシステムの開発においてビジネスプロセスのモデル化は非常に重要であり,その設計段階においてプロセスの正しさや妥当性を十分に検証しておく必要がある.特に,時間や資源に関する性質はボトルネック問題のようなビジネスプロセスの典型的な問題に関連しているため,注意深く分析する必要がある.本論文では,時間及び資源に関する制約をもつビジネスプロセスの性質を,モデル検査技法を用いて形式的に検証する手法を提案する.まず,ビジネスプロセスの標準記法BPMNに対して時間及び資源に関する制約を付加できるように拡張を加える.更に,拡張したBPMNで記述されたビジネスプロセスを,モデル検査ツールで検証可能な時間オートマトンに変換する方法を示す.本手法によって,プロセスの構造的な問題だけでなく,時間と資源に関連した問題を初期の設計段階において排除し,ビジネスプロセスの設計品質の保証に役立てることができる.
- 2013-08-01
著者
-
石川 冬樹
国立情報学研究所
-
石川 冬樹
東京大学大学院情報理工学系研究科
-
綿引 健二
北陸先端科学技術大学院大学
-
平石 邦彦
北陸先端科学技術大学院大学
-
綿引 健二
北陸先端科学技術大学院大学:(株)野村総合研究所
関連論文
- ブーリアンネットワークにおける可制御性判定のための多項式時間アルゴリズム(システムバイオロジー,システムバイオロジー,一般)
- マルチエージェントシステムにおけるメタデータを用いた協調プロトコル合成手法(モデル/理論,ソフトウェアエージェントとその応用論文)
- 適応エージェントのためのユビキタスコンピューティングミドルウェア(エージェント)
- ICカードを利用した教育環境における報奨システムの提案(e-Learningにおける学習評価/一般)
- 形式検証技術の数理 : 安心・安全なシステム構築に向けて
- カラードペトリネットによるワークフローシステムのモデル化と検証
- 有限時間区間に対するハイブリッドシステムの離散抽象化
- 離散状態の流体化によるシステム検証(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- 連続化近似を用いたワークフローの性能評価(グラフ,ペトリ,ニューラルネット及び一般)
- 混合論理動的システム表現の改良に関する研究(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- 研究室配属のためのシラバスシステムの提案と試作(セッション4 : 教育・学習支援)
- AP-4-9 これからのコンカレント技術 : システムバイオロジー(AP-4.コンカレント技術の現在・過去・未来,パネル討論,ソサイエティ企画)
- A-3-9 温度並列SAのシーケンスペアによるパッキング問題への適用(A-3.VLSI設計技術,一般講演)
- 記号計算に基づくハイブリッドシステムの解析
- 周期的なタイムスロット付きジャストインタイムスケジューリング問題のヒューリスティックアルゴリズム
- D-7-6 遺伝子転写制御領域に含まれる特異的文字列の解析とDNAマイクロアレイデータを用いた遺伝子間の依存関係推定(D-7. MEとバイオサイバネティックスA)
- D-7-7 転写制御領域の解析と破壊株データからの遺伝子の依存関係推定
- ハイブリッドシステムの定性的解析について
- エージェント指向ペトリネットPN^2の効率的解析について : 動作を保存する縮約法
- 物理的相互作用に着目したスマート空間の形式仕様記述と検証
- 連続化近似を用いたワークフローの性能評価(グラフ,ペトリ,ニューラルネット及び一般)
- ハイブリッドシステムの定性的解析について
- エージェント指向ペトリネットPN^2の効率的解析について : 動作を保存する縮約法
- エージェント指向ペトリネットの理論的解析について
- 離散事象システムの言語安定性について
- ペトリネットによるマルチエージェントシステムのモデル化(ペトリネットの応用特集号)
- 量子計算によるプトリネットの解析について
- 時間付き離散事象システムの時間付き安定性
- 繰り返し囚人のジレンマゲームにおける競合共進化モデルの特性について
- CST2000-1 自動搬送車の動作計画問題のグラフ理論的解法について
- 複数の評価構造の統合について
- A-12-2 キャッシングを用いた状態空間探索におけるダブルワークを抑制する為の状態管理方法
- エージェント侵略の過程と中間的な手をとる戦略の有利性について
- フォーシブルな事象をもつ時間付き離散事象システムの時間付き安定性
- 繰り返し連続化囚人のジレンマゲームの提案
- エージェント侵略の過程における中間的な手をとる戦略の有利性について
- ペトリネットは便利な道具
- ディペンダビリティ確保にむけたアスペクト指向技術動向
- ディペンダビリティ確保にむけたアスペクト指向技術動向
- Event Calculusに基づく合意を用いたモバイルエージェントの協調(モバイル/ユビキタス/P2P,ソフトウェアエージェントとその応用論文)
- プロセス記述によるサービス合成のパーベイシブコンピューティングへの適用(モバイルコンピューティング)
- 階層構造制御に注目したモバイルエージェントフレームワークとそのマルチメディア応用(ネットワーク/モバイル/ユビキタス, ソフトウェアエージェントとその応用論文)
- パーベイシブネットワークにおけるWebサービス連携のためのモバイルエージェントシステム(分散協調とエージェント)
- Webサービス連携のためのモバイルエージェント動作記述(オブジェクト指向とWeb技術)
- グループ意思決定における重要度の感度係数を用いたトレードオフ分析支援について(意思決定・AHP(2))
- ディペンダビリティ確保にむけたアスペクト指向技術動向
- タグに関連づけられた時間・場所の概念抽出(「Webインテリジェンス」及び一般)
- 高水準ペトリネットによるソフトウェア開発方法論
- 確率ブーリアンネットワークの解析と制御のための計算手法
- ユビキタスコンピューティングに関する国際ワークショップ(IWUC2004)
- サービス指向コンピューティングにおける合意に基づいた協調的な移動性(研究会推薦博士論文速報)
- 会議システムと合意ベース手法を用いた意思決定支援について
- 時間ペトリネットの状態空間の縮約について
- A-12-12 遷移関係に基づくハイブリッドモデル予測制御の近似事前解法(A-12.コンカレント工学,一般セッション)
- A-12-11 確率ハイブリッドシステムの確率拘束付き最適制御(A-12.コンカレント工学,一般セッション)
- 同種サービスの併用を考慮した効率的なサービス選択
- 整数計画法を用いた確率ブーリアンネットワークの最適制御
- ペトリネットモデルに対する線形論理の完全性
- AS-3-2 時間,資源の制約を考慮したビジネスプロセスの検証(AS-3.ワークフローとビジネスプロセス管理への数理的アプローチ,シンポジウムセッション)
- システムと信号処理サブソの新たな展開を目指して(システムと信号処理及び一般)
- システムと信号処理サブソの新たな展開を目指して(システムと信号処理及び一般)
- システムと信号処理サブソの新たな展開を目指して(システムと信号処理及び一般)
- システムと信号処理サブソの新たな展開を目指して(システムと信号処理及び一般)
- 研究の特性情報を用いた研究者グループ生成支援システム
- ハイブリッドシステムにおけるモデル予測制御 : 遷移関係に基づく近似事前解法(システムと信号処理及び一般)
- ハイブリッドシステムにおけるモデル予測制御 : 遷移関係に基づく近似事前解法(システムと信号処理及び一般)
- ハイブリッドシステムにおけるモデル予測制御 : 遷移関係に基づく近似事前解法(システムと信号処理及び一般)
- ハイブリッドシステムにおけるモデル予測制御 : 遷移関係に基づく近似事前解法(システムと信号処理及び一般)
- メタデータ制約を用いた協調プロトコルの自動合成手法
- システム部門からシステム・情報部門への展開
- 1-D-7 医療・介護サービスにおける音声つぶやきコミュニケーションによる連携業務のモデル化(特別セッション サービスサイエンス)
- ハイブリッドシステムにおけるモデル予測制御遷移関係に基づく近似事前解法
- ハイブリッドシステムにおけるモデル予測制御遷移関係に基づく近似事前解法
- 計算ツールを用いた確率ブーリアンネットワークの解析と制御
- 看護・介護サービスにおける複雑なプロセスのモデル化にむけて(グラフ,ペトリネット,ニューラルネット,及び一般)
- 看護・介護サービスにおける複雑なプロセスのモデル化にむけて(グラフ,ペトリネット,ニューラルネット,及び一般)
- BDS-1-5 クラウド時代における品質に基づいたサービス選択・配備問題(BDS-1.クラウド時代の情報通信サービス品質,シンポジウムセッション)
- BDS-1-5 クラウド時代における品質に基づいたサービス選択・配備問題(BDS-1.クラウド時代の情報通信サービス品質,シンポジウムセッション)
- 複数の確率的遅延を有するネットワーク化システムの制御
- 複数の確率的遅延を有するネットワーク化システムの制御
- 外部刺激を考慮した遺伝子ネットワークの最適制御
- 音声つぶやきによる看護・介護の時空間コミュニケーション : 情報スーパーバイザ制御の提案
- 音声つぶやきによる看護・介護の時空間コミュニケーション : 情報スーパーバイザ制御の提案
- 遷移関係に基づくハイブリッドシステムの近似双模倣
- ネットワーク化制御系のためのSelf-Triggeredモデル予測制御
- AS-4-7 1ステップ予測区間の最適化によるSelf-Triggered制御(AS4.高信頼制御を支える無線通信技術,シンポジウムセッション)
- 複数の確率的遅延を有するネットワーク化システムの制御
- 音声つぶやきによる看護・介護の時空間コミュニケーション : 情報スーパーバイザ制御の提案
- 複数の確率的遅延を有するネットワーク化システムの制御
- 音声つぶやきによる看護・介護の時空間コミュニケーション : 情報スーパーバイザ制御の提案
- 形式仕様に基づくソフトウェア開発手法の紹介 : Bメソッドを中心に
- 仮想フィールドを用いた看護・介護サービスにおける音声つぶやきコミュニケーションの評価実験について
- タグに関連づけられた時間・場所の概念抽出
- 関連分野から見たエージェント技術 : サービスコンピューティング分野を例に(エージェント)
- プライバシーを守ったITサービスの提供技術:3.プライバシーのルールを扱う技術 -制御・検証から説明・理解の支援へ-
- 時間,資源の制約をもつビジネスプロセスの形式検証(ソフトウェアシステム)
- クラウドを動的に利用するWebサービス連携のための動作記述(「サービス・クラウドの応用及びマッシュアップ」及び一般)
- 法解釈に応じたコンプライアンスのビジネスプロセスにおける実現に向けて(「サービスおよびグラウドのQoS・SLA・ポリシー」及び一般)
- ClouTプロジェクト:IoTとクラウドの融合によるスマートシティーヘの取り組み
- 関連分野から見たエージェント技術 : サービスコンピューティング分野を例に