Búsqueda avanzada

Towards a general architecture for predictive monitoring of business processes

Process mining allows the extraction of useful information from event logs and historical data of business processes. This information will improve the performance of these processes and is generally obtained after they have finished. Therefore, predictive monitoring of business process running instances is needed, in order to provide proactive and corrective actions to improve the process performance and mitigate the possible risks in real time. This monitoring allows the prediction of evaluation metrics for a runtime process. In this context, this work describes a general methodology for a business process monitoring system for the prediction of process performance indicators and their stages, such as, the processing and encoding of log events, the calculation of aggregated attributes or the application of a data mining algorithm.

A Family of Case Studies on Business Process Mining

Business processes, most of which are automated by information systems, have become a key asset in organizations. Unfortunately, uncontrolled maintenance implies that information systems age over time until they need to be modernized. During software modernization, ageing systems cannot be entirely discarded because they gradually embed meaningful business knowledge, which is not present in any other artifact. This paper presents a technique for recovering business processes from legacy systems in order to preserve that knowledge. The technique statically analyzes source code and generates a code model, which is later transformed by pattern matching into a business process model. This technique has been validated over a two year period in several industrial modernization projects. This paper reports the results of a family of case studies that were performed to empirically validate the technique using analysis and meta-analysis techniques. The study demonstrates the effectiveness and efficiency of the technique.

Timed Automata and Model Checking to Verify Business Processes

Currently, the use of Software Engineering methods has been shown to be useful in improving business modelling techniques as a result of their application to Business Process (BP)­modelling initiatives. Nowadays when the business process needs to be supported by Information Technology, the Unified Modeling Language (UML) is widely used for modelling. This paper presents the use of Timed Automata (TA) and Model Checking (MC) by their application to an example of a BP enterprise­project related to the Customer Relationship Management (CRM) business. The Uppaal tool is used in this work. With this proposal, the analysts and designers are supported in the development of the BP­task model associated with a BP design by using UML as the main modelling language. The application of the proposal is aimed at ensuring the correctness of the BP­task model with respect to the initial property specification derived from the business rules.