System Analysis and Modeling: About Models: 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers PDF
Preview System Analysis and Modeling: About Models: 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers
Lecture Notes in Computer Science 6598 CommencedPublicationin1973 FoundingandFormerSeriesEditors: GerhardGoos,JurisHartmanis,andJanvanLeeuwen EditorialBoard DavidHutchison LancasterUniversity,UK TakeoKanade CarnegieMellonUniversity,Pittsburgh,PA,USA JosefKittler UniversityofSurrey,Guildford,UK JonM.Kleinberg CornellUniversity,Ithaca,NY,USA AlfredKobsa UniversityofCalifornia,Irvine,CA,USA FriedemannMattern ETHZurich,Switzerland JohnC.Mitchell StanfordUniversity,CA,USA MoniNaor WeizmannInstituteofScience,Rehovot,Israel OscarNierstrasz UniversityofBern,Switzerland C.PanduRangan IndianInstituteofTechnology,Madras,India BernhardSteffen TUDortmundUniversity,Germany MadhuSudan MicrosoftResearch,Cambridge,MA,USA DemetriTerzopoulos UniversityofCalifornia,LosAngeles,CA,USA DougTygar UniversityofCalifornia,Berkeley,CA,USA GerhardWeikum MaxPlanckInstituteforInformatics,Saarbruecken,Germany Frank Alexander Kraemer Peter Herrmann (Eds.) System Analysis and Modeling: About Models 6th International Workshop, SAM 2010 Oslo, Norway, October 4-5, 2010 Revised Selected Papers 1 3 VolumeEditors FrankAlexanderKraemer PeterHerrmann NorwegianUniversityofScienceandTechnology(NTNU) DepartmentofTelematics O.S.Bragstadsplass2a,7491Trondheim,Norway E-mail:{kraemer,herrmann}@item.ntnu.no ISSN0302-9743 e-ISSN1611-3349 ISBN978-3-642-21651-0 e-ISBN978-3-642-21652-7 DOI10.1007/978-3-642-21652-7 SpringerHeidelbergDordrechtLondonNewYork LibraryofCongressControlNumber:2011929390 CRSubjectClassification(1998):C.2,D.2,D.3,F.3,C.3,H.4 LNCSSublibrary:SL5–ComputerCommunicationNetworksandTelecommuni- cations ©Springer-VerlagBerlinHeidelberg2011 Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialis concerned,specificallytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting, reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.Duplicationofthispublication orpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965, initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.Violationsareliable toprosecutionundertheGermanCopyrightLaw. Theuseofgeneraldescriptivenames,registerednames,trademarks,etc.inthispublicationdoesnotimply, evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevantprotectivelaws andregulationsandthereforefreeforgeneraluse. Typesetting:Camera-readybyauthor,dataconversionbyScientificPublishingServices,Chennai,India Printedonacid-freepaper SpringerispartofSpringerScience+BusinessMedia(www.springer.com) Preface Thesearetheproceedingsofthe sixtheditionofSAM,the WorkshoponSystem Analysis and Modeling. The workshop provides an open arena for participants fromacademiaandindustry to presentanddiscuss the mostrecentinnovations, trends, experiences and concerns in modeling, specification and analysis of dis- tributed, communication and real-time systems. In 2010, SAM was co-located with the 13th ACM/IEEE International Conference on Model-Driven Engi- neering Languages and Systems (MODELS) and held in Oslo, Norway, during October 4–5. The workshopwas attended by around75 participantsfrom 18countries.Of the 32 manuscripts submitted initially, 16 were selected for presentation at the workshopinathoroughinitialreviewingroundinwhichmostofthepaperswere checked by four reviewers and several were improved using shepherds. Taking thefeedbackfromthereviewersandtheworkshopaudienceintoaccount,revised versionsof 15 manuscripts were collectedin this volume after a secondin-depth roundof reviews.The programwascompletedby a keynoteaddresson“Service High-Availability” by Ferhat Khendek from Concordia University in Montreal, Canada,andatutorialbyRickReedfromtheSDLForumSocietyonSDL-2010. This workshopwouldofcoursenothavebeenpossible withoutthe dedicated workoftheProgramCommitteemembersthatdidatremendousjobinreviewing allsubmissionsthoroughlyandactingasshepherds.Wewouldalsoliketoexpress our gratitude to Øystein Haugen and the entire Organizing Committee of the MODELS conference for enabling the co-locationof SAM and taking care of all local arrangements in the Oslo congress centre. Finally, we would like to thank all authors, keynote speakers, session chairs and sponsors, as well as the SDL Forum Society and the Department of Telematics of the Norwegian University of Science and Technology (NTNU). March 2011 Frank Alexander Kraemer Peter Herrmann Organization Workshop Co-chairs Frank Alexander Kraemer Norwegian University of Science and Technology (NTNU) Peter Herrmann Norwegian University of Science and Technology (NTNU) SDL Forum Society Chairman Rick Reed Secretary Reinhard Gotzhein Treasurer Martin von Lo¨wis ACM/IEEE/MODELS 2010 Øystein Haugen SINTEF, University of Oslo, Norway Program Committee Daniel Amyot University of Ottawa, Canada Attila Bilgic University of Bochum, Germany Rolv Bræk Norwegian University of Science and Technology, Norway Reinhard Brocks HTW Saarland, Germany Laurent Doldi Isoscope, France Anders Ek IBM, Sweden Stein-Erik Ellevseth ABB Corporate Research, Norway Joachim Fischer Humboldt-Universita¨t zu Berlin, Germany Jacqueline Floch SINTEF, Norway Pau Fonseca i Casas Universitat Polit`ecnia de Catalunya, Spain Emmanuel Gaudin Pragmadev,France Abdelouahed Gherbi E´cole de Technologie Sup´erieure, University of Quebec, Canada Reinhard Gotzhein University of Kaiserslautern,Germany Jens Grabowski Universit¨at Go¨ttingen, Germany Peter Graubmann Siemens, Germany Øystein Haugen SINTEF, University of Oslo, Norway Lo¨ıc Hlou¨et INRIA Rennes, France Peter Herrmann Norwegian University of Science and Technology, Norway VIII Organization Dieter Hogrefe University of G¨ottingen, Germany Clive Jervis Motorola, USA Ferhat Khendek Concordia University, Canada Hartmut Ko¨nig BTU Cottbus, Germany Alexander Kraas Fraunhofer Institute for Communication Systems (ESK), Germany Frank Alexander Kraemer Norwegian University of Science and Technology, Norway Finn Kristoffersen Cinderella ApS, Denmark Thomas Kuhn Fraunhofer IESE, Germany Anna Medve University of Pannonia, Hungary Pedro Merino University of Malaga, Spain Tommi Mikkonen Tampere University of Technology, Finland Ostap Monkewich OMCI, Canada Gunter Mussbacher University of Ottawa, Canada Birger Møller-Pedersen University of Oslo, Norway Ileana Ober IRIT University of Toulouse, France Javier Poncela Gonza´lez University of Malaga, Spain Andreas Prinz University of Agder, Norway Rick Reed TSE, UK Manuel Rodr´ıguez-Cayetano University of Valladolid, Spain Richard Sanders SINTEF, Norway Amardeo Sarma NEC Laboratories Europe, Germany Ina Schieferdecker TU Berlin/Fraunhofer FOKUS, Germany Bran Selic Malina Software Corp., Canada Edel Sherratt University of Wales, Aberystwyth, UK Martin von Lo¨wis Hasso-Plattner Institute, Germany Thomas Weigert University of Missouri-Rolla, USA Frank Weil UniqueSoft, USA Edith Werner Universita¨t Go¨ttingen, Germany Sponsoring Institutions IEEE Computer Society ACM Sigsoft SDL Forum Society amsys www.eit.uni-kl.de/amsys Additional Organizers Norwegian University of Science and Technology (NTNU) MODELS 2010 Table of Contents Modularity, Composition, Choreography SDL Modules – Concepts and Tool Support ......................... 1 Philipp Becker and Marc Kra¨mer A Developer-Friendly Approach for the Validation of Dynamic Compositions.................................................... 18 Jacqueline Floch and Cyril Carrez From Flow-Global Choreography to Component Types ............... 36 Surya Bahadur Kathayat and Rolv Bræk Application of SDL and UML Integration of FlexRay into the SDL-Model-Driven Development Approach ....................................................... 56 Tobias Braun, Reinhard Gotzhein, and Matthias Wiebel DesignandDevelopmentofaCPUSchedulerSimulatorforEducational Purposes Using SDL ............................................. 72 Manuel Rodr´ıguez-Cayetano UML-Based Specification and Generation of Executable Web Services......................................................... 91 Wafi Dahman and Jens Grabowski SDL Language Profiles The SDL-UML Profile Revisited ................................... 108 Alexander Kraas Code Generation and Model Transformations A Model Driven Approach for AMF Configuration Generation......... 124 Pejman Salehi, Pietro Colombo, Abdelwahab Hamou-Lhadj, and Ferhat Khendek SDL Code Generation for Network Simulators ....................... 144 Mihal Brumbulli and Joachim Fischer A Case Study on API Generation .................................. 156 Uwe Jugel and Andr´e Preußner X Table of Contents Verification and Analysis UOST: UML/OCL Aggressive Slicing Technique for Efficient Verification of Models ............................................ 173 Asadullah Shaikh, Uffe Kock Wiil, and Nasrullah Memon Extensible and Automated Model-Evaluations with INProVE.......... 193 S¨oren Kemmann, Thomas Kuhn, and Mario Trapp Requirements and Solutions for Timing Analysis of Automotive Systems ........................................................ 209 Saoussen Anssi, S´ebastien G´erard, Arnaud Albinet, and Franc¸ois Terrier User Requirements Notation Analysing the Cognitive Effectiveness of the UCM Visual Notation..... 221 Nicolas Genon, Daniel Amyot, and Patrick Heymans Towards a Taxonomy of Syntactic and Semantic Matching Mechanisms for Aspect-Oriented Modeling ..................................... 241 Gunter Mussbacher, Daniele Barone, and Daniel Amyot Author Index.................................................. 257 SDL Modules – Concepts and Tool Support Philipp Becker and Marc Krämer Networked SystemsGroup University of Kaiserslautern, Germany {pbecker,kraemer}@cs.uni-kl.de Abstract. SDL, ITU’s Specification and Description Language, sup- ports developing systems in a modular and hierarchical way, based on structural type definitions and their instantiations. Also, reuse is sup- portedbythepossibility todefinecollections oftypedefinitions,e.g., as SDLpackages,thatcanbeusedindifferentsystems.Anotherimportant developmenttask thatcan besupportedbypackages isthereplacement of system parts, i.e., structural instances. This can be achieved, for in- stance,byreplacingthetypedefinitiontowhichaninstantiationrefersby using another package containing a compatible type. However, we have found that this apparently elegant solution reveals some intricacies in practice.Tofullyexploitthebenefitsofpackagesforthedevelopmentof complexsystemsandsystemversioning,typedefinitionsaretypicallycol- lectedinaconsiderablenumberofpackages.Moreover,thereusuallyare numerousdependenciesamongpackages,whichmaketheirmanagement an error-prone task. Finally, it is not clear which types are compatible such that they can be used as mutual replacements. In this paper, we propose aclean solution forthereplacement of systemparts. Therefore, we introduce a concept that we call SDL module, which we use to cap- ture compatibility of structural type definitions and replacement rules. Weillustratetheapplicabilityofourapproachbypresentinganin-house developmenttooltoautomatethereplacementprocess.Thistoolcanbe utilized to speed up the development process, and adapt SDL systems to different platforms and scenarios. Keywords: SDL, MDD, Modules, Components, Interfaces, Packages, Tool Support. 1 Introduction DevelopingsystemswithSDL,ITU’sSpecificationandDescriptionLanguage[1], hascertainwell-knownadvantagesoverconventionaldevelopmentprocesses.One of these advantages is SDL’s inherent feature to structure and develop systems inamodularandhierarchicalway.Thehierarchicalstructureallowsustodesign a system by creating only a few representative blocks in the beginning, depict- ing the overall system structure. Then the system can be refined iteratively, becoming more complex with every step. During this refinement process, new structures, type definitions, and functionalities are added and encapsulated in various types of SDLs structural units on different layers. F.A.KraemerandP.Herrmann(Eds.):SAM2010,LNCS6598,pp.1–17,2011. (cid:2)c Springer-VerlagBerlinHeidelberg2011
The list of books you might like
