System Analysis and Modeling 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Amyot, Daniel (Editor), Williams, Alan W. (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
• Series: Lecture Notes in Computer Science, 3319
• Subjects: Computer science.; Computers.; Computer Science.; Theory of Computation.; Computer Science, general.

Table of Contents:

• 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 Imprecise Requirements
• 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.