Towards UML-based formal specifications of component-based real-time software

DOI10.1007/3-540-36578-8_9MaRDI QIDQ4417825zbMATH OpenFDO

Authors Vieri del Bianco, Luigi Lavazza, Marco Mauri, Giuseppe Occorso

Publication date 30 July 2003

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2621/26210118.htm

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

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

Cited in

(14)

• A real-time discrete event system specification formalism for seamless real-time software development
• A formally grounded software specification method
• Specification and analysis of timing requirements for real-time systems in the CBD approach
• Specification of real-time systems in UML
• A CSP view on UML-RT structure diagrams
• Specifying services with UML and UML-RT: foundations, challenges and limitations
• Viewing CSP specifications with UML-RT diagrams
• scientific article; zbMATH DE number 2084346 (Why is no real title available?)
• A semantic model of real-time UML
• 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 2087855 (Why is no real title available?)
• Understanding UML: a formal semantics of concurrency and communication in real-time UML.
• A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models

Describes a project that uses

Uses Software

• TAXYS
• TURTLE-P
• Kronos
• Uppaal

This page was built for publication: Towards UML-based formal specifications of component-based real-time software

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