文献

J-GLOBAL ID：202202259266453455   整理番号：22A0717681

M-UMLステートチャート図からのMaude仕様の生成

Generating Maude Specifications from M-UML Statechart Diagrams

著者 (2件)： Kezai Mourad (Department of Computer Science, University of Setif 1) ,  Khababa Abdallah (Department of Computer Science, University of Setif 1)
資料名： Journal of Advanced Computational Intelligence and Intelligent Informatics  (Journal of Advanced Computational Intelligence and Intelligent Informatics)
巻： 26  号： 1  ページ： 8-16(J-STAGE)  発行年： 2022年 
JST資料番号： F1398A  ISSN： 1343-0130  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 英語 (EN)

抄録/ポイント： 統一モデリング言語(UML)は,オブジェクト指向ソフトウェアシステムの仕様,視覚化,および文書化に使用される。モバイルUML(M-UML)は,モビリティの側面を考慮したUMLの拡張であり,モバイルステートチャートは,モバイルエージェントベースのシステムのモデリング,指定,および視覚化の要件を処理する標準のUML図の拡張である。しかし,モバイルステートチャートは,分析と検証の目的でUMLの正式な表記法がないことを継承している。書き換え論理言語Maudeは,モバイル計算を処理する形式手法である。本論文は,Maudeを使用したM-UMLステートチャート図の形式化を提案し,そのような図の形式的なセマンティクスを提供した。生成されたMaude仕様は,Maude分析ツールを使用してシステムを分析およびチェックするために使用した。本手法を,例を通して示した。(翻訳著者抄録)

シソーラス用語： *UML【モデリング言語】 ,  *仕様記述言語 ,  *状態遷移図 ,  *プログラミング言語 ,  方式 ,  エージェント ,  ハンドオーバ ,  意味論 ,  器具
準シソーラス用語： *実行可能UML ,  *ステートチャート ,  *Maude ,  オブジェクト指向 ,  モバイルエージェント ,  セマンティックス ,  分析ツール

著者キーワード (5件)： M-UML ,  モバイルステートチャート ,  マルチエージェントシステム ,  Maudeシステム ,  書換え論理

分類 (3件)： 計算機網  (JC03000K) ,  通信網  (ND07030A) ,  システムプログラミング一般  (JD03010Y)

引用文献 (30件)：

• [1] A. Fuggetta, G. P. Picco, and G. Vigna, “Understanding code mobility,” IEEE Trans. on Software Engineering, Vol.24, No.5, pp. 342-361, 1998.
• [2] D. B. Lange and M. Oshima, “Seven good reasons for mobile agents,” Communications of the ACM, Vol.42, No.3, pp. 88-89, 1999.
• [3] OMG: OMG Unified Modeling Language, Superstructure, v2.3, 2010, https://www.omg.org/spec/UML/2.3/Superstructure/PDF [accessed May 3, 2010]
• [4] K. Saleh and C. El-Morr, “M-UML: an extension to UML for the modeling of mobile agent-based software systems,” J. of Information and Software Technology, Vol.46, No.4, pp. 219-227, 2004.
• [5] J. Warmer and A. Kleppe, “The Object Constraint Language: Getting your Models Ready for MDA,” 2nd Edition, Addison-Wesley Professional, 2003.

タイトルに関連する用語 (3件)： チャート ,  Maude ,  仕様