PROVE Tool: A tool for designing and analyzing process descriptions

Abstract

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.