文献

J-GLOBAL ID：201802233826409996   整理番号：18A0847118

CPNSを用いたUML活動図の自動解析【JST・京大機械翻訳】

Automated analysis of UML activity diagram using CPNs

著者 (4件)： Tariq Omar (Key Laboratory of Dependable Service Computing in Cyber Physical Society, Ministry of Education, Chongqing 400044, China) ,  Sang Jun (Key Laboratory of Dependable Service Computing in Cyber Physical Society, Ministry of Education, Chongqing 400044, China) ,  Gulzar Kanza (Key Laboratory of Dependable Service Computing in Cyber Physical Society, Ministry of Education, Chongqing 400044, China) ,  Xiang Hong (Key Laboratory of Dependable Service Computing in Cyber Physical Society, Ministry of Education, Chongqing 400044, China)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： ICSESS  ページ： 134-138  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： UML行動モデルは,システム開発の要求分析段階の間,問題領域概念を理解して,通信する際に使用される。UML行動モデルに対する形式的意味論の欠如は,それらの解析,シミュレーションおよび検証のための自動化ツールの構築を困難にする。これらの意味論は,仕様モデルの厳密な検証のための基本的要件を与える形式的言語に基づいて十分に定義されなければならない。本論文では,UML行動モデルの形式的解析とシミュレーションのためのアプローチを提案した。最初に,UML活動図意味論を定義した。これらの意味論は,カラーPetriネット(CPN)に翻訳される。そこで,より具体的なモデル挙動解析を可能にするために,オブジェクトとイベントから構成される仕様モデルからマッピングルールを作成した。解析の結果は,状態空間解析またはモデル検査によってCPN-Tools報告の形式にあり,提案した方法論を例証するために事例研究を用いた。Copyright 2018 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【JST・京大機械翻訳】

シソーラス用語： モデル検査 ,  要求分析 ,  モデル ,  事例研究 ,  *意味論 ,  Petriネット ,  言語 ,  自動化
準シソーラス用語： 空間解析 ,  挙動解析 ,  形式的意味論 ,  システム開発 ,  行動モデル ,  *アクティビティ図 , 【Automatic Indexing@JST】

分類 (3件)： 計算理論  (JB02000A) ,  計算機システム開発  (JD02010R) ,  応用プログラミング言語  (JD03052Y)

タイトルに関連する用語 (3件)： UML ,  活動図 ,  解析