《System Analysis and Modeling: 4th International SDL and MSC 系统分析和建模》内容简介 ：
The LNCS series reports state-of-the-art restilts in computer science research, development, and education, at a high lewl and in both printed and electronic form. Enjoying tight cooperation with the R&D community, with numerous individuals, as wetl as with prestigious organizations and
societies, LNCS has grown into the most comprehensiye computer science research forum available.
The scope of LNCS, including its subseries LNAI and LNBI, spans the whole range 0f computer science ard information technology including interdisciplinary topics in a vatety of application fields. The type of materia! published traditionatly includes
-proceedings-(published:in time for the lrespective conference)
-post-proceedings (consisting of thorodghly revised final full papers)
-research monographs (which may be based on outstanding PhD work,research projects, technical reports, etc.)
当当目录 ：
SDL and eODL
Deployment and Configuration of Distributed Systems
eODL and SDL in Combination for Components
Applying eODL and SDL-Patterns for Developing TMN Managed Systems
SPT The SDL Pattern Tool
Evolution of Languages
Comparing UML 2.0 Interactions and MSC-2000
Data Encoding for SDL in ITU-T Rec. Z.104
SDL in a Changing World
Requirements and MSC
Early Validation of Deployment and Scheduling Constraints for MSC Specifications Scenario Synthesis from
Applying Reduction Techniques to Software Functional Requirement Specifications
Security
Proving a Soundness Property for the Joint Design of ASN.1 and the Basic Encoding Rules
Checking Secrecy by Means of Partial Order Reduction
Finding Covert Channels in Protocols with Message Sequence Charts The Case of RMTP2
SDL and Modelling
A Metamodel for SDL-2000 in the Context of Metamodelling ULF
A Flexible Micro Protocol Framework
ICT Convergence: Modeling Issues
Experience
Dealing with Non-local Choice in IEEE 1073.2's Standard for Remote Control
Guidelines for Using SDL in Product Development
Validating Wireless Protocol Conformance Test Cases
Author Index