Home About Us Join us What's New


The Twelth SDL FORUM
20-26 June 2005
Grimstad Norway



SDL '05: Integration of System Design Languages

12th SDL Forum: Final Programme


Monday, 20th June 2005: Tutorials

 8.30 - 9.00 Registration


Track 1

Track 2

 9.00 - 10.30


11.00 - 12.30

Model-Driven Engineering MDA, MOF, OCL, Model Transformers, and Their Application to Testing

Hajo Eichler, Ina Schieferdecker

An Overview of UML 2.0

Bran Selic

12.30 - 13.30


13.30 - 15.00


15.30 - 17.00

IF: A Validation Environment for Real-time UML and SDL Models

Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober

Transformation and Integration of Languages

Eckhardt Holz


Bus transfer to Grimstad Town Hall


Official reception at Grimstad Town Hall


Guided tour of the town centre of Grimstad


Tuesday, 21st June 2005

8.30 - 9.00


9.00 - 9.10

Opening: Alf Holmelid, Research Director AUC

9.10 - 10.10

Invited Speaker: Andy Evans
Executable High-level specifications

10.10 - 10.30


10.30 - 12.00

Full Paper Session: Language Issues; Chair: Rolv Bræk

ULF-Ware - An Open Framework for Integrated Tools for ITU-T Languages Joachim Fischer (Humboldt-Universität zu Berlin), Andreas Kunert (Humboldt-Universität zu Berlin), Michael Piefel (Humboldt-Universität zu Berlin), Markus Scheidgen (Humboldt-Universität zu Berlin)

An Access Control Language for Dynamic Systems - Model-driven Development and Verification
Manuel Koch (Freie Universität Berlin), Karl Pauls (Freie Universität Berlin)

Non-deterministic Constructs in OCL - What does any() Mean
Thomas Baar (École Polytechnique Fédérale de Lausanne)

12.00 - 13.00


13.00 - 15.00

Full Paper Session: Engineering Issues; Chair: Rick Reed

Integrating RT-CORBA in SDL
Manuel Diaz (
University of Málaga), Daniel Garrido (University of Málaga), Luis Llopis (University of Málaga), José Maria Troya (University of Málaga)

Component development: MDA based transformation from eODL to CIDL
Harald Böhme (Humboldt-Universität zu
Berlin), Joachim Fischer (Humboldt-Universität zu Berlin)

Service Discovery and Component Reuse with Semantic Interfaces
Richard T. Sanders (SINTEF), Rolv Bræk ( Norwegian
University of Science and Technology),  Gregor v. Bochmann (University of Ottawa), Daniel Amyot (University of Ottawa)

ns+SDL - The Network Simulator for SDL Systems
Thomas Kuhn (University of Kaiserslautern), Alexander Geraldy (University of Kaiserslautern), Reinhard Gotzhein (University of Kaiserslautern), Florian Rothländer (University of Kaiserslautern)

15.00 - 15.30


15.30 - 16.30

Demo presentations/Poster session; Chair: Ina Schieferdecker

16.30 - 17.00


17.00 - 18.00

Panel Discussion: SDL Quo vadis - Simplification versus UML

18.00 - 19.00

SDL Forum Society AGM

19.00 - ...



Wednesday, 22nd June 2005

8.30 - 9.30

Full Paper Session: Message Sequence Charts; Chair: Daniel Amyot

Semantics of Message Sequence Charts
A.A. Letichevsky  (National Academy of Science of Ukraine), J.V. Kapitonova  (National Academy of Science of Ukraine), V.A.Volkov  (National Academy of Science of Ukraine), A.A. Letichevsky jr. (National Academy of Science of Ukraine), V.P.Kotlyarov
(Motorola Inc.), T. Weigert (Motorola Inc.)

Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets
Christoph Eichner (Carl von Ossietzky Universität, Oldenburg), Hans Fleischhack (Carl von Ossietzky Universität, Oldenburg), Roland Meyer (Carl von Ossietzky Universität, Oldenburg), Ulrik Schrimpf (Carl von Ossietzky Universität, Oldenburg), Christian Stehno (Carl von Ossietzky Universität, Oldenburg)

9.30 - 10.00


10.00 - 12.00

Short Paper Session: Applications and Tools; Chair: Iulian Ober

SDL Design of OSPF Protocol for the Wireless Private Network
Yang Yang (Tsinghua University, Beijing), Yang Lu (Tsinghua University, Beijing), Xiaokang Lin (Tsinghua University, Beijing)

ASM and SDL models of Geographic Routing in Mobile Ad Hoc Networks
Uwe Glässer (
Simon Fraser University), Andreas Prinz (Agder University College)

Modeling route change in soft-state signaling protocols using SDL: a case of RSVP
Constantin Werner (
University of Göttingen), Xiaoming Fu (University of Göttingen), Dieter Hogrefe (University of Göttingen)

Implementation of a Logical Link Layer Protocol
Laila Daniel (University of Helsinki), Matti Luukkainen (University of Helsinki), Markku Kojo (University of Helsinki)

Modeling, Verifying and Testing Mobility Protocol from SDL Language
Francine Ngani Noudem (IRISA-Université de
Rennes), César Viho (IRISA-Université de Rennes)

Cinderella SLIPPER: An SDL to C-code generator
Yosef Rauchwerger ( NDS
Israel), Finn Kristoffersen (Cinderella ApS), Yair Lahav

12.00 - 13.00


13.00 - 14.30

Discussion Session: MDA; Chair: Joachim Fischer

Model-driven development of reactive systems with SDL
Edel Sherrat (
University of Wales, Aberystwyth)

A UML-compatible formal language for system architecture description

Mateo Pradella (Istituto di Elettronica e di Ingegneria dell'Informazione e delle Telecomunicazioni (IEIIT)),  Matteo Rossi (Politecnico di Milano), Dino Mandrioli (Politecnico di Milano and IEIIT)

14.30 - 15.00


15.00 - 16.30

Discussion Session: SDL for the Internet; Chair: Amardeo Sarma

We will discuss work on using ITU-T languages and UML for Internet protocols and solutions, for which the Daidalos project will provide input. The idea is to have maximum interaction with conference attendees.

16.30 - 17.00


17.00 - 18.00

Discussion Session: SDL Education>; Chair: Edel Sherrat

This is a discussion session for all issues related to SDL education from short industrial self-learning courses to material for semester courses at universities. Issues raised at the SAM workshop in 2004 were the availability of tools and the sharing of materials between different organisations. Other issues which could be addressed are: whether and how to integrate education on SDL with education on UML, and the role of testing.

18.00 - 19.00

Spare time


Bus transfer to Conference Dinner

19.30 - 23.30

Conference Dinner


Bus transfer to the hotels


Thursday, 23rd June 2005

9.00 - 10.00

Invited Speaker: Thomas Weigert
Code generation from High-level specifications

10.00 - 10.30


10.30 - 12.30

Full Paper Session: Test and Validation; Chair: Anders Olsen

UCM-Driven Testing of Web Applications
Daniel Amyot (University of Ottawa), Jean-François Roy (University of Ottawa), Michael Weiss (Carlton University)

Network Element Testing using TTCN-3: Benefits and Comparison
Bhaskar Rao G. (Motorola India Electronics Ltd), Keerthi Timmaraju (Motorola India Electronics Ltd), Thomas Weigert (Motorola Inc.)

A Compositional approach to service validation
Jacqueline Floch ( SINTEF ICT), Rolv Braek (
Norwegian University of Science and Technology)

Consistency Checking of Concurrent Models for Scenario-Based Specifications
Li Xuandong (Nanjing University), Hu Jun (Nanjing University), Bu Lei (Nanjing University), Zhao Jianhua (Nanjing University), Zheng Guoliang (Nanjing University)

12.30 - 13.30


13.30 - 15.00

SDL Design Contest

15.00 - 15.30


15.30 - 17.00

Full Paper Session: Code generation; Chair: Reinhard Gotzhein

SDL Code Generation for Open Systems
Joachim Fischer (Humboldt-Universität zu Berlin), Toby Neumann (Humboldt-Universität zu Berlin), Anders Olsen (Cinderella ApS)

SDL versus C Equivalence Checking
Malek Haroud (
STMicroelectronics NV), Armin Biere (STMicroelectronics NV)

Synthesizing State-machine Behaviour from UML Collaborations and Use Case Maps
Humberto N. Castejón (
Norwegian University of Science and Technology)

17.00 - 17.30

Official Closing Session; Winners of the Design Contest

17.30 Walk to the downtown pier

18.00 - 23.00

Unofficial Closing: Boat trip with "MS Bibben"
This is the night of midsummer-celebration in Grimstad. Do not miss it!


Friday, 24th June 2005 and Saturday, 25th June 2005

9.00 - 17.00

ITU-T Working Party 3/17 Languages and Telecommunications Software

Joint meeting of the study Questions: Requirements Languages (Q.12/17), Specification and Implementation Languages (Q.11/17), and System Design Framework and Unified Modelling Language (Q.13/17).
The key topics will be the evolution of the languages and their UML profiles.

Home About Us Join us What's New

Contact the webmaster with questions or comments about this web site.
Copyright © 1997 - 2013 SDL Forum Society

Last update: 01 May 2013 15:34 +0100