Telecommunications and beyond: The Broader Applicability of SDL and MSC

Edel Sherratt

ISBN 10: 3540008772 / ISBN 13: 9783540008774

Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Mär 2003, 2003

About this Item

Neuware -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¿ ö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 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 268 pp. Englisch.

Seller Inventory # 9783540008774

Bibliographic Details

• Title: Telecommunications and beyond: The Broader Applicability of SDL and MSC
• Publisher: Springer Berlin Heidelberg, Springer Berlin Heidelberg Mär 2003
• Publication Date: 2003
• Language: English
• ISBN 10: 3540008772
• ISBN 13: 9783540008774
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 15D millimeters 235 millimeters width by 155 millimeters height by 15 millimeters depth
• Weight: 411 grams

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 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .