product iamge

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

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

This book constitutes the thoroughly refereed postproceedings of the 4th International Workshop on SDL and MSC, SAM 2004, held in Ottawa, Canada in June 2004.

The 19 revised full papers presented were carefully selected during two rounds of reviewing and revision from initially 46 submissions. The papers are organized in topical sections on SDL and eODL, evolution of languages, requirements and MSC, security, SDL and modeling, and experience.

Author(s): Andreas Hoffmann, Bertram Neubauer (auth.), Daniel Amyot, Alan W. Williams (eds.)
Series: Lecture Notes in Computer Science 3319 : Computer Communication Networks and Telecommunications
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2005

Language: English
Pages: 302
Tags: Computer Science, general

Front Matter....Pages -
Deployment and Configuration of Distributed Systems....Pages 1-16
eODL and SDL in Combination for Components....Pages 17-32
Applying eODL and SDL-Patterns for Developing TMN Managed Systems....Pages 33-49
SPT – The SDL Pattern Tool....Pages 50-64
Comparing UML 2.0 Interactions and MSC-2000....Pages 65-79
Data Encoding for SDL in ITU-T Rec. Z.104....Pages 80-95
SDL in a Changing World....Pages 96-105
Early Validation of Deployment and Scheduling Constraints for MSC Specifications....Pages 106-121
Scenario Synthesis from Imprecise Requirements....Pages 122-137
Applying Reduction Techniques to Software Functional Requirement Specifications....Pages 138-153
Proving a Soundness Property for the Joint Design of ASN.1 and the Basic Encoding Rules....Pages 154-170
Checking Secrecy by Means of Partial Order Reduction....Pages 171-188
Finding Covert Channels in Protocols with Message Sequence Charts: The Case of RMTP2....Pages 189-207
A Metamodel for SDL-2000 in the Context of Metamodelling ULF....Pages 208-223
A Flexible Micro Protocol Framework....Pages 224-236
ICT Convergence: Modeling Issues....Pages 237-256
Dealing with Non-local Choice in IEEE 1073.2’s Standard for Remote Control....Pages 257-270
Guidelines for Using SDL in Product Development....Pages 271-289
Validating Wireless Protocol Conformance Test Cases....Pages 290-300
Back Matter....Pages -