SAM98 Papers and Presentations
Keynote
Track "SDL2000"
"SDL features for describing open distributed systems", Anders Olsen
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
"Performance Evaluation of SDL Systems",
Andreas-Mitschele-Thiel, University of Erlangen-Nuremburg, Germany (Slides)
Track "MSC2000"
"The development of the MSC-language - past and future", Ekkart Rudolph,
technical University Munich, Germany (Slides)
"Message refinement: describing Multi-Level Protocols
in Message Sequence Chart", A. Engels, Eindhoven University of Technology,
Netherlands (Slides)
"MSC and data", L.M.G. Feijs, S. Mauw, Eindhoven
University of Technology, Netherlands
"Interrupt and disrupt in MSC: Possibilities and
problems",A. Engels, Eindhoven University of Technology, Netherlands
(Slides)
Track "Patterns and SDL"
"Practicing Design Reuse with Design Patterns",
Erich Gamma, OTI Software Technology Center, Zurich, Switzerland
"How to make Frameworks in SDL", Rolv Braek,
SINTEF Norway (Slides)
"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 (Slides)
" Reverse engineering SDL
models: A pattern-based approach", E. Arckens, Vrije Universiteit Brussel,
Belgium (Slides)
"An SDL framework for X-ray
spectrometer software", T. Ihme, VTT Electronics, Finland (Slides)
Track " SDL, MSC in relation to object-oriented and
other languages and to distributed systems"
"Collaborations in and with UML"Gunnar Øvergaard,
Royal Institut of Technology, Sweden
"The ITU-T ODL to C++ mapping
and its integration into an SDL based design methodology ", Marc Born
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 (Slides)
"Implementability of message
sequence charts",G. Robert, F. Khendek, Concordia University Montreal,
Canada (Slides)
"Measuring the
Effect of Formalization", Ketil Stølen,
OECD Halden Reactor Project, Halden, Norway (Slides)
Track "Industrial Applications"
"Experiences with SDL'92 in connection with ASN.1
at Siemens Intelligent Networks division", Gerd Kurzbach, SIEMENS AG, Germany
(Slides)
"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 (Powerpoint Pack&Go)
Track"Formal Semantics"
"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
(Slides)
"A non-interleaving semantics
for MSC", S. Heymer, University of Lübeck, Germany (Slides)
"Pomsets
for message sequence charts", J.P. Katoen, L. Lambert, University of
Erlangen-Nuremburg, Germany