APPEL - AGILA ProPErty and Dependency Description Language

Konferenz: MBMV 2021 - 24. Workshop MBMV
18.03.2021 - 19.03.2021 in online

Tagungsband: ITG-Fb. 296: MBMV 2021

Seiten: 11Sprache: EnglischTyp: PDF

Grimm, Christoph; Wawrzik, Frank; Post, Sebastian; Koch, Johannes (TU Kaiserslautern, Germany)
Jung, Alexander Louis-Ferdinand; Luebeck, Konstantin; Bringmann, Oliver (Eberhard Karls Universität Tübingen, Germany)

We give an overview of the language APPEL, the “AGILA Property and Dependency Description Language”. It is part of the cloud-based tool AGILA that supports agile development methods. The language allows us to structure and document the knowledge about system-wide dependencies in a formal, textual form. APPEL models can be uploaded to the cloud, where they are used as a knowledge-base for continuous verification and validation, from early specification to run-time verification. We describe syntax, semantics, and demonstrate its application for predicting the performance of hardware/software systems in the context of the GENIAL! project.