SDL 2005: Model Driven : 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings / edited by Andreas Prinz, Rick Reed, Jeanne Reed.

Format:

Book

Contributor:

Prinz, Andreas, editor.

Reed, Rick, editor.

Reed, Jeanne, editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

LNCS sublibrary. Computer communication networks and telecommunications ; SL 5, 3530.

Computer Communication Networks and Telecommunications ; 3530

Language:

English

Subjects (All):

Computer organization.

Software engineering.

Computer logic.

Management information systems.

Computer science.

Computer Systems Organization and Communication Networks.

Software Engineering.

Logics and Meanings of Programs.

Management of Computing and Information Systems.

Local Subjects:

Computer Systems Organization and Communication Networks.

Software Engineering.

Logics and Meanings of Programs.

Management of Computing and Information Systems.

Physical Description:

1 online resource (XII, 364 pages).

Edition:

First edition 2005.

Contained In:

Springer eBooks

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.

System Details:

text file PDF

Summary:

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 of the Inter- tional Telecommunication Union (ITU). Since then, many developments took place and the language has undergone several changes. However, the main underlying paradigm has survived, and it is the reason for the success of the Speci?cation and Description Language in many projects. This paradigm is based on the following important principles of distributed - plications: Communication: large systems tend to be described using smaller parts that communicate with each other; State: the systems are described on the basis of an explicit notion of state; State change: the behavior of the system is described in terms of (local) changes of the state. The original language is not the only representative for this kind of paradigm, so the scope of the SDL Forum was extended quite soon after the ?rst few events to also include other ITU standardized languages of the same family, such as MSC, ASN.1 and TTCN. This led to the current scope of System Design Languages coveringallstagesofthedevelopmentprocessincludinginparticularSDL,MSC, UML, ASN.1, eODL, TTCN, and URN. The focus is clearly on the advantages to users, and how to get from these languages the same advantage given by the ITU Speci?cation and Description Language: code generation from high-level speci?cations.

Contents:

Language Issues

ULF-Ware - An Open Framework for Integrated Tools for ITU-T Languages

An Access Control Language for Dynamic Systems - Model-Driven Development and Verification

Non-deterministic Constructs in OCL - What Does any() Mean

Engineering Issues

Integrating RT-CORBA in SDL

Component Development: MDA Based Transformation from eODL to CIDL

Service Discovery and Component Reuse with Semantic Interfaces

ns+SDL - The Network Simulator for SDL Systems

Message Sequence Charts

Semantics of Message Sequence Charts

Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets

Applications and Tools (Short Papers)

SDL Design of OSPF Protocol for the Wireless Private Network

ASM and SDL Models of Geographic Routing in Mobile Ad Hoc Networks

Modeling Route Change in Soft-State Signaling Protocols Using SDL: A Case of RSVP

Experiences in Using SDL to Support the Design and Implementation of a Logical Link Layer Protocol

Modeling, Verifying and Testing Mobility Protocol from SDL Language

Cinderella SLIPPER: An SDL to C-Code Generator

Model Driven Architecture (Short Papers)

Model-Driven Development of Reactive Systems with SDL

A UML-Compatible Formal Language for System Architecture Description

Test and Validation

UCM-Driven Testing of Web Applications

Network Element Testing Using TTCN-3: Benefits and Comparison

A Compositional Approach to Service Validation

Consistency Checking of Concurrent Models for Scenario-Based Specifications

Code Generation

SDL Code Generation for Open Systems

SDL Versus C Equivalence Checking

Synthesizing State-Machine Behaviour from UML Collaborations and Use Case Maps.

Other Format:

Printed edition:

ISBN:

978-3-540-31539-1

9783540315391

Access Restriction:

Restricted for use by site license.