Specification and refinement of mobile systems in MTLA and mobile UML

DOI10.1016/J.TCS.2005.09.067zbMATH Open1086.68016OpenAlexW2102932199MaRDI QIDQ820132FDOQ820132

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

verificationrefinementspecificationtemporal logicspatial logicmobile systemsUMLsystem development

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Statecharts: a visual formalism for complex systems
• Refinement Calculus
• The existence of refinement mappings
• A calculus of mobile processes. II
• The B-Book
• A spatial logic for concurrency. I
• Mobile ambients
• Anytime, anywhere
• Extensionality and intensionality of the ambient logics
• Global Computing

Cited In (5)

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

Uses Software

• SLMC
• KLAIM

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q820132)