Abstract
One of the key issues in software development, like in all engineering problems, is
to ensure that the product delivered meets its specification. Verification and validation
are well-established techniques for ensuring the quality of a product within the
overall software development lifecycle. With models being expressed in the Unified
Modeling Language, the application of verification and validation is complicated.
Firstly, concerning verification, a UML model is typically not the input language of
a verification tool. Secondly, with regards to validation, a UML model is also not
directly executable.
In this paper, we show how verification and validation can be achieved for UML
models. Within our approach, graph transformation techniques are applied for
automated translation of UML models into a language understood by a verification
tool or directly into an implementation. By the use of such semantic-preserving
transformations, both verification and validation can be lifted up to the model level,
allowing for a seamless integration of verification and validation into a UML-based
development process.
Users
Please
log in to take part in the discussion (add own reviews or comments).