MIC PSIG Agenda

Tuesday, September 25
Time	Workshop Precise Behavioral Semantics for Domain Specific Modeling Languages
09:00	Keynote Dr. Janos Sztipanovits, Vanderbilt University
09:30	DSML Semantics and Software Producibility Dr. Greg Sullivan and Dr. Basil Krikeles, BAE Systems, Advanced Information Technologies
10:00	Domain Specific Models for Safety-Critical Real-Time Systems Christian Buckl, Embedded Systems and Robotics Lab, Technische Universität München
10:30	BREAK
10:45	Modeling Dynamic Architectures with DSMLs Ethan Jackson, Microsoft Research
11:15	Panel Discussion: What is the Difference Between UML with Profiles and Domain Specific Modeling Languages? Moderator Gabor Karsai, Vanderbilt University
12:00	Lunch
13:00	Graphical Syntactic Extensions of Haskell for Block Diagrams Pieter J. Mosterm, The MathWorks, Inc
13:30	Weaving Behavior into Metamodels with Kermeta Didier Vojtisek, INRIA (Institut National de Recherche en Informatique et Automatique)
14:00	A Language and a Methodology for Precise DSML Behavioral Semantics Modeling Dr. Chokri Mraidha, CEA-List
14:30	BREAK
14:45	Approaches to Refining the Semantic Unit Library Ryan Thibodeaux, Institute for Software Integrated Systems, Vanderbilt University
15:15	Composition Issues for Behavioral Semantics of Domain-Specific Modeling Languages Joseph Porter, Institute for Software Integrated Systems, Vanderbilt University
15:45	Panel Discussion: One System, Many Perspectives: How to Represent a System Model Moderator Ben Watson, Lockheed Martin