Preserving correctness during business process model configuration

A configurable process model captures a family of related process models in a single artifact. Such models are intended to be configured to fit the requirements of specific organizations or projects, leading to individualized process models that are subsequently used for domain analysis or solution design. This article proposes a formal foundation for individualizing configurable process models incrementally, while preserving correctness, both with respect to syntax and behavioral semantics. Specifically, assuming the configurable process model is behaviorally sound, the individualized process models are guaranteed to be sound. The theory is first developed in the context of Petri nets and then extended to a process modeling notation widely used in practice, namely Event-driven Process Chains.     

EcoTRADE – A multi-player network game of a tradable permit market for biodiversity credits

EcoTRADE is a multi-player network game of a virtual biodiversity credit market. Each player controls the land use of a certain amount of parcels on a virtual landscape. The biodiversity credits of a particular parcel depend on neighboring parcels, which may be owned by other players. The game can be used to study the strategies of players in experiments or classroom games and as a communication tool for stakeholders participating in credit markets that include spatially interdependent credits.     

Making it easier for older people to talk to smart homes: the effect of early help prompts

It is well known that help prompts shape how users talk to spoken dialogue systems. This study investigated the effect of help prompt placement on older users’ interaction with a smart home interface. In the dynamic help condition, help was only given in response to system errors; in the inherent help condition, it was also given at the start of each task. Fifteen older and sixteen younger users interacted with a smart home system using two different scenarios. Each scenario consisted of several tasks. The linguistic style users employed to communicate with the system (interaction style) was measured using the ratio of commands to the overall utterance length (keyword ratio) and the percentage of content words in the user’s utterance that could be understood by the system (shared vocabulary). While the timing of help prompts did not affect the interaction style of younger users, it was early task-specific help supported older users in adapting their interaction style to the system’s capabilities. Well-placed help prompts can significantly increase the usability of spoken dialogue systems for older people.     

Nonlinear ceramics for tunable microwave devices

The research on materials and systems for tunable microwave devices has gained attraction within the last years. The radio frequency characterization and the component design of tunable microwave components based on dielectric ceramics especially barium-strontium-titanate (BST) are presented in this second part, whereas the basic material properties are discussed in detail in the first part. After a short introduction to the processing technology used for the fabrication of tunable components based on a BST thick film, the relations between microwave properties and material properties as well as the microstructure are presented in detail. The design process for tunable microwave components based on BST thick films is described. Especially the considerations related to micro- and macrostructure and their connection are highlighted. The paper closes with two different application examples: a reconfigurable array antenna for satellite communication and varactors for high power applications.     

Solving a multi-level capacitated lot sizing problem with multi-period setup carry-over via a fix-and-optimize heuristic

This paper presents a new algorithm for the dynamic multi-level capacitated lot sizing problem with setup carry-overs (MLCLSP-L). The MLCLSP-L is a big-bucket model that allows the production of any number of products within a period, but it incorporates partial sequencing of the production orders in the sense that the first and the last products produced in a period are determined by the model. We solve a model which is applicable to general bill-of-material structures and which includes minimum lead times of one period and multi-period setup carry-overs. Our algorithm solves a series of mixed-integer linear programs in an iterative so-called fix-and-optimize approach. In each instance of these mixed-integer linear programs a large number of binary setup variables is fixed whereas only a small subset of these variables is optimized, together with the complete set of the inventory and lot size variables. A numerical study shows that the algorithm provides high-quality results and that the computational effort is moderate.     

Narrow Band FLIP for Liquid Simulations

The Fluid Implicit Particle method (FLIP) for liquid simulations uses particles to reduce numerical dissipation and provide important visual cues for events like complex splashes and small‐scale features near the liquid surface. Unfortunately, FLIP simulations can be computationally expensive, because they require a dense sampling of particles to fill the entire liquid volume. Furthermore, the vast majority of these FLIP particles contribute nothing to the fluid's visual appearance, especially for larger volumes of liquid. We present a method that only uses FLIP particles within a narrow band of the liquid surface, while efficiently representing the remaining inner volume on a regular grid. We show that a naïve realization of this idea introduces unstable and uncontrollable energy fluctuations, and we propose a novel coupling scheme between FLIP particles and regular grid which overcomes this problem. Our method drastically reduces the particle count and simulation times while yielding results that are nearly indistinguishable from regular FLIP simulations. Our approach is easy to integrate into any existing FLIP implementation.     

A complete strategy for efficient and accurate multibody dynamics of flexible structures with large lap joints considering contact and friction

This paper deals with the dynamics of jointed flexible structures in multibody simulations. Joints are areas where the surfaces of substructures come into contact, for example, screwed or bolted joints. Depending on the spatial distribution of the joint, the overall dynamic behavior can be influenced significantly. Therefore, it is essential to consider the nonlinear contact and friction phenomena over the entire joint. In multibody dynamics, flexible bodies are often treated by the use of reduction methods, such as component mode synthesis (CMS). For jointed flexible structures, it is important to accurately compute the local deformations inside the joint in order to get a realistic representation of the nonlinear contact and friction forces. CMS alone is not suitable for the capture of these local nonlinearities and therefore is extended in this paper with problem-oriented trial vectors. The computation of these trial vectors is based on trial vector derivatives of the CMS reduction base. This paper describes the application of this extended reduction method to general multibody systems, under consideration of the contact and friction forces in the vector of generalized forces and the Jacobian. To ensure accuracy and numerical efficiency, different contact and friction models are investigated and evaluated. The complete strategy is applied to a multibody system containing a multilayered flexible structure. The numerical results confirm that the method leads to accurate results with low computational effort.     

Interactive exploration of data traffic with Hierarchical Network Maps

Network communication has become indispensable in business, education and government. With the pervasive role of the Internet as a means of sharing information across networks, its misuse for destructive purposes, such as spreading malicious code, compromising remote hosts, or damaging data through unauthorized access, has grown immensely in the recent years. The classical way of monitoring the operation of large network systems is by analyzing the system logs for detecting anomalies. In this work, we introduce hierarchical network map, an interactive visualization technique for gaining a deeper insight into network flow behavior by means of user-driven visual exploration. Our approach is meant as an enhancement to conventional analysis methods based on statistics or machine learning. We use multidimensional modeling combined with position and display awareness to view source and target data of the hosts in a hierarchical fashion with the ability to interactively change the level of aggregation or apply filtering. The interdisciplinary approach integrating data warehouse technology, information visualization and decision support brings about the benefit of efficiently collecting the input data and aggregating over very large data sets, visualizing the results and providing interactivity to facilitate analytical reasoning     

Lieferantenportfolio-Management für IT-Services unter Berücksichtigung von Diversifikationseffekten

By means of service-oriented architectures the IT support of processes can be designed as a portfolio of individual IT services provided by different suppliers. The processes are designed based on selection decisions between IT services that potentially have to be included. Many companies formulate a multitude of requirements for investments in IT services at ever shorter intervals. However, the scope of the desired investments usually exceeds the available budget. Thus, companies face the challenge of allocating the limited budget to investments in the most promising combination of IT services. This is hardly possible without methodical support. In addition, the allocation is often done intuitively and subject to the decision-makers?? affinity with IT. Therefore, this paper develops a quantitative, multi-period procedure model for the purpose of maximizing the enterprise value in accordance with value based management, which considers the dependencies of the periodical selection decisions. In the following, a decision logic for the heuristic solution to the selection problem is presented and its application is demonstrated by means of an illustrative case example.