Abstract:
Practical model validation techniques are needed for model-driven development (MDD) techniques to succeed in an industrial setting. If models are to be used as the basis for generating machine-executable implementations one must be able to validate that the models are correct before they are transformed to code. This is particularly important for critical systems. In this presentation I will present an approach called UMLAnT that supports animation and testing of design models consisting of UML class, sequence and activity models.

Biography:
Dr. Robert France is currently a Professor in the Department of Computer Science at Colorado State University. His research interests are in the area of Software Engineering, in particular model-driven engineering, formal methods, design patterns, and domain-specific modeling languages. He is an editor-in-chief of the Springer journal on Software and System Modeling (SoSyM), and is a past Conference Chair and Steering Committee Chair of the UML/MODELS conference series. He was also a member of the revision task force for the UML 1.X standard.