Abstract | ||
---|---|---|
Transactions are common in business processes (BPs). Consistency on data, which is defined as satisfaction of a set of data integrity constraints, is one of the basic properties for business process transactions (BPTs). This requires a BPT to bring the BP execution from one consistent state to another consistent state. It is desirable to ensure within BP executions that every BPT preserves data consistency. Besides, the earlier an inconsistency is detected the less recovery is necessary. It is studied in this paper how to detect and recover from potential future inconsistency as early as possible in a BPT execution. We propose a runtime proactive mechanism enforcing consistency on BPTs, called "transaction consistency guarding", based on symbolic execution of BPEL scopes for bounded length and correct design of fault and compensation handlers. © Springer-Verlag 2013. |
Year | DOI | Venue |
---|---|---|
2013 | 10.1007/978-3-642-37804-1_40 | ICSOC Workshops |
Keywords | Field | DocType |
null | Business process,Computer science,Real-time computing,Business Process Execution Language,Data integrity,Enforcement,Symbolic execution,Database transaction,Database,Data consistency,Bounded function | Conference |
Volume | Issue | ISSN |
7759 LNCS | null | 16113349 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
1 |