An approach for semantic checks of process models
| dc.contributor.author | Feja, Sven | |
| dc.contributor.editor | Abramowicz, Witold | |
| dc.contributor.editor | Maciaszek, Leszek | |
| dc.contributor.editor | Kowalczyk, Ryszard | |
| dc.contributor.editor | Speck, Andreas | |
| dc.date.accessioned | 2019-06-03T12:25:21Z | |
| dc.date.available | 2019-06-03T12:25:21Z | |
| dc.date.issued | 2009 | |
| dc.description.abstract | This 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. | en |
| dc.identifier.isbn | 978-3-88579-241-3 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/23234 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartof | Business process, services – computing and intelligent service management | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-147 | |
| dc.title | An approach for semantic checks of process models | en |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 230 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 229 | |
| gi.conference.date | March 23–25, 2009 | |
| gi.conference.location | Leipzig | |
| gi.conference.sessiontitle | Regular Research Papers |
Dateien
Originalbündel
1 - 1 von 1