Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

11

AMAST
2004
Springer

favoriteEmaildiscussreport

104views Software Engineering» more AMAST 2004»

Refining Mobile UML State Machines

13 years 8 months ago

Refining Mobile UML State Machines

Download www.pst.ifi.lmu.de

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.

Alexander Knapp, Stephan Merz, Martin Wirsing

Real-time Traffic

AMAST 2004 | Lamport's Temporal Logic | Software Engineering | State Machines | UML State Machines |

claim paper

Related Content

» Modular Refinement of Hierarchic Reactive Machines

» On the Design and Verification Methodology of the LookAside Interface

» Specification and Validation of Behavioural Protocols in the rCOS Modeler

» An AspectOriented Approach for Mobile Embedded Software Modeling

Post Info
More Details (n/a)

Added	20 Aug 2010
Updated	20 Aug 2010
Type	Conference
Year	2004
Where	AMAST
Authors	Alexander Knapp, Stephan Merz, Martin Wirsing

Comments (0)