A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2003

A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems

Martin Wirsing
  • Function : Author
Julia Zappe
  • Function : Author

Abstract

We define a variant of Lamport's Temporal Logic of Actions, extended by spatial modalities, that is intended for the specification of mobile systems with distributed state. We discuss notions of refinement appropriate for mobile systems, specifically concerning the topological structure of the system, and show how these can be represented in the logic via quantification and implication, ensuring transitivity and compositionality of refinements.
No file

Dates and versions

inria-00099799 , version 1 (26-09-2006)

Identifiers

  • HAL Id : inria-00099799 , version 1

Cite

Stephan Merz, Martin Wirsing, Julia Zappe. A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems. Fundamental Approaches to Software Engineering '03 - FASE 2003, Lecture Notes in Computer Sciences, 2003, Warsaw, Poland, pp.87-101. ⟨inria-00099799⟩
160 View
0 Download

Share

Gmail Facebook X LinkedIn More