Flexible Process Compliance with Semantic Constraints Using Mixed-Integer Programming

References

• Agency for Healthcare Research and Quality National Guideline Clearinghouse (NGC): A public resource for evidence-based clinical practice guidelines. . Accessed January 8, 2012, http://www.guideline.gov/Google Scholar
• Awad A, Weidlich M, Weske M. Specification, verification and explanation of violation for data aware compliance rules. 7th Internat. ICSOC-ServiceWave (2009) 5900(Springer-Verlag, Berlin, Heidelberg) 500–515Lecture Notes in Computer ScienceCrossref, Google Scholar
• Awad A, Weidlich M, Weske M. Visually specifying compliance rules and explaining their violations for business processes. J. Visual Languages Comput. (2011) 22(1):30–55Crossref, Google Scholar
• Bae J, Bae H, Kang SH, Kim Y. Automatic control of workflow processes using ECA rules. IEEE Trans. Knowledge and Data Engrg. (2004) 16(8):1010–1023Crossref, Google Scholar
• Blaser R, Schnabel M, Biber C, Bäumlein M, Heger O, Beyer M, Opitz E, Lenz R, Kuhn KA. Improving pathway compliance and clinician performance by using information technology. Internat. J. Medical Informatics (2007) 76(2–3):151–156Crossref, Google Scholar
• Chiu DKW, Li Q, Karlapalem K. A meta modeling approach to workflow management systems supporting exception handling. Inform. Systems (1999) 24(2):159–184Crossref, Google Scholar
• Governatori G, Sadiq S, Cardoso J, van der Aalst W. The journey to business process compliance. Handbook of Research on BPM (2009) (IGI Publishing, Hershey, PA) Crossref, Google Scholar
• Governatori G, Hoffmann J, Sadiq S, Weber I. Detecting regulatory compliance for business process models through semantic annotations. 4th Internat. Workshop Bus. Process Design, Milan (2009) September 2008Crossref, Google Scholar
• Huth M, Ryan M. Logic in Computer Science (2004) (Cambridge University Press, New York) Crossref, Google Scholar
• IBM ILOG CPLEX Optimization Studio, High-performance software for mathematical programming and optimization. (2010) . http://www-01.ibm.com/software/integration/optimization/cplex-optimizer/Google Scholar
• Kumar A, Yao W. Process materialization using templates and rules to design flexible process models. Internat. RuleML Sympos. Rule Interchange Appl., RULEML-2009 (2009) (Springer-Verlag, Berlin, Heidelberg) 122–136Google Scholar
• Liu Y, Müller S, Xu K. A static compliance-checking framework for business process models. IBM Systems J. (2007) 46(2):335–361Crossref, Google Scholar
• Lu R, Sadiq S, Governatori G. On managing business processes variants. Data Knowledge Engrg. (2009) 68(7):642–664Crossref, Google Scholar
• Ly LT, Rinderle S, Dadam P. Integration and verification of semantic constraints in adaptive process management systems. Data Knowledge Engrg. (2008) 64(1):3–23Crossref, Google Scholar
• Ly L, Rinderle-Ma S, Göser K, Dadam P. On enabling integrated process compliance with semantic constraints in process management systems. Infor. Systems Frontiers (2012) 14(2):195–219Crossref, Google Scholar
• Müller R, Greiner U, Rahm E. Agentwork: A workflow system supporting rule-based workflow adaptation. Data Knowledge Engrg. (2004) 51(2):223–256Crossref, Google Scholar
• Namiri K, Stojanovic N, Meersman R, Tari Z. Pattern-based design and validation of business process compliance. Proc. 2007 OTM Confederated Internat. Conf. (2007) (Springer-Verlag, Berlin) 59–76Crossref, Google Scholar
• OMG Business Process Modeling Notation (BPMN) Version 1.0. (2006) . OMG final adopted specification, http://www.omg.org/bpmn/Documents/BPMN_1-1_Specification.pdfGoogle Scholar
• Reichert M, Dadam P. ADEPT flex—Supporting dynamic changes of workflows without losing control. J. Intelligent Inform. Systems (1998) 10(2):93–129Crossref, Google Scholar
• Rinderle S, Reichert M, Dadam P. Correctness criteria for dynamic changes in workflow systems—A survey. Data Knowledge Engrg. (2004) 50(1):9–34Crossref, Google Scholar
• Sadiq S, Governatori G, Namiri K, Alonso G, Dadam P, Rosemann M. Modeling control objectives for business process compliance. BPM 2007 (2007) (Springer-Verlag, Berlin, Heidelberg) 149–164Crossref, Google Scholar
• Sadiq SW, Orlowska ME, Sadiq W. Specification and validation of process constraints for flexible workflows. Inform. Systems (2005) 30(5):349–378Crossref, Google Scholar
• Tan YH, Thoen W. Formal aspects of a generic model of trust for electronic commerce. Decision Support Systems (2002) 33(3):233–246Crossref, Google Scholar
• van der Aalst WMP, Pesic M, Schonenberg H. Declarative workflows: Balancing between flexibility and support. Comput. Sci.—Res. Development (2009) 23(2):99–113Crossref, Google Scholar
• van der Aalst WMP, Weske M, Grünbauer D. Case handling: A new paradigm for business process support. Data Knowledge Engrg. (2005) 53(2):129–162Crossref, Google Scholar
• Weber B, Reichert M, Rinderle-Ma S. Change patterns and change support features—Enhancing flexibility in process-aware information systems. Data Knowledge Engrg. (2008) 66(3):438–466Crossref, Google Scholar