Process configuration in YAWL

This chapter describes how the YAWL meta-model was extended to support the definition of variation points. These variation points can be used to describe different variants of a YAWL process model in a unified, configurable model. The model can then be configured to suit the needs of specific settings, e.g. for a new organization of project.

Correctness ensuring process configuration : an approach based on partner synthesis

A configurable process model describes a family of similar process models in a given domain. Such a model can be configured to obtain a specific process model that is subsequently used to handle individual cases, for instance, to process customer orders. Process configuration is notoriously difficult as there may be all kinds of interdependencies between configuration decisions.} In fact, an incorrect configuration may lead to behavioral issues such as deadlocks and livelocks. To address this problem, we present a novel verification approach inspired by the ``operating guidelines'' used for partner synthesis. We view the configuration process as an external service, and compute a characterization of all such services which meet particular requirements using the notion of configuration guideline. As a result, we can characterize all feasible configurations (i.\,e., configurations without behavioral problems) at design time, instead of repeatedly checking each individual configuration while configuring a process model.

Ensuring Correctness During Process Configuration via Partner Synthesis

Variants of the same process can be encountered within one organization or across different organizations. For example, different municipalities, courts, and rental agencies all need to support highly similar processes. In fact, procurement and sales processes can be found in almost any organization. However, despite these similarities, there is also the need to allow for local variations in a controlled manner. Therefore, many academics and practitioners have advocated the use of configurable process models (sometimes referred to as reference models). A configurable process model describes a family of similar process models in a given domain. Such a model can be configured to obtain a specific process model that is subsequently used to handle individual cases, for instance, to process customer orders. Process configuration is notoriously difficult as there may be all kinds of interdependencies between configuration decisions. In fact, an incorrect configuration may lead to behavioral issues such as deadlocks and livelocks. To address this problem, we present a novel verification approach inspired by the “operating guidelines” used for partner synthesis. We view the configuration process as an external service, and compute a characterization of all such services which meet particular requirements via the notion of configuration guideline. As a result, we can characterize all feasible configurations (i. e., configurations without behavioral problems) at design time, instead of repeatedly checking each individual configuration while configuring a process model.

Towards an understanding of model driven process configuration and its support at large

The common presupposition of Enterprise Systems (ES) is that they lead to significant efficiency gains. However, this is only the case for well-implemented ES that meet organisational requirements. The list of major ES implementation failures is as long as the list of success stories. We argue here that this arises from a more fundamental problem, the functionalist approach to ES development and provision. As long as vendors will continue to develop generic, difficult-to-adapt ES packages, this problem will prevail because organisations have a non-generic character. A solution to this problem can only consist in rethinking the way ES packages are provided. We propose a strict abstraction layer of ES functionalities and their representation as conceptual models. ES vendors must provide sufficient means for configuring these conceptual models. We discuss in this paper what generic situations can occur during process model configuration in order to understand process model configuration in depth.

Model-driven process configuration of enterprise systems

The configuration of comprehensive enterprise systems to meet the specific requirements of an organisation up to today is consuming significant resources. The results of failing or delayed enterprise system implementation projects are severe and may even threaten the organisation’s existence. One of the main drivers for implementing comprehensive enterprise systems is to streamline business processes. However, an intuitive conceptual support for business process configuration is insufficiently addressed by enterprise system vendors and inadequately researched in academia. This paper presents a model-driven approach to target this problem and proposes several configuration patterns that describe generic patterns of configuration alternatives, in order to understand what situations can occur during business process configuration. Based on these configuration patterns, a configuration notation is introduced that allows for visually highlighting configuration alternatives. Finally, we will sketch how configurable Event Driven Process Chains and the configuration of business processes can be supported using relational databases.

Integrated configuration of enterprise systems for interoperability : towards process model and business document specification alignment

Enterprise Systems (ES) can be understood as the de facto standard for holistic operational and managerial support within an organization. Most commonly ES are offered as commercial off-the-shelf packages, requiring customization in the user organization. This process is a complex and resource-intensive task, which often prevents small and midsize enterprises (SME) from undertaking configuration projects. Especially in the SME market independent software vendors provide pre-configured ES for a small customer base. The problem of ES configuration is shifted from the customer to the vendor, but remains critical. We argue that the yet unexplored link between process configuration and business document configuration must be closer examined as both types of configuration are closely tied to one another.

Controlled flexibility and lifecycle management of business processes through extensibility

Vendors provide reference process models as consolidated, off-the-shelf solutions to capture best practices in a given industry domain. Customers can then adapt these models to suit their specific requirements. Traditional process flexibility approaches facilitate this operation, but do not fully address it as they do not sufficiently take controlled change guided by vendors' reference models into account. This tension between the customer's freedom of adapting reference models, and the ability to incorporate with relatively low effort vendor-initiated reference model changes, thus needs to be carefully balanced. This paper introduces process extensibility as a new paradigm for customizing reference processes and managing their evolution over time. Process extensibility mandates a clear recognition of the different responsibilities and interests of reference model vendors and consumers, and is concerned with keeping the effort of customer-side reference model adaptations low while allowing sufficient room for model change.

YAWL : power through patterns

Workflow Management Systems (WfMSs) enable the development and maintenance of workflow specifications at design time and their execution and monitoring at runtime. The open source WfMS YAWL supports the YAWL language – a formally defined language based on Petri nets which offers comprehensive support for control-flow and resource patterns. In addition, the YAWL system provides extensive support for process flexibility, in particular for process configuration, exception handling, dynamic workflow and declarative workflow. Due to its formal foundation, sophisticated verification support can also be achieved. This paper presents the YAWL system and its main applications.

SAP webflow made configurable: unifying workflow templates into a configurable model

To facilitate the implementation of workflows, enterprise and workflow system vendors typically provide workflow templates for their software. Each of these templates depicts a variant of how the software supports a certain business process, allowing the user to save the effort of creating models and links to system components from scratch by selecting and activating the appropriate template. A combination of the strengths from different templates is however only achievable by manually adapting the templates which is cumbersome. We therefore suggest in this paper to combine different workflow templates into a single configurable workflow template. Using the workflow modeling language of SAP’s WebFlow engine, we show how such a configurable workflow modeling language can be created by identifying the configurable elements in the original language. Requirements imposed on configurations inhibit invalid configurations. Based on a default configuration such configurable templates can be used as easy as the traditional templates. The suggested approach is also applicable to other workflow modeling languages

A configurable airport reference model for passenger facilitation

The air transport industry is a complex environment facing many challenges while coping with changing global imperatives. International airport passenger facilitation is a part of the socio-technical system where these challenges manifest, impacting businesses in terms of time, cost and quality. This research inductively develops an extensible configurable reference model by capturing and merging the cross-organisational facilitation process from five Australian airports. The reference model can be filtered according to the contextual needs of airport users to inform relevant and accurate business process design. The domain and methodological contributions constitute the first reported application of questionnaire-based configurability to airport processes.

Modelling the evolution of uncertainty levels during design

Design work involves uncertainty that arises from, and influences, the progressive development of solutions. This paper analyses the influences of evolving uncertainty levels on the design process. We focus on uncertainties associated with choosing the values of design parameters, and do not consider in detail the issues that arise when parameters must first be identified. Aspects of uncertainty and its evolution are discussed, and a new task-based model is introduced to describe process behaviour in terms of changing uncertainty levels. The model is applied to study two process configuration problems based on aircraft wing design: one using an analytical solution and one using Monte-Carlo simulation. The applications show that modelling uncertainty levels during design can help assess management policies, such as how many concepts should be considered during design and to what level of accuracy. © 2011 Springer-Verlag.

Aplicació d'algoritmes genètics en l'optimització dels processos de fabricació del paper

La creciente preocupación y concienciación de la sociedad respecto el medio ambiente, y en consecuencia la legislación y regulaciones generadas inducen a la modificación de los procesos productivos existentes en la industria química. Las configuraciones iniciales deben modificarse para conseguir una mayor integración de procesos. Para este fin se han creado y desarrollado diferentes metodologías que deben facilitar la tarea a los responsables del rediseño. El desarrollo de una metodología y herramientas complementarias es el principal objetivo de la investigación aquí presentada, especialmente centrada en el desarrollo y la aplicación de una metodología de optimización de procesos. Esta metodología de optimización se aplica sobre configuraciones de proceso existentes y pretende encontrar nuevas configuraciones viables según los objetivos de optimización fijados. La metodología tiene dos partes diferenciadas: la primera se basa en un simulador de procesos comercial y la segunda es la técnica de optimización propiamente dicha. La metodología se inicia con la elaboración de una simulación convenientemente validada que reproduzca el proceso existente, en este caso una papelera no integrada que produce papel estucado de calidad, para impresión. A continuación la técnica de optimización realiza una búsqueda dentro del dominio de los posibles resultados, en busca de los mejores resultados que satisfazcan plenamente los objetivos planteados. Dicha técnica de optimización está basada en los algoritmos genéticos como herramienta de búsqueda, junto a un subprograma basado en técnicas de programación matemática para el cálculo de resultados. Un número reducido de resultados son finalmente escogidos y utilizados para modificar la simulación existente fijando la redistribución de los flujos del proceso. Los resultados de la simulación del proceso determinan en último caso la viabilidad técnica de cada reconfiguración planteada. En el proceso de optimización, los objetivos están definidos en una función objetivo dentro de la técnica de optimización. Dicha función rige la búsqueda de resultados. La función objetivo puede ser individual o una combinación de objetivos. En el presente caso, la función persigue una minimización del consumo de agua y una minimización de la pérdida de materia prima. La optimización se realiza bajo restricciones para alcanzar este objetivo combinado en forma de una solución de compromiso. Producto de la aplicación de esta metodología se han obtenido resultados interesantes que significan una mejora del cierre de circuitos y un ahorro de materia prima, sin comprometer al mismo tiempo la operabilidad del proceso producto ni la calidad del papel.

Catalysts and processes for next-generation H2 production

The present study is focused on the development of new VIII group metal on CeO2 – ZrO2 (CZO) catalyst to be used in reforming reaction for syngas production. The catalyst are tested in the oxyreforming process, extensively studied by Barbera [44] in a new multistep process configuration, with intermediate H2 membrane separation, that can be carried out at lower temperature (750°C) with respect the reforming processes (900 – 1000°C). In spite of the milder temperatures, the oxy-reforming conditions (S/C = 0.7; O2/C = 0.21) remain critical regarding the deactivation problems mainly deriving from thermal sintering and carbon formation phenomena. The combination of the high thermal stability characterizing the ZrO2, with the CeO2 redox properties, allows the formation of stable mixed oxide system with high oxygen mobility. This feature can be exploited in order to contrast the carbon deposition on the active metal surface through the oxidation of the carbon by means of the mobile oxygen atoms available at the surface of the CZO support. Ce0.5Zr0.5O2 is the phase claimed to have the highest oxygen mobility but its formation is difficult through classical synthesis (co-precipitation), hence a water-in-oil microemulsion method is, widely studied and characterized. Two methods (IWI and bulk) for the insertion of the active metal (Rh, Ru, Ni) are followed and their effects, mainly related to the metal stability and dispersion on the support, are discussed, correlating the characterization with the catalytic activity. Different parameters (calcination and reduction temperatures) are tuned to obtain the best catalytic system both in terms of activity and stability. Interesting results are obtained with impregnated and bulk catalysts, the latter representing a new class of catalysts. The best catalysts are also tested in a low temperature (350 – 500°C) steam reforming process and preliminary tests with H2 membrane separation have been also carried out.

A new strategy for selecting and evaluating physical solvents for gas absorption

This work describes how the physical properties of a solvent affect the design variables of a physical gas absorption process. The role of every property in determining the capital and the running cost of a process has been specified. Direct mathematical relationships have been formulated between every item of capital or running cost and the properties which are related to that item. The accuracy of the equations formulated has been checked by comparing their outcome with some actual design data. A good agreement has been found. The equations formulated may be used to evaluate on the basis of economics any suggested new solvents. A group of solvents were selected for evaluation. Their physical properties were estimated or collected as experimental data. The selected ones include three important solvents, the first is polyethylene glycol dimethyl ether (Selexol) which represents the currently most successful one, The other two solvents are acetonyl acetone (B2) and n-formyl morpholine which have been suggested previously as potential credible alternatives to the current ones. The important characteristics of: acetonyl acetone are its high solubility and its low viscosity, while the n-formyl morpholine is characterised by its low vapour pressure and its high selectivity. It was found that acetonyl acetone (B2) is the most attractive solvent for commercial applications particularly for process configurations that:include heat exchangers and strippers. The effect of the process configuration on the selected solvent was investigated in detail and it was found that there is no universal solvent which is the best for any process configuration, but that there is a best solvent for a given process configuration. In previous work, acetonyl acetone was suggested as a commercially promising physical solvent. That suggestion was not fully based on experimental measurement of all the physical properties. The viscosity of acetonyl acetone and its solubility at 1 atm were measured but the vapour pressure and the solubility of C02 and CH4 at high pressure were predicted. In this work, the solubilities of C02, CH4 and C3H8 in acetenyl acetone were measured for a partial pressure range of (2 ~ 22) bar at 25°C, The vapour pressure of this solvent was also measured, and the Antoine equation was formulated from tbe experimental data. The experimental data were found to be not In agreement with the predicted ones, so acetonyl acetone was re-evaluated according to the experimental data. It was found that this solvent can be recommended for further trials in a pilot plant study or for small scale commercial units.

Assessment of naproxen adsorption on bone char in aqueous solutions using batch and fixed-bed processes

An integrated analysis of naproxen adsorption on bone char in batch and packed-bed column conditions has been performed. Kinetic, thermodynamic and breakthrough parameters have been calculated using adsorption models and artificial neural networks. Results show that naproxen removal using bone char in batch conditions is a feasible and effective process, which could involve electrostatic and non-electrostatic interactions depending mainly on pH conditions. However, the application of packed-bed column for naproxen adsorption on bone char is not effective for the treatment of diluted solutions due to the low degree of adsorbent utilization (below 4%) at tested operating conditions. The proposed mechanism for naproxen removal using bone char could include a complexation process via phosphate and naproxen, hydrogen bonding and the possibility of hydrophobic interactions via π–π electron. This study highlights the relevance of performing an integrated analysis of adsorbent effectiveness in batch and dynamic conditions to establish the best process configuration for the removal of emerging water pollutants such as pharmaceuticals.