Realization of business processes
| dc.contributor.author | Speck, Andreas | |
| dc.contributor.author | Rusnjak, Andreas | |
| dc.contributor.author | Schulz, Marcel | |
| dc.contributor.editor | Fähnrich, Klaus-Peter | |
| dc.contributor.editor | Franczyk, Bogdan | |
| dc.date.accessioned | 2019-01-11T10:29:07Z | |
| dc.date.available | 2019-01-11T10:29:07Z | |
| dc.date.issued | 2010 | |
| dc.description.abstract | Business process models are the fundamental models of commercial systems. Therefore the business processes are issue of optimization as well as verification. When a business process has been identified as comparatively good (or optimal) it is of interest if the realization of the system still realizes this process. In this paper we present an approach how to verify such realizations. As application system we use the e-commerce system Intershop Enfinity which provides an executable process model: the Pipeline Model. These Pipeline Models have to be transferred to formal automata models which then may be checked. As tools to check we use model checkers. | en |
| dc.identifier.isbn | 978-3-88579-270-3 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/19291 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartof | INFORMATIK 2010. Service Science – Neue Perspektiven für die Informatik. Band 2 | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-176 | |
| dc.title | Realization of business processes | en |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 609 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 604 | |
| gi.conference.date | 27.09.-01.10.2010 | |
| gi.conference.location | Leipzig | |
| gi.conference.sessiontitle | Regular Research Papers |
Dateien
Originalbündel
1 - 1 von 1