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

• A semantic model of real-time UML
• scientific article; zbMATH DE number 1967727
• A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models
• Towards UML-based formal specifications of component-based real-time software
• 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
• A CSP view on UML-RT structure diagrams
• Transformation of UML specification to XTG
• Extending the standard execution model of UML for real-time systems
• A UML profile for real-time constraints with the OCL
• A semantic model of real-time UML
• Towards UML-based formal specifications of component-based real-time software
• scientific article; zbMATH DE number 1967727 (Why is no real title available?)
• HRT-UML: Taking HRT-HOOD onto UML
• Timing analysis of UML activity diagrams
• A new UML profile for real-time system formal design and validation
• Scenario-based monitoring and testing of real-time UML models
• A real-time profile for UML and how to adapt it to SDL
• scientific article; zbMATH DE number 1751914 (Why is no real title available?)
• Semantics and execution time of new timed statecharts
• Formal verification of UML statecharts with real-time extensions
• Specification, implementation, and validation of object-oriented embedded systems
• Towards OCL/RT
• 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)