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
Refreshments
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 |
Lunch |
13.30 - 15.00
Refreshments
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 |
17.00 |
Bus transfer to Grimstad
Town Hall |
17.15 |
Official reception at Grimstad Town Hall |
18.00 |
Guided tour of the town
centre of Grimstad |
Tuesday,
21st June 2005
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 |
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 |
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 |
Thursday, 23rd
June 2005
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 |
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. |
|
|