Refining Mobile UML State Machines

Alexander Knapp, Stephan Merz, and Martin Wirsing
We study the semantics and refinement of mobile objects, considering an extension of core UML state machines by primitives that designate the location of objects and their moves within a network. Our contribution is twofold: first, we formalize the semantics of state machines in MTLA, an extension of Lamport's Temporal Logic of Actions with spatial modalities. Second, we study refinement concepts for state machines that are semantically justified in MTLA.
© Springer-Verlag 2004
Available as: PDF
  author = 	 {Alexander Knapp and Stephan Merz and Martin Wirsing},
  title = 	 {Refining Mobile UML State Machines},
  booktitle = 	 {10th Intl. Conf. Algebraic Methodology and Software Technology (AMAST 2004)},
  year =	 2004,
  editor =	 {Savi Maharaj and Charles Rattray and Carron Shankland},
  series =	 {Lecture Notes in Computer Science},
  address =	 {Stirling, Scotland},
  month =	 {July},
  publisher =	 {Springer-Verlag}

Stephan Merz
Last modified: Fri Apr 23 14:35:02 CEST 2004