A formalism for reasoning about UML activity diagrams

MaRDI QIDQ5503433zbMATH OpenFDO

Authors Vitus S. W. Lam

Publication date 15 January 2009

zbMATH Keywords

model checkingUML 2.0workflow managements

Mathematics Subject Classification ID

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

Recommendations

• Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems
• scientific article; zbMATH DE number 2215868
• scientific article; zbMATH DE number 1919419
• Global Computing
• A Graph Transformation-Based Approach to Formal Modeling and Verification of Workflows

Cited in

(13)

• Towards a call behavior-based compositional verification framework for SysML activity diagrams
• scientific article; zbMATH DE number 2088900 (Why is no real title available?)
• An ASM semantics of token flow in UML 2 activity diagrams
• A Graph Transformation-Based Approach to Formal Modeling and Verification of Workflows
• scientific article; zbMATH DE number 5622008 (Why is no real title available?)
• scientific article; zbMATH DE number 5652629 (Why is no real title available?)
• scientific article; zbMATH DE number 2006480 (Why is no real title available?)
• Computer Aided Systems Theory – EUROCAST 2005
• Analysis of UML Activities Using Dynamic Meta Modeling
• Global Computing
• Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems
• scientific article; zbMATH DE number 2215868 (Why is no real title available?)
• Semantic foundation and validation of live activity diagrams

Describes a project that uses

Uses Software

• NuSMV

This page was built for publication: A formalism for reasoning about UML activity diagrams

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