Telecommunications and beyond: The Broader Applicability of SDL and MSC

Third International Workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002. Revised Papers

AvEdel Sherratt

Häftad, Engelska, 2003

Del i serien Lecture Notes in Computer Science

549 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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 athttp://www. sdl-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 ...

Produktinformation

Utgivningsdatum:2003-03-18
Mått:155 x 233 x 15 mm
Vikt:411 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:256
Upplaga:2003
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540008774

Utforska kategorier

Elektronik och kommunikationer inom Naturvetenskap och teknik

Innehållsförteckning

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.