Refining Mobile UML State Machines

Alexander Knapp Stephan Merz 1 Martin Wirsing
1 MOSEL - Proof-oriented development of computer-based systems
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : 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.
Mots-clés : mobilité temporal logic mobility uml refinement spécification raffinement logique temporelle
Type de document :
Communication dans un congrès
Charles Rattray and Savitri Maharaj and Carron Shankland. 10th International Conference on Algebraic Methodology and Software Technology - AMAST'2004, 2004, Stirling, Scotland, UK, Springer-Verlag, 3116, pp.274--288, 2004, Lecture Notes in Computer Science
Liste complète des métadonnées
https://hal.inria.fr/inria-00108082
Contributeur : Publications Loria <>
Soumis le : jeudi 19 octobre 2006 - 15:40:50
Dernière modification le : jeudi 11 janvier 2018 - 06:19:52

Identifiants

  • HAL Id : inria-00108082, version 1

Collections

INRIA | LORIA | UNIV-LORRAINE

Citation

Alexander Knapp, Stephan Merz, Martin Wirsing. Refining Mobile UML State Machines. Charles Rattray and Savitri Maharaj and Carron Shankland. 10th International Conference on Algebraic Methodology and Software Technology - AMAST'2004, 2004, Stirling, Scotland, UK, Springer-Verlag, 3116, pp.274--288, 2004, Lecture Notes in Computer Science. 〈inria-00108082〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

110

Contact


archive-ouverte@inria.fr