12. SDL Forum 2005: Grimstad, Norway

Language Issues

• Joachim Fischer, Andreas Kunert, Michael Piefel, Markus Scheidgen:
  ULF-Ware - An Open Framework for Integrated Tools for ITU-T Languages. 1-15
  
• Manuel Koch, Karl Pauls:
  An Access Control Language for Dynamic Systems - Model-Driven Development and Verification. 16-31
  
• Thomas Baar:
  Non-deterministic Constructs in OCL - What Does any() Mean. 32-46
  

Engineering Issues

• Manuel Díaz, Daniel Garrido, Luis Llopis, José M. Troya:
  Integrating RT-CORBA in SDL. 47-67
  
• Harald Böhme, Glenn Schütze, Konrad Voigt:
  Component Development: MDA Based Transformation from eODL to CIDL. 68-84
  
• Richard Torbjørn Sanders, Rolv Bræk, Gregor von Bochmann, Daniel Amyot:
  Service Discovery and Component Reuse with Semantic Interfaces. 85-102
  
• Thomas Kuhn, Alexander Geraldy, Reinhard Gotzhein, Florian Rothländer:
  ns+SDL - The Network Simulator for SDL Systems. 103-116
  

Message Sequence Charts

• Alexander A. Letichevsky, Julia V. Kapitonova, Vsevolod Kotlyarov, Vladislav A. Volkov, A. A. Letichevsky Jr., Thomas Weigert:
  Semantics of Message Sequence Charts. 117-132
  
• Christoph Eichner, Hans Fleischhack, Roland Meyer, Ulrik Schrimpf, Christian Stehno:
  Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets. 133-148
  

Applications and Tools (Short Papers)

• Yang Yang, Yang Lu, Xiaokang Lin:
  SDL Design of OSPF Protocol for the Wireless Private Network. 149-161
  
• Uwe Glässer, Andreas Prinz:
  ASM and SDL Models of Geographic Routing in Mobile Ad Hoc Networks. 162-173
  
• Constantin Werner, Xiaoming Fu, Dieter Hogrefe:
  Modeling Route Change in Soft-State Signaling Protocols Using SDL: A Case of RSVP. 174-186
  
• Laila Daniel, Matti Luukkainen, Markku Kojo:
  Experiences in Using SDL to Support the Design and Implementation of a Logical Link Layer Protocol. 187-197
  
• Francine Ngani Noudem, César Viho:
  Modeling, Verifying and Testing Mobility Protocol from SDL Language. 198-209
  
• Yosef Rauchwerger, Finn Kristoffersen, Yair Lahav:
  Cinderella SLIPPER: An SDL to C-Code Generator. 210-223
  

Model Driven Architecture (Short Papers)

• Edel Sherratt:
  Model-Driven Development of Reactive Systems with SDL. 224-233
  
• Matteo Pradella, Matteo Rossi, Dino Mandrioli:
  A UML-Compatible Formal Language for System Architecture Description. 234-246
  

Test and Validation

• Daniel Amyot, Jean-François Roy, Michael Weiss:
  UCM-Driven Testing of Web Applications. 247-264
  
• G. Bhaskar Rao, Keerthi Timmaraju, Thomas Weigert:
  Network Element Testing Using TTCN-3: Benefits and Comparison. 265-280
  
• Jacqueline Floch, Rolv Bræk:
  A Compositional Approach to Service Validation. 281-297
  
• Xuandong Li, Jun Hu, Lei Bu, Jianhua Zhao, Guoliang Zheng:
  Consistency Checking of Concurrent Models for Scenario-Based Specifications. 298-312
  

Code Generation

• Joachim Fischer, Toby Neumann, Anders Olsen:
  SDL Code Generation for Open Systems. 313-322
  
• Malek Haroud, Armin Biere:
  SDL Versus C Equivalence Checking. 323-338
  
• Humberto Nicolás Castejón:
  Synthesizing State-Machine Behaviour from UML Collaborations and Use Case Maps. 339-359