Questionnaire-based variability modeling for system configuration

Variability management is a recurrent issue in systems engineering. It arises for example in enterprise systems, where modules are configured and composed to meet the requirements of individual customers based on modifications to a reference model. It also manifests itself in the context of software product families, where variants of a system are built from a common code base. This paper proposes an approach to capture system variability based on questionnaire models that include order dependencies and domain constraints. The paper presents analysis techniques to detect circular dependencies and contradictory constraints in questionnaire models, as well as techniques to incrementally prevent invalid configurations by restricting the space of allowed answers to a question based on previous answers. The approach has been implemented as a toolset and has been used in practice to capture configurable process models for film post-production.

Using Selective Electron Beam Melting to Enhance the High-Temperature Strength and Creep Resistance of NiAl–28Cr–6Mo In Situ Composites

By increasing the density of interfaces in NiAl–CrMo in situ composites, the mechanical properties can be significantly improved compared to conventionally cast material. The refined microstructure is achieved by manufacturing through electron beam powder bed fusion (PBF-EB). By varying the process parameters, an equiaxed or columnar cell morphology can be obtained, exhibiting a plate-like or an interconnected network of the (Cr,Mo) reinforcement phase which is embedded in a NiAl matrix. The microstructure of the different cell morphologies is investigated in detail using scanning electron microscope, transmission electron microscopy, and atom probe tomography. For both morphologies, the mechanical properties at elevated temperatures are analyzed by compression and creep experiments parallel and perpendicular to the building direction. In comparison to cast NiAl and NiAl–(Cr, Mo), the yield strength of the PBF-EB fabricated specimens is significantly improved at temperatures up to 1,027 °C. While the columnar morphology exhibits the best improved mechanical properties at high temperatures, the equiaxial morphology shows nearly ideal isotropic mechanical behavior, which is a substantial advantage over directionally solidified material.     

Measurement and analysis of low-acceleration and long-duration longitudinal events using delivery van

This study investigates longitudinal acceleration events during freight transportation characterized as low-acceleration and long-duration using delivery van type vehicles. In the past several decades, there has been an increase in shipments requiring only single or small pallet load quantities and mixed palletized unit loads comprised of different goods. These loads are often transported in delivery vans without load securing devices, increasing the risk of product loss and damage due to load failures resulting from unit loads shifting. A field data acquisition system was used to observe and record the random acceleration events from five vehicles for 5 days, explicitly targeting the vehicles' braking and acceleration manoeuvres. The study aimed to understand the physical phenomenon and provide new information that can be used during preshipment tests to prevent damage to goods and ensure unit load integrity is maintained throughout the supply chain. The events were statistically analysed to understand their probability of occurrence, severity level, and quantify critical parameters such as event rise and hold times. For the braking manoeuvre, the statistical mean of average deceleration was 0.25 g with a corresponding rise and hold duration of 0.83 and 1.27 s, respectively. During the vehicle's acceleration manoeuvre, the statistical mean of average acceleration was 0.29 g with a rise and hold time of 1.29 and 1.39 s, respectively. Utilizing the field data, composite profiles were developed, and these profiles were compared to the currently available test procedures and previous results of other studies.     

Detection of stellate distortions in mammograms

Malignant densities in mammograms have an irregular appearance and frequently are surrounded by a radiating pattern of linear spicules. In this paper a method is described to detect such stellate patterns. This method is based on statistical analysis of a map of pixel orientations. If an increase of pixels pointing to a region is found, this region is marked as suspicious, especially if such an increase is found in many directions. Orientations of the image intensity map are determined at each pixel using a multiscale approach. At a given scale, accurate line-based orientation estimates are obtained from the output of three-directional, second-order, Gaussian derivative operators. The orientation at the scale at which these operators have maximum response is selected. If a line-like structure is present at a given site, this method provides an estimate of the orientation of this structure, whereas in other cases the image noise will generate a random orientation. The pixel orientation map is used to construct two operators which are sensitive to radial patterns of straight lines. Combination of the output of these operators using a classifier allows for detection of stellate patterns. Different classification methods have been compared and results obtained on a common database are presented. Around 90% of the malignant cases were detected at rate of one false positive (FP) per image.     

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.     

Configurable multi-perspective business process models

A configurable process model provides a consolidated view of a family of business processes. It promotes the reuse of proven practices by providing analysts with a generic modeling artifact from which to derive individual process models. Unfortunately, the scope of existing notations for configurable process modeling is restricted, thus hindering their applicability. Specifically, these notations focus on capturing tasks and control-flow dependencies, neglecting equally important ingredients of business processes such as data and resources. This research fills this gap by proposing a configurable process modeling notation incorporating features for capturing resources, data and physical objects involved in the performance of tasks. The proposal has been implemented in a toolset that assists analysts during the configuration phase and guarantees the correctness of the resulting process models. The approach has been validated by means of a case study from the film industry.     

A flexible,object-centric approach for business process modelling

Mainstream business process modelling techniques often promote a design paradigm wherein the activities that may be performed within a case, together with their usual execution order, form the backbone on top of which other aspects are anchored. This Fordist paradigm, while effective in standardised and production-oriented domains, breaks when confronted with processes in which case-by-case variations and exceptions are the norm. We contend that the effective design of flexible processes calls for a substantially different modelling paradigm. Motivated by requirements from the human services domain, we explore the hypothesis that a framework consisting of a small set of coordination concepts, combined with established object-oriented modelling principles, provides a suitable foundation for designing highly flexible processes. Several human service delivery processes have been designed using this framework, and the resulting models have been used to realise a system to support these processes in a pilot environment.     

Interactive Fibre Structure Visualization of the Heart

The heart consists of densely packed muscle fibres. The orientation of these fibres can be acquired by using Diffusion Tensor Imaging (DTI) ex vivo. A good way to visualize the fibre structure in a cross section of the heart is by showing short line segments originating from the cross section and aligned with the local direction of the fibres. If the line segments are placed dense enough, one can see how the fibre orientations change. However, generation of the line segments takes time and thus the user has to wait for new geometry to be generated when the plane defining the cross section is changed. We present a new direct rendering method for the visualization of the 3D vector field in a 2D user‐definable cross section of a heart. On the intersection of the plane with the vector field, the full 3D vectors are rendered as 3D line segments with a local ray casting approach. No preprocessing of the data is needed and no geometry is generated. This technique allows a fast inspection of the data to identify interesting areas where further analysis is necessary (e.g. quantification or generation of streamlines). We also show how the technique is generalized to other glyph shapes than line segments by implementing ellipsoids.     

Reduction rules for YAWL workflows with cancellation regions and OR-joins

As the need for concepts such as cancellation and OR-joins occurs naturally in business scenarios, comprehensive support in a workflow language is desirable. However, there is a clear trade-off between the expressive power of a language (i.e., introducing complex constructs such as cancellation and OR-joins) and ease of verification. When a workflow contains a large number of tasks and involves complex control flow dependencies, verification can take too much time or it may even be impossible. There are a number of different approaches to deal with this complexity. Reducing the size of the workflow, while preserving its essential properties with respect to a particular analysis problem, is one such approach. In this paper, we present a set of reduction rules for workflows with cancellation regions and OR-joins and demonstrate how they can be used to improve the efficiency of verification. Our results are presented in the context of the YAWL workflow language.     

Integrated control design for driver assistance systems based on LPV methods

The paper proposes a control design method for a driver assistance system. In the operation of the system, a predefined trajectory required by the driver with a steering command is followed. During manoeuvres the control system generates differential brake moment and the auxiliary front-wheel steering angle and changes the camber angles of the wheels in order to improve the tracking of the road trajectory. The performance specifications are guaranteed by the local controllers, i.e. the brake, the steering, and the suspension systems, while the coordination of these components is provided by the supervisor. The advantage of this architecture is that local controllers are designed independently, which is ensured by the fact that the monitoring signals are taken into consideration in the formalisation of their performance specifications. The fault-tolerant control can be achieved by incorporating the detected fault signals in their performance specifications. The control system also uses a driver model, with which the reference signal can be generated. In the control design, the parameter-dependent linear parameter-varyingmethod, which meets the performance specifications, is used. The operation of the control system is illustrated through different normal and emergency vehicle manoeuvres with a high-accuracy simulation software.