Abstract
Mobile systems are gaining more and more importance, nevertheless the means for their specifications are still underdeveloped. Existing UML diagrams can be used to conveniently model behavior, but these diagrams can be hardly used to model mobility. In this paper we present an extension to UML class and activity diagrams to model mobile systems. We assume that mobile objects can migrate from one location to another. Locations can be nested and mobile too. We introduce stereotypes to model mobile objects, locations, and activities like moving or cloning. We introduce two notational variants of activity diagrams for modeling mobility. One variant is location centered and focuses on the topology of locations. The other one focuses on the actor responsible for an activity. We compare these two types of diagrams and define a metamodel for them.
This research has been partially sponsored by the EC 5th Framework project AGILE: Architectures for Mobility (IST-2001-32747).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
AGILE. Architectures for mobility. http://www.pst.informatik.uni-muenchen.de, 2002.
Raymond Buhr and Ronald Casselman. Use Case Maps for Object-Oriented Systems. Prentice-Hall, USA, 1995.
Luca Cardelli. Mobility and security. In F. Bauer and R. Steinbrüggen, editors, Foundations of Secure Computation. Proc. NATO Advanced Study Institute, pages 3–37. IOS Press, 2000.
Luca Cardelli and Andrew Gordon. Mobile ambients. In Maurice Nivat, editor, First Conference on Foundations of Software Science and Computation Structure, LNCS 1378, pages 140–155. Springer Verlag, March 1998.
Francisco Durán, Steven Eker, Patrick Lincoln, and José Meseguer. Principles of Mobile Maude. In David Kotz and Friedemann Mattern, editors, Agent Systems, Mobile Agents, and Applications, Second International Symposium on Agent Systems and Applications and Fourth International Symposium on Mobile Agents, ASA/MA 2000, LNCS 1882, pages 73–85. Springer, 2000.
FIPA. FIPA agent management: Support for mobility specification. http://www.fipa.org, August 2001.
Jin Jing, Abdelsalam Helal, and Ahmed Elmagarmid. Client-server computing in mobile environments. ACM Computing Surveys, 31(2):117–157, 1999.
Cornel Klein, Andreas Rausch, Marc Sihling, and Zhaojun Wen. Extension of the Unified Modeling Language for mobile agents. In K. Siau and T. Halpin, editors, Unified Modeling Language: Systems Analysis, Design and Development Issues, chapter VIII. Idea Group Publishing, Hershey, PA and London, 2001.
Piotr Kosiuczenko. Sequence diagrams for mobility. In Stefano Spaccapietra, editor, 21 International Conference on Conceptual Modeling (ER2002). Springer-Verlag, October 2002. to appear.
José Meseguer. Research directions in high-level parallel programming languages. LNCS 574. Springer, Berlin, 1992.
Florin Muscutariu and Marie-Pierre Gervais. On the modeling of mobile agentbased ystems. In 3rd International Workshop on Mobile Agents for Telecommunication Applications (MATA’01), LNCS 2164, pages 219–234. Springer Verlag, August 2001.
Rocco De Nicola, GianLuigi Ferrari, and Rosario Pugliese. Programming access control: The KLAIM experience. In Conference on Concurrency Theory, LNCS 1877. Springer Verlag, 2000.
OMG. Unified Modeling Language (UML), version 1.4. http://www.omg.org, September 2001.
Dirk Pattinson and Martin Wirsing. Making components move: A separation of concerns approach. In Proc. First Internat. Symposium on Formal Methods for Components and Objects, FMCO’02, Leiden, November 2002, LNCS, 2003. To appear.
Jan Vitek and Giuseppe Castagna. Towards a calculus of secure mobile computations. 1998.
Axel Wienberg, Florian Matthes, and Marko Boger. Modeling dynamic software components in UML. In Robert France and Bernhard Rumpe, editors, UML’99-The Unified Modeling Language. Proceedings, LNCS 1723, pages 204–219. Springer-Verlag, 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Baumeister, H., Koch, N., Kosiuczenko, P., Wirsing, M. (2003). Extending Activity Diagrams to Model Mobile Systems. In: Aksit, M., Mezini, M., Unland, R. (eds) Objects, Components, Architectures, Services, and Applications for a Networked World. NODe 2002. Lecture Notes in Computer Science, vol 2591. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36557-5_21
Download citation
DOI: https://doi.org/10.1007/3-540-36557-5_21
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00737-1
Online ISBN: 978-3-540-36557-0
eBook Packages: Springer Book Archive