Integrating Validation Techniques for Process-based Models

Andreas Speck, Sören Witt, Sven Feja, Sören Feja, Elke Pulvermueller

2013

Abstract

Model checking has been established as an appropriate technology to validate behavioral properties of (business) process based systems. However, further validation technologies (e. g. for structural properties) may be of interest for process models. We propose a concept to integrate validation technologies in a unique system with a common user interface.

References

  1. Anderson, B. B., Hansen, J. V., Lowry, P. B., and Summers, S. L. (2005). Model checking for design and assurance of e-Business processes. Decision Support Systems, 39(3):333-344.
  2. Awad, A. M. H. A. (2007). BPMN-Q: A Language to Query Business Processes. In Reichert, M., Strecker, S., and Turowski, K., editors, Proceedings of the 2nd Int'l Workshop Enterprise Modelling and Information Systems Architectures Concepts and Applications, pages 115-128, Bonn. Gesellschaft für Informatik.
  3. Baader, F., Calvanese, D., McGuinness, D. L., Nardi, D., and Patel-Schneider, P. F., editors (2003). The description logic handbook: theory, implementation, and applications. Cambridge University Press, New York, NY, USA.
  4. Bérard, B., Bidoit, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., and Schnoebelen, P. (2001). Systems and Software Verification - Model-Checking Techniques and Tools. Springer, Berlin, Germany.
  5. Bormann, J., Fedeli, A., Frank, R., and Winkelmann, K. (2005). Combined Static and Dynamic Verification, Version 2, Public Version March 31st, 2005, (Deliverable 3.1/1), Research Report. Technical report, project PROSYD, European IST.
  6. Bradfield, J. and Stirling, C. (2001). Modal logics and mucalculi: an introduction. In Handbook of Process Algebra, pages 293-33. Elsevier Science Publishers.
  7. Chechik, M., Devereux, B., Easterbrook, S., and Gurfinkel, A. (2003). Multi-Valued Symbolic Model-Checking. ACM Transactions on Software Engineering Methodology, 12(4):371-408.
  8. Deutch, D. and Milo, T. (2007). Querying Structural and Behavioral Properties of Business Processes. In Proceedings of the 11th international conference on Database programming languages, pages 169-185, Berlin / Heidelberg. Springer Verlag.
  9. Emerson, E. A. and Clarke, E. M. (1980). Characterizing Correctness Properties of Parallel Programs Using Fixpoints. In ICALP 1980, Automata, Languages and Programming, 7th Colloquium, pages 169-181. Springer LNCS 85.
  10. Fahland, D., Favre, C., Jobstmann, B., Köhler, J., Lohmann, N., Völzer, H., and Wolf, K. (2009). Instantaneous Soundness Checking of Industrial Business Process Models. In Proceedings of the 7th International Conference on Business Process Management (BPM 2009), pages 278-293. Springer, LNSC 5701.
  11. Feja, S. and Fötsch, D. (2008). Model Checking with Graphical Validation Rules. In Proceedings of the 15th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2008), pages 117-125. IEEE.
  12. Feja, S., Witt, S., and Speck, A. (2011). BAM: A Requirements Validation and Verification Framework for Business Process Models. In 11th International Conference On Quality Software, pages 186-191, Los Alamitos, CA, USA. IEEE Computer Society.
  13. Förster, A., Engels, G., Schattkowsky, T., and Van Der Straeten, R. (2007). Verification of Business Process Quality Constraints Based on Visual Process Patterns. In Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE 7807), pages 197-208.
  14. Gruhn, V. and Laue, R. (2007). Checking Properties of Business Process Models with Logic Programming. In 5th International Workshop on Modeling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS'07), pages 84-93. INSTICC PRESS.
  15. Köhler, J., Tirenni, G., and Kumaran, S. (2002). From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods. In 6th International Enterprise Distributed Object Computing Conference (EDOC 2002), pages 96-106.
  16. Kozen, D. (1983). Results on the propositional mu-calculus. Theoretical Computer Science, 3(27):333-354.
  17. May, W. (1998). Integrated Static and Dynamic Modeling of Processes. PhD thesis, Universität Freiburg, Germany.
  18. McMillan, K. L. (1993). Symbolic Model Checking. Kluwer Academic Publishers.
  19. Morimoto, S. (2008). A Survey of Formal Verification for Business Process Modeling. In 8th International Conference on Computational Science, pages 514-522. Springer.
  20. Pulvermüller, E. (2002). Composition and Correctness. In SC 2002: Workshop on Software Composition, volume 65 of Electronic Notes in Theoretical Computer Science (ENTCS). Elsevier Science Publishers.
  21. Pulvermüller, E., Feja, S., and Speck, A. (2010). Developer-friendly verification of process-based systems. Knowledge-based Systems, 23(7):667-676.
  22. Speck, A. (2006). Modelling and Verifying of e-Commerce Systems. In Proceedings of International Workshop on Regulations Modelling and their Validation and Verification (REMO2V'06) in conjunction with CAiSE'06, pages 857-863.
  23. van der Aalst, W. M. P. (1999). Formalization and Verification of Event-driven Process Chains. Information and Software Technology, 41(10):639-650.
  24. van Dongen, B. F., Jansen-Vullers, M. H., Verbeek, H. M. W., and van der Aalst, W. M. P. (2007). Verification of the sap reference models using epc reduction, state-space analysis, and invariants. Computers in Industry, 58(6):578-601.
  25. Weitl, F. and Nakajima, S. (2011). Integrated model checking of static structure and dynamic behavior using temporal description logics. Electronic Communications of the ECEASST, 46:1-16.
  26. Witt, S., Feja, S., Speck, A., and Prietz, C. (2012). Integrated privacy modeling and validation for business process models. In Proceedings of the 2012 Joint EDBT/ICDT Workshops, EDBT-ICDT 7812, pages 196-205, New York, NY, USA. ACM.
  27. Xu, K., Liu, Y., and Wu, C. (2008). BPSL Modeler - Visual Notation Language for Intuitive Business Property Reasoning. Electronic Notes in Theoretical Computer Science, 211:211-220.
  28. Xu, Z. (2008). Combination of Model Checking and Theorem Proving to Develop and Verify Embedded Software. Information Technology Journal, 7(4):623-630.
Download


Paper Citation


in Harvard Style

Speck A., Witt S., Feja S., Feja S. and Pulvermueller E. (2013). Integrating Validation Techniques for Process-based Models . In Proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-8565-62-4, pages 246-253. DOI: 10.5220/0004569202460253


in Bibtex Style

@conference{enase13,
author={Andreas Speck and Sören Witt and Sven Feja and Sören Feja and Elke Pulvermueller},
title={Integrating Validation Techniques for Process-based Models},
booktitle={Proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2013},
pages={246-253},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004569202460253},
isbn={978-989-8565-62-4},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - Integrating Validation Techniques for Process-based Models
SN - 978-989-8565-62-4
AU - Speck A.
AU - Witt S.
AU - Feja S.
AU - Feja S.
AU - Pulvermueller E.
PY - 2013
SP - 246
EP - 253
DO - 10.5220/0004569202460253