Model Checking UML Models: State-of-the-Art and Challenges
Sprache des Vortragstitels:
Englisch
Original Tagungtitel:
Joint SVARM & VERIFY Workshop 2012 affiliated with IJCAR 2012
Sprache des Tagungstitel:
Englisch
Original Kurzfassung:
In model-driven engineering, software models are not primarily developed for
documentation and requirement specification purposes, but promoted to
first-class
development artifacts, from which executable code is generated. As a
consequence,
similar correctness requirements as imposed on program code are strongly
demanded
on these software models. Hence, there is a strong interest of adapting
verification
techniques applied for program code to models. In this talk, we review how
model
checking is applied on UML software models and discuss open challenges.
Sprache der Kurzfassung:
Englisch
Vortragstyp:
Hauptvortrag / Eingeladener Vortrag auf einer Tagung