Telecommunications and beyond: The Broader Applicability of SDL and MSC

Third International Workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002. Revised Papers
Erscheinungsjahr 2003
ISBN: 978-3-540-00877-4
Verlag: Springer

Buch, Englisch, 256 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 411 g

Reihe: Lecture Notes in Computer Science

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.

Zielgruppe

Research

Autoren/Hrsg.

Sherratt, Edel

Fachgebiete

• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Prozedurale Programmierung
• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering Objektorientierte Softwareentwicklung
• Sozialwissenschaften Medien- und Kommunikationswissenschaften Kommunikationswissenschaften Digitale Medien, Internet, Telekommunikation
• Technische Wissenschaften Elektronik | Nachrichtentechnik Nachrichten- und Kommunikationstechnik Funktechnik
• Mathematik | Informatik EDV | Informatik Technische Informatik Netzwerk-Hardware
• Mathematik | Informatik EDV | Informatik Technische Informatik Systemverwaltung & Management
• Mathematik | Informatik EDV | Informatik Technische Informatik Externe Speicher & Peripheriegeräte
• Mathematik | Informatik EDV | Informatik Computerkommunikation & -vernetzung Internet, E-Mail, VoIP
• Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten

Inhaltsverzeichnis

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.