MSC-News: Call For Participation & Program

Subject: MSC-News: Call For Participation & Program
From: Eckhardt Holz (
Date: Tue May 19 1998 - 13:38:40 GMT

                        1st Workshop of the SDL Forum
                          Society on SDL and MSC
                     29.06. - 01.07. 1998 Berlin/Germany

                          CALL FOR PARTICIPATION


SAM 98 is an international workshop, organized by the SDL Forum Society,
Humboldt University Berlin and GMD Fokus Berlin with support of the
University of Kaiserslautern/Germany. This workshop - as a first of a
- serves as an open platform between the bi-annual SDL fora for the
discussion and dissemination of information on the research,
and applications on all topics related to the languages SDL and MSC.

We invite you to attend SAM98 and submit short position statements for
different discussions sessions as well as proposals for tool
The position statements will be published at the workshop's web site.

The deadline for long papers has expired now. All long papers which have
been accepted by the reviewers will be included in the workshop
and be made available to the workshop participants.


   * Keynote Speakers
   * Invited Speakers
   * Papers
   * Panels/Roundtables
   * Demonstrations/Exhibition
   * Social Program

SAM98 Topics

The scope of the workshop includes, but is not limited to, the following
major topics as they relate to the development and application of SDL

   * Future development and standardization of SDL and MSC
   * Language extensions
   * Formal semantics
   * Object orientation
   * Design of distributed systems
   * Relation to other languages and analysis/design/implementation
   * Patterns and SDL
   * CAse studies and industrial applications for SDL and MSC
   * Tool support

Invited Speakers are
   * Manfred Broy, Technical University Munich, Germany
   * Erich Gamma, OTI Software Technology Center, Zurich, Switzerland
   * Anders Olsen, Tele Demark Research, Denmark
   * Ekkart Rudolph, Technical University Munich, Germany
   * Ketil Stølen, OECD Halden Reactor Project, Halden, Norway
   * Andreas Mitschele-Thiel, University Nuremberg-Erlangen, Germany
   * Gunnar Øvergaard, Royal Institut of Technology Sweden
   * Birger Møller-Pedersen, Ericson Norway
   * Gert Kurzbach, SIMENS AG, Germany


Companies or institutions offering tools for SDL and MSC or products
to these languages are invited to exhibit. Please contact the organizing
committee for more information.


Accepted papers will be published by Humboldt University in the
book (Informatik Bericht). In addition, papers and position statements
be made available at the workshop's web site.


The workshop will be held in Berlin on the premises of GMD Fokus and
T-Berkom, the address is

     GMD Fokus Kaiserin-Augusta-Allee 31, D-10589 Berlin

Registration and Fees

The registration for the workshop starts April 10th 1998. Registration
be done on-line or by e-mail orfax using the ASCII or the Postscript
The workshop fees are 200 DEM (100 DEM for SDL Forum Society members)
cover three days of workshop, refreshments during breaks, lunches on all
three days and the social event.

Hotel and Travel

Please see the general information page for hotels in Berlin and for
directions. No special block booking for the workshop has been made.

                               Detailed Program

Day 1 - 29.06.1998

09.00-10.00 Opening Session and Keynote

Speaker: Prof. Manfed Broy, Technical University Munich
Titel: "On the Meaning of Message Sequence Charts"

10.00-16.00 Session "SDL2000"

Session Chair: Birger Møller-Pedersen, Ericson SA, Norway
10.00-11.00 Invited Talk: "SDL features for describing open distributed
systems", Anders Olsen Tele Denmark Research & Cinderella, Denmark
11.30-12.00 Paper 1: "Object oriented data concepts for SDL", M. v.
Löwis of
Menar, R. Schröder, Humboldt-Universität zu Berlin, Germany
12.00-12.30 Paper 5: "Towards a new formal SDL semantics", R. Gotzhein,
Geppert, F. Rößler, P. Schaible, University of kaiserslautern, Germany
12.30-13.00 Invited Talk: "Performance Evaluation of SDL Systems",
Andreas-Mitschele-Thiel, University of Erlangen-Nuremburg, Germany
14.00-16.00 Round Table Discussion on the further development of SDL

10.00-16.00 Session "MSC2000"

Session Chair: Gregor v. Bochmann, University of Ottawa, Canada
10.00-11.00 Invited Talk: "The development of the MSC-language - past
future", Ekkart Rudolph, technical University Munich, Germany
10.30-12.00 Paper 2: "Message refinement: describing Multi-Level
in Message Sequence Chart", A. Engels, Eindhoven University of
12.00-12.30 Paper 3: "Interrupt and disrupt in MSC: Possibilities and
problems",A. Engels, Eindhoven University of Technology, Netherlands
12.30-13.00 Paper 20: "MSC and data", L.M.G. Feijs, S. Mauw, Eindhoven
University of Technology, Netherlands
14.00-16.00 Round Table Discussion on the further development of MSC

16.30-17.30 Joint Session on "SDL and MSC"

Session Chair: Prof. Joachim Fischer, Humboldt-University Berlin,

Day 2 - 30.06.1998

09.00-12.00 Session "Patterns and SDLand MSC"

Session Chair: Prof. Reinhard Gotzhein, University of Kaiserslautern,
09.00-10.00 Invited Talk: "Practicing Desing Reuse with Design
Erich Gamma, OTI Software Technology Center, Zurich, Switzerland
10.30-11.00 Paper 11: "Combining SDL patterns with continuous quality
improvement: An experience base tailored to SDL patterns", B. Geppert,
Rößler, R.L. Feldmann, S. Vorwieger, University of Kaiserslautern,
11.00-11.30 Paper 12: "Tool support for SDL patterns", D. Cisowski, B.
Geppert, F. Rößler, M. Schwaiger, University of Kaiserslautern, Germany
11.30-12.00 Paper 24: Reverse engineering SDL models: A pattern-based
approach", E. Arckens, Vrije Universiteit Brussel, Belgium
12.00-12.30 Paper 10: "An SDL framework for X-ray spectrometer
software", T.
Ihme, VTT Electronics, Finland

12.30-13.00 Introduction to tool demonstrations

14.00-18.30 SDL, MSC in relation to object-oriented and other languages
to distributed systems

Session Chair: Rolv Bræk, SINTEF, Norway
14.00-15.00 Invited Talk: "(tba)"Gunnar Øvergaard,
15.00-15.30 Invited Talk: "(tba)", Birger Møller-Pedersen, Ericson SA,
16.00-16.30 Invited Talk: "(tba)", GMD Fokus
16.30-17.00 Paper 9: "Application of UML in the SDL design process", E.
Holz, Humboldt-University Berlin, Germany
17.00-17.30 Paper 16: "generating readable and flexible C++ programs
SDL specifications", N. Mansurov, A. Ragozin, Institut for System
Programming Moscow, Russia
17.30-18.00 Paper 21: "Visualization of TTCN test cases by MSCs", J.
Grabowski, University of Lübeck, Germany, T. Walter ETH Zurich,
18.00-18.30 Paper18: "Implementability of message sequence charts",G.
Robert, F. Khendek, Concordia University Montreal, Canada

Day 3 - 01.07.1998

09.30-10.30 Invited Talk: "Measuring the Effect of Formalization", Ketil
Stølen, OECD Halden Reactor Project, Halden, Norway

11.00-15.00 Session "Industrial Applications"

Session Chairs: Anders Ek Telelogic Sweden and Philippe Leblan Verilog
11.00-11.30: Invited Talk: "(tba)", Gert Kurzbach, SIEMENS AG, Germany
11.30-12.00 Paper 14: "SDL based prototyping of ISDN-DECT-PBX switching
software", H.j. Vögel, W. Kellerer, S. Karg, M. Kober, A. Beckert, G.
Einfalt, Technical University Munich and Bosch Telecom GmbH, Germany
12.00-12.30 Paper 15:: "Using SDL for hardware/software co-design of an
network interface card", N.E. Zergainoh, G.F. Marchioro, A.A. Jerraya,
Laboratory TIMA Grenoble, France
12.30-13.00 Paper 26: "The ETSI model for the intelligent network
application protocol" J. Ellsberger, D. Hogrefe, ETSI, France
14.00-14.30 Paper 13: "Basics for SDL metrics", Y. Lahav, Y. Chernov,
Telecom, Israel
14.30-15.00 Paper 25: "Industrial report on the use of abstraction in
SDL/MSC", M.Kooij, L. Provoost, ALCATEL Telecom Antwerp, Belgium

11.00-15.00 Session "Formal Semantics"

Session Chair: Andreas Prinz, DResearch, Germany
11.00-11.30 Paper 6: "Verification of SDL specifications on base of a
semantics", U. Hinkel, Technical University Munich, Germany
11.30-12.00 Paper 8: " Semantics for timed message sequence charts via
constraint diagrams", V. Grabowski, C. Dietz, E.R. Olderog, University
Oldenburg, Germany
12.00-12.30 Paper 19: "Compositional verification of large SDL systems",
Luukkainen, A. Ahtiainen, Nokia Research Center, Finland
12.30-13.00 Paper 4: "ASM semantics of SDL: Concepts, methods, tools",
Glässer, University Paderborn, Germany
14.00-14.30 Paper 23: "A non-interleaving semantics for MSC", S. Heymer,
University of Lübeck, Germany
14.40-15.00 Paper 7: "Pomsets for message sequence charts", J.P. Katoen,
Lambert, University of Erlanegen-Nuremburg, Germany

15.00-15.30 Closing Session


Steering and Local Organizing Committee
   * Yair Lahav, SDL Forum Society
   * Joachim Fischer, Humboldt-University Berlin
   * Eckhardt Holz, Humboldt-University Berlin
   * Adam Wolisz, GMD Fokus, Berlin
   * Reinhard Gotzhein, University Kaiserslautern

Session Chairs
   * Birger Møller-Pedersen, Ericson Norway
   * Gregor Bochmann, University of Ottawa
   * Joachim, Fischer, Humboldt University
   * Rolv Braek, SINTEF
   * Andreas Prinz, DResearch
   * Reinhard Gotzhein, University Kaiserslautern
   * Philippe Leblanc, Verilog
   * Anders Ek, Telelogic

Copyright © 1998 [Humboldt-University Berlin]. All rights reserved.
Revised: Mai 19th, 1998.

This archive was generated by hypermail 2a23 : Wed Jun 19 2013 - 13:16:38 GMT