Refining Mobile UML State Machines - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2004

Refining Mobile UML State Machines

Alexander Knapp
  • Function : Author
Martin Wirsing
  • Function : Author


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.
No file

Dates and versions

inria-00108082 , version 1 (19-10-2006)


  • HAL Id : inria-00108082 , version 1


Alexander Knapp, Stephan Merz, Martin Wirsing. Refining Mobile UML State Machines. 10th International Conference on Algebraic Methodology and Software Technology - AMAST'2004, 2004, Stirling, Scotland, UK, pp.274--288. ⟨inria-00108082⟩
66 View
0 Download


Gmail Facebook Twitter LinkedIn More