Model-Based Methodologies for Pervasive and Embedded Software: 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers

146 Pages·2013·4.65 MB·English

by  Adil Anwar

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