SAM98 Papers and Presentations


 Prof. Manfed Broy, Technical University Munich : "On the Meaning of  Message Sequence Charts" (Slides)

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 (Pdf-Slides)

Track "MSC2000"

"The development of the MSC-language - past and future", Ekkart Rudolph, technical University Munich, Germany (PS-Slides)
"Message refinement: describing Multi-Level Protocols in Message Sequence Chart", A. Engels, Eindhoven University of Technology, Netherlands (PS Slides)
"MSC and data", L.M.G. Feijs, S. Mauw, Eindhoven University of Technology, Netherlands  (PS-Slides)
"Interrupt and disrupt in MSC: Possibilities and problems",A. Engels, Eindhoven University of Technology, Netherlands (PS-Slides)

Track "Patterns and SDL"

"Practicing Desing Reuse with Design Patterns", Erich Gamma, OTI Software Technology Center, Zurich, Switzerland
"How to make Frameworks in SDL", Rolv Braek, SINTEF Norway  (Powerpoint 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 (PS Slides)
" Reverse engineering SDL models: A pattern-based approach", E. Arckens, Vrije Universiteit Brussel, Belgium (PS Slides)
"An SDL framework for X-ray spectrometer software", T. Ihme, VTT Electronics, Finland (Powerpoint 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  (Powerpoint Slides)
"Visualization of TTCN test cases by MSCs", J. Grabowski, University of Lübeck, Germany, T. Walter ETH Zurich, Switzerland  (PS Slides)
"Implementability of message sequence charts",G. Robert, F. Khendek, Concordia University Montreal, Canada  (Powerpoint Slides)
 "Measuring the Effect of Formalization", Ketil Stølen, OECD Halden Reactor Project, Halden, Norway (PS Slides)

Track "Industrial Applications"

"Experiences with SDL'92 in connection with ASN.1 at Siemens Intelligent Networks division", Gerd Kurzbach, SIEMENS AG, Germany (Powerpoint 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 (Postscipt Slides)
"A non-interleaving semantics for MSC", S. Heymer, University of Lübeck, Germany (PS Slides)
"Pomsets for message sequence charts", J.P. Katoen, L. Lambert, University of Erlangen-Nuremburg, Germany  (PS Slides)