A GUI modeling DSL for pattern-based GUI testing PARADIGM
object constraint language ( ocl ) : a definitive guide .