Abstractions for Modeling Complex Systems

TitleAbstractions for Modeling Complex Systems
Publication TypeConference Paper
Year of Publication2016
AuthorsLattmann, Z., T. Kecskes, P. Meijer, G. Karsai, P. Volgyesi, and A. Ledeczi
Conference NameISoLA 2016: 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Conference LocationCorfu, Greece

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.

AbstractionsForModelingComplexSystems.pdf697.83 KB