Model Checking UML Models: State-of-the-Art and Challenges

Description

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.

Period	01 Jul 2012
Event title	Joint SVARM & VERIFY Workshop 2012 affiliated with IJCAR 2012
Event type	Conference
Location	United KingdomShow on map