処理フロー正当性の早期検証ツールの提案

カテゴリ: 研究会(論文単位)

論文No: IS09073

グループ名: 【C】電子･情報･システム部門　情報システム研究会

発行日: 2009/12/11

タイトル(英語): Process Flow Validation at Design Phase

著者名: 森岡 剛(日立製作所)

著者名(英語): Tsuyoshi Morioka(Hitachi.Ltd.)

キーワード: 処理フロー|早期検証|業務制約|モデル検査|ジョブ管理|process flow|early-phase validation|requirements|model checking|job scheduling

原稿種別: 日本語

PDFファイルサイズ: 737 Kバイト