IEEE Navigational Bar

==============================================================================

IEEE Bangalore Section SEMINAR ANNOUNCEMENT

==============================================================================

From Code to Models to Meta-Models: is Programming Dead ?

Speaker: Hans Vangheluwe, McGill University, Montreal, CANADA

Date: July 9, 2002 (Tuesday) Time : 6.00 p.m.

Venue: Seminar Hall (#102), Supercomputer Education & Research Centre Indian Institute of Science, Bangalore

==============================================================================

Note: For registration send e-mail to Prof. A. Chockalingam (achockal@ece.iisc.ernet.in).

Registration is free for IEEE members, but on a First-Come-First-Served basis.

==============================================================================

Abstract The complexity of the systems --software, hardware and combinations thereof-- we build is increasing rapidly. Simultaneously, users demand guaranteed correctness and reliability of (safety-critical) systems. Methods, techniques, tools, and processes for structured, object-oriented, component based, and extreme programming are introduced, in rapid succession, to help software professionals cope with complexity. Model Based Design moves away from programming and proposes models of structure and behaviour of systems as the prime vehicle for development. Models are a high-level form of design documentation, are a basis for formal verification, are highly amenable to re-use, and, with appropriate tools, code can be automatically synthesized from models. The Unified Modelling Language (UML) is an example of a popular collection of modelling formalisms. Following the "everything is a model" philosophy, modelling formalisms such as Class Diagrams and Statecharts themselves should be modelled. This description of classes of models is called meta-modelling. The logical path from code to models to meta-models will be introduced and demonstrated by means of some simple examples, using the research tool AToM3 (A Tool for Multi-formalism Meta-Modelling). Brief CV Hans Vangheluwe is an Assistant Professor in the School of Computer Science at McGill University, Montréal, Canada. He teaches Modelling and Simulation, as well as Object-Oriented Software Design. He heads the Modelling and Simulation and Design (MSDL) research lab. He has been the Principal Investigator of a number of research projects focused on the development of a multi-formalism theory for Modelling and Simulation. Some of this work has led to the WEST++ tool, which was commercialised for use in the design and optimization of Waste Water Treatment Plants. He was the co-founder and coordinator of the European Union's ESPRIT Basic Research Working Group 8467 "Simulation in Europe", and a founding member of the Modelica Design Team. He is co-founder and vice-president (simulation) of the Californian startup Beomax which develops Beowulf clusters for scientific applications. His current research is focused on the design and implementation of AToM3, a Computer Aided Multi-Paradigm Modelling tool. AToM3 is MSDL's main tool for model based design and synthesis of software in a variety of application domains.

==============================================================================


 

Section Home
-
-
- -
© Copyright 2000, IEEE.   Terms & ConditionsPrivacy & Security Small IEEE Logo
(ieeeblr@vsnl.net)

URL: https://www.ewh.ieee.org/r10/bangalore/section-events/2002/code_models.htm
(Modified:11-July-2002)