Specification and refinement of mobile systems in MTLA and mobile UML

DOI10.1016/J.TCS.2005.09.067MaRDI QIDQ820132zbMATH OpenOpenAlexFDO

Authors Alexander Knapp, Stephan Merz, Martin Wirsing, 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)

Recommendations

• Towards a mobile temporal logic of actions.
• scientific article; zbMATH DE number 1956481
• Algebraic Methodology and Software Technology
• Theoretical Aspects of Computing - ICTAC 2004
• Spatio-temporal Model Checking for Mobile Real-Time Systems

Cites work

• scientific article; zbMATH DE number 1696899 (Why is no real title available?)
• scientific article; zbMATH DE number 1331926 (Why is no real title available?)
• scientific article; zbMATH DE number 1951128 (Why is no real title available?)
• scientific article; zbMATH DE number 1487491 (Why is no real title available?)
• scientific article; zbMATH DE number 1546500 (Why is no real title available?)
• scientific article; zbMATH DE number 910717 (Why is no real title available?)
• A calculus of mobile processes. II
• A spatial logic for concurrency. I
• Anytime, anywhere: modal logics for mobile ambients
• Extensionality and intensionality of the ambient logics
• Global Computing
• Mobile ambients
• Refinement Calculus
• Statecharts: a visual formalism for complex systems
• The B-Book
• The existence of refinement mappings
• Towards a mobile temporal logic of actions.

Cited in

(9)

• Towards a mobile temporal logic of actions.
• Ode to the PST
• On repairing and querying inconsistent probabilistic spatio-temporal databases
• Algebraic Methodology and Software Technology
• scientific article; zbMATH DE number 1956481 (Why is no real title available?)
• Dimensional inconsistency measures and postulates in spatio-temporal databases
• A homage to Martin Wirsing
• Stream-based specification of mobile systems
• Towards an institutional framework for heterogeneous formal development in UML -- a position paper

Describes a project that uses

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)