Logo des Repositoriums
 

Verifying business rules using an SMT solver for BPEL processes

Kurzanzeige
dc.contributor.authorMonakova, Ganna
dc.contributor.authorKopp, Oliver
dc.contributor.authorLeymann, Frank
dc.contributor.authorMoser, Simon
dc.contributor.authorSchäfers, Klaus
dc.contributor.editorAbramowicz, Witold
dc.contributor.editorMaciaszek, Leszek
dc.contributor.editorKowalczyk, Ryszard
dc.contributor.editorSpeck, Andreas
dc.date.accessioned2019-06-03T12:25:23Z
dc.date.available2019-06-03T12:25:23Z
dc.date.issued2009
dc.description.abstractWS-BPEL is the standard for modelling executable business processes. Recently, verification of BPEL processes has been an important topic in the research community. While most of the existing approaches for BPEL process verification merely consider control-flow based analysis, some actually consider data-flows, but only in a very restrictive manner. In this paper, we present a novel approach that combines control-flow analysis and data-flow analysis, producing a logical representation of a process model. This logical representation captures the relations between process variables and execution paths that allow properties to be verified using Satisfiability Modulo Theory (SMT) solvers under constraints represented by the modelled assertions.en
dc.identifier.isbn978-3-88579-241-3
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/23245
dc.language.isoen
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofBusiness process, services – computing and intelligent service management
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-147
dc.titleVerifying business rules using an SMT solver for BPEL processesen
dc.typeText/Conference Paper
gi.citation.endPage94
gi.citation.publisherPlaceBonn
gi.citation.startPage81
gi.conference.dateMarch 23–25, 2009
gi.conference.locationLeipzig
gi.conference.sessiontitleRegular Research Papers

Dateien

Originalbündel
1 - 1 von 1
Vorschaubild
Name:
gi-proc-147-005.pdf
Größe:
393.61 KB
Format:
Adobe Portable Document Format
Herunterladen

Sammlungen

P147 - Business Process, Services Computing and Intelligent Service Management 2009