Login / Signup

Formal translation of YAWL workflow models to the Alloy formal specifications: a testing application.

Mehran RivadehSeyed-Hassan Mirian-Hosseinabadi
Published in: Softw. Syst. Model. (2023)
Keyphrases
  • formal specification
  • specification language
  • model checking
  • formal methods
  • specification languages
  • databases
  • general purpose
  • distributed databases
  • reverse engineering
  • design methodology