11. SDL Forum 2003: Stuttgart, Germany

Rick Reed, Jeanne Reed (Eds.): SDL 2003: System Design, 11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003. Proceedings. Lecture Notes in Computer Science 2708 Springer 2003

@proceedings{DBLP:conf/sdl/2003,
  editor    = {Rick Reed and
               Jeanne Reed},
  title     = {SDL 2003: System Design, 11th International SDL Forum, Stuttgart,
               Germany, July 1-4, 2003. Proceedings},
  booktitle = {SDL Forum},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2708},
  year      = {2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Performance

Wei Monin, Fabrice Dubois, Daniel Vincent, Pierre Combes:
Looking for Better Integration of Design and Performance Engineering. 1-17
Dorina C. Petriu, Daniel Amyot, C. Murray Woodside:
Scenario-Based Performance Engineering with UCMNAV. 18-35

Evolution

Jacqueline Floch, Rolv Bræk:
Using SDL for Modeling Behavior Composition. 36-54
Susanne Graf, Ileana Ober:
A Real-Time Profile for UML and How to Adapt It to SDL. 55-76
Peter Graubmann:
MSC Connectors - The Chamber of Secrets. 77-101

Development

Rüdiger Grammes, Reinhard Gotzhein, Christian Mahr, Philipp Schaible, Helmut Schleiffer:
Industrial Application of the SDL-Pattern Approach in UMTS Call Processing Development - Experience and Quantitative Assessment. 102-116
Yong He, Daniel Amyot, Alan W. Williams:
Synthesizing SDL from Use Case Maps: An Experiment. 117-136
Christoforos D. Kavadias, Bernard Perrin, Vangelis Kollias, Michael Loupis:
Enhanced SDL Subset for the Design and Implementation of Java-Enabled Embedded Signalling Systems. 137-149

Modeling

Andreas Prinz, Martin von Löwis:
Generating a Compiler for SDL from the Formal Language Definition. 150-165
Rickard Holsmark, Magnus Högberg, Shashi Kumar:
Modelling and Evaluation of a Network on Chip Architecture Using SDL. 166-182
Kenneth J. Turner:
Formalizing Graphical Service Descriptions Using SDL. 183-202

Timing

Giacomo Bucci, Andrea Fedeli, Enrico Vicario:
Specification and Simulation of Real Time Concurrent Systems Using Standard SDL Tools. 203-217
Benoit Parreaux, Daniel Vincent, Gérard Babonneau:
RMTP2: Validating the Interval Timed Extension for SDL with an Industrial-Size Multicast Protocol. 218-233
Tong Zheng, Ferhat Khendek, Benoit Parreaux:
Refining Timed MSCs. 234-250

Validation

Jacqueline Floch, Rolv Bræk:
Using Projections for the Detection of Anomalous Behaviors. 251-268
Gábor Kovács, Zoltán Pap, Dung Le Viet, Antal Wu-Hen-Chang, Gyula Csopaki:
Applying Mutation Analysis to SDL Specifications. 269-284
Annikka Aalto, Nisse Husberg, Kimmo Varpaaniemi:
Automatic Formal Model Generation and Analysis of SDL. 285-299

Design

Javier Lopez, Juan J. Ortega, José M. Troya:
Applying SDL to Formal Analysis of Security Systems. 300-316
Philipp Schaible, Reinhard Gotzhein:
Development of Distributed Systems with SDL by Means of Formalized APIs. 317-334

Applications

Ligang Wang, J. William Atwood, Anjali Agarwal:
Validation of SIP/H.323 Interworking Using SDL/MSC. 335-351
Ken Y. Chan, Gregor von Bochmann:
Modeling IETF Session Initiation Protocol and Its Services in SDL. 352-373
Thomas Weigert, Paul Dietz:
Automated Generation of Marshaling Code from High-Level Specifications. 374-386

SAM '02 Design Winner

Alan W. Williams, Robert L. Probert, Qing Li, Tae-Hyong Kim:
The Winning Entry of the SAM 2002 Design Contest: . 387-404

Last update Fri May 25 08:36:05 2012 CET by the DBLP Team —

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