PROVE Tool: A tool for designing and analyzing process descriptions

Avi Shaked

Research output: Contribution to journalArticlepeer-review


Process descriptions describe systems and characterize the world as acted upon. They serve as the means for generating objects that have desired characteristics as well as for communicating and coordinating planned and/or enacted processes. In research, process descriptions provide causal mechanisms and context as a basis for reproducibility and theory building. PROVE Tool is an open-source modeling workbench which allows authoring and analyzing process descriptions rigorously, based on a model-based approach.

Original languageEnglish
Article number100234
JournalSoftware Impacts
StatePublished - May 2022


  • Eclipse modeling
  • Model based design
  • Process description analysis
  • Process modeling

Cite this