Abstract
In this paper an extension of a behavioural subset of UML statecharts for mobile computations is proposed. We study collections of UML objects whose behaviour is given by statecharts. Each object resides in a given place, and a collection of such places forms a network. Objects are aware of the localities of other objects, i.e. the logical names of the places where the latter reside, but not of the physical name of such places. In addition to their usual capabilities, such as sending messages etc., objects can move between places and create and destroy places, which may result in a deep reconfiguration of the network. A formal semantics is presented for this mobility extension which builds upon a core semantics definition of statecharts without mobility which we have used successfully in several contexts in the past years. An example of a model of a network service which exploits mobility for resource usage balance is provided using the proposed extension of UML statecharts.
This work has been carried out in the context of Project EU-IST IST-2001-32747 Architectures for Mobility (AGILE).
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Bauer, B., Müller, J., Odell, J.: Agent UML: A Formalism for Specifying Multiagent Interaction. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol. 1957, pp. 91–103. Springer, Heidelberg (2001)
Baumeister, H., Koch, N., Kosiuczenko, P., Wirsing, M.: Extending Activity Diagrams to Model Mobile Systems. In: Aksit, M., Mezini, M., Unland, R. (eds.) NODe 2002. LNCS, vol. 2591, pp. 278–293. Springer, Heidelberg (2003)
Broersen, J., Wieringa, R.: Interpreting UML-statecharts in a modal μ-calculus (unpublished manuscript, 1997)
Cardelli, L., Gordon, A.: Mobile ambients. In: Nivat, M. (ed.) ETAPS 1998 and FOSSACS 1998. LNCS, vol. 1378, pp. 140–145. Springer, Heidelberg (1998)
De Nicola, R., Ferrari, G., Pugliese, R.: KLAIM: A kernel language for agents interaction and mobility. IEEE Transactions on Software Engineering 24(5), 315–329 (1998)
Gnesi, S., Latella, D., Massink, M.: Modular semantics for a UML Statechart Diagrams kernel and its extension to Multicharts and Branching Time Model Checking. The Journal of Logic and Algebraic Programming 51(1), 43–75 (2002)
Klein, C., Rausch, A., Sihling, M., Wen, Z.: Extension of the Unified Modeling Language for mobile agents. In: Siau, K., Halpin, T. (eds.) Unified Modeling Language: Systems Analysis, Design and Development Issues, ch. 8. Idea Group Publishing, Hershey (2001)
Knapp, A., Merz, S., Wirsing, M.: On refinement of mobile UML state machines. In: Proc. AMAST (to appear, 2004)
Kosiuczenko, P.: Sequence Diagrams for Mobility. In: Krogstie, J. (ed.) MobIMod 2002. LNCS, vol. XXXX. Springer, Heidelberg (to appear, 2003)
Kuhn, A., von Oheimb, D.: Interacting state machines for mobility. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol. 2805, pp. 698–718. Springer, Heidelberg (2003)
Latella, D., Majzik, I., Massink, M.: Towards a formal operational semantics of UML statechart diagrams. In: Ciancarini, P., Fantechi, A., Gorrieri, R. (eds.) IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Oriented Distributed Systems, pp. 331–347. Kluwer Academic Publishers, Dordrecht (1999)
Latella, D., Massink, M.: On mobility extensions of UML Statecharts; a pragmatic approach. In: Najm, E., Nestmann, U., Stevens, P. (eds.) FMOODS 2003. LNCS, vol. 2884, pp. 199–213. Springer, Heidelberg (2003)
Lilius, J., Paltor, I.P.: Formalising UML state machines for model checking. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol. 1723, pp. 430–444. Springer, Heidelberg (1999)
Lilius, J., Paltor Porres, I.: The semantics of UML state machines. Technical Report 273, Turku Centre for Computer Science (1999)
Merz, S., Wirsing, M., Zappe, J.: A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems. In: Pezzé, M. (ed.) ETAPS 2003 and FASE 2003. LNCS, vol. 2621, pp. 87–101. Springer, Heidelberg (2003)
Mikk, E., Lakhnech, Y., Siegel, M.: Hierarchical automata as model for statecharts. In: Shyamasundar, R., Euda, K. (eds.) ASIAN 1997. LNCS, vol. 1345, pp. 181–196. Springer, Heidelberg (1997)
Object Management Group, Inc. OMG Unified Modeling Language Specification - version 1.5 (2003), http://www.omg.org/cgi-bin/doc?formal/03-03-01
von der Beeck, M.: A structured operational semantics for UML-statecharts. Software Systems Modeling (1), 130–141 (2002)
Wieringa, R., Broersen, J.: A minimal transition system semantics for lightweight class and behavior diagrams. In: Broy, M., Coleman, D., Maibaum, T., Rumpe, B. (eds.) Proceedings of the ICSE 1998 Workshop on Precise Semantics for Software Modeling techniques (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Latella, D., Massink, M., Baumeister, H., Wirsing, M. (2005). Mobile UML Statecharts with Localities. In: Priami, C., Quaglia, P. (eds) Global Computing. GC 2004. Lecture Notes in Computer Science, vol 3267. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31794-4_3
Download citation
DOI: https://doi.org/10.1007/978-3-540-31794-4_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-24101-0
Online ISBN: 978-3-540-31794-4
eBook Packages: Computer ScienceComputer Science (R0)