2005 SDL论坛：模型驱动/会议录LNCS-3530: SDL 2005
点此进入淘宝搜索页搜索分类: 图书,进口原版书,科学与技术 Science & Techology ,
作者： Andreas Prinz 著
出 版 社： 北京燕山出版社
出版时间： 2005-12-1字数：版次： 1页数： 359印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S B N ： 9783540266129包装： 平装编辑推荐
The LNCS series reports state-of-the-art results in computer science research,development,and education,at a high level and in both printed and electronic form.Enjoying tight cooperation with the R&D community,with numerous individuals,as well as with prestigious organizations and societies,LNCS has grown into the most comprehensive computer science resarch forum available.
The scope of LNCS,including its subseries LNAI,spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields.The type of material publised traditionally includes.
-proceedings(published in time for the respective conference)
-post-proceedings(consisting of thoroughly revised final full papers)
-research monographs(which may be basde on outstanding PhD work,research projects,technical reports,etc.).
内容简介
This book constitutes the refereed proceedings of the 12th International SDL Forum, SDL 2005, held in Grimstad, Norway. The 16 revised full and 8 short papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on language issues, engineering issues, message sequence charts, applications and tools, model driven architecture, test and validation, and code generation. Thus all aspects of system design using system design languages are addressed.
目录
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 a~y0 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 Laver 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
……
Code Generation
Author Index
