Login / Signup

Formalizing and Verifying UML Activity Diagrams.

Messaoud AbbasMounir BeggasAmmar Boucherit
Published in: MEDI Workshops (2019)
Keyphrases
  • uml activity diagrams
  • business process models
  • graphical representation
  • model checking
  • databases
  • information systems
  • database systems
  • relational databases