Show simple item record

dc.contributor.authorMendt, Tamara
dc.contributor.authorTveretina, Olga
dc.contributor.authorSinz, Carsten
dc.identifier.citationMendt , T , Tveretina , O & Sinz , C 2011 , Probabilistic Model Checking of Constraints in a Supply Chain Business Process . in Business Information Systems : 14th International Conference, BIS 2011 . Lecture Notes in Business Information Processing , vol. 87 , Springer Nature , pp. 1-12 .
dc.identifier.otherPURE: 1303075
dc.identifier.otherPURE UUID: e85bc5b0-c216-4471-a6bf-c1bd9614b9b0
dc.identifier.otherScopus: 79960224949
dc.description.abstractBusiness process models represent corporate activities, their dependencies and relations, as far as they are needed to reach a specific company goal. In practice, they often exhibit stochastic behavior, e.g., to deal with uncertain information. In this paper, we consider the problem of verifying properties over business processes that deal with such uncertain information. We employ a probabilistic model checking algorithm for verification, and demonstrate the applicability of this approach by a case study. Modeling and verification is achieved using the model checking tool PRISM. Based on the results, general specifications for modeling business processes using a probabilistic model checker are identified. Also, the difference between declarative and procedural business process modeling approaches is discussed. We propose to combine declarative and procedural techniques, thereby gaining increased expressiveness in modeling business processes, but still maintain verification feasibleen
dc.publisherSpringer Nature
dc.relation.ispartofBusiness Information Systems
dc.relation.ispartofseriesLecture Notes in Business Information Processing
dc.subjectSupply chain, business processes compliance, probabilistic model checking, PRISM
dc.titleProbabilistic Model Checking of Constraints in a Supply Chain Business Processen
dc.contributor.institutionSchool of Physics, Engineering & Computer Science
dc.contributor.institutionBiocomputation Research Group

Files in this item


There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record