文献

J-GLOBAL ID：201702250520460321   整理番号：17A0267654

拡張PETRIネットモデルに基づくBPMN形式化【JST・京大機械翻訳】

BPMN Formalization Based on Extended Petri Nets Model

著者 (4件)： Li Zonghua (College of Computer and Information Technology Engineering,Hohai University) ,  Zhou Xiaofeng (College of Computer and Information Technology Engineering,Hohai University) ,  Wu Keli (School of Computer Science and Technology,Huaiyin Normal University) ,  Chen Fubing (School of Computer Science and Technology,Huaiyin Normal University)
資料名： Jisuanji Kexue  (Jisuanji Kexue)
巻： 43  号： 11  ページ： 40-48  発行年： 2016年 
JST資料番号： C2530A  ISSN： 1002-137X  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： BPMN(BUSINESS PROCESS MODELING NOTATION)はシステム開発の初期段階でビジネスプロセスモデルを獲得する標準として、システムの設計と開発を指導し、そのモデルの正確性はソフトウェア開発の品質に影響を与えるキーポイントである。BPMNモデルの形式化によってモデルの正しさを検証するために,拡張PETRIネットモデルを提案し,モデル駆動技術を用いてBPMNモデルの形式的自動実行を実現した。この方法は,PETRIネットモデルにおけるTRANSITIONとPLACE要素の精密化と,ORGANIZATION IDENTIFIERとGROUP IDENTIFIER容器の追加により,,の性能を改善した。それは,BPMNモデルにおける動的挙動を記述するだけではなく,BPMNモデルにおける動的挙動協力と静的組織構造も記述することができる。拡張PETRIネットモデル要素を,メタモデルの構造,文法,およびグラフの観点から詳細に分析し,モデル駆動開発技術を用いて,BPMNモデル要素から拡張PETRIネットモデル要素への変換規則を設計した。そして,ATLモデルを用いて,ECLIPSEプラットフォーム上で実行することによって,形式的自動実行を実現した。最後に,モデル AGENCYシステムを用いて,モデル22の実行結果を示した。Data from the ScienceChina, LCAS. Translated by JST【JST・京大機械翻訳】

シソーラス用語： 組織構造 ,  品質 ,  精密化 ,  文法 ,  *ソフトウェア開発
準シソーラス用語： モデル駆動アーキテクチャ ,  メタモデル ,  正確性 ,  ビジネスプロセスモデル ,  システム開発 ,  ビジネスプロセスモデリング表記法 , 【Automatic Indexing@JST】

著者キーワード (4件)： BPMN model ,  Model formalization ,  Petri nets ,  Model transformations

分類 (2件)： 事務管理  (KA07000H) ,  計算機システム開発  (JD02010R)

タイトルに関連する用語 (5件)： 拡張 ,  Petriネット ,  モデル ,  BPMN ,  形式化