SDL2001论坛:与UML会合SDL 2001:Meeting UML
分類: 图书,进口原版书,科学与技术 Science & Techology ,
作者: Rick Reed 著
出 版 社: 湖南文艺出版社
出版时间: 2001-12-1字数:版次: 1页数: 437印刷时间: 2006/12/01开本:印次:纸张: 胶版纸I S B N : 9783540422815包装: 平装编辑推荐
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 research 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 published traditionally includes.
—proceedings (published in time for the respective conference)
—post-proceedings (consisting of thoroughly revised final full papers)
—research monographs(which may be based on outstanding PhD work,research projects,technical reports,etc.).
内容简介
This book constitutes the refereed proceedings of the 10th International SDL Forum, SDL 2001, held in Copenhagen, Denmark in June 2001.The 26 revised full papers presented were carefully reviewed and selected for presentation. The book offers topical sections on tools, language evolution, combined SDL and UML, unified testing, timing, unified ITU-T languages, SDL applications, MSC, and test and verification.
目录
Tools
Combining SDL with Synchronous Data Flow Modelling for Distributed Control Systems
Using Message Sequence Charts to Accelerate Maintenance of Existing Systems
2001 and Beyond: Language Evolution
From MSC-2000 to UML 2.0 - The Future of Sequence Diagrams
SDL and Layered Systems: Proposed Extensions to SDL to Better Support the Design of Layered Systems
Combined SDL and UML
Collaboration-Based Design of SDL Systems
Using UML for Implementation Design of SDL Systems
Deployment of SDL Systems Using UML
Unified Testing
Invited Presentation: ETSI Testing Activities and the Use of TTCN-3
HyperMSCs with Connectors for Advanced Visual System Modelling and Testing
Graphical Test Specification - The Graphical Format of TTCN-3
Some Implications of MSC, SDL and TTCN Time Extensions for Computer-Aided Test Generation
Timing
Verification of Quantitative Temporal Properties of SDL Specifications
A General Approach for the Specification of Real-Time Systems with SDL
Timed Extensions for SDL
Unified ITU-T Languages
ASN.1 Is Reaching Out!
Distributed Systems: From Models to Components
Deriving Message Sequence Charts from Use Case Maps Scenario Specifications
SDL Application
An SDL Implementation Framework for Third Generation Mobile Communications System
……
MSC
Test and Verification
Author Index