文献

J-GLOBAL ID：201702230656572592   整理番号：17A1853777

電子商取引ビジネスネットワークの到達可能な分析方法【JST・京大機械翻訳】

Reachability Analysis Methods of E-Commerce Business Process Net

著者 (3件)： Yu Wangyang (陜西師范大学現代教学技術教育部重点実験室,陜西西安 710119;陜西師范大学計算机科学学院,陜西西安 710119;同済大学嵌入式系統与服務計算教育部重点実験室,上海 200092) ,  Huang Zhao (陜西師范大学現代教学技術教育部重点実験室,陜西西安 710119;陜西師范大学計算机科学学院,陜西西安 710119) ,  Fang Xianwen (安徽理工大学理学院,安徽淮南,232001)
資料名： Dianzi Xuebao  (Dianzi Xuebao)
巻： 45  号： 7  ページ： 1731-1739  発行年： 2017年 
JST資料番号： C2504A  ISSN： 0372-2112  CODEN： TTHPAG  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： 電子商取引ビジネスプロセスネットワーク(E-commerce Business Process Net,EBPN)はPetriネットに基づく形式化モデルである。このモデルはビジネスプロセスの設計段階と応用層に向けて、制御フロー、データフロー及び関連属性を統合し、現在の主流の電子業務プロセスをうまく記述でき、ビジネスプロセスの実行過程におけるデータエラーとデータ状態の非確定性を記述するのに役立つ。EBPNの構造と動的属性に対して、EBPNの到達可能な分析方法をさらに研究し、データの状態図を構築できる構造アルゴリズムと関連の結論を示した。到達可能な解析の困難さを減らすために,プログラムスライスの考え方に従って,EBPNのモデルスライシング法を研究し,EBPNのスライスアルゴリズムを構築し,EBPNのスライス法は,データの状態図の分析複雑性を低減するために使用できる。Data from Wanfang. Translated by JST【JST・京大機械翻訳】

シソーラス用語： 状態図 ,  *電子商取引 ,  Petriネット ,  アルゴリズム ,  モデル
準シソーラス用語： 複雑性 ,  データフロー ,  制御フロー ,  アプリケーション層 ,  ビジネスプロセス , 【Automatic Indexing@JST】

著者キーワード (3件)： E-commerce ,  business processes ,  petri nets

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

タイトルに関連する用語 (3件)： 電子商取引 ,  ビジネス ,  分析