Tool-based checking of business process models
Autor(en): | Speck, A. Witt, S. Feja, S. Pulvermüller, E. |
Herausgeber: | Ehlers, J. Thalheim, B. |
Stichwörter: | Administrative data processing; Automated model validation; Automated testing; Automation; Business process model; Business process modelling; Commercial information systems; Counter examples; Enterprise resource management; Information systems; Model checking; Model checking tools; Quality assurance; Systems engineering, Automated modeling; Usability; Usability, Model checking | Erscheinungsdatum: | 2015 | Herausgeber: | Association for Computing Machinery | Journal: | ACM International Conference Proceeding Series | Volumen: | 23-24-April-2015 | Zusammenfassung: | Business process models describe the behaviour of commercial information systems. Since these models are the base for the development and understanding of such information systems the business process models are subject of strict quality assurance. Such an importance leads to the idea to support the checking by an automated tool concept. The paper presents such an integrated, tool-based validation concept supporting human testers who are mainly business experts and not test experts. Such business experts may use the process model notations they are familiar with modelling the processes as well as the rules for these models. The automated testing system integrates model checking tools to perform the validation. The result is then presented to the human user. In case of an error detected by the check, a counter example demonstrating one source of the error is presented directly in the business process model. Copyright 2015 ACM. |
Beschreibung: | Conference of 7th International Conference on Subject-Oriented Business Process Management, S-BPM ONE 2015 ; Conference Date: 23 April 2015 Through 24 April 2015; Conference Code:119310 |
ISBN: | 9781450333122 | DOI: | 10.1145/2723839.2723848 | Externe URL: | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84961117342&doi=10.1145%2f2723839.2723848&partnerID=40&md5=2b4928123754ac7696aa8fc89f2230c3 |
Zur Langanzeige
Seitenaufrufe
2
Letzte Woche
0
0
Letzter Monat
0
0
geprüft am 21.05.2024