Subject: MSC-News: SAM98 Program and Call For Participation
From: Eckhardt Holz (holz#informatik.hu-berlin.de)
Date: Thu Jun 04 1998 - 11:54:11 GMT
SAM98 1st Workshop on SDL and MSC
Berlin, June 29th - July 1st 1998
Call for Participation and Final Program
Humboldt University Berlin - SDL Forum Society - GMD Fokus
http://www.informatik.hu-berlin.de/~sam98
(The online regsitration does work again, sorry for the inconvenience)
SAM98 Topics
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.
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
PROGRAM ACTIVITIES
· Keynote Speakers
· Invited Speakers
· Papers
· Panels/Roundtables
· Demonstrations/Exhibition
· Social Program
Invited Speakers are
· Manfred Broy, Technical University Munich, Germany
· Erich Gamma, OTI Software Technology Center, Zurich, Switzerland
· Anders Olsen, Tele Denmark 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
Germany
Registration and Fees
The registration for the workshop has started. Registration can be done
on-line or by e-mail
or fax 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 Information
Please visit the general information page at the workshop`s website 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
Title: ,On the Meaning of Message Sequence Charts"
10.00-16.00 Session ,SDL2000"
Session Chair: Birger Møller-Pedersen, Ericson SA, Norway
Invited Talk: ,SDL features for describing open distributed systems",
Anders Olsen Tele Denmark Research & Cinderella, Denmark
,Object oriented data concepts for SDL", M. v. Löwis of Menar, R.
Schröder, Humboldt-Universität zu Berlin, Germany
,Towards a new formal SDL semantics", R. Gotzhein, B. Geppert, F.
Rößler, P. Schaible, University of Kaiserslautern, Germany
Invited Talk: ,Performance Evaluation of SDL Systems",
Andreas-Mitschele-Thiel, University of Erlangen-Nuremberg, Germany
Round Table Discussion on the further development of SDL
10.00-16.00 Session ,MSC2000"
Session Chair: Gregor v. Bochmann, University of Ottawa, Canada
Invited Talk: ,The development of the MSC-language - past and future",
Ekkart Rudolph, Technical University Munich, Germany
,Message refinement: describing Multi-Level Protocols in Message
Sequence Chart", A. Engels, Eindhoven University of Technology,
Netherlands
,Interrupt and disrupt in MSC: Possibilities and problems", A. Engels,
Eindhoven University of Technology, Netherlands
,MSC and data", L.M.G. Feijs, S. Mauw, Eindhoven University of
Technology, Netherlands
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 SDL and MSC"
Session Chair: Prof. Reinhard Gotzhein, University of Kaiserslautern,
Germany
Invited Talk: ,Practising Design Reuse with Design Patterns", Erich
Gamma, OTI Software Technology Center, Zurich, Switzerland
,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
,Tool support for SDL patterns", D. Cisowski, B. Geppert, F. Rößler, M.
Schwaiger, University of Kaiserslautern, Germany
,Reverse engineering SDL models: A pattern-based approach", E. Arckens,
Vrije Universiteit Brussel, Belgium ,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
Invited Talk: ,Collaborations in and with UML" Gunnar Øvergaard, Royal
Institute of Technology, Sweden
Invited Talk: ,How to make frameworks in SDL", Birger Møller-Pedersen,
Ericson SA, Norway
Invited Talk: ,The ITU-ODL to C++ mapping ...", A. Hoffmann, GMD Fokus,
Germany
,Application of UML in the SDL design process", E. Holz,
Humboldt-University Berlin, Germany
,Generating readable and flexible C++ programs from SDL specifications",
N. Mansurov, A. Ragozin, Institut for System Programming Moscow, Russia
,Visualization of TTCN test cases by MSCs", J. Grabowski, University of
Lübeck, Germany, T. Walter ETH Zurich, Switzerland
,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 Leblanc Verilog
France
Invited Talk: ,Experiences with SDL in connection with ASN.1 ...", Gerd
Kurzbach, SIEMENS AG, Germany
,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
,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
,The ETSI model for the intelligent network application protocol" J.
Ellsberger, D. Hogrefe, ETSI, France
,Basics for SDL metrics", Y. Lahav, Y. Chernov, ECI Telecom, Israel
,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
,Verification of SDL specifications on base of a stream semantics", U.
Hinkel, Technical University Munich, Germany
,Semantics for timed message sequence charts via constraint diagrams",
V. Grabowski, C. Dietz, E.R. Olderog, University Oldenburg, Germany
,Compositional verification of large SDL systems", M. Luukkainen, A.
Ahtiainen, Nokia Research Center, Finland
,ASM semantics of SDL: Concepts, methods, tools", U. Glässer, University
Paderborn, Germany
,A non-interleaving semantics for MSC", S. Heymer, University of Lübeck,
Germany
,Pomsets for message sequence charts", J.P. Katoen, L. Lambert,
University of Erlangen-Nuremberg, Germany
15.00-15.30 Closing Session
SAM98 ORGANIZATION 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
SAM98 Organization Committee
c/o Institut für Informatik, Dr. Holz
Humboldt Universität zu Berlin
Axel-Springer-Str. 54a
10117 Berlin
Germany
Copyright © 1998 [Humboldt-University Berlin]. All rights reserved.
Revised: June 3rd, 1998.
---------------------------------------------------------------------------------------------
SAM98 1st Workshop of the SDL Forum Society on SDL and MSC
29.06. - 01.07. 1998 Berlin/Germany
Fax Registration Form (see also
http://www.informatik.hu-berlin.de/~sam98)
If you prefer not to register on-line, please print out this form and
fax or mail it to:
SAM98- 1st Workshop of the SDL Forum Society on SDL and MSC
c/o Institut für Informatik
Humboldt-Universität zu Berlin
Axel-Springer Str. 54a D-10117 Berlin Germany
FAX: +49-30-20181234
e-mail:sam98#informatik.hu-berlin.de
Please enter your name and contact information below.
[ ] Dr. [ ] Prof. [ ] Mr. [ ] Ms.
Last name: First name:
Affiliation:
Affiliation Type: [ ] University/College [ ] Industry [ ] Other
Mail Address:
Street:
City: Zip: Country:
E-Mail: Telephone: Fax:
Check if you are a member of: [ ] SDL Forum Society
[ ] Do not include my name, mailing/e-mail address, phone or fax numbers
on a published list of attendees.
Conference registration includes admission to the sessions; morning and
afternoon refreshment breaks; three lunches; social event; and one copy
of the proceedings.
Credit Card Information
Select your credit card type from the list below and enter your credit
card number and expiration date.
Card type:[ ] VISA [ ] Mastercard
Card Number:
Cardholder Name:
Expiration Date:
The amount charged will be 200 DEM for non-members and 100 DEM for SDL
Forum Society members. This registration application accepts MasterCard
and Visa Cards. If you do not have one of these credit cards you can pay
the registration fee directly at the meeting. The on-site registration
does only accept cash.
[ ] I will pay the registration fee on-site in cash
Signature and date
This archive was generated by hypermail 2a23 : Wed Jun 19 2013 - 13:16:38 GMT