Title:
 Modelling and Simulation Based Software Design:  A Case Study
 
 Abstract:

A model of a chat room application is built from initial requirements.  UML
Class Diagrams, Sequence Diagrams and Statecharts are used in different stages
of this development process.  Consistency problems between the different design
artifacts are identified.  Methods are proposed to ensure consistency between
different aspects of the models.  Most notably, simulation traces obtained from
a Statechart model are checked for consistency with Sequence Diagram protocol
specifications.

At the heart of the presentation is the Statechart formalism.  Thanks to its
expressive power as well as its visual, intuitive appeal, Statecharts are
widely used to model software systems and physical systems (and combinations
thereof).  The Statechart Virtual Machine (SVM), developed by Thomas Feng, is
presented. After a short introduction to Statecharts, three extensions to the
formalism are discussed: submodel importation, transition priorities to resolve
conflicts and parameterized model templates.  SVM is used for simulation and
real-time execution of the chat room design.

 Bio:
 Hans Vangheluwe is an Assistant Professor in the School of Computer Science at
 McGill University, Montréal, Canada. He holds a D.Sc. degree, as well as an
 M.Sc. in Computer Science, and B.Sc. degrees in Theoretical Physics and
 Education, all from Ghent University in Belgium. 

 At McGill, he teaches Modelling and Simulation, as well as Software Design. He
 also heads the Modelling, Simulation and Design research Lab (MSDL
 http://msdl.cs.mcgill.ca/).  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 commercialized for use
 in the design and optimization of bioactivated sludge 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'', a founding member of the
 Modelica Design Team, and an advisor to the Flemish Institute for the
 Promotion of Scientific-Technological Research in Industry (IWT), as well as
 to the European Commission's 5th Framework programme.  He is an Associate
 Editor for the journal Simulation: Transactions of the Society for Modeling
 and Computer Simulation.  His current interests are in domain-specific
 modelling and simulation.  The MSDL's tool AToM3 (A Tool for Multi-formalism
 and Meta-Modelling) uses meta-modelling and graph grammars to specify and
 generate domain-specific environments for the design of software as well as
 physical systems.