This book constitutes the refereed proceedings of the 11th International Conference on System Analysis and Modeling, SAM 2019, held in Munich, Germany, in September 2019.The 12 full papers and 2 work in progress papers presented together with one keynote talk were carefully reviewed and selected from 28 submissions. The papers discuss the most recent innovations, trends, and experiences in modeling and analysis of complex systems using ITU-T's Specification and Description Language (SDL-2010) and Message Sequence Chart (MSC) notations, as well as related system design languages — including UML, ASN.1, TTCN, SysML, and the User Requirements Notation (URN). SAM 2019’s theme was “Languages, Methods, and Tools for Industry 4.0.”

This book constitutes the refereed proceedings of the 11th International Conference on System Analysis and Modeling, SAM 2019, held in Munich, Germany, in September 2019.

The 12 full papers and 2 work in progress papers presented together with one keynote talk were carefully reviewed and selected from 28 submissions. The papers discuss the most recent innovations, trends, and experiences in modeling and analysis of complex systems using ITU-T''s Specification and Description Language (SDL-2010) and Message Sequence Chart (MSC) notations, as well as related system design languages — including UML, ASN.1, TTCN, SysML, and the User Requirements Notation (URN). SAM 2019’s theme was “Languages, Methods, and Tools for Industry 4.0.”

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

This book constitutes the refereed proceedings of the 11th International Conference on System Analysis and Modeling, SAM 2019, held in Munich, Germany, in September 2019.The 12 full papers and 2 work in progress papers presented together with one keynote talk were carefully reviewed and selected from 28 submissions. The papers discuss the most recent innovations, trends, and experiences in modeling and analysis of complex systems using ITU-T's Specification and Description Language (SDL-2010) and Message Sequence Chart (MSC) notations, as well as related system design languages — including UML, ASN.1, TTCN, SysML, and the User Requirements Notation (URN). SAM 2019’s theme was “Languages, Methods, and Tools for Industry 4.0.”

This book constitutes the refereed proceedings of the 11th International Conference on System Analysis and Modeling, SAM 2019, held in Munich, Germany, in September 2019.

The 12 full papers and 2 work in progress papers presented together with one keynote talk were carefully reviewed and selected from 28 submissions. The papers discuss the most recent innovations, trends, and experiences in modeling and analysis of complex systems using ITU-T''s Specification and Description Language (SDL-2010) and Message Sequence Chart (MSC) notations, as well as related system design languages — including UML, ASN.1, TTCN, SysML, and the User Requirements Notation (URN). SAM 2019’s theme was “Languages, Methods, and Tools for Industry 4.0.”

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