文献

J-GLOBAL ID：201702271064156172   整理番号：17A1125233

供給源パターンを予測するためのTavernaワークフローの静的解析【Powered by NICT】

Static analysis of Taverna workflows to predict provenance patterns

著者 (3件)： Alper Pinar (University of Manchester, School of Computer Science, Oxford Rd, Manchester M13 9PL, United Kingdom) ,  Belhajjame Khalid (Universite Paris Dauphine, Place du Marechal de Lattre de Tassigny, 75016 Paris, France) ,  Goble Carole A. (University of Manchester, School of Computer Science, Oxford Rd, Manchester M13 9PL, United Kingdom)
資料名： Future Generation Computer Systems  (Future Generation Computer Systems)
巻： 75  ページ： 310-329  発行年： 2017年 
JST資料番号： A0620C  ISSN： 0167-739X  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： ワークフローは,特にそれらの自動化と供給源特徴のために科学領域での採用が分かった。ワークフロー科学者を用いた異なる入力パラメータを用いた分析を繰り返し,その後これらそれぞれのパラメータに基づく結果にアクセスし,比較するために供給源を利用することができる。共通の仮定では,ワークフロー分析を設計することにより,ワークフロー起源を用いた自由パラメータへの結果のトレーサビリティを得ることである。全体のワークフローは,反復とすべてのワークフローパラメータ全ての結果に寄与を受けているがこの仮定は粗粒トレーサビリティの例で成立した。しかし,この仮定は微細粒トレーサビリティを必要とする場合の保持が保証されていない:ワークフローはワークフロー内のパラメータと分析の集まりで構成されるコレクションからのパラメータの組合せを反復した。本論文では,細粒トレーサビリティに影響する二次元を同定(1)要因設計,ワークフローおよびワークフローシステムにより支持される供給源におけるモデリングパラメータ/データにおける粒度のレベルである;および(2)ワークフローへの要因設計をコードする成功における科学者の実際。Tavernaは要因設計のための広範な特徴を提供するワークフローシステムである。しかしは,走行時の科学者は供給源におけるトレーサビリティを突破しうるワークフローを作り出す可能性があることを意味するワークフロー設計への自由アプローチを支持する。実世界Tavernaワークフローを用いて,破壊の仕方トレーサビリティが起源の発現,特に入力パラメータから導いたワークフロー出力にアクセスするための効果,を示した。破れたトレーサビリティの発生を防ぐために,ワークフロー記述上で動作し,供給源のパターンを先取りしたルールベース静的解析法を述べた。ルールは,Tavernaシステムの中で,明確な実行挙動を利用した。一般的ワークフローシステムにおける階乗設計支援を理解するために,比較調査を提供した。は他のワークフローシステムも要因設計のための構築物を提供し,Tavernaに類似しているが,した破れたトレーサビリティへの傾向があることを結論した。Copyright 2017 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【Powered by NICT】

シソーラス用語： 二次元 ,  科学者 ,  粒度 ,  *ワークフロー ,  アノテーション ,  走行 ,  トレーサビリティ ,  ルールベース ,  自動化
準シソーラス用語： 設計支援 ,  静的解析 , 【Automatic Indexing@JST】

著者キーワード (4件)： 科学的ワークフロー ,  起源 ,  アノテーション ,  静的解析

分類 (1件)： 計算機システム開発  (JD02010R)

タイトルに関連する用語 (4件)： 供給源 ,  予測 ,  ワークフロー ,  静的解析