Assigning Meanings to Models
From AtlanMod
< To: MtATL2009:Program
Abstract: Why do we model? Apart from to generating code, models can have (and should have) many different usages in the realm of Software Engineering including, e.g., understanding and reasoning about the system under study, simulating it, or analyzing its properties before the system is built. For these tasks we need to be able to make questions about the model, and therefore count on languages for expressing both the models and the questions, at the right level of abstraction, and using the appropriate notations. This talk discusses the need to count on different models to describe a system, using different languages, and how semantics can be assigned to them using model transformations. Such semantics define the "meanings" of models, making them amenable to interpretation and analysis. These analyses can range from behavioral simulation and formal reasoning (correctness, validation, model checking) to more agile ones, such as the graphical visualization of models for the detection of design anomalies, for instance.
