文献

J-GLOBAL ID：201902287762075392   整理番号：19A2700526

BPMNコレオグラフィーにおける排他的および事象ベースゲートウェイの意味論を通しての歩行【JST・京大機械翻訳】

Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies

著者 (4件)： Corradini Flavio (School of Science and Technology, University of Camerino, Camerino, Italy) ,  Morichetta Andrea (School of Science and Technology, University of Camerino, Camerino, Italy) ,  Re Barbara (School of Science and Technology, University of Camerino, Camerino, Italy) ,  Tiezzi Francesco (School of Science and Technology, University of Camerino, Camerino, Italy)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 11760  ページ： 163-181  発行年： 2019年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 分散システムの進化により,現在,BPMNのchoreographyダイアグラムは,モデリングシステムの相互作用に対してますます多くの重要性を獲得している。しかし,このモデルの欠点の一つは形式的意味論の欠如であり,それは異なる解釈をもたらし,従ってその特徴のいくつかの実行をもたらす。BPMN choreography要素の中で,特に曖昧なことは,排他的でイベントベースのゲートウェイの意味論であり,異なる形式の選択を表現するために使用される。これらの要素の定式化は文献において提案されているが,それらのいずれもBPMN標準によって提供された記述の直接的で忠実なモデリングから導出されていない。本研究では,代わりに,排他的およびイベントベースのゲートウェイの挙動の複雑さに光を当てることを目的とした,操作意味論の観点から直接形式化を提供した。このアプローチの有効性を,著者らの意味論が,どのようにして,choreographyモデルにおけるトリクル挙動をあいまいにするかを例証することによって示した。Copyright 2019 Springer Nature Switzerland AG Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： モデリング ,  *意味論 ,  相互作用 ,  有効性 ,  *ゲートウェイ ,  定式化 ,  操作的意味論 ,  曖昧さ
準シソーラス用語： 形式的意味論 ,  ダイアグラム ,  分散システム ,  *コレオグラフィー ,  *ビジネスプロセスモデリング表記法 , 【Automatic Indexing@JST】

著者キーワード (4件)： BPMN2.0 ,  舞踏病学 ,  排他的および事象ベースのゲートウェイ ,  操作的意味論

分類 (1件)： 人工知能  (JE08000Z)

タイトルに関連する用語 (6件)： BPMN ,  コレオグラフィー ,  事象 ,  ゲートウェイ ,  意味論 ,  歩行