4. SAM 2004: Ottawa, Canada

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

SDL and eODL

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

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

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

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

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

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