Transformation and verification of executable UML models

MaRDI QIDQ2847424zbMATH OpenFDO

Authors Günter Graw, Peter Herrmann

Publication date 9 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104051059

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Live and let die: LSC based verification of UML models
• Concurrency and refinement in the unified modeling language
• Formalising the UML in structured temporal theories
• scientific article; zbMATH DE number 2084346
• Global Computing

Cited in

(13)

• Live and let die: LSC based verification of UML models
• Transformation of dynamic aspects of UML models into LOTOS behaviour expressions
• scientific article; zbMATH DE number 1693435 (Why is no real title available?)
• scientific article; zbMATH DE number 2084346 (Why is no real title available?)
• scientific article; zbMATH DE number 5622008 (Why is no real title available?)
• scientific article; zbMATH DE number 1946738 (Why is no real title available?)
• scientific article; zbMATH DE number 2013777 (Why is no real title available?)
• scientific article; zbMATH DE number 2079825 (Why is no real title available?)
• scientific article; zbMATH DE number 2102668 (Why is no real title available?)
• Model Checking Software
• Tools and Algorithms for the Construction and Analysis of Systems
• Global Computing
• Practical refactoring of executable UML models

This page was built for publication: Transformation and verification of executable UML models

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