A spatio-temporal logic for the specification and refinement of mobile systems

Authors:
Stephan Merz;Martin Wirsing;Júlia Zappe
Affiliations:
INRIA Lorraine, LORIA, Nancy;Institut für Informatik, Ludwig-Maximilians-Universität München;Institut für Informatik, Ludwig-Maximilians-Universität München
Venue:
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Year:
2003

Citing 9
Cited 15

The existence of refinement mappings

Theoretical Computer Science
A calculus of mobile processes, II

Information and Computation
The temporal logic of actions

ACM Transactions on Programming Languages and Systems (TOPLAS)
The reflexive CHAM and the join-calculus

POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
KLAIM: A Kernel Language for Agents Interaction and Mobility

IEEE Transactions on Software Engineering
Anytime, anywhere: modal logics for mobile ambients

Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Mobile ambients

Theoretical Computer Science
Extensionality and intensionality of the ambient logics

POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Spatial Logic for Concurrency

TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software

Linear and affine logics with temporal, spatial and epistemic operators

Theoretical Computer Science
Axiomatisation and decidability of multi-dimensional Duration Calculus

Information and Computation
Model checking mobile stochastic logic

Theoretical Computer Science
Qualitative Spatio-temporal Reasoning about Moving Objects in Three-Dimensional Space

ISICA '08 Proceedings of the 3rd International Symposium on Advances in Computation and Intelligence
An AGM-based belief revision mechanism for probabilistic spatio-temporal logics

AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Probabilistic go theories

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Going far, logically

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
A motion closed world asumption

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
An AGM-style belief revision mechanism for probabilistic spatio-temporal logics

Artificial Intelligence
Towards a Logic for Performance and Mobility

Electronic Notes in Theoretical Computer Science (ENTCS)
SoSL: a service-oriented stochastic logic

Rigorous software engineering for service-oriented systems
A calculus for shapes in time and space

ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Spatio-temporal model checking for mobile real-time systems

ICTAC'06 Proceedings of the Third international conference on Theoretical Aspects of Computing
Mobile UML statecharts with localities

GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
A complete temporal and spatial logic for distributed systems

FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems

Quantified Score

Hi-index	0.00

Visualization

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.