Schedule

A Formal Semantics of UML
2 nd Annual Workshop/Symposium

Tuesday, October 3, 2006
09:30 – 18:00 hrs


Start

End

Topic

Presenter

09:30

09:40

Welcome, Introduction, Overview

TU Braunschweig

09:40

10:25

A System Model for UML

TU Braunschweig

10:25

11:00

Class Diagrams

Queen’s University

11:00

11:30

Coffee Break

11:30

11:50

Actions

Queen’s University

11:50

12:15

Activities

Queen’s University

12:15

12:25

Discussion

All

12:25

13:00

Template Semantics: Parameterized Semantics Descriptions

Joanne Atlee
University of Waterloo

13:00

14:30

Lunch

14:30

14:55

Defining Object-Oriented Execution Semantics Using Graph Transformations

Anneke Kleppe
University of Twente

14:55

15:20

Analysis of UML Activities with Dynamic Meta Modeling Techniques

Gregor Engels
University of Paderborn

15:20

15:45

BIP: Framework for Component Composition as a Means to Define Semantics

Susanne Graf
VERIMAG

15:45

16:10

A Formal Language for Specifying Models of Computations

Christophe Gaston
CEA-LETI

16:10

16:30

Coffee Break

16:30

16:55

An AsmL Semantics for Dynamic Structures in UML-RT

Alin Stefanescu
University of Konstanz

16:55

 

17:20

Queries and Constraints: A Comprehensive Semantic Model for UML2

Ingolf Krueger
University of California, San Diego

17:20

17:45

A UML Simulator Based on a Generic Model Execution Engine

Andrei Kirshin
IBM Haifa

17:45

18:00

Wrap Up