Now showing items 1-6 of 6
Generating Multi-objective Optimized Configurable Business Process Models
(IEEE Computer Society, 2012)
The manual specification of imperative business process (BP) models can be very complex and time-consuming, potentially leading to non-optimized models or even errors. To support process analysts in the definition of ...
Contract-based test generation for data flow of business processes using constraint programming
(IEEE Computer Society, 2011)
The verification of the properties of a business process (BP) has become a significant research topic in recent years. In the early stages of development, the BP model (e.g. BPMN, EPC), the BP contract (task ...
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, ...
User recommendations for the optimized execution of business processes
In order to be able to flexibly adjust a company's business processes (BPs) there is an increasing interest in flexible process-aware information systems (PAISs). This increasing flexibility, however, typically implies ...
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 ...
Conformance checking and diagnosis for declarative business process models in data-aware scenarios
A business process (BP) consists of a set of activities which are performed in coordination in an organizational and technical environment and which jointly realize a business goal. In such context, BP management (BPM) ...