Continuous Correctness of Business Processes Against Process Interference
暂无分享,去创建一个
[1] Wil M. P. van der Aalst,et al. Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows , 2009, CAiSE.
[2] Suzanne W. Dietrich,et al. A Process History Capture System for Analysis of Data Dependencies in Concurrent Process Execution , 2006, DEECS.
[3] Hans Wortmann,et al. Automatic Detection of Business Process Interference , 2012, KiBP@KR.
[4] Marco Montali,et al. Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata , 2011, BPM.
[5] James Martin. Managing the data-base environment , 1983 .
[6] Natalia Sidorova,et al. Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible , 2011, Inf. Syst..
[7] Wil M. P. van der Aalst,et al. Process Flexibility: A Survey of Contemporary Approaches , 2008, CIAO! / EOMAS.
[8] Doina Bucur,et al. An Automated Analysis Of Process Interference Verified With LTL Checking , 2013 .
[9] Yang Xiao,et al. Process Dependencies and Process Interference Rules for Analyzing the Impact of Failure in a Service Composition Environment , 2007, BIS.
[10] Wil M. P. van der Aalst,et al. Dynamic, Extensible and Context-Aware Exception Handling for Workflows , 2007, OTM Conferences.
[11] Hans Wortmann,et al. Automated runtime repair of business processes , 2014, Inf. Syst..
[12] Stephan Merz,et al. Model Checking , 2000 .