Ricardo J. Machado Rita Suzana P. Maciel Julia Rubin Goetz Botterweck (Eds.) Model-Based Methodologies 6 0 7 for Pervasive 7 S C and Embedded Software N L 8th International Workshop, MOMPES 2012 Essen, Germany, September 2012 Revised Papers 123 Lecture Notes in Computer Science 7706 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 Ricardo J. Machado Rita Suzana P. Maciel Julia Rubin Goetz Botterweck (Eds.) Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012 Essen, Germany, September 4, 2012 Revised Papers 1 3 VolumeEditors RicardoJ.Machado UniversidadedoMinho,DepartmentSistemasdeInformação EscoladeEngenharia,CampusAzurém 4800-058Guimarães,Portugal E-mail:[email protected] RitaSuzanaP.Maciel UniversidadeFederaldaBahia,DepartamentodeCiênciadaComputação AvenidaAdemardeBarross/n-Ondina,40170-110Salvador,Bahia,Brazil E-mail:[email protected] JuliaRubin IBMResearch,HaifaUniversityCampus MountCarmel,Haifa31905,Israel E-mail:[email protected] GoetzBotterweck UniversityofLimerick,Lero-TheIrishSoftwareEngineeringResearchCentre T2-028,TierneyBuilding,Limerick,Ireland E-mail:[email protected] ISSN0302-9743 e-ISSN1611-3349 ISBN978-3-642-38208-6 e-ISBN978-3-642-38209-3 DOI10.1007/978-3-642-38209-3 SpringerHeidelbergDordrechtLondonNewYork LibraryofCongressControlNumber:2013937046 CRSubjectClassification(1998):D.2,F.3,C.2,C.3,D.3,H.4,I.6 LNCSSublibrary:SL2–ProgrammingandSoftwareEngineering ©Springer-VerlagBerlinHeidelberg2013 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 Software systems development demands sound methodologies, models, princi- ples, and appropriate tools. The International Workshop on Model-Based Methodologiesfor PervasiveandEmbeddedSoftware(MOMPES)seriesfocuses on the theoretical and practical aspects related to the adoption of model-based development (MBD) methodologies for supporting the construction of software for pervasive and embedded systems. MOMPES 2012 was the eighth edition of itsseries.Overtheyears,theworkshopshavealwayscontainedamixofindustry andacademicresearchpapers,fosteringproductivecollaborationamongthetwo communities. Sinceitsfirsteditionin2004,theworkshophasbeenco-locatedwithmajorin- ternationalscientificconferences:ACSD2004,ACSD2005,ECBS2006,ETAPS 2007, ETAPS 2008, ICSE 2009, and ASE 2010. Like last year, MOMPES 2012 was co-located with the IEEE/ACM International Conference on Automated Software Engineering (ASE 2012), one of the leading conferences on Software Engineering. This book compiles the proceedings of the workshop held on September 4, 2012,inEssen,Germany,inconjunctionwith ASE2012.Outof16submissions, sevenfullpapersandoneshortpaperwereselectedforpresentationatthework- shopandinclusionintheproceedings.Eachsubmissionwasreviewedbyatleast three ProgramCommittee members. Thepaperscoveralargespectrumoftopicsincludingmodel-drivenengineer- ing, model analysis,runtime verification,modeling of reactive systems,variabil- ity modeling, and domain-specific languages. We hope that you find the collection of MOMPES papers interesting and thought-provoking. Last but not least, we would like to thank the members of the Program Committee, the additional reviewers and the authors for their contribution to the workshop. October 2012 Ricardo J. Machado Rita Suzana Maciel Julia Rubin Goetz Botterweck Organization Program Committee Robert Baillargeon SODIUS, USA Ga¨elle Calvary Grenoble Institute of Technology, France Holger Giese HPI, Universita¨t Potsdam, Germany Lu´ıs Gomes Universidade Nova de Lisboa, Portugal Hans-Gerhard Gross TU Delft, The Netherlands Timo D. H¨am¨ala¨inen TU Tampere, Finland Chris Hankin Imperial College London, UK Stefan Kowalewski RWTH Aachen, Germany Luis Lamb Universidade Federal do Rio Grande do Sul, Brazil Pedro Jos´e Marro´n Universita¨t Duisburg-Essen, Germany Dirk Muthig Lufthansa Systems, Germany Elvinia Riccobene Universit`a degli Studi di Milano, Italy Pablo Sanchez Universidad de Cantabria, Spain Olaf Spinczyk TU Dortmund, Germany Jonathan Sprinkle University of Arizona, USA Martin To¨rngren KTH Stockholm, Sweden Tim Trew Cisco Systems, UK Reviewers Andreas Pleuss Tahir Naseer Matthias Biehl Organizing Committee Ricardo J. Machado Universidade do Minho, Portugal Rita Suzana Maciel Universidade Federal da Bahia, Brazil Julia Rubin IBM Research, Haifa, Israel Goetz Botterweck Lero and University of Limerick, Ireland Steering Committee Ricardo J. Machado Universidade do Minho, Portugal (Chair) Dov Dori Technion, Israel Joa˜o M. Fernandes Universidade do Minho, Portugal VIII Organization Mike Hinchey Lero and University of Limerick, Ireland Fla´vio R. Wagner UFRGS, Brazil This work was supported, in part, by Science Foundation Irelandgrant10/CE/ I1855 to Lero – the Irish Software Engineering Research Centre. Table of Contents A Graphical Specification of Model Composition with Triple Graph Grammars ...................................................... 1 Adil Anwar, Amine Benelallam, Mahmoud Nassar, and Bernard Coulette MapIt: A Model Based Pattern Recovery Tool....................... 19 Rui Couto, Anto´nio Nestor Ribeiro, and Jos´e Creissac Campos Combining Testing and Runtime Verification Techniques.............. 38 Kevin Falzon and Gordon J. Pace A Lightweight, Composable Metamodelling Language for Specification and Validation of Internal Domain Specific Languages ................ 58 Markus Klotzbu¨cher and Herman Bruyninckx Analysis of Simulink Models Using Databases and Model Transformations ................................................. 69 Daniel Merschen, Robert Gleis, Julian Pott, and Stefan Kowalewski Feature-Based Adaptation of Database Schemas ..................... 85 Marco Mori and Anthony Cleve Towardsa CPN-BasedModelling Approachfor Reconciling Verification and Implementation of Protocol Models............................. 106 Kent Inge Fagerland Simonsen and Lars Michael Kristensen Guidelines for Modelling Reactive Systems with Coloured Petri Nets ... 126 Madalena Gonc¸alves and Jo˜ao M. Fernandes Author Index.................................................. 139 A Graphical Specification of Model Composition with Triple Graph Grammars Adil Anwar1, Amine Benelallam2, Mahmoud Nassar2, and Bernard Coulette3 1 Siweb, Computer Science Department,EMI, Mohamed VthAgdal University, Rabat, Morocco [email protected] 2 IMS-SIMEENSIAS,Rabat, Morocco [email protected], [email protected] 3 IRIT-UTM,University of Toulouse II, Toulouse, France [email protected] Abstract. TheconceptofmodeliswidelyusedintheMDEapproachin ordertorepresentseveralsoftwareartifacts,whicharehandledbydiffer- ent development teams throughout the software life cycle. Management ofthesemodelsrequiresthedefinitionofasetofmodelmanagementop- eratorssuchasthecompositionoperation.Thisisgenerallyanoperation, which is dedicated to merge a number of models in order to create one (ormore)incorporatedmodelandwhichdependsontheapplicationcon- text.Thecurrentworkfocusesonthedescriptionofaformalapproachfor model composition where the composition is specified by a set of graph transformation rulesoverUML-compliant models. The semantics ofour composition operator is defined using triple graph grammars (TGGs) formalism. Furthermore, we present a composition scheme interpreted by a three-stepscomposition process: matching, checkingand merging. Keywords: Model composition, model-driven development, graph transformations, triple graph grammars, AGG. 1 Introduction Model composition is a crucial activity in Model Driven Engineering (MDE). It is particularly useful when adopting a multi-modeling approach to model large andcomplexsoftwaresystems.Themainpurposeistoseparateconcernsinorder torepresentthesoftwaresystemasasetoflesscomplexsub-models.Eachmodel represents a view of the system according to different perspectives [7], different concerns, different components, and so on. The aim is to reduce the complexity ofthe analysis/designactivitiesinthe earlierphaseofthe softwaredevelopment process. However, this may increase the complexity of the integration of the various sub-models in a later phase. The Model-DrivenEngineering(MDE)approachisapowerfulwaytoexpress and automate or semi-automate some integration operations. Thus, numerous works have adopted MDE techniques in order to define model composition as R.J.Machadoetal. (Eds.): MOMPES2012,LNCS7706,pp. 1–18,2013. (cid:2)c Springer-VerlagBerlinHeidelberg2013 2 A. Anwaret al. model transformations [15] [3]. Furthermore, we proposed, in a recent work [2] a formal approach for model composition in which we consider composition as an algebraic operator on the set of UML-compliant models. Accordingtoseveralstudies,modelsandmetamodelscanthusberepresented by a graph-based structure [20]. Graph transformation theory also provides a formalsupportfordefiningsomeactivitiesrelatedtomodelmanagementsuchas modeltransformation[1][23],modelrefactoring[20],modelsynchronization[13] and model integration [17]. For these reasons, we believe that graph transformation to be a powerful technology for specifying and applying model composition in an MDE process. Furthermore, using graph transformations as the underlying theory to formal- izemodel composition as a special kind of model transformation, allows taking advantage of the diversity of existing graph-based tools such as AGG [25], Fu- jaba [21] and Great [1]. In this paper, we propose a novel approach that addresses the model com- position problem by means of graph transformations. The core idea is to use the Triple graph grammars formalism to specify the composition operator with a set of visual and formal graph transformation rules. Using TGGs for model composition offers many conveniences, especially good understanding, simplic- ity for declaratively expressing composition rules, and also suitable technique with formal analysis tools. In particular, critical pair analysis that can be used to automatically detect dependencies and conflicts between graph production rules. The remainder of the paper is structured as follows. In section 2 we first introduce an example basedon a case study that will illustrate our composition approach.Insection3,weexplainourapproachforspecifyingmodelcomposition as an application of triple graph grammars and we discuss some experiment detailsofourapproach.Relatedworksandissuesraisedbyourworkarediscussed insection4.Section6summarizesourcontributionsandsketchesoutsomefuture works. 2 Running Example In this section, we first give a brief overview of the modeling approach, then describe our composition process through a case study that serves as a running example for explaining the composition approach. 2.1 Motivating Example In this example, we need to merge two UML models that have been devel- oped independently of each other. We illustrate the merging scenario through a Course Management System (CMS). The CMS system is designed using an actor-centered process (student, teacher and system administrator). These ac- torshavedifferentconcernscorrespondingtoview-pointsfromwhichthesystem can be modeled. In this paper, we focus our study on structural models (class