Eliminating queues from RT UML model representations

DOI10.1007/3-540-45739-9_22MaRDI QIDQ5392300zbMATH OpenOpenAlexFDO

Authors Werner Damm, Bengt Jonsson

Publication date 8 April 2011

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45739-9_22

zbMATH Keywords

protocol verificationreal-time distributed systemsRT UMLverification of infinite state systems

Mathematics Subject Classification ID

Network protocols (68M12) Distributed systems (68M14) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Tools and Algorithms for the Construction and Analysis of Systems
• Understanding UML: a formal semantics of concurrency and communication in real-time UML.
• Specification of real-time systems in UML
• A discrete-time UML semantics for concurrency and communication in safety-critical applications
• scientific article; zbMATH DE number 2112214

Cited in

(1)

• Tools and Algorithms for the Construction and Analysis of Systems

This page was built for publication: Eliminating queues from RT UML model representations

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