タスクの順序に基づくビジネスプロセスの検証方法の提案(一般)
スポンサーリンク
概要
- 論文の詳細を見る
情報システムの上流設計情報の検証を目的として,複数の部分的なビジネスプロセス図を順序制約へ変換し,それらの無矛盾性や詳細化関係を検証して,一つのビジネスプロセスに合成する方法を提案する.本方法によって,パッケージ利用や設計流用の場合のように,既存の設計に新たな条件が追加され続ける場合にも,過去の要件を満たしつつ,より具体的なビジネスプロセス図を段階的に合成することを目指す.
- 社団法人電子情報通信学会の論文
- 2010-01-14
著者
-
三部 良太
(株)日立製作所
-
村田 大二郎
株式会社日立製作所システム開発研究所
-
三部 良太
日立製作所
-
磯部 祥尚
産業技術総合研究所
-
磯部 祥尚
電子技術総合研究所
-
三部 良太
株式会社日立製作所システム開発研究所
関連論文
- 19.ビジネス分野における業務要件の形式的検証技術(情報処理技術の未来地図,50周年記念特集号)
- Promelaにおける割り込み制御処理の半自動モデル化 (コンカレント工学)
- Promelaにおける割り込み制御処理の半自動モデル化 (信号処理)
- Promelaにおける割り込み制御処理の半自動モデル化 (VLSI設計技術)
- Promelaにおける割り込み制御処理の半自動モデル化 (回路とシステム)
- 並行システムを解析するための逐次化と状態削減機能の実装--仕様の自動生成を目指して (信号処理)
- 2307 ソフトウェア開発における約束懸案管理の方法論の提案
- 40-7 ソフトウェア開発プロジェクト内での情報流通インフラの開発と評価
- ソフトウェア設計におけるデザインパターン誤適用のパターン化
- LB-3 オブジェクト指向入門教育における逸脱パターンの提示による効果(B. ソフトウェア)
- ソフトウェアパターンの適用における逸脱パターンの提案
- オフショア・ソフトウェア開発向けのシステムズ・アプローチ
- 並行システムを解析するための逐次化と状態削減機能の実装 : 仕様の自動生成を目指して(システムと信号処理及び一般)
- Promelaにおける割り込み制御処理の半自動モデル化(システムと信号処理及び一般)
- 並行システムを解析するための逐次化と状態削減機能の実装 : 仕様の自動生成を目指して(システムと信号処理及び一般)
- Promelaにおける割り込み制御処理の半自動モデル化(システムと信号処理及び一般)
- CAS2010-25 並行システムを解析するための逐次化と状態削減機能の実装 : 仕様の自動生成を目指して(システムと信号処理及び一般)
- CAS2010-24 Promelaにおける割り込み制御処理の半自動モデル化(システムと信号処理及び一般)
- 並行システムを解析するための逐次化と状態削減機能の実装 : 仕様の自動生成を目指して(システムと信号処理及び一般)
- Promelaにおける割り込み制御処理の半自動モデル化(システムと信号処理及び一般)
- Stepwise Synthesis of Partial Specifications preserving Strong $(\Omega_1,\Omega_2)$-Equivalence(Concurrency Theory and Applications '96)
- 4H-9 DVDライブラリアレイ装置の開発(2) : ソフトウェア・アーキテクチャ
- 4H-8 DVDライブラリアレイ装置の開発(1) : 開発コンセプトと信頼性に対する考察
- 業務特化型設計開発環境構築基盤の提案(モデルベース開発)
- 業務特化型設計開発環境構築基盤の提案(モデルベース開発)
- 情報制御システムの再利用型開発方法
- 情報制御システムの再利用型機能仕様書生成ツールの提案
- 大規模並行開発での運用を考慮した成果物間整合保証方式の提案(開発プロセス)
- アクティブデータベースの動作解析のためのプロセス代数の開発
- プロセス代数によるプロセス生成機能をもつ並行システムの解析
- 準弱双模倣性をもとにした仕様の段階的合成方法
- 準弱双模倣性をもとにした仕様の段階的合成方法(並列・分散)
- グレイド付き空間プロセス代数による近似解析 ( ソフトウェア工学の基礎)
- 受信者数を考慮したブロードキャストシステムのためのプロセス代数 (ソフトウェア工学の基礎)
- プロセス代数CSPによるシーケンス図設計の詳細化と検証(組込みシステム,一般)
- 論理型オブジェクト指向データベースF-logicの実装と基本概念への考察
- 要求のパタン化による要求獲得手法の研究
- タスクの順序に基づくビジネスプロセスの検証方法の提案(一般)
- CSP-Prover : スケーラブルな並行システムの検証のための証明器(エージェント)
- CSP-Prover:プロセス代数CSPのための定理証明器
- プロセス計算におけるセキュリティ
- 実行可能な画面プロトタイプによる業務システム開発手法の提案
- エージェントの合成を検証するための非インターリービング時間付プロセス代数とプロセス論理
- 真の並行プロセス代数のための決定可能な局所プロセス論理
- 真の並行プロセス代数のためのプロセス論理における充足可能性の決定不能性
- 分散システムのためのプロセス論理の充足可能性判定ツール
- 論理的な仕様から分散システムを合成する方法の検討
- プロセス論理演算子をもつプロセス代数
- 実行時情報に基づくWebアプリケーション可視化手法
- メタモデル上でのルール定義に基づく多ドメイン展開可能な依存関係抽出技術
- メタモデル上でのルール定義に基づく多ドメイン展開可能な依存関係抽出技術
- 設計進度に応じた設計モデルの段階的なシンタックスチェック手法の提案