How to Improve the Production Process for interactive TV with semi-formal Methods

The central question for this paper is how to improve the production process by closing the gap between industrial designers and software engineers of television(TV)-based User Interfaces (UI) in an industrial environment. Software engineers are highly interested whether one UI design can be converted into several fully functional UIs for TV products with different screen properties. The aim of the software engineers is to apply automatic layout and scaling in order to speed up and improve the production process. However, the question is whether a UI design lends itself for such automatic layout and scaling. This is investigated by analysing a prototype UI design done by industrial designers. In a first requirements study, industrial designers had created meta-annotations on top of their UI design in order to disclose their design rationale for discussions with software engineers. In a second study, five (out of ten) industrial designers assessed the potential of four different meta-annotation approaches. The question was which annotation method industrial designers would prefer and whether it could satisfy the technical requirements of the software engineering process. One main result is that the industrial designers preferred the method they were already familiar with, which therefore seems to be the most effective one although the main objective of automatic layout and scaling could still not be achieved.

Generalizability and Applicability of Model-Based Business Process Compliance-Checking Approaches – A State-of-the-Art Analysis and Research Roadmap

With a steady increase of regulatory requirements for business processes, automation support of compliance management is a field garnering increasing attention in Information Systems research. Several approaches have been developed to support compliance checking of process models. One major challenge for such approaches is their ability to handle different modeling techniques and compliance rules in order to enable widespread adoption and application. Applying a structured literature search strategy, we reflect and discuss compliance-checking approaches in order to provide an insight into their generalizability and evaluation. The results imply that current approaches mainly focus on special modeling techniques and/or a restricted set of types of compliance rules. Most approaches abstain from real-world evaluation which raises the question of their practical applicability. Referring to the search results, we propose a roadmap for further research in model-based business process compliance checking.

Process Gas Infiltration in Inconel 718 Samples during SLM Processing

Argon infiltration is a well-known problem of hot isostatic pressed components. Thus, the argon content is one quality attribute which is measured after a hot isostatic pressing (HIP) process. Since the Selective Laser Melting (SLM) process takes place under an inert argon atmosphere; it is imaginable that argon is entrapped in the component after SLM processing. Despite using optimized process parameters, defects like pores and shrink holes cannot be completely avoided. Especially, pores could be filled with process gas during the building process. Argon filled pores would clearly affect the mechanical properties. The present paper takes a closer look at the porosity in Inconel 718 samples, which were generated by means of SLM. Furthermore, the argon content of the powder feedstock, of samples made by means of SLM, of samples which were hot isostatic pressed after the SLM process, and of conventionally manufactured samples were measured and compared. The results showed an increased argon content in the Inconel 718 samples after SLM processing compared to conventional manufactured samples.