The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
The aligning of event logs with process models is of great significance for process mining to enable conformance checking, process enhancement, performance analysis, and trace repairing. Since process models are increasingly complex and event logs may deviate from process models by exhibiting redundant, missing, and dislocated events, it is challenging to determine the optimal alignment for each event...
Event logs are of paramount significance for process mining and complex event processing. Yet, the quality of event logs remains a serious problem. Missing events of logs are usually caused by omitting manual recording, system failures, and hybrid storage of executions of different processes. It has been proved that the problem of minimum recovery based on a priori process specification is NP-hard...
WS-BPEL processes ought to be adaptable even at run-time so as to adapt to the changing environments and requirements. It is cost-ineffective and time-consuming to restart a running WS-BPEL instance from scratch after the WS-BPEL process is changed. Instead, a WS-BPEL instance had better be transferred to the updated process. Current approaches to validity checking of instance migration are too conservative...
The aim of process mining is to rediscover the process model from the event log which is recorded by the information system. Although the omnipresence of the event logs in information system, rarely part of them are considered to analyze the processes. In this paper, we present a new mining algorithm based on the event type we defined. This algorithm not only can detect all of the SWF-nets and short-loops,...
WS-BPEL processes can facilitate service discovery when the services have multiple interfaces in certain order. Current approaches derive the abstract WS-BPEL processes directly from the corresponding executable ones by hiding or omitting the internal activities. However, these simple approaches may prevent the services from being found by valuable potential partners at service discovery stage. To...
Workflow net is a popular formal notation for modeling workflow process. The order relation of the workflow net is the important information to describe the parallel relation, sequential relation and choice relation. From the state of the art of Petri net theory, there are two basic approaches for to analyze the order relations of the work-flow net: state space method and invariant method. State space...
In services and cloud computing, processes need to be continually adapted to changing environments and requirements. Undisciplined process adaptation could easily lead to data flow anomalies, e.g., input missing for some activities in the process. In this paper, we study the problem of data-flow-correctness-preserving adaptation and propose three important criteria that can maintain the data flow...
With the component-based development becoming the mainstream of software development, original component technologies focusing on describing the static information of components like interfaces and interactions seems to be weak in today's distributed and open software environment. In this paper we propose a new component model with component's behavior introduced in, supporting a flexible and extendable...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.