Tool-based checking of business process models
DC Element | Wert | Sprache |
---|---|---|
dc.contributor.author | Speck, A. | |
dc.contributor.author | Witt, S. | |
dc.contributor.author | Feja, S. | |
dc.contributor.author | Pulvermüller, E. | |
dc.contributor.editor | Ehlers, J. | |
dc.contributor.editor | Thalheim, B. | |
dc.date.accessioned | 2021-12-23T16:32:23Z | - |
dc.date.available | 2021-12-23T16:32:23Z | - |
dc.date.issued | 2015 | |
dc.identifier.isbn | 9781450333122 | |
dc.identifier.uri | https://osnascholar.ub.uni-osnabrueck.de/handle/unios/17328 | - |
dc.description | 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 | |
dc.description.abstract | 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. | |
dc.description.sponsorship | Délégation Générale pour l'ArmementDélégation Générale pour l'Armement,DGA,A01/2012,T41/2012; This work has been funded by: Federación Nacional ALCER [ALCER National Federation], Project OTRI 2011/0573, Grupos Consolidados de Investigación [Consolidated Research Groups], DGA (T41/2012 and A01/2012) and the Fondo Social Europeo [European Social Fund].; This work has been funded by: Federaci?n Nacional ALCER [ALCER National Federation], Project OTRI 2011/0573, Grupos Consolidados de Investigaci?n [Consolidated Research Groups], DGA (T41/2012 and A01/2012) and the Fondo Social Europeo [European Social Fund].; Christian-Albrechts-Universitat zu Kiel (CAU); ConsSys IT AG; et al.; Institute of Innovative Process Management; METASONIC; Wirtschaftsakademie Schleswig-Holstein | |
dc.language.iso | en | |
dc.publisher | Association for Computing Machinery | |
dc.relation.ispartof | ACM International Conference Proceeding Series | |
dc.subject | Administrative data processing | |
dc.subject | Automated model validation | |
dc.subject | Automated testing | |
dc.subject | Automation | |
dc.subject | Business process model | |
dc.subject | Business process modelling | |
dc.subject | Commercial information systems | |
dc.subject | Counter examples | |
dc.subject | Enterprise resource management | |
dc.subject | Information systems | |
dc.subject | Model checking | |
dc.subject | Model checking tools | |
dc.subject | Quality assurance | |
dc.subject | Systems engineering, Automated modeling | |
dc.subject | Usability | |
dc.subject | Usability, Model checking | |
dc.title | Tool-based checking of business process models | |
dc.type | conference paper | |
dc.identifier.doi | 10.1145/2723839.2723848 | |
dc.identifier.scopus | 2-s2.0-84961117342 | |
dc.identifier.url | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84961117342&doi=10.1145%2f2723839.2723848&partnerID=40&md5=2b4928123754ac7696aa8fc89f2230c3 | |
dc.description.volume | 23-24-April-2015 | |
dcterms.isPartOf.abbreviation | ACM Int. Conf. Proc. Ser. | |
crisitem.author.dept | Institut für Informatik | - |
crisitem.author.deptid | institute12 | - |
crisitem.author.parentorg | FB 06 - Mathematik/Informatik/Physik | - |
crisitem.author.grandparentorg | Universität Osnabrück | - |
crisitem.author.netid | PuEl525 | - |
Seitenaufrufe
3
Letzte Woche
1
1
Letzter Monat
1
1
geprüft am 03.06.2024