文献

J-GLOBAL ID：201902284200087391   整理番号：19A1266492

ビジネスルール競合を同定するためのオートマトンベースツールのフレームワーク駆動比較【JST・京大機械翻訳】

A Framework-Driven Comparison of Automata-Based Tools for Identifying Business Rule Conflicts

著者 (1件)： Lam Vitus S. W. (Information Technology Services, The University of Hong Kong, Pok Fu Lam Road, Hong Kong SAR)
資料名： International Journal of Software Engineering and Knowledge Engineering  (International Journal of Software Engineering and Knowledge Engineering)
巻： 29  号： 3  ページ： 433-455  発行年： 2019年 
JST資料番号： W0383A  ISSN： 0218-1940  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： シンガポール (SGP)  言語： 英語 (EN)

抄録/ポイント： 制約駆動方法論によるビジネスプロセスモデル構築のためのビジネスルールの描画は宣言的プロセスモデリングの明確な特性である。ビジネスルールの複雑さを考えると,自動的な方法でビジネスルールに対する無矛盾評価を行うことが現実的な必要性がある。本論文では,あらかじめ定義されたビジネスルールテンプレートのグループを利用することにより,制限された英語の観点からビジネスルールを記述した。ビジネスルールテンプレートに対する意味的基礎として役立つ線形時間論理を用いて,線形時間論理仕様として表現される一対のビジネスルールを,LTL2BA,LTL3BAおよびltl2tgbaを介して関連Buechiオートマトンに変換した。空言語を受け入れるBuechiオートマトンは,2つのビジネスルールが互いに矛盾していることを意味する。形式的フレームワークと3つの自動化ツールの適合性を,産業レベルの事例研究によって評価した。Copyright 2019 World Scientific Publishing Company All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 自動化 ,  事例研究 ,  英語 ,  言語 ,  適応性 ,  *オートマトン
準シソーラス用語： 矛盾 ,  プロセスモデル ,  線形時間論理 ,  プロセスモデリング ,  ビジネスプロセスモデル ,  *ビジネスルール , 【Automatic Indexing@JST】

著者キーワード (4件)： ビジネスルールの矛盾 ,  宣言的プロセスモデル ,  衝突検出 ,  Buechiオートマトン

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

タイトルに関連する用語 (5件)： ビジネス ,  ルール ,  競合 ,  同定 ,  フレームワーク