Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems

DOI10.1007/978-3-540-85762-4_21zbMath1161.68581OpenAlexW1559250605MaRDI QIDQ5505610

Vahid Rafe, Adel T. Rahmani

Publication date: 27 January 2009

Published in: Theoretical Aspects of Computing - ICTAC 2008 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-85762-4_21

zbMATH Keywords

verificationdynamic semanticsworkflowgraph transformationactivity diagram

Mathematics Subject Classification ID

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

Related Items (1)

Towards automated software model checking using graph transformation systems and bogor

Uses Software

• AGG
• Bogor
• CheckVML
• GROOVE

Cites Work

• Unnamed Item
• Unnamed Item
• NuSMV: A new symbolic model checker
• Web services. Concepts, architectures and applications
• Handbook of Graph Grammars and Computing by Graph Transformation
• Analysis of UML Activities Using Dynamic Meta Modeling
• Global Computing
• ``UML 2001 - The unified modeling language. Modeling languages, concepts, and tools. 4th international conference, Toronto, Canada, October 1--5, 2001. Proceedings

This page was built for publication: Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems