Business Process Modeling and Notation for Forensic-Ready Software Systems

Abstract. The design and development of secure systems is an important and challenging task. Moreover, the highly secure systems should also prepare for the eventuality that the employed security controls fail. With that in mind, forensic-ready software systems are by-design prepared for such eventuality and assists in the forensic investigation of the incident. However, the software engineering support for the systematic development of such software systems is rather sparse. To that end, this presentation introduces a novel modelling notation, BPMN for Forensic-Ready Software Systems (BMPN4FRSS), extending well-known BPMN with means to capture and enable reasoning over forensic-ready concerns. The approach is then demonstrated in a scenario to provide proper representation for forensic-ready controls, based on existing risks, to support the development and facilitate insight into potential evidence produced by forensic-ready software systems.

Speaker:  Lukáš Daubner

Smart City and Complexity

Abstract. In the talk, Leonard Walletzký will present the main ideas of Smart City research from the perspective of Service Science. The main question to be discussed is the development of the different approaches to Smart City structure and its understanding and usage. The main models developed in the Laboratory of service systems will be presented and their primary use and value for the development of real cities. 

Speaker: Leonard Walletzký