Abstract: At the early phase of software development, functional requirements of the software often need to be represented in the developer's language, resulting in a so-called analysis model. Current ...