β Scribed by Andreas Hoffmann, Bertram Neubauer (auth.), Daniel Amyot, Alan W. Williams (eds.)
No coin nor oath required. For personal study only.
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.
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 -
Computer Science, general
π SIMILAR VOLUMES
<span>message sequence charts annotated with security properties.</span>
<P>This book constitutes the refereed proceedings of the 5th International Workshop on System Analysis and Modelling, SAM 2006, held in Kaiserslautern, Germany in May/June 2006.</P><P>The 14 revised full papers presented were carefully selected during two rounds of reviewing and improvements for inc
<p>This book constitutes the throughly refereed post-proceedings of the 6th International Workshop on Systems Analysis and Modeling, SAM 2010, held in collocation with MODELS 2010 in Oslo, Norway in October 2010. The 15 revised full papers presented went through two rounds of reviewing and improveme
<p>This book constitutes the throughly refereed post-proceedings of the 6th International Workshop on Systems Analysis and Modeling, SAM 2010, held in collocation with MODELS 2010 in Oslo, Norway in October 2010. The 15 revised full papers presented went through two rounds of reviewing and improveme