Program

Some authors have made their presentations available, in which case they are linked from the paper title.

Monday, Oct. 4th 2010		Tuesday, Oct. 5th 2010
8:30	Registration	8:30	Registration
9:00	Welcome and Introduction Keynote: Service High-Availability: From Standards to UML Profiles and Techniques Ferhat Khendek, Concordia University. Read more on this keynote here.	9:00	Tutorial on SDL-2010 Presentation and discussion on SDL-2010 which is currently under development. Rick Reed. Read more on this tutorial here. Introduction to exhibits
10:30	Morning Break	10:30	Morning Break and Exhibition
	Session 1: Modularity, Composition and Choreography		Session 4: Code Generation and Model Transformations
	Chair: Daniel Amyot		Chair: Finn Kristoffersen
11:00	SDL Modules - Concepts and Tool Support Philipp Becker and Marc Krämer A Developer-Friendly Approach for the Validation of Dynamic Compositions Jacqueline Floch and Cyril Carrez From Flow-Global Choreography to Component Types Surya Kathayat and Rolv Braek	11:00	A Model Driven Approach for AMF Configuration Generation Pejman Salehi, Pietro Colombo, Abdelwahab Hamou-Lhadj and Ferhat Khendek SDL Code Generation for Network Simulators Mihal Brumbulli and Joachim Fischer A Case Study on API-Generation Uwe Jugel and André Preußner
12:30	Lunch	12:30	Lunch
	Session 2: Application of SDL and UML		Session 5: Verification and Analysis
	Chair: Joachim Fischer		Chair: Reinhard Gotzhein
14:00	Integration of FlexRay Into the SDL-Model-Driven Development Approach Tobias Braun, Reinhard Gotzhein and Matthias Wiebel Design and Development of a CPU Scheduler Simulator For Educational Purposes Using SDL Manuel Rodríguez-Cayetano UML-Based Specification and Generation of Executable Web Services Wafi Dahman and Jens Grabowski	14:00	UOST: UML/OCL Aggressive Slicing Technique For Efficient Verification of Models Asadullah Shaikh, Nasrullah Memon and Uffe Kock Wiil Extensible and Automated Model-Evaluations with INProVE Soeren Kemmann, Thomas Kuhn and Mario Trapp Requirements and Solutions for Timing Analysis of Automotive Systems (short paper) Saoussen Anssi, Sébastien Gérard, Arnaud Albinet and François Terrier
15:30	Afternoon Break	15:30	Afternoon Break
	Session 3: SDL Language Profiles and Evolution		Session 6: User Requirements Notation
	Chair: Jaqueline Floch		Chair: Ferhat Khendek
16:00	The SDL-UML Profile Revisited Alexander Kraas Towards SDL Markup Language (short paper) Marina Bagić Babac, Marijan Kunštić and Dragan Jevtić	16:00	Analysing the Cognitive Effectiveness of the UCM Visual Notation Nicolas Genon, Daniel Amyot and Patrick Heymans Towards a Taxonomy of Syntactic and Semantic Matching Mechanisms for Aspect-Oriented Modeling Gunter Mussbacher, Daniel Amyot and Daniele Barone
18:00	Viking Ship Reception (Requires registration)	18:00	SDL Forum Society General Assembly (For members)

Planned Exhibits and Demonstrations

Usage of SDL Modules with SPaSs Phillipp Becker and Marc Krämer (on Monday)
SDL model checking and TTCN-3 automatic test generation with PragmaDev Real Time Developer Studio Emmanuel Gaudin (on Tuesday)