When models of a system change, analyses based on them have to be reevaluated in order for the results to stay meaningful. In many cases, the time to get update

This book constitutes the refereed proceedings of the 11th International Conference on Model Transformation, ICMT 2018, held as part of STAF 2018, in Toulouse,

Complex software systems are described with multiple artifacts, such as code, design diagrams and others. Ensuring their consistency is crucial and can be autom

This work introduces architectural security analyses for detecting access violations and attack paths in software architectures. It integrates access control po