Analysis of UML Activities Using Dynamic Meta Modeling

DOI10.1007/978-3-540-72952-5_5zbMath1202.68095OpenAlexW1593514775MaRDI QIDQ5428908

Christian Soltenborn, Heike Wehrheim, Gregor Engels

Publication date: 28 November 2007

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

Full work available at URL: https://doi.org/10.1007/978-3-540-72952-5_5

zbMATH Keywords

verificationbehaviorsemanticsUMLDMM

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

The Edge of Graph Transformation — Graphs for Behavioural Specification ⋮ Towards automated software model checking using graph transformation systems and bogor ⋮ Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems

Uses Software

• NuSMV
• GROOVE

Cites Work

• Unnamed Item
• Unnamed Item
• Liveness, fairness, and recurrence in Petri nets
• Handbook of Graph Grammars and Computing by Graph Transformation

This page was built for publication: Analysis of UML Activities Using Dynamic Meta Modeling