Subject: MSC-News: Call For Participation & Program
From: Eckhardt Holz (holz#informatik.hu-berlin.de)
Date: Tue May 19 1998 - 13:38:40 GMT
SAM98
1st Workshop of the SDL Forum
Society on SDL and MSC
------------------------------------------------------
29.06. - 01.07. 1998 Berlin/Germany
http:/www.informatik.hu-berlin.de/~sam98
------------------------------------------------------------------------
CALL FOR PARTICIPATION
------------------------------------------------------------------------
INVITATION
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
series
- serves as an open platform between the bi-annual SDL fora for the
discussion and dissemination of information on the research,
development,
and applications on all topics related to the languages SDL and MSC.
We invite you to attend SAM98 and submit short position statements for
the
different discussions sessions as well as proposals for tool
demonstrations.
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
proceedings
and be made available to the workshop participants.
PROGRAM ACTIVITIES
* 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
and
MSC:
* 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
techniques
* 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
Exhibition
Companies or institutions offering tools for SDL and MSC or products
related
to these languages are invited to exhibit. Please contact the organizing
committee for more information.
Proceedings
Accepted papers will be published by Humboldt University in the
proceedings
book (Informatik Bericht). In addition, papers and position statements
will
be made available at the workshop's web site.
Venue
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
can
be done on-line or by e-mail orfax using the ASCII or the Postscript
form.
The workshop fees are 200 DEM (100 DEM for SDL Forum Society members)
and
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
travel
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,
B.
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
and
future", Ekkart Rudolph, technical University Munich, Germany
10.30-12.00 Paper 2: "Message refinement: describing Multi-Level
Protocols
in Message Sequence Chart", A. Engels, Eindhoven University of
Technology,
Netherlands
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,
Germany
Day 2 - 30.06.1998
09.00-12.00 Session "Patterns and SDLand MSC"
Session Chair: Prof. Reinhard Gotzhein, University of Kaiserslautern,
Germany
09.00-10.00 Invited Talk: "Practicing Desing Reuse with Design
Patterns",
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,
F.
Rößler, R.L. Feldmann, S. Vorwieger, University of Kaiserslautern,
Germany
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
and
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,
Norway
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
from
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,
Switzerland
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
France
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
ATM
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,
ECI
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
stream
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",
M.
Luukkainen, A. Ahtiainen, Nokia Research Center, Finland
12.30-13.00 Paper 4: "ASM semantics of SDL: Concepts, methods, tools",
U.
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,
L.
Lambert, University of Erlanegen-Nuremburg, Germany
15.00-15.30 Closing Session
SAM98 ORGANIZER COMMITTEE
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