Telecommunications and beyond: The Broader Applicability of SDL and MSC

TheSDLandMSC(SAM)workshopisheldeverytwoyearstoprovideanopen discussionarenabetweentheSDLForummeetings. The3rdSAMWorkshopwas heldinAberystwyth,Wales,UKfromJune24toJune26,2002,toaddressthe theme Telecommunication and Beyond: the Broader Applicability of SDL and MSC. Participants included SDL forum members, tool vendors, standardizers, industrialusersandresearchers. TheworkshopwasorganizedbytheSDLForum Society,andtheUniversityofWales,Aberystwyth. The15paperscollectedherewereselectedforpresentationattheworkshop, andthenrevisedinthelightofdiscussions. TheworkshopalsofeaturedanSDL design contest, whose entries are accessible via the SDL Forum society website atsdl-forum. org/SAMcontest/ The papers are divided into two parts, with the ?rst 11 papers focusing on SDL,andthe?nalfouronMSCandTTCN. December2002 EdelSherratt Organization SAM 2002 was organized by the Department of Computer Science, University ofWales,Aberystwyth,andtheSDLForumSociety. Executive Committee SDLForumSocietyCo-chair: RickReed,Chairman,SDLForumSociety LocalCo-chair: EdelSherratt,UniversityofWales, Aberystwyth Committeemembers: ChrisLoftus,UniversityofWales,Aberystwyth MoraMcCallum,UniversityofWales, Aberystwyth NealSnooke,UniversityofWales,Aberystwyth JonathonBell,UniversityofWales, Aberystwyth UweGl asser,Treasurer,SDLForumSociety AndreasPrinz,Secretary,SDLForumSociety JeanneReed,Administration,SDLForum Society Program Committee ConferenceChair:RickReed ProgramChair:AndreasPrinz OrganizingChair:EdelSherratt Demonstrations: UweGl asser ChrisLoftus Committeemembers: ReinhardGotzhein JoachimFischer DieterHogrefe EkkartRudolph RolvBraek SusanneGraf SjoukeMauw NikolaiMansurov CliveJervis DanielAmyot ThomasWeigert BobProbert VIII Organization Referees RickReed JoachimFischer NikolaiMansurov 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 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Includes supplementary material: sn.pub/extras

Klappentext

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

Inhalt
SDL.- CoSDL - An Experimental Language for Collaboration Specification.- URN: Towards a New Standard for the Visual Description of Requirements.- Expression of Time and Duration Constraints in SDL.- SDL Time Extensions from a Semantic Point of View.- Micro Protocol Design: The SNMP Case Study1.- Implementation of UMTS Protocol Layers for the Radio Access Interface.- Object-Oriented Specification of Protocols for Reusability.- Rapid Development of Network Software via SDL/Socket Interfaces.- Understanding Existing Software with Use Case Map Scenarios.- Techniques for Abstracting SDL Specifications.- Model-Based Generation of SDL Specifications for the Early Prototyping of Reactive Systems.- MSC and TTCN.- Automatic Generation of Conformance Tests from Message Sequence Charts.- MSC Connectors - The Philosopher's Stone.- An Extension for MSC-2000 and Its Application.- The Graphical Format of TTCN-3 in the Context of MSC and UML.