Maoz, ShaharRingert, Jan OliverRumpe, BernhardAßmann, UweDemuth, BirgitSpitta, ThorstenPüschel, GeorgKaiser, Ronny2017-06-302017-06-302015978-3-88579-633-6The structure of component and connector (C\&C) models, which are used in many application domains of software engineering, consists of components at different containment levels, their typed input and output ports, and the connectors between them. C\&C views, presented in [MRR13], can be used to specify structural properties of C\&C models in an expressive and intuitive way.enVerifying component and connector models against crosscutting structural viewsText/Conference Paper1617-5468