Verification of Time-Aware Business Processes using Constrained Horn Clauses
暂无分享,去创建一个
Alberto Pettorossi | Fabio Fioravanti | Maurizio Proietti | Emanuele De Angelis | Maria Chiara Meo | M. Meo | M. Proietti | F. Fioravanti | A. Pettorossi | E. D. Angelis
[1] Farhad Arbab,et al. Towards Using Reo for Compliance-Aware Business Process Modeling , 2008, ISoLA.
[2] Carlo Combi,et al. Conceptual modeling of flexible temporal workflows , 2012, TAAS.
[3] Michael J. Maher,et al. Constraint Logic Programming: A Survey , 1994, J. Log. Program..
[4] Viktor Kuncak,et al. A Verification Toolkit for Numerical Transition Systems - Tool Paper , 2012, FM.
[5] Carlo Combi,et al. Controllability in Temporal Conceptual Workflow Schemata , 2009, BPM.
[6] Pedro M. Gonzalez del Foyo,et al. USING TIME PETRI NETS FOR MODELING AND VERIFICATION OF TIMED CONSTRAINEDWORKFLOW SYSTEMS , 2007 .
[7] Marc Boyer,et al. Time Petri Nets , 2010 .
[8] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[9] Samir Tata,et al. Satisfaction and Coherence of Deadline Constraints in Inter-Organizational Workflows , 2010, OTM Conferences.
[10] Jan Mendling,et al. Beyond soundness: on the verification of semantic business process models , 2010, Distributed and Parallel Databases.
[11] Paola Mello,et al. Monitoring business constraints with the event calculus , 2013, ACM Trans. Intell. Syst. Technol..
[12] Diego Calvanese,et al. Verification of relational data-centric dynamic systems with external services , 2012, PODS '13.
[13] François Vernadat,et al. Time Petri Nets Analysis with TINA , 2006, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).
[14] Kunihiko Hiraishi,et al. Formal verification of business processes with temporal and resource constraints , 2011, 2011 IEEE International Conference on Systems, Man, and Cybernetics.
[15] John P. Gallagher,et al. Analysis of Imperative Programs through Analysis of Constraint Logic Programs , 1998, SAS.
[16] Maurizio Proietti,et al. Rule-based Behavioral Reasoning on Semantic Business Processes , 2013, ICAART.
[17] Saoussen Cheikhrouhou,et al. The temporal perspective in business process modeling: a survey and research challenges , 2014, Service Oriented Computing and Applications.
[18] Alberto Pettorossi,et al. Semantics-based generation of verification conditions by program specialization , 2015, PPDP.
[19] Sandro Etalle,et al. Transformations of CLP Modules , 1996, Theor. Comput. Sci..
[20] Wang Yi,et al. Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.
[21] Maurizio Proietti,et al. Reasoning on Data-Aware Business Processes with Constraint Logic , 2014, SIMPDA.
[22] Goetz Graefe,et al. A survey of B-tree logging and recovery techniques , 2012, ACM Trans. Database Syst..
[23] Mathias Weske,et al. Business Process Management: Concepts, Languages, Architectures , 2007 .
[24] M. Diaz,et al. Modeling and Verification of Time Dependent Systems Using Time Petri Nets , 1991, IEEE Trans. Software Eng..
[25] Alberto Pettorossi,et al. Semantics-based generation of verification conditions via program specialization , 2017, Sci. Comput. Program..
[26] Hailong Sun,et al. Towards Trustworthy Composite Service Through Business Process Model Verification , 2010, 2010 7th International Conference on Ubiquitous Intelligence & Computing and 7th International Conference on Autonomic & Trusted Computing.
[27] Denis Gagné,et al. Time-BPMN , 2009, 2009 IEEE Conference on Commerce and Enterprise Computing.
[28] Nikolaj Bjørner,et al. Horn Clause Solvers for Program Verification , 2015, Fields of Logic and Computation II.
[29] J. Lloyd. Foundations of Logic Programming , 1984, Symbolic Computation.
[30] Alberto Pettorossi,et al. VeriMAP: A Tool for Verifying Programs through Transformations , 2014, TACAS.
[31] Jeremy Gibbons,et al. A Relative Timed Semantics for BPMN , 2009, Electron. Notes Theor. Comput. Sci..
[32] Kenneth L. McMillan,et al. Computing Relational Fixed Points using Interpolation , 2013 .
[33] Nikolaj Bjørner,et al. Z3: An Efficient SMT Solver , 2008, TACAS.
[34] Alin Deutsch,et al. Artifact systems with data dependencies and arithmetic , 2012, TODS.
[35] Marek J. Sergot,et al. A logic-based calculus of events , 1989, New Generation Computing.