Prognosing the Compliance of Declarative Business Processes Using Event Trace Robustness
暂无分享,去创建一个
[1] José Miguel Pérez-Álvarez,et al. Compliance validation and diagnosis of business data constraints in business processes at runtime , 2015, Inf. Syst..
[2] S. Ramani,et al. Knowledge Based Computer Systems , 1990, Lecture Notes in Computer Science.
[3] Fabrizio Maria Maggi,et al. Predictive Monitoring of Business Processes , 2013, CAiSE.
[4] Stefanie Rinderle-Ma,et al. Assessing Medical Treatment Compliance Based on Formal Process Modeling , 2011, USAB.
[5] Jan Vanthienen,et al. Designing Compliant Business Processes with Obligations and Permissions , 2006, Business Process Management Workshops.
[6] Peter Struss. New Techniques in Model-Based Diagnosis , 1989, KBCS.
[7] Peter Dadam,et al. Monitoring Business Process Compliance Using Compliance Rule Graphs , 2011, OTM Conferences.
[8] Guido Governatori,et al. Compliance aware business process design , 2008 .
[9] Marek J. Sergot,et al. A logic-based calculus of events , 1989, New Generation Computing.
[10] Ricardo Seguel,et al. Process Mining Manifesto , 2011, Business Process Management Workshops.
[11] María Teresa Gómez López,et al. Decision-Making Support for the Correctness of Input Data at Runtime in Business Processes , 2014, Int. J. Cooperative Inf. Syst..
[12] Paola Mello,et al. Monitoring business constraints with the event calculus , 2013, ACM Trans. Intell. Syst. Technol..
[13] Perdita Stevens,et al. Modelling Recursive Calls with UML State Diagrams , 2003, FASE.
[14] Wil M. P. van der Aalst,et al. A Declarative Approach for Flexible Business Processes Management , 2006, Business Process Management Workshops.
[15] María Teresa Gómez López,et al. Data-Oriented Declarative Language for Optimizing Business Processes , 2013, ISD.
[16] Stefanie Rinderle-Ma,et al. On Utilizing Web Service Equivalence for Supporting the Composition Life Cycle , 2011, Int. J. Web Serv. Res..
[17] Marco Montali,et al. Runtime Verification of LTL-Based Declarative Process Models , 2011, RV.
[18] Marco Montali,et al. Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata , 2011, BPM.
[19] Emmanuel Hebrard,et al. Super Solutions in Constraint Programming , 2004, CPAIOR.
[20] Stefanie Rinderle-Ma,et al. On Analyzing Process Compliance in Skin Cancer Treatment: An Experience Report from the Evidence-Based Medical Compliance Cluster (EBMC2) , 2012, CAiSE.
[21] Andreas Holzinger,et al. Information Quality in e-Health - 7th Conference of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2011, Graz, Austria, November 25-26, 2011. Proceedings , 2011, USAB.
[22] Laurence A. Wolsey,et al. Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007, Proceedings , 2007, CPAIOR.
[23] Marco Montali,et al. A Framework for the Systematic Comparison and Evaluation of Compliance Monitoring Approaches , 2013, 2013 17th IEEE International Enterprise Distributed Object Computing Conference.
[24] Rina Dechter,et al. Constraint Processing , 1995, Lecture Notes in Computer Science.
[25] Marco Montali,et al. An Operational Decision Support Framework for Monitoring Business Constraints , 2012, FASE.
[26] Ilia Bider,et al. Logic of Change: Semantics of Object Systems with Active Relations , 2000, Automated Software Engineering.
[27] Tharam S. Dillon,et al. On the Move to Meaningful Internet Systems, OTM 2010 , 2010, Lecture Notes in Computer Science.
[28] Jan Vanthienen,et al. EM-BrA2CE v0.1: A Vocabulary and Execution Model for Declarative Business Process Modeling , 2007 .
[29] María Teresa Gómez López,et al. Explaining the Incorrect Temporal Events during Business Process Monitoring by Means of Compliance Rules and Model-Based Diagnosis , 2013, 2013 17th IEEE International Enterprise Distributed Object Computing Conference Workshops.
[30] Mathias Weske,et al. Case handling: a new paradigm for business process support , 2005, Data Knowl. Eng..
[31] Wil M. P. van der Aalst,et al. Supporting Risk-Informed Decisions during Business Process Execution , 2013, CAiSE.
[32] Maria E. Orlowska,et al. Specification and validation of process constraints for flexible workflows , 2005, Inf. Syst..