SDL 2005 : model driven : 12th international SDL Forum, Grimstad, Norway, June 20-23, 2005 : proceedings / Andreas Prinz, Rick Reed, Jeanne Reed (eds.).
"This volume contains the papers presented at the 12th SDL Forum, Grimstad, Norway. The SDL Forum was ?rst held in 1982, and then every two years from 1985. Initially the Forum was concerned only with the Speci?cation and Description Language that was ?rst standardized in the 1976 Orange Book o...
Saved in:
| Main Authors: | , , |
|---|---|
| Corporate Author: | |
| Format: | Ebook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
[2005]
|
| Series: | Lecture notes in computer science ;
3530. |
| Subjects: | |
| Online Access: | Springer eBooks |
Table of Contents:
- Language Issues:
- ULF-Ware – An Open Framework for Integrated Tools for ITU-T Languages / Joachim Fischer, Andreas Kunert, Michael Piefel, Markus Scheidgen
- An Access Control Language for Dynamic Systems – Model-Driven Development and Verification / Manuel Koch, Karl Pauls
- Non-deterministic Constructs in OCL – What Does any() Mean / Thomas Baar
- Engineering Issues:
- Integrating RT-CORBA in SDL / Manuel Díaz, Daniel Garrido, Luis Llopis, José M. Troya
- Component Development: MDA Based Transformation from eODL to CIDL / Harald Böhme, Glenn Schütze, Konrad Voigt
- Service Discovery and Component Reuse with Semantic Interfaces / Richard T. Sanders, Rolv Bræk, Gregor von Bochmann, Daniel Amyot
- ns+SDL – The Network Simulator for SDL Systems / Thomas Kuhn, Alexander Geraldy, Reinhard Gotzhein, Florian Rothländer
- Message Sequence Charts:
- Semantics of Message Sequence Charts / A. A. Letichevsky, J. V. Kapitonova, V. P. Kotlyarov, V. A. Volkov, A. A. Letichevsky Jr., T. Weigert
- Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets / Christoph Eichner, Hans Fleischhack, Roland Meyer, Ulrik Schrimpf, Christian Stehno
- Applications and Tools (Short Papers):
- SDL Design of OSPF Protocol for the Wireless Private Network / Yang Yang, Yang Lu, Xiaokang Lin
- ASM and SDL Models of Geographic Routing in Mobile Ad Hoc Networks / Uwe Glässer, Andreas Prinz
- Modeling Route Change in Soft-State Signaling Protocols Using SDL: A Case of RSVP / Constantin Werner, Xiaoming Fu, Dieter Hogrefe
- Experiences in Using SDL to Support the Design and Implementation of a Logical Link Layer Protocol / Laila Daniel, Matti Luukkainen, Markku Kojo
- Modeling, Verifying and Testing Mobility Protocol from SDL Language / Francine Ngani Noudem, César Viho
- Cinderella SLIPPER: An SDL to C-Code Generator / Yosef Rauchwerger, Finn Kristoffersen, Yair Lahav
- Model Driven Architecture (Short Papers):
- Model-Driven Development of Reactive Systems with SDL / Edel Sherratt
- A UML-Compatible Formal Language for System Architecture Description / Matteo Pradella, Matteo Rossi, Dino Mandrioli
- Test and Validation:
- UCM-Driven Testing of Web Applications / Daniel Amyot, Jean-François Roy, Michael Weiss
- Network Element Testing Using TTCN-3: Benefits and Comparison / G. Bhaskar Rao, Keerthi Timmaraju, Thomas Weigert
- A Compositional Approach to Service Validation / Jacqueline Floch, Rolv Bræk
- Consistency Checking of Concurrent Models for Scenario-Based Specifications / Xuandong Li, Jun Hu, Lei Bu, Jianhua Zhao, Guoliang Zheng
- Code Generation:
- SDL Code Generation for Open Systems / Joachim Fischer, Toby Neumann, Anders Olsen
- SDL Versus C Equivalence Checking / Malek Haroud, Armin Biere
- Synthesizing State-Machine Behaviour from UML Collaborations and Use Case Maps / Humberto Nicolás Castejón Martínez.