文献

J-GLOBAL ID：201702233813091033   整理番号：17A0069114

タイミング制約の下でGUARD-STAGE-MILESTONEビジネスモデルの一貫性検証と例外処理【JST・京大機械翻訳】

Consistency validation and modification of Guard-Stage-Milestone models under temporal constraints

著者 (2件)： Du Yanhua (School of Mechanical Engineering, University of Science and Technology Beijing) ,  Yu Ze (School of Mechanical Engineering, University of Science and Technology Beijing)
資料名： Xitong Gongcheng Lilun yu Shijian  (Xitong Gongcheng Lilun yu Shijian)
巻： 36  号： 8  ページ： 2108-2126  発行年： 2016年 
JST資料番号： C2070A  ISSN： 1000-6788  CODEN： XGLSE2  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： GUARD-STAGE-MILESTONE(GSM)はARTIFACTを中心とする企業のビジネスモデリング方法であり、国内外の学術界と産業界に広く認可され、現在の研究の焦点となっている。しかし、現在、GSM方法はデータとプロセス構造のレベルに限られており、外部の企業の各種業務や規制制度における時間制約の需要を考慮していない。この要求を満たすために,本論文は,時間制約の下のGSMビジネスモデルの一貫性検証と例外処理の方式を提案した。2つの段階に分割した。1)GSMビジネスモデルをPETRIネットモデルに変換し,外部の時間制約をPETRIネットモデルにマッピングし,2)PETRIネットモデルの経路を抽出し,タイミング整合性検証を行う。異常が発生すると、問題を線形プログラミングモデルに変換し、自動的に求解を行う。それは,GSMモデルのタイミング制約検証問題を解決するだけではなく,ユーザのモデルを最適化して,改良することもできる。最後に,その有効性を企業の事例によって検証した。Data from the ScienceChina, LCAS. Translated by JST【JST・京大機械翻訳】

シソーラス用語： *線形計画法 ,  最適化
準シソーラス用語： 時間制約 , 【Automatic Indexing@JST】

著者キーワード (5件)： Guard-Stage-Milestone (GSM) ,  temporal constraint ,  Petri net ,  temporal consistency ,  handling exception

分類 (3件)： 計算理論  (JB02000A) ,  グラフ理論基礎  (IA02020S) ,  人間機械系  (IB03000G)

タイトルに関連する用語 (4件)： タイミング制約 ,  ビジネスモデル ,  検証 ,  例外処理