文献

J-GLOBAL ID：201202217963713912   整理番号：12A0849641

注釈付きプロセスモデルにおける条項制約に対する準拠性検査について

On compliance checking for clausal constraints in annotated process models

著者 (3件)： HOFFMANN Joerg (SAP Res., Vincenz-Priessnitz-Str. 1, 76131, Karlsruhe, DEU) ,  WEBER Ingo (The Univ. of New South Wales, School of Computer Sci. & Engineering, Sydney, AUS) ,  GOVERNATORI Guido (NICTA, Queensland Res. Lab., Brisbane, AUS)
資料名： Information Systems Frontiers  (Information Systems Frontiers)
巻： 14  号： 2  ページ： 155-177  発行年： 2012年04月 
JST資料番号： W2151A  ISSN： 1387-3326  資料種別： 逐次刊行物 (A)
発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

タイトルに関連する用語 (4件)： 注釈 ,  プロセスモデル ,  制約 ,  検査