Hybrid business process modeling for the optimization of outcome data

Information and Software Technology

Volumn 70, Issue , 2016, Pages 140-154

  Parody, Luisa ^a   Gómez López, María Teresa ^a   Gasca, Rafael M ^a  

^a UNIVERSITY OF SEVILLE   (Spain)

Author keywords

Business process; Constraint programming; Data optimization; Hybrid model

Indexed keywords

COMPUTER PROGRAMMING; CONSTRAINED OPTIMIZATION; CONSTRAINT SATISFACTION PROBLEMS; ENTERPRISE RESOURCE MANAGEMENT; SPECIFICATIONS;

BUSINESS PROCESS; BUSINESS PROCESS MANAGEMENT SYSTEMS; BUSINESS PROCESS MODEL; COMPUTATIONAL STUDIES; CONSTRAINT PROGRAMMING; DATA OPTIMIZATION; DECLARATIVE LANGUAGES; HYBRID MODEL;

INFORMATION MANAGEMENT;

EID: 84949463306     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.infsof.2015.10.007     Document Type: Article

References (77)

1. R. S. Aguilar-Saven, Business process modelling: review and framework, Int. J. Prod. Econ. 90 (2) (2004) 129-149 ISSN: 0925-5273.
2. A. Awad, M. Weidlich, M. Weske, Specification, verification and explanation of violation for data aware compliance rules, in: Proceedings of the 7th International Joint Conference on Service-Oriented Computing ICSOC-ServiceWave'09, Springer-Verlag, Berlin, Heidelberg, 2009, pp. 500-515 ISBN: 978-3-642-10382-7.
3. I. Barba, B. Weber, C. D. Valle, A. J. Ramirez, User recommendations for the optimized execution of business processes, Data Knowl. Eng. 86 (0) (2013) 61-84 ISSN: 0169-023X.
4. D. Calvanese, G. De Giacomo, M. Montali, Foundations of data-aware process analysis: a database theory perspective, in: Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS, NewYork, NY, USA, 2013, pp. 1-12 ISBN: 978-1-4503-2066-5.
5. M. Castellanos, N. Salazar, F. Casati, U. Dayal, M.-C. Shan, Predictive business operations management, in: S. Bhalla (Ed.), Databases in Networked Information Systems, Lecture Notes in Computer Science, vol. 3433, Springer, Berlin Heidelberg, 2005, pp. 1-14 ISBN: 978-3-540-25361-7.
6. P. Cheeseman, B. Kanefsky, W. M. Taylor, Where the really hard problems are, in: J. Mylopoulos, R. Reiter (Eds.), Proceedings of the IJCAI, Morgan Kaufmann, 1991, pp. 331-340 ISBN: 1-55860-160-0.
7. Team choco solver, 2014, Choco 3.1.1. http://www.emn. fr/z-info/choco-solver/(accessed 23.10.15).
8. Bonita community, 2012, Bonita Open Solution. http://www.bonitasoft.org/ (accessed 23.10.15).
9. R. Conforti, M. de Leoni, M. L. Rosa, W. M. van der Aalst, Supporting risk-informed decisions during business process execution, in: Proceedings of the 25th International Conference on Advanced Information Systems Engineering (CAiSE'13), Springer, Berlin Heidelberg/Valencia, Spain, 2013, pp. 116-132 ISBN: 978-3-642-38708-1.
10. R. Dechter, Constraint Processing, Elsevier Morgan Kaufmann, 2003 ISBN: 978-1-55860-890-0.
11. G. De Giacomo, M. Dumas, F. M. Maggi, M. Montali, Declarative process modeling in BPMN, in: Advanced Information Systems Engineering, in: Lecture Notes in Computer Science, vol. 9097, Springer, Berlin Heidelberg, 2015, pp. 80-100 ISBN: 978-3-319-19068-6.
12. R. De Masellis, F. M. Maggi, M. Montali, Monitoring data-aware business constraints with finite state automata, in: Proceedings of the 2014 International Conference on Software and System Process. ICSSP 2014. ACM, New York, NY, USA, 2014, pp. 134-143 ISBN: 978-1-4503-2754-1.
13. J. Fabra, V. D. Castro, P. Älvarez, E. Marcos, Automatic execution of business process models: exploiting the benefits of model-driven engineering approaches, J. Syst. Softw. 85 (3) (2012) 607-625 ISSN: 0164-1212.
14. D. Fahland, D. Lubke, J. Mendling, H. Reijers, B. Weber, M. Weidlich, S. Zugal, Declarative versus imperative process modeling languages: the issue of understandability, in: Enterprise, Business-Process and Information Systems Modeling, in: Lecture Notes in Business Information Processing, vol. 29, Springer Berlin Heidelberg, 2009, pp. 353-366 ISBN: 978-3-642-01861-9.
15. D. Fahland, J. Mendling, H. Reijers, B. Weber, M. Weidlich, S. Zugal, Declarative versus imperative process modeling languages: The issue of maintainability, in: Business Process Management Workshops, in: Lecture Notes in Business Information Processing, vol. 43, Springer, Berlin Heidelberg, 2010, pp. 477-488 ISBN: 978-3-642-12185-2.
16. E. Foundations, Epsilon (2014a). https://www.eclipse.org/epsilon/ (accessed 24.04.14).
17. E. Foundations, Epsilon Transformation Language (2014b). http://www.eclipse.org/epsilon/doc/etl/ (accessed 24.10.14).
18. S. Goedertier, J. Vanthienen, Designing compliant business processes with obligations and permissions, in: Business Process Management Workshops, in: Lecture Notes in Business Information Processing, vol. 4103, Springer, Berlin Heidelberg, 2006a, pp. 5-14 ISBN: 978-3-540-38444-1.
19. S. Goedertier, J. Vanthienen, Business Rules for Compliant Business Process Models, in: Proceedings of the 9th International Conference on Business Information Systems, BIS Klagenfurt, Austria, 2006b, pp. 558-572 ISBN: 3-88579-179-X.
20. S. Goedertier, J. Vanthienen, Em-bra2ce v0.1: Avocabulary and execution model for declarative business process modeling, in: Department of Decision Sciences and Information Management - KBI, 2007.
21. S. Goedertier, C. Mues, J. Vanthienen, Specifying process-aware access control rules in SBVR, in: A. Paschke, Y. Biletskiy (Eds.), Advances in Rule Interchange and Applications, Lecture Notes in Computer Science, vol. 4824, Springer, Berlin Heidelberg, 2007, pp. 39-52 ISBN: 978-3-540-75974-4.
22. S. Goedertier, J. Vanthienen, Declarative process modeling with business vocabulary and business rules, in: Proceedings of the 2007 OTM Confederated International Conference on the Move to Meaningful Internet Systems - Volume Part I, OTM'07, Springer-Verlag, Berlin, Heidelberg, 2007, pp. 603-612 ISBN: 978-3-540-76887-6.
23. M. T. Gómez-López, R. M. Gasca, Run-time auditing for business processes data using constraints, in: Business Process Management Workshops, in: Lecture Notes in Business Information Processing, vol. 66, Springer Berlin Heidelberg, 2010, pp. 146-157 ISBN: 978-3-642-20510-1.
24. M. T. Gómez-López, R. M. Gasca, L. Parody, D. Borrego, Constraint-driven approach to support input data decision-making in business process management systems, in: Proceedings of the 25th International Conference on Information System Development. ISD 2011, Springer, 2011, pp. 15-25 ISBN: 978-1-4614-4950-8.
25. S.-M. Huang, Y.-T. Chu, S.-H. Li, D. C. Yen, Enhancing conflict detecting mechanism for web services composition: A business process flow model transformation approach, Inf. Softw. Technol. 50 (11) (2008) 1069-1087 ISSN: 0950-5849.
26. A. J. Ramirez, I. Barba, C. D. Valle, B. Weber, Generating multi-objective optimized business process enactment plans, in: Proceedings of the 25th International Conference on Advanced Information Systems Engineering. CAISE'13, 2013, pp. 99-115 ISBN: 978-3-642-38708-1.
27. D. Knuplesch, L. T. Ly, S. Rinderle-Ma, H. Pfeifer, P. Dadam, On enabling data-aware compliance checking of business process models, in: Conceptual Modeling - ER, Lecture Notes in Computer Science, Springer, Berlin, Heidelberg, 2010, pp. 332-346 ISBN: 978-3-642-16372-2.
28. R. A. Kowalski, M. J. Sergot, A logic-based calculus of events, New Gener. Comput. 4 (1) (1986) 67-95 ISSN: 0288-3635.
29. A. Krzysztof, Principles of Constraint Programming, Ed., Cambridge University Press, NewYork, NY, USA, 2003 ISBN: 978-0-521-12549-9.
30. B. Li, J. Iijima, A Hybrid Approach for Business Process Verification, in: Research and Practical Issues of Enterprise Information Systems II, vol. 254, IFIP The International Federation for Information Processing, 2008, pp. 1-9ISBN: 978-1-4757-0563-8.
31. L. T. Ly, S. Rinderle-Ma, P. Dadam, Integration and verification of semantic constraints in adaptive process management systems, Data Knowl. Eng. 64 (1) (2008) 3-23 ISSN: 0169-023X.
32. L. T. Ly, S. Rinderle-Ma, P. Dadam, Design and verification of instantiable compliance rule graphs in process-aware information systems, in: Proceedings of the 22th International Conference on Advanced Information Systems Engineering. CAISE'10, 2010, pp. 9-23 ISBN: 978-3-642-13093-9.
33. L. T. Ly, S. Rinderle-Ma, D. Knuplesch, P. Dadam, Monitoring business process compliance using compliance rule graphs, in: Proceedings of the 19th International Conference on Cooperative Information Systems (CoopIS 2011), in: Volume 7044 of LNCS, Springer, 2011, pp. 82-99 ISBN: 978-3-642-25108-5.
34. F. M. Maggi, M. Montali, M. Westergaard, W. van der Aalst, Monitoring business constraints with linear temporal logic: an approach based on colored automata, in: Proceedings of the 9th International Conference on Business Process Management, Springer-Verlag, 2011, pp. 132-147 ISBN: 978-3-642-23058-5.
35. F. M. Maggi, M. Westergaard, M. Montali, W. van der Aalst, Runtime Verification of LTL-Based Declarative Process Models, in: Proceedings of RV, in: LNCS, Springer-Verlag, 2011c ISBN: 978-3-642-29859-2.
36. F. M. Maggi, M. Dumas, L. G.-B. nuelos, M. Montali, Discovering data-aware declarative process models from event logs, in: F. Daniel, J. Wang, B. Weber (Eds.), Business Process Management, Lecture Notes in Computer Science, vol. 8094, Springer, Berlin Heidelberg, 2013a, pp. 81-96 ISBN: 978-3-642-40175-6.
37. F. M. Maggi, C. D. Francescomarino, M. Dumas, C. Ghidini, Predictive Monitoring of Business Processes, CoRR abs/1312.4874 (2013b) ISBN: 978-1-4673-2318-5.
38. F. M. Maggi, T. Slaats, H. A. Reijers, The Automated Discovery of Hybrid Processess, in: Business Process Management, in: Lecture Notes in Computer Science, vol. 8659, Springer Berlin Heidelberg, 2014, pp. 392-399 ISBN: 978-3-319-10171-2.
39. M. Le, B. Gabrys, D. Nauck, A hybrid model for business process event and outcome prediction, Expert Syst. (2014) ISSN: 1468-0394.
40. F. M. Maggi, M. Westergaard, W. M. P. van der Aalst, F. Staff, M. Pesic, H. Schonenberg, Declare tool (2014) (accessed 24.02.14).
41. A. Meyer, L. Pufahl, D. Fahland, M. Weske, Modeling and enacting complex data dependencies in business processes, in: Business Process Management, in: Lecture Notes in Computer Science, vol. 8094, Springer Berlin Heidelberg, 2013, pp. 171-186ISBN: 978-3-642-40175-6.
42. A. Meyer, S. Smirnov, M. Weske, Data in business processes, EMISA Forum 31 (3) (2011) 5-31.
43. M. Montali, Specification and Verification of Declarative Open Interaction Models - A Logic-Based Approach, in: Lecture Notes in Business Information Processing, vol. 56, Springer, 2010 ISBN: 978-3-642-14537-7.
44. M. Montali, F. Chesani, P. Mello, F. M. Maggi, Towards data-aware constraints in declare, in: Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC'13, ACM, 2013, pp. 1391-1396 ISBN: 978-1-4503-1656-9.
45. M. Montali, F. M. Maggi, F. Chesani, P. Mello, W. M. P. van der Aalst, Monitoring business constraints with the event calculus, ACM Trans. Intell. Syst. Technol. 5 (1) (2014) 17:1-17:30 ISSN: 2157-6904.
46. M. Montali, Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach, University of Bologna, 2009 (Ph.d. thesis).
47. B. V. Nuffelen, A. C. Kakas, A-system: declarative programming with abduction, in: Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2001, vol. 2173, Springer, Vienna, Austria, September 17-19, 2001, pp. 393-396 ISBN: 3-540-42593-4.
48. OMG, Business Process Model and Notation (BPMN) Version 2.0. Object Management Group Standard (2011).
49. L. Parody, M. T. Gómez-López, R. M. Gasca, Extending BPMN 2.0 for modelling the combination of activities that involve data constraints, in: J. Mendling, M. Weidlich (Eds.), BPMN, Lecture Notes in Business Information Processing, vol. 125, Springer, 2012a, pp. 68-82 ISBN: 978-3-642-33154-1.
50. L. Parody, M. T. Gómez-López, R. M. Gasca, A. J. Varela-Vaca, Improvement of optimization agreements in business processes involving web services, Commun. IBIMA, 2012 (2012b), doi:10.5171/2012.959796.
51. M. Pesic, W. M. P. van der Aalst, A declarative approach for flexible business processes management, in: J. Eder, S. Dustdar (Eds.), Business Process Management Workshops, Lecture Notes in Computer Science, vol. 4103, Springer, 2006, pp. 169-180 ISBN: 978-3-540-38444-1.
52. M. Pesic, Constraint-Based Workflow Management Systems: Shifting Control to Users, Technische Universiteit Eindhoven, 2008 (Ph. D. thesis).
53. M. Pesic, H. Schonenberg, W. M. P. van der Aalst, Declarative workflow, in: A. H. M. ter Hofstede, W. M. P. van der Aalst, M. Adams, N. Russell (Eds.), Modern Business Process Automation, Springer, 2010, pp. 175-201 ISBN: 978-3-642-03121-2.
54. P. Pichler, B. Weber, S. Zugal, J. Pinggera, J. Mendling, H. A. Reijers, Imperative versus declarative process modeling languages: an empirical investigation, in: Business Process Management Workshops (1), in: Lecture Notes in Business Information Processing, vol. 99, Springer, 2011, pp. 383-394ISBN: 978-3-642-28107-5.
55. M. Reichert, B. Weber, Enabling Flexibility in Process-Aware Information Systems - Challenges, Methods, Technologies, Springer, 2012 ISBN: 978-3-642-30408-8.
56. H. A. Reijers, T. Slaats, C. Stahl, Declarative modelingan academic dream or the future for BPM?, in: F. Daniel, J. Wang, B. Weber (Eds.) Business Pprocess Management 2013, Lecture Notes in Business Information Processing, vol. 8094, Springer, 2013, p. 307322 ISBN: 978-3-642-40175-6.
57. W. D. Roover, F. Caron, J. Vanthienen, A prototype tool for the event-driven enforcement of SBVR business rules, in: F. Daniel, K. Barkaoui, S. Dustdar (Eds.), Business Process ManagementWorkshops (1), Lecture Notes in Business Information Processing, vol. 99, Springer, 2011, pp. 446-457 ISBN: 978-3-642-28107-5.
58. G. Rummler, A. Brache, Improving Performance: How to Manage the White Space on the Organization Chart, Jossey-Bass, San Francisco, CA, 1995 ISBN: 978-1-118-14370-4.
59. I. Rychkova, G. Regev, A. Wegmann, High-level design and analysis of business processes: the advantages of declarative specifications, in: O. Pastor, A. Flory, J.-L. Cavarero (Eds.), Proceedings of the RCIS, IEEE, 2008a, pp. 99-110 ISBN: 978-1-4244-1677-6.
60. I. Rychkova, G. Regev, A. Wegmann, Using declarative specifications in business process design, Int. J. Comput. Sci. Appl. 5 (3b) (2008b) 45-68.
61. I. Rychkova, S. Nurcan, Towards adaptability and control for knowledge-intensive business processes: Declarative configurable process specifications, in: Proceedings of the HICSS, 2011a, pp. 1-10 ISBN: 978-1-4244-9618-1.
62. I. Rychkova, S. Nurcan, The old therapy for the new problem: declarative configurable process specifications for the adaptive case management support, in: Business Process Management Workshops, in: Lecture Notes in Business Information Processing, vol. 66, Springer Berlin Heidelberg, 2011b, pp. 420-432 ISBN: 978-3-642-20510-1.
63. S. W. Sadiq, M. E. Orlowska, W. Sadiq, Specification and validation of process constraints for flexible workflows, Inf. Syst, 30 (5) (2005) 349-378 ISSN: 0306-4379.
64. S. Sadiq, M. Orlowska, J. Lin, W. Sadiq, Quality of service in flexible workflows through process constraints, in: C.-S. Chen, J. Filipe, I. Seruca, J. Cordeiro (Eds.), Enterprise Information Systems VII, Springer Netherlands, 2006, pp. 187-195 ISBN: 978-1-4020-5323-8.
65. OMG, Semantics of business vocabulary and business rules (SBVR) (2008) (accessed 24.02.14).
66. H. Schonenberg, B. Weber, B. F. van Dongen, W. M. P. van der Aalst, Supporting flexible processes through recommendations based on history, in: M. Dumas, M. Reichert, M.-C. Shan (Eds.), BPM, Lecture Notes in Computer Science, vol. 5240, Springer, 2008, pp. 51-66 ISBN: 978-3-540-85758-7.
67. V. Torres, V. Pelechano, Building business process driven web applications, in: S. Dustdar, J. L. Fiadeiro, A. P. Sheth (Eds.), Business Process Management, Lecture Notes in Computer Science, vol. 4102, Springer, 2006, pp. 322-337 ISBN: 3-540-38901-6.
68. W. M. P. V.d. Aalst, M. Stoffele, J. Wamelink, Case handling in construction, Autom. Constr. 12 (3) (2003) 303-320 ISSN: 0926-5805.
69. W. M. P. van der Aalst, M. Weske, D. Grúbauer, Case handling: A new paradigm for business process support, Data Knowl. Eng. 53 (2) (2005) 129-162 ISSN: 0169-023X.
70. W. M. P. van der Aalst, C. Stahl, A Petri Net-Oriented Approach, The MIT Press, 2011 ISBN: 978-0-262-01538-7.
71. R. J. Wallace, Directed arc consistency preprocessing, Constraint Processing, Selected Papers, Springer-Verlag, London, UK, 1995, pp. 121-137 ISBN: 3-540-59479-5.
72. B. Weber, S. W. Sadiq, M. Reichert, Beyond rigidity - dynamic process lifecycle support, Comput. Sci. R&D 23 (2) (2009) 47-65 ISSN: 1865-2034.
73. M. Weske, Business Process Management: Concepts, Languages, Architectures, Springer, 2007 ISBN: 978-3-540-73521-2.
74. M. Weske, Formal foundation and conceptual design of dynamic adaptations in a workflow management system, in: Proceedings of the 34th Annual Hawaii International Conference on System Sciences, 2001, 2001, p. 10. ISBN: 0-7695-0981-9.
75. M. Westergaard, Better algorithms for analyzing and enacting declarative workflow languages using ltl, in: S. Rinderle-Ma, F. Toumani, K. Wolf (Eds.), Business Process Management, Lecture Notes in Computer Science, vol. 6896, Springer Berlin Heidelberg, 2011, pp. 83-98 ISBN: 978-3-642-23059-2.
76. X. Zhou, S. Sadiq, S. H. Tao, X. Li, M. A. Sharaf, Z. Huang, K. Zheng, J. Hunter, P. Green, M. Indulska, Data Centric Research at The University of Queensland, Sigmod Rec. 42 (3) (2013) 63-68 ISSN: 0163-5808.
77. S. Zugal, P. Soffer, J. Pinggera, B. Weber, Expressiveness and understandability considerations of hierarchy in declarative business process models, in: I. Bider, T. Halpin, J. Krogstie, S. Nurcan, E. Proper, R. Schmidt, P. Soffer, S. Wrycza (Eds.), Enterprise, Business-Process and Information Systems Modeling, Lecture Notes in Business Information Processing, vol. 113, Springer Berlin Heidelberg, 2012, pp. 167-181 ISBN: 978-3-642-31072-0.