IBM Israel Research Seminars

Models are abstract descriptions of interesting phenomena. For building complex systems, we use a variety of different kinds of models (e.g., programs, tests, transformations, architectural descriptions) written in different languages. We need to be able to manage these models in sophisticated, automated ways.

We describe our experiences in modelling and model management, particularly for complex and critical systems, and talk about how we have evolved a set of integrated languages for supporting automated model management in a variety of domains.

About the Speaker
Richard Paige is a senior lecturer in software engineering at the University of York, UK. He completed his PhD at the University of Toronto in 1997. His research interests include object-oriented software development, model-driven development, software architecture, formal methods, and system security and safety. He is a member of the steering committee of the European Conference on Model Driven Architecture, and is programme chair for TOOLS Europe 2008.