4. SAM 2004: Ottawa, Canada

Daniel Amyot, Alan W. Williams (Eds.): System Analysis and Modeling, 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3319 Springer 2005, ISBN 3-540-24561-8

SDL and eODL

Andreas Hoffmann, Bertram Neubauer:
Deployment and Configuration of Distributed Systems. 1-16
Harald Böhme, Joachim Fischer:
eODL and SDL in Combination for Components. 17-32
Margarita de Cabo, Manuel Rodríguez:
Applying eODL and SDL-Patterns for Developing TMN Managed Systems. 33-49
Jörg Dorsch, Anders Ek, Reinhard Gotzhein:
SPT - The SDL Pattern Tool. 50-64

Evolution of Languages

Øystein Haugen:
Comparing UML 2.0 Interactions and MSC-2000. 65-79
Rick Reed:
Data Encoding for SDL in ITU-T Rec. Z.104. 80-95
Edel Sherratt:
SDL in a Changing World. 96-105

Requirements and MSC

Ferhat Khendek, Christophe Lohr, Li Xin Wang, Xiao Jun Zhang, Tong Zheng:
Early Validation of Deployment and Scheduling Constraints for MSC Specifications. 106-121
Bill Mitchell, Robert Thomson, Paul Bristow:
Scenario Synthesis from Imprecise Requirements. 122-137
Jameleddine Hassine, Rachida Dssouli, Juergen Rilling:
Applying Reduction Techniques to Software Functional Requirement Specifications. 138-153

Security

Christian Rinderknecht:
Proving a Soundness Property for the Joint Design of ASN.1 and the Basic Encoding Rules. 154-170
Cas J. F. Cremers, Sjouke Mauw:
Checking Secrecy by Means of Partial Order Reduction. 171-188
Loïc Hélouët:
Finding Covert Channels in Protocols with Message Sequence Charts: The Case of RMTP2. 189-207

SDL and Modelling

Joachim Fischer, Michael Piefel, Markus Scheidgen:
A Metamodel for SDL-2000 in the Context of Metamodelling ULF. 208-223
Ingmar Fliege, Alexander Geraldy, Reinhard Gotzhein, Philipp Schaible:
A Flexible Micro Protocol Framework. 224-236
Rolv Bræk, Jacqueline Floch:
ICT Convergence: Modeling Issues. 237-256

Experience

Arjan J. Mooij, Nicolae Goga:
Dealing with Non-local Choice in IEEE 1073.2's Standard for Remote Control. 257-270
Frank Weil, Thomas Weigert:
Guidelines for Using SDL in Product Development. 271-289
Paresh Jain, Amresh Paresh Jain:
Validating Wireless Protocol Conformance Test Cases. 290-300

Last update Fri May 25 08:35:12 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page