文献

J-GLOBAL ID：201802269080332372   整理番号：18A0343052

高レベルPetriネットに基づく複合ビジネスプロセスの形式的検証【Powered by NICT】

Formal verification of complex business processes based on high-level Petri nets

著者 (3件)： Kheldoun Ahmed (MOVEP, Computer Science Department, USTHB, Algiers, Algeria) ,  Barkaoui Kamel (CEDRIC-CNAM, 292 Rue Saint-Martin 75141, Cedex 03 Paris, France) ,  Ioualalen Malika (MOVEP, Computer Science Department, USTHB, Algiers, Algeria)
資料名： Information Sciences  (Information Sciences)
巻： 385-386  ページ： 39-54  発行年： 2017年 
JST資料番号： D0636A  ISSN： 0020-0255  CODEN： ISIJBC  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： ビジネスプロセスモデリング表記法(BPMN)は,ビジネスプロセスモデリングのためのツールとして広く用いられている。しかし,BPMN(ビジネスプロセスモデリング表記)は標準的な形式的意味論の不足に悩まされている。この脆弱性は開発したモデル内の矛盾,あいまいさ,incompletenessesにつながる可能性がある。本論文では,再帰ECATNETSを用いたBPMN(ビジネスプロセスモデリング表記の形式的意味論を提案した。この形式のために,相殺,サブプロセスの多重インスタンス化と例外処理のようなBPMN特徴の大規模な集合をデータフローアスペクトを考慮に入れながら,カバーできる。このモデリングの利点と有用性を三つの例題によって例示した。再帰ECATNETS意味論は,条件付き書換え論理で定義されるので,BPMNモデルに関連したいくつかの行動特性を検証するためにMaude LTLモデルチェッカを使用することができる。この文書で提示した研究は,最初のプロトタイプの開発により自動化されている。Copyright 2018 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【Powered by NICT】

シソーラス用語： 自動化 ,  *Petriネット ,  曖昧さ ,  言語 ,  モデル ,  意味論 ,  多重化 ,  モデリング ,  プロトタイプ
準シソーラス用語： 例外処理 ,  脆弱性 ,  形式的意味論 ,  ビジネスプロセスモデリング ,  *形式的検証 ,  *ビジネスプロセス , 【Automatic Indexing@JST】

著者キーワード (5件)： ビジネスプロセスモデリング ,  BPMN(ビジネスプロセスモデリング表記) ,  RECATNets ,  条件付き書換え論理 ,  Maude言語とツール

分類 (2件)： 計算機システム開発  (JD02010R) ,  経営工学一般  (KA01010C)

タイトルに関連する用語 (5件)： 高レベル ,  Petriネット ,  ビジネス ,  プロセス ,  形式的検証