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

@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
François Terrier, Sébastien Gérard: Real Time System Modeling with UML: current status and some prospects. 18-32

MSC I

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

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
Marius Bozga, Susanne Graf, Alain Kerbrat, Laurent Mounier, Iulian Ober, Daniel Vincent: SDL for Real-Time: What is Missing? 108-

UML

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

Test I

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

Semantics

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

Case Study

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

SDL

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

Last update Tue Feb 14 04:10:08 2012 CET by the DBLP Team —

This material is Open Data

Data released under the ODC-BY 1.0 license — See also our legal information page