Specification of real-time systems in UML

MaRDI QIDQ2703737zbMATH OpenFDO

Authors E. E. Roubtsova, J. van Katwijk, W. J. Toetenel, C. Pronk, R. C. M. de Rooij

Publication date 8 May 2001

zbMATH Keywords

statechart diagramstime semanticsUML class

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1949635
• scientific article; zbMATH DE number 1967727
• A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models
• scientific article; zbMATH DE number 1956483
• Understanding UML: a formal semantics of concurrency and communication in real-time UML.

Cited in

(26)

• Extending the SCR method for real-time systems
• Stepwise refinement of sequence diagrams with soft real-time constraints
• scientific article; zbMATH DE number 1693515 (Why is no real title available?)
• scientific article; zbMATH DE number 2084346 (Why is no real title available?)
• Extending the standard execution model of UML for real-time systems
• scientific article; zbMATH DE number 1946735 (Why is no real title available?)
• scientific article; zbMATH DE number 1949635 (Why is no real title available?)
• scientific article; zbMATH DE number 1956483 (Why is no real title available?)
• scientific article; zbMATH DE number 1967727 (Why is no real title available?)
• scientific article; zbMATH DE number 2011490 (Why is no real title available?)
• scientific article; zbMATH DE number 2006479 (Why is no real title available?)
• scientific article; zbMATH DE number 2006495 (Why is no real title available?)
• scientific article; zbMATH DE number 2006497 (Why is no real title available?)
• scientific article; zbMATH DE number 2043460 (Why is no real title available?)
• scientific article; zbMATH DE number 1751914 (Why is no real title available?)
• Semantics and execution time of new timed statecharts
• scientific article; zbMATH DE number 2087522 (Why is no real title available?)
• scientific article; zbMATH DE number 2087855 (Why is no real title available?)
• scientific article; zbMATH DE number 2090148 (Why is no real title available?)
• A formal methodology for semantics and time consistency checking of UML dynamic diagrams
• Eliminating queues from RT UML model representations
• Constructing test automata from graphical real-time requirements
• Understanding UML: a formal semantics of concurrency and communication in real-time UML.
• Patterns for timed property specifications
• Integrating data flow equations with UML/realtime
• A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models

This page was built for publication: Specification of real-time systems in UML

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