Now showing items 1-5 of 5
Generating Multi-objective Optimized Configurable Business Process Models [Presentation]
(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 [Presentation]
(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 [Article]
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 [Article]
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 [Presentation]
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 ...