Abstract
This paper presents an approach and Proof-of-Concept implementation for combined design time error propagation analysis and runtime diagnosis in business process driven systems. We show how error propagation analysis can be made practical in this context with qualitative error propagation notation that is approachable for the domain expert. The method uses models of business processes and their supporting IT infrastructure captured in industry-standard tools. Finite domain constraint solving is used to evaluate system alternatives from a dependability point of view. The systematic generation of event detection rules for runtime diagnosis is also supported. A real life example from the banking domain is used to demonstrate the approach.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bergmann, G., Horváth, Á., Ráth, I., Varró, D., Balogh, A., Balogh, Z., Ökrös, A.: Incremental Evaluation of Model Queries over EMF Models. In: Petriu, D.C., Rouquette, N., Haugen, Ø. (eds.) MODELS 2010, Part I. LNCS, vol. 6394, pp. 76–90. Springer, Heidelberg (2010)
BOC-Group. ADONIS BPM Suite, http://www.boc-group.com/products/adonis/product-details/
Bondavalli, A., Simoncini, L.: Failure Classification with Respect to Detection. In: Proc.. Second IEEE Workshop on Future Trends of Distributed Computing Systems, pp. 47–53. IEEE Comp. Soc. Press (1990)
BonitaSoft. Bonita BPM – The Open Source Business Process Management suite, http://www.bonitasoft.com/
May Chan, K.S., Bishop, J., Steyn, J., Baresi, L., Guinea, S.: A Fault Taxonomy for Web Service Composition. In: Di Nitto, E., Ripeanu, M. (eds.) ICSOC 2007 Workshops. LNCS, vol. 4907, pp. 363–375. Springer, Heidelberg (2009)
The Workflow Management Coalition. XML Process Definition Language (XPDL) (2012), http://www.xpdl.org/standards/xpdl-2.2/XPDL%202.2%20(2012-08-30).pdf
Conforti, R., de Leoni, M., La Rosa, M., van der Aalst, W.M.P.: Supporting Risk-Informed Decisions during Business Process Execution. In: Salinesi, C., Norrie, M.C., Pastor, Ó. (eds.) CAiSE 2013. LNCS, vol. 7908, pp. 116–132. Springer, Heidelberg (2013)
Craggs, S.: Comparing BPM from Pegasystems, IBM and TIBCO. Lustratus Research (2011)
Gallina, B., Punnekkat, S.: FI4FA: A Formalism for Incompletion, Inconsistency, Interference and Impermanence Failures’ Analysis. In: 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications, pp. 493–500 (August 2011)
Object Management Group. Business Process Model and Notation (BPMN) version 2.0 (2011), http://www.omg.org/spec/BPMN/2.0/
Jussien, N., Rochart, G., Lorca, X.: The CHOCO constraint programming solver. In: CPAIOR 2008 Workshop on Open-Source Software for Integer and Contraint Programming, OSSICP 2008 (2008)
zur Muehlen, M., Shapiro, R.: Business Process Analytics. In: Handbook on Business Process Management 2. Springer (2010)
Pataricza, A.: Model-based Dependability Analysis. DSc Thesis. Hungarian Academy of Sciences (2006)
Pataricza, A.: Systematic Generation of Dependability Cases from Functional Models. In: Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT), pp. 9–10 (2007)
ProcessMaker. Process Maker Workflow Management Software, http://www.processmaker.com/product-overview
SAP. Business Process Management and Integration Solutions, http://www.sap.com/pc/tech/business-process-management/software/
Suriadi, S., Ouyang, C., van der Aalst, W.M.P., ter Hofstede, A.H.M.: Root Cause Analysis with Enriched Process Logs. In: La Rosa, M., Soffer, P. (eds.) BPM 2012 Workshops. LNBIP, vol. 132, pp. 174–186. Springer, Heidelberg (2013)
TIBCO. TIBCO Business Studio, http://developer.tibco.com/business_studio/default.jsp
Wallace, M.: Modular Architectural Representation and Analysis of Fault Propagation and Transformation. Electronic Notes in Theoretical Computer Science 141(3), 53–71 (2005) ISSN: 15710661
Ward-Dutton, N.: What Drives BPM Technology Requirements? MWD Advisors (2013), http://www.mwdadvisors.com/library/detail.php?id=441
Wolforth, I., et al.: Capture and Reuse of Composable Failure Patterns. Int.l Journal of Critical Computer-Based Systems 1(1/2/3), 128 (2010) ISSN: 1757-8779
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Urbanics, G., Gönczy, L., Urbán, B., Hartwig, J., Kocsis, I. (2014). Combined Error Propagation Analysis and Runtime Event Detection in Process-Driven Systems. In: Majzik, I., Vieira, M. (eds) Software Engineering for Resilient Systems. SERENE 2014. Lecture Notes in Computer Science, vol 8785. Springer, Cham. https://doi.org/10.1007/978-3-319-12241-0_13
Download citation
DOI: https://doi.org/10.1007/978-3-319-12241-0_13
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-12240-3
Online ISBN: 978-3-319-12241-0
eBook Packages: Computer ScienceComputer Science (R0)