8.30 - 9.00

Registration

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

Refreshments

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

Lunch

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

Refreshments

15.30 - 16.30

Demo presentations/Poster session; Chair: Ina Schieferdecker

16.30 - 17.00

Refreshments

17.00 - 18.00

Panel Discussion: SDL Quo vadis – Simplification versus UML

18.00 - 19.00

SDL Forum Society AGM

19.00 - …

Barbecue

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

Refreshments

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

Lunch

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

Refreshments

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

Refreshments

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

19.00

Bus transfer to Conference Dinner

19.30 - 23.30

Conference Dinner

23.30

Bus transfer to the hotels

9.00 - 10.00

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

10.00 - 10.30

Refreshments

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

Lunch

13.30 - 15.00

SDL Design Contest

15.00 - 15.30

Refreshments

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

18.00 - 23.00

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