Author:
Kezai Mourad, ,Khababa Abdallah
Abstract
The unified modeling language (UML) is used for the specification, visualization, and documentation of object-oriented software systems. Mobile UML (M-UML) is an extension of UML that considers mobility aspects, and a mobile statechart is an extension of the standard UML diagram that deals with the requirements for modeling, specifying, and visualizing mobile agent-based systems. However, mobile statecharts inherit UML’s lack of formal notation for analysis and verification purposes. The rewriting logic language Maude is a formal method that deals with mobile computations. In this paper, we propose a formalization of M-UML statechart diagrams using Maude to provide formal semantics for such diagrams. The generated Maude specifications are then used to analyze and check the systems using Maude analytical tools. This approach is illustrated through an example.
Publisher
Fuji Technology Press Ltd.
Subject
Artificial Intelligence,Computer Vision and Pattern Recognition,Human-Computer Interaction
Reference30 articles.
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.