3,538 research outputs found
Automatic Generation of Optimized Process Models from Declarative Specifications
Process models often are generic, i. e., describe similar cases or contexts. For instance, a process model for commissioning can cover both vehicles with an automatic and with a manual transmission, by executing alternative tasks. A generic process model is not optimal compared to one tailored to a specific context. Given a declarative specification of the constraints and a specific context, we study how to automatically generate a good process model and propose a novel approach. We focus on the restricted case that there are not any repetitions of a task, as is the case in commissioning and elsewhere, e. g., manufacturing. Our approach uses a probabilistic search to find a good process model according to quality criteria. It can handle complex real-world specifications containing several hundred constraints and more than one hundred tasks. The process models generated with our scheme are superior (nearly twice as fast) to ones designed by professional modelers by hand
Automatic generation of optimized business process models from constraint-based specifications
Business process (BP) models are usually defined manually by business analysts through imperative languages considering activity properties, constraints imposed on the relations between the activities as well as different performance objectives. Furthermore, allocating resources is an additional challenge since scheduling may significantly impact BP performance. Therefore, the manual specification of BP models can be very complex and time-consuming, potentially leading to non-optimized models or even errors. To overcome these problems, this work proposes the automatic generation of imperative optimized BP models from declarative specifications. The static part of these declarative specifications (i.e. control-flow and resource constraints) is expected to be useful on a long-term basis. This static part is complemented with information that is less stable and which is potentially unknown until starting the BP execution, i.e. estimates related to (1) number of process instances which are being executed within a particular timeframe, (2) activity durations, and (3) resource availabilities. Unlike conventional proposals, an imperative BP model optimizing a set of instances is created and deployed on a short-term basis. To provide for run-time flexibility the proposed approach additionally allows decisions to be deferred to run-time by using complex late-planning activities, and the imperative BP model to be dynamically adapted during run-time using replanning. To validate the proposed approach, different performance measures for a set of test models of varying complexity are analyzed. The results indicate that, despite the NP-hard complexity of the problems, a satisfactory number of suitable solutions can be produced.Ministerio de Ciencia e Innovación TIN2009-1371
Optimized Time Management for Declarative Workflows
Declarative process models are increasingly used since they fit better
with the nature of flexible process-aware information systems and the requirements
of the stakeholders involved. When managing business processes, in addition,
support for representing time and reasoning about it becomes crucial. Given
a declarative process model, users may choose among different ways to execute
it, i.e., there exist numerous possible enactment plans, each one presenting specific
values for the given objective functions (e.g., overall completion time). This
paper suggests a method for generating optimized enactment plans (e.g., plans
minimizing overall completion time) from declarative process models with explicit
temporal constraints. The latter covers a number of well-known workflow
time patterns. The generated plans can be used for different purposes like providing
personal schedules to users, facilitating early detection of critical situations,
or predicting execution times for process activities. The proposed approach is
applied to a range of test models of varying complexity. Although the optimization
of process execution is a highly constrained problem, results indicate that
our approach produces a satisfactory number of suitable solutions, i.e., solutions
optimal in many cases
Generating optimized configurable business process models in scenarios subject to uncertainty
Context: The quality of business process models (i.e., software artifacts that capture the relations
between the organizational units of a business) is essential for enhancing the management of business
processes. However, such modeling is typically carried out manually. This is already challenging and time
consuming when (1) input uncertainty exists, (2) activities are related, and (3) resource allocation has to
be considered. When including optimization requirements regarding flexibility and robustness it
becomes even more complicated potentially resulting into non-optimized models, errors, and lack of
flexibility.
Objective: To facilitate the human work and to improve the resulting models in scenarios subject to
uncertainty, we propose a software-supported approach for automatically creating configurable business
process models from declarative specifications considering all the aforementioned requirements.
Method: First, the scenario is modeled through a declarative language which allows the analysts to specify
its variability and uncertainty. Thereafter, a set of optimized enactment plans (each one representing a
potential execution alternative) are generated from such a model considering the input uncertainty.
Finally, to deal with this uncertainty during run-time, a flexible configurable business process model is
created from these plans.
Results: To validate the proposed approach, we conduct a case study based on a real business which is
subject to uncertainty. Results indicate that our approach improves the actual performance of the business
and that the generated models support most of the uncertainty inherent to the business.
Conclusions: The proposed approach automatically selects the best part of the variability of a declarative
specification. Unlike existing approaches, our approach considers input uncertainty, the optimization of
multiple objective functions, as well as the resource and the control-flow perspectives. However, our
approach also presents a few limitations: (1) it is focused on the control-flow and the data perspective
is only partially addressed and (2) model attributes need to be estimated.Ministerio de Ciencia e Innovación TIN2009-1371
Generating Multi-objective Optimized Business Process Enactment Plans
Declarative business process (BP) models are increasingly
used allowing their users to specify what has to be done instead of how.
Due to their flexible nature, there are several enactment plans related to
a specific declarative model, each one presenting specific values for different
objective functions, e.g., completion time or profit. In this work, a
method for generating optimized BP enactment plans from declarative
specifications is proposed to optimize the performance of a process considering
multiple objectives. The plans can be used for different purposes,
e.g., providing recommendations. The proposed approach is validated
through an empirical evaluation based on a real-world case study.Ministerio de Ciencia e Innovación TIN2009-1371
- …