An approach for semantic checks of process models

Feja, SvenAbramowicz, WitoldMaciaszek, LeszekKowalczyk, RyszardSpeck, Andreas2019-06-032019-06-032009978-3-88579-241-3https://dl.gi.de/handle/20.500.12116/23234This paper presents an approach for using model checking for process models and workflows. The approach allows it to graphically state semantic validation rules on the level of processes. This enables the process modeler to use model checking techniques to get higher quality models for the further software development process.enAn approach for semantic checks of process modelsText/Conference Paper1617-5468