Department of Software Technology
The Fraunhofer-Gesellschaft supports young scientists with the Fraunhofer-Attract-Program to develop their ideas for industrial applications within the Fraunhofer institutes. The research group APEX (Architectures for Auditable Business Process Execution) promoted within this framework researches on IT-solutions for the industrialization of business processes in the insurance industry under the direction of Prof. Dr. Jan Jürjens.
The aim of APEX-research is to develop software engineering methodology. It comprises quality assurance throughout the different phases of the life-cycle of software systems, especially with regard to non-functional requirements. Main focus lies on IT-security requirements. The idea behind is to assure quality management by automatically analyzing artifacts, which are being created anyway within the context of the methods of software development and application. In this way additional expenditure can be minimized. Within the area of software development those can be specifications on the basis of Unified Modeling Language (UML). In the area of software application business process models can be used. The intention is to develop an automatic analysis tool on a formal basis, which check if those artifacts comply with the safety requirements.