Programme and Presentations

(Updated June 17th)

 
Fourth SDL and MSC Workshop

2nd June to 4th June, 2004
(tutorials on 1st June, 2004)
Ottawa, Canada
http://www.site.uottawa.ca/sam04/

 Tuesday, 1st June

8:30-9:00 Tutorial Registration
9:00-17:00
 ITU-T Q.N/17 meeting on the Specification and Description Language (room 4004, 4th floor)
9:00-12:00 Tutorial on Black Box Security Protocols, parts A-B (A-0150), by Sjouke Mauw, Cas Cremers
12:00-13:30 Lunch (not included in the fees, but all are invited to the ZamPub, in front of the SITE building)
13:30-17:00 Tutorial on Black Box Security Protocols, parts C-D (2060, 2nd floor), by Sjouke Mauw, Cas Cremers
13:30-17:00
 Workshop Registration (in front of A-0150)
17:00-19:00 Informal gathering at the Café Nostalgica (603 Cumberland, U. of Ottawa)

 Wednesday, 2nd June

8:00-8:20 Workshop Registration
8:20-8:30 Workshop Opening
D. Amyot and A. Williams
8:30-9:30 Invited talk: On Model-Driven Software Engineering, Bran Selic, Distinguished Engineer, IBM Rational Software
 Chair: Thomas Weigert, Motorola, USA
9:30-10:00 Coffee break and posters
10:00-12:00 Session I: SDL and eODL
Chair: Arve Meisingset, Telenor, Norway
  • Deployment and Configuration of Distributed Systems, A. Hoffmann, B. Neubauer
  • eODL and SDL in combination for components, H. Böhme, J. Fischer
  • Applying eODL and SDL-Patterns for Developing Managed Systems, M. de Cabo, M. Rodríguez
  • SPT - The SDL Pattern Tool, J. Dorsch, A. Ek, R. Gotzhein 
12:00-13:30 Lunch (first floor, SITE Building)
13:30-15:30 Session II: Evolution of Languages
Chair: Reinhard Gotzhein, University of Kaiserslautern, Germany
  • Comparison between UML 2.0 Interactions and MSC-2000, Ø. Haugen
  • Data encoding for SDL in Z.104, R. Reed
  • SDL in a changing world, E. Sherratt
  • SIMPL-T (SDL Intended for Management and Planning of Tests)- A Simple Test Language for SDL Specifications, Q. Li, R.L. Probert, W. Skelton, Y. Xu
15:30-16:00 Coffee break and posters
16:00-17:30 Panel Session I: SDL Evolution / SDL Task Force
Chair: Alan Williams, University of Ottawa, Canada

Paper:
  • Back to the Basics, V.D. Kollias, Q. Li, A. Prinz, W. Skelton, A. Yiannakoulias, K. Moss [SDL Task Force]
Participants:
  • Keith Moss, Open University, UK
  • Andreas Prinz, Agder University, Norway
  • Edel Sherratt, University of Wales Aberystwyth, UK
  • William Skelton, SOLINET, Germany
  • Alkis Yiannakoulias, National Technical University of Athens, Greece
  • Thomas Weigert, Motorola, USA
17:30-19:00 SDL Forum Society AGM
20:00-???
 Informal dinner, Restaurant Le Café, National Arts Centre

 Thursday, 3rd June

8:00-8:30 Workshop Registration
8:30-10:00 Session III: Requirements and MSC
Chair: Nikolai Mansurov, Klocwork, Canada
  • Early validation of deployments and scheduling constraints of MSC specifications, F. Khendek, C. Lohr, L.X. Wang, X.J. Zhang, T. Zheng
  • Scenario Synthesis from Imprecise Requirements, B. Mitchell, P. Bristow, R. Thompson
  • Applying Reduction Techniques to Software Functional Requirement Specifications, J. Hassine, R. Dssouli, J. Rilling
10:00-10:30 Coffee break and posters
10:30-12:00 Session IV: Security
Chair: Olivier Dubuisson, France Telecom R&D, France
  • Proving a soundness property for the joint design of ASN.1 and the Basic Encoding Rules, C. Rinderknecht
  • Checking secrecy by means of partial order reduction, C. Cremers, S. Mauw
  • Finding covert channels in protocols with Message Sequence Charts: the case of RMTP2, L. Hélouët
12:00-13:15
 Lunch (first floor, SITE building)
13:15-14:15 Panel Session II: Security Analysis and Modelling
Chair: Ostap Monkewich, National Capital Institute of Telecommunications, Canada

Can formal languages and modelling help reduce security vulnerabilities in the IP world?

Participants:
  • Mike Harrop, The Cottingham Group, Canada
  • Sjouke Mauw, Eindhoven University of Technology, The Netherlands
  • Lawrence Dobranski, Nortel Networks, Canada
  • Ostap Monkewich, National Capital Institute of Telecommunications, Canada
14:15-14:30 Coffee break and posters
14:30-16:00 SDL Design Contest Presentations
Chair: William Skelton, SAFIRE-SDL, Germany

Contestants:
  • Keith Moss, Open University, UK
  • Alkis Yiannakoulias, National Technical University of Athens, Greece (Winner!)
  • Christian Webel, University of Kaiserslautern, Germany
17:00-??? Conference Banquet: Restaurant L'Orée du Bois, in the Gatineau Park.
 

 Friday, 4th June

8:00-8:30 Workshop Registration
8:30-10:00 Session V: SDL and Modelling
Chair: Rick Reed, TSE Ltd., United Kingdom
  • A Metamodel for SDL-2000 in the Context of Metamodeling ULF, J. Fischer, M. Piefel, M. Scheidgen
  • A Flexible Micro Protocol Framework, I. Fliege, A. Geraldy, R. Gotzhein, P. Schaible
  • ICT Convergence: Modeling Issues, R. Bræk, J. Floch
10:00-10:30 Coffee break and posters
10:30-12:00 Session VI: Experience
Chair: Edel Sherratt, University of Wales Aberystwyth, United Kingdom
  • Dealing with non-local choice in IEEE 1073.2's Standard for Remote Control, A.J. Mooij, N. Goga
  • Guidelines for Using SDL in Product Development, F. Weil, T. Weigert
  • Testing Wireless Protocol Conformance Test Cases, P. Jain, A. Nandan
12:00-12:15 SDL Design Contest Winners and Workshop Closing
12:15-14:00 Lunch (first floor, SITE building)
14:00-17:00 ITU-T Q.N/17 meeting on the Specification and Description Language (A-0150)

 Contacts

All queries to the Organising Committee should be sent to: samorg@sdl-forum.org