Variance in business process execution can be the result of several situations, such as
disconnection between documented models and business operations, workarounds in spite …

Organizations often change their business processes in reaction to changes in the
environment or as a result of improvement efforts. These changes lead to adjustments in the …

We investigate the problem of web service instances migration in the context of business
protocol evolution, ie, how to convert active instances of web services from an old version of …

In this work, we present a new constraint-based workflow definition language called Saturn,
which uses Linear-time Temporal Logic (LTL) to express workflow constraints. A declarative …

Workflow technology has been typically used to automate well defined and repetitive
business processes. The application of workflow systems to non-traditional, and more …

Blockchains have been proposed as infrastructure technology for a wide variety of
applications. They provide an immutable record of transactions, making them useful when …

支持动态可变的特性是实际应用对工作流系统提出的要求, 已有的研究在表达能力和算法复杂度
等方面存在问题. 本文以形式化的工作流模型——同步网为基础, 从逻辑和语义两个角度定义了 …

Nowadays, the pace of business change is such that, increasingly, new functionality has to
be realized and reliably installed in a matter of days, or even hours. Consequently, more and …

The paper presents a taxonomy of notions of consistency in the context of dynamic migration
of business processes covering two decades of research on dynamic process change in …

Workflow reconfiguration traditionally involves modifying workflow specifications to adapt to
changing architectural conditions. Causes include the introduction of new services or the …