Telecommunications and beyond: The Broader Applicability of SDL and MSC : Third International Workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002. R

Sherratt, Edel

ISBN 10: 3540008772 / ISBN 13: 9783540008774

Published by Springer 2003-03, 2003

About this Item

Seller Inventory # 6666-IUK-9783540008774

Bibliographic Details

• Title: Telecommunications and beyond: The Broader Applicability of SDL and MSC : Third International Workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002. R
• Publisher: Springer 2003-03
• Publication Date: 2003
• Language: English
• ISBN 10: 3540008772
• ISBN 13: 9783540008774
• Binding: PF
• Condition: New

About this title

Synopsis

AndreasPrinz DieterHogrefe CliveJervis EdelSherratt EkkartRudolph DanielAmyot UweGl¨ asser RolvBraek ThomasWeigert ChrisLoftus SusanneGraf BobProbert ReinhardGotzhein SjoukeMauw Table of Contents SDL CoSDL–AnExperimentalLanguageforCollaborationSpeci?cation . . . . 1 Frank R˜ o…ler, Birgit Geppert, Reinhard Gotzhein URN:TowardsaNewStandardfortheVisual DescriptionofRequirements. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 Daniel Amyot, Gunter Mussbacher ExpressionofTimeandDurationConstraintsinSDL . . . . . . . . . . . . . . . . . 38 Susanne Graf SDLTimeExtensionsfromaSemanticPointofView. . . . . . . . . . . . . . . . . . 53 Andreas Prinz MicroProtocolDesign:TheSNMPCaseStudy. . . . . . . . . . . . . . . . . . . . . . . 61 Reinhard Gotzhein, Ferhat Khendek, Philipp Schaible ImplementationofUMTSProtocolLayersforthe RadioAccessInterface. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74 Javier Col¶as, J. M. P¶erez, Javier Poncela, J. T. Entrambasaguas Object-OrientedSpeci?cationofProtocolsforReusability. . . . . . . . . . . . . . 90 Andreas Prinz, Mario Schwarz RapidDevelopmentofNetworkSoftwareviaSDL/SocketInterfaces . . . . . 103 Tae-Hyong Kim, Robert L. Probert, Igor Sales, Alan Williams UnderstandingExistingSoftwarewithUseCaseMapScenarios. . . . . . . . . 124 Daniel Amyot, Nikolai Mansurov, Gunter Mussbacher TechniquesforAbstractingSDLSpeci?cations. . . . . . . . . . . . . . . . . . . . . . . . 141 Sergiy Boroday, Roland Groz, Alex Petrenko, Yves-Marie Quemener Model-BasedGenerationofSDLSpeci?cationsforthe EarlyPrototypingofReactiveSystems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 158 Andreas Metzger, Stefan Queins MSC and TTCN AutomaticGenerationofConformanceTestsfrom MessageSequenceCharts . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .