PROVE Tool: A tool for designing and analyzing process descriptions

Avi Shaked

doi:10.1016/j.simpa.2022.100234

PROVE Tool: A tool for designing and analyzing process descriptions

Avi Shaked

School of Mechanical Engineering

Research output: Contribution to journal › Article › peer-review

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.

Original language	English
Article number	100234
Journal	Software Impacts
Volume	12
DOIs	https://doi.org/10.1016/j.simpa.2022.100234
State	Published - May 2022

Keywords

Eclipse modeling
Model based design
Process description analysis
Process modeling

Access to Document

10.1016/j.simpa.2022.100234

Cite this

@article{c29abb0c824648508f7782dc7bbcf485,

title = "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.",

keywords = "Eclipse modeling, Model based design, Process description analysis, Process modeling",

author = "Avi Shaked",

note = "Publisher Copyright: {\textcopyright} 2022 The Author(s)",

year = "2022",

month = may,

doi = "10.1016/j.simpa.2022.100234",

language = "אנגלית",

volume = "12",

journal = "Software Impacts",

issn = "2665-9638",

publisher = "Elsevier BV",

}

TY - JOUR

T1 - PROVE Tool

T2 - A tool for designing and analyzing process descriptions

AU - Shaked, Avi

PY - 2022/5

Y1 - 2022/5

N2 - 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.

AB - 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.

KW - Eclipse modeling

KW - Model based design

KW - Process description analysis

KW - Process modeling

UR - http://www.scopus.com/inward/record.url?scp=85124018534&partnerID=8YFLogxK

U2 - 10.1016/j.simpa.2022.100234

DO - 10.1016/j.simpa.2022.100234

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:85124018534

SN - 2665-9638

VL - 12

JO - Software Impacts

JF - Software Impacts

M1 - 100234

ER -

PROVE Tool: A tool for designing and analyzing process descriptions

Abstract

Keywords

Access to Document

Other files and links

Cite this