2. SAM 2000: Col de Porte, Grenoble, France

Edel Sherratt (Ed.): SAM 2000, 2nd Workshop on SDL and MSC, Col de Porte, Grenoble, France, June 26-28, 2000. VERIMAG, IRISA, SDL Forum 2000 BibTeX

@proceedings{DBLP:conf/sam/2000,
  editor    = {Edel Sherratt},
  title     = {SAM 2000, 2nd Workshop on SDL and MSC, Col de Porte, Grenoble,
               France, June 26-28, 2000},
  booktitle = {SAM},
  publisher = {VERIMAG, IRISA, SDL Forum},
  year      = {2000},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Contributions

Anca Muscholl, Doron Peled: Analyzing Message Sequence Charts. 3-17 BibTeX
François Terrier, Sébastien Gérard: Real Time System Modeling with UML: current status and some prospects. 18-32 BibTeX

MSC I

André Engels: Design Decisions on Data and Guards in MSC2000. 33-46 BibTeX
Loïc Hélouët, Pierre Le Maigat: Decomposition of Message Sequence Charts. 47-60 BibTeX
F. A. Meijs: Connecting Message Sequence Charts. 61-75 BibTeX
Ekkart Rudolph, Ina Schieferdecker, Jens Grabowski: HyperMSC - a Graphical Representation of TTCN. 76- BibTeX

Real-Time Extensions

José M. Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya: SDL and hard real time systems: new design and analyze techniques. 92-107 BibTeX
Marius Bozga, Susanne Graf, Alain Kerbrat, Laurent Mounier, Iulian Ober, Daniel Vincent: SDL for Real-Time: What is Missing? 108- BibTeX

UML

Francis Bordeleau, Donald Cameron: On the Relationship between use-case maps and Message Sequence Charts. 123-138 BibTeX
J. P. Albaladejo, Javier Poncela-González, José T. Entrambasaguas: Adaptation Of SOMT To The Development Of Systems Based Upon a Standard. 139-153 BibTeX
Nikolai Mansurov, Dmitri Vasura: Approximation of (H)MSC Semantics By Automata. 154- BibTeX

Test I

Loe M. G. Feijs, Nicolae Goga, Sjouke Mauw: Probabilities In The Torx Test Derivation Algorithm. 173-188 BibTeX
Olaf Henniger, Hasan Ural: Test Generation Based On Control And Data Dependencies Within Multi-Process SDL Specifications. 189-202 BibTeX
Karl Meinke: Validation and Test Case Generations for MSCs Using A Propositional SAT Solver. 203- BibTeX

Semantics

Andreas Prinz, Robert Eschbach, Reinhard Gotzhein: A Executable Formal Semantics for SDL-2000. 249-261 BibTeX
Stefan Heymer: A Semantics for MSC Based on Petri Net Components. 262- BibTeX

Case Study

Ketil Stølen, P. Mohn: Experience from Using MSC, UML and SDL in the Development of the FAME Communication Manager. 276- BibTeX

SDL

Stefan Bläsius, Stefan Karg, Josef Maier, Günther Kohler: Development of SDL Based Software for an Embedded System - Practical Experience. 292-304 BibTeX
Ferhat Khendek, Daniel Vincent: Enriching SDL Specifications with MSCs. 305-319 BibTeX
F. Boutet, E. Choveau, G. Rieux, Y. Lejeune: Scheduling in SDL Simulation. Application to Future Air Navigation Systems. 320-332 BibTeX
B. Rao: SDL Based Auto Code Generation: A Multi Beneficial Approach. 333-340 BibTeX