Show simple item record

dc.contributor.authorSpeck, Andreas
dc.contributor.editorAbramowicz, Witold
dc.contributor.editorMaciaszek, Leszek
dc.date.accessioned2019-05-15T08:27:23Z
dc.date.available2019-05-15T08:27:23Z
dc.date.issued2007
dc.identifier.isbn978-3-88579-210-9
dc.identifier.issn1617-5468
dc.identifier.urihttp://dl.gi.de/handle/20.500.12116/22353
dc.description.abstractBusiness processes and workflows are crucial elements in the design and development of commercial systems, such as enterprise resource planning (ERP) or e-commerce systems and many more. Despite their important role there are little means to ensure the correctness of these processes and workflows as well as consistency between them. In contrast to other verification problems the semantics of business processes to be checked are less explicit and formalised. Nevertheless the processes and workflows have to be considered as highly complex and are consisting in most cases out of a very large number of sub- processes which are very hard to be overlooked manually. Means for ensuring the quality of business processes may be business rules and guidelines driven by experience and domain knowledge. Adequate models for static dependencies and dynamic behaviour and modelling tools help capturing the important semantics. Verification technology like model checking will support the quality assurance.en
dc.language.isoen
dc.publisherGesellschaft für Informatik e. V.
dc.relation.ispartofBusiness process and services computing – 1st international working conference on business process and services computing – BPSC 2007
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-116
dc.titleBusiness Process Validationen
dc.typeText/Conference Paper
dc.pubPlaceBonn
mci.reference.pages39-39
mci.conference.sessiontitleRegular Research Papers
mci.conference.locationLeipzig
mci.conference.dateSeptember 25-26, 2007


Files in this item

Thumbnail

Show simple item record