cfaed Seminar Series
cfAED Seminar Series
Dr. Steffen Zschaler , Department of Informatics, King's College, London
Build your analyser - Flexible composition and reuse of specification and analysis tools for non-functional properties
, 13:00 - 14:30
TU Dresden, Barkhausenbau, room BAR II / 63a , Georg-Schumann-Str. 11 , 01187 Dresden
Non-functional properties (NfPs) of systems---for example, performance or reliability---are key to the success of a system development. To avoid costly fixes late in development, it is important to enable predictive analysis of these properties as early as possible. There has been extensive research in enabling such predictive analysis, primarily for performance properties. However, all of these approaches share two issues: 1) the semantics of the analysis techniques are often deeply embedded in complicated transformations, and 2) concerns of system design and analysis are tightly tangled in the realisation of these analysis systems.
In this talk, we will explore an alternative approach to modelling non-functional properties. We will harness the power of meta-modelling and model transformations to help achieve two goals: 1) a generic framework for specifying and analysing a broad range of non-functional properties, and 2) a modular specification of non-functional property semantics and analysis techniques enabling the flexible composition of analysers for particular combinations of properties. Our approach is underpinned by a category-theoretic framework for the amalgamation of graph-transformation systems, enabling us to provide proofs of semantic preservation in the composition of NfP analysers and system specifications.
This is ongoing research in collaboration with Francisco Duran from the University of Malaga. The talk will present the current state of our work as well as current limitations and future challenges.
Steffen Zschaler is a lecturer in software engineering at King's College London, UK. His research interests are in MDE, with a particular focus on modularity and reuse as well as the modelling and analysis of non-functional properties. Most recently, he has worked on composition of transformation-based DSL semantics and flexible notions of typing for model-management operations. He has published around 90 scientific publications and has co-founded two series of workshops: MiSE at ICSE and NfC at MODELS. He received his Dr. rer. nat. from Technische Universität Dresden, Germany, in 2007.