An overview of workflow management: from process modeling to workflow automation infrastructure
Distributed and Parallel Databases - Special issue on software support for work flow management
Machine Learning - special issue on inductive logic programming
Mining Process Models from Workflow Logs
EDBT '98 Proceedings of the 6th International Conference on Extending Database Technology: Advances in Database Technology
ALT '95 Proceedings of the 6th International Conference on Algorithmic Learning Theory
Integrity Constraints in ILP Using a Monte Carlo Approach
ILP '96 Selected Papers from the 6th International Workshop on Inductive Logic Programming
Workflow mining: a survey of issues and approaches
Data & Knowledge Engineering
Workflow Mining: Discovering Process Models from Event Logs
IEEE Transactions on Knowledge and Data Engineering
Discovering Expressive Process Models by Clustering Log Traces
IEEE Transactions on Knowledge and Data Engineering
NetBill security and transaction protocol
WOEC'95 Proceedings of the 1st conference on USENIX Workshop on Electronic Commerce - Volume 1
Verifiable agent interaction in abductive logic programming: The SCIFF framework
ACM Transactions on Computational Logic (TOCL)
DecSerFlow: towards a truly declarative service flow language
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Exploiting Inductive Logic Programming Techniques for Declarative Process Mining
Transactions on Petri Nets and Other Models of Concurrency II
Declarative specification and verification of service choreographiess
ACM Transactions on the Web (TWEB)
Inducing declarative logic-based models from labeled traces
BPM'07 Proceedings of the 5th international conference on Business process management
Probabilistic declarative process mining
KSEM'10 Proceedings of the 4th international conference on Knowledge science, engineering and management
Improved artificial negative event generation to enhance process event logs
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
Discovering data-aware declarative process models from event logs
BPM'13 Proceedings of the 11th international conference on Business Process Management
A Logic Framework for Incremental Learning of Process Models
Fundamenta Informaticae
| Hi-index | 0.02 |
The management of business processes has recently received a lot of attention. One of the most interesting problems is the description of a process model in a language that allows the checking of the compliance of a process execution (or trace) to the model. In this paper we propose a language for the representation of process models that is inspired to the SCIFF language and is an extension of clausal logic. A process model is represented in the language as a set of integrity constraints that allow conjunctive formulas as disjuncts in the head. We present an approach for inducing these models from data: we define a subsumption relation for the integrity constraints, we define a refinement operator and we adapt the algorithm ICL to the problem of learning such formulas. The system has been applied to the problem of inducing the model of a sealed bid auction and of the NetBill protocol. The data used for learning and testing were randomly generated from correct models of the processes.