volume 29, issue 11, Pe1860 2017
DOI: 10.1002/smr.1860
View full text
Sign up to set email alerts

Abstract: Abstract In the last decades, process verification has been intensively addressed and has become an essential activity to correct and to remove errors before process execution. Typical process verification ecosystems propose to express properties to be verified on the process. A property expresses a desired behavior that must hold or not in the process execution. Processes during their lifespan are continuously adapted for several purposes: enriching, correcting, and refactoring the process. When a process is…

Expand abstract