Specification and refinement of mobile systems in MTLA and mobile UML

DOI10.1016/j.tcs.2005.09.067zbMath1086.68016OpenAlexW2102932199MaRDI QIDQ820132

Alexander Knapp, Martin Wirsing, Stephan Merz, Júlia Zappe

Publication date: 6 April 2006

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/inria-00000754/file/final.pdf

zbMATH Keywords

verificationtemporal logicrefinementspecificationmobile systemsspatial logicUMLsystem development

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (5)

On repairing and querying inconsistent probabilistic spatio-temporal databases ⋮ Dimensional Inconsistency Measures and Postulates in Spatio-Temporal Databases ⋮ A Homage to Martin Wirsing ⋮ Ode to the PST ⋮ Towards an Institutional Framework for Heterogeneous Formal Development in UML

Uses Software

• SLMC
• KLAIM

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The existence of refinement mappings
• Statecharts: a visual formalism for complex systems
• A calculus of mobile processes. II
• Mobile ambients
• A spatial logic for concurrency. I
• The B-Book
• Refinement Calculus
• Anytime, anywhere
• Extensionality and intensionality of the ambient logics
• Global Computing

This page was built for publication: Specification and refinement of mobile systems in MTLA and mobile UML