The ever increasing popularity of model-based system- and software engineering has resulted in more and more systems---and more and more complex systems---being modeled. Hence, the problem of managing the complexity of the models themselves has gained importance. This paper introduces three abstractions that are specifically targeted at improving the scalability of the modeling process and the system models themselves.

ISoLA 2016: 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation