Abstract
<h2>Abstract</h2> 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.
Highlights
Process descriptions describe systems and characterize the world as acted upon
Current code version Permanent link to code/repository used for this code version Permanent link to Reproducible Capsule Legal Code License Code versioning system used Software code languages, tools, and services used Compilation requirements, operating environments & dependencies If available Link to developer documentation/manual Support email for questions
The tool is based on the PROVE methodology [3], and – as such – allows users who are not modeling experts to create process descriptions in the form of well-defined, formal process models
Summary
Process descriptions describe systems and characterize the world as acted upon [1]. They serve as the means for generating objects that have desired characteristics as well as for communicating and coordinating processes, whether these are planned/designed processes or enacted processes. PROVE Tool is a modeling workbench which allows authoring and analyzing process descriptions rigorously This is achieved using a domain-specific, model-based design approach. The tool is based on the PROVE methodology [3], and – as such – allows users who are not modeling experts to create process descriptions in the form of well-defined, formal process models. Additional layers and validation checks are integrated into the core PROVE diagram These allow verifying that the described process is complete and consistent. By validating process descriptions – captured using PROVE diagrams – the users are provided with tips and feedback regarding the process designs. This feedback includes missing artifact and artifact state definitions as well as inconsistent use of process hierarchies; and may be extended to support additional rules.
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
