Discovering workflow patterns in event-logs is important for many organizations to understand and optimize organizational processes. Although numerous algorithms have been proposed in the literature to discover patterns in sequences of symbols, most of them are inadequate to discover patterns in rich event-log data. In this paper, motivated by the analysis of patient pathways in the health doma...

Handling workflow transactional behavior remains a main problem to ensure a correct and reliable execution. It is obvious that the discovery, and the explanation of this behavior, would enable to better understand and control workflow recovery. Unfortunately, previous workflow mining works have concentrated their efforts on control flow aspects. Although powerful, these proposals are found lack...

BPEL is currently the most widespread language for composing Web services, but it lacks formal semantics. YAWL is a workflow language with a well defined formal semantics that implements the most common workflow patterns. In this paper we provide a methodology for translating BPEL processes into YAWL workflows, thus paving the way for the formal analysis, aggregation and adaptation of BPEL proc...

Traditionally, workflow modeling is typically done by interviews or questionnaires which stay quite limited for the acquisition of workflow models and their adaptation to changing requirements. In order to build such model, this paper proposes to “reverse the process”. The approach, we propose, is able to acquire workflow model from workflow log, which contains information about execution event...

As the number of services and the size of data involved in workflows increases, centralised orchestration techniques are reaching the limits of scalability. In the classic orchestration model, all data passes through a centralised engine, which results in unnecessary data transfer, wasted bandwidth and the engine to become a bottleneck to the execution of a workflow. This paper presents and eva...

Previous workflow mining works have concentrated their efforts on process behavioral aspects. Although powerful, these proposals are found lacking in functionalities and performance when used to discover transactional workflow that cannot be seen at the level of behavioral aspects of workflow. Their limitations mainly come from their incapacity to discover the transactional dependencies between...

Spacecraft software automatic testing plays an essential role in spacecraft testing field for a decade. However, less attention has been paid on it based on workflow methodology. In this paper we introduce workflow technology into testing for improving the automation of spacecraft software testing. Firstly we present a spacecraft testing process definition language STPDL. Then workflow patterns...

A collection of user interface design patterns for workflow information systems is presented. Each Workflow User Interface Pattern (WUIP) is characterized by properties expressed in the PLML markup language for expressing patterns and augmented by additional attributes and models attached to the pattern: the abstract user interface and the corresponding task model. These models are specified in...

In this paper, we present an approach to easily define flexible and reliable services compositions. We introduce a new concept called transactional patterns to specify flexible and reliable composite Web services. A transactional pattern is a convergence concept between workflow patterns and advanced transactional models. It can be seen as a coordination pattern and as a structured transaction....

One of the problem in business process reengineering is the identification and implementation of new workflow procedures for specific business processes, if they are not clearly defined. Analysis of unstructured (ad-hoc) activities cannot be based on traditional approaches using existing business procedures and expert knowledge. The method of business processes analysis in unstructured environm...