Fundamental Approaches to Software Engineering: 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and

395 Pages·2010·5.969 MB·English

by  David S. Rosenblum., Gabriele Taentzer (eds)

Lecture Notes in Computer Science 6013
CommencedPublicationin1973
FoundingandFormerSeriesEditors:
GerhardGoos,JurisHartmanis,andJanvanLeeuwen
EditorialBoard
DavidHutchison,UK TakeoKanade,USA
JosefKittler,UK JonM.Kleinberg,USA
AlfredKobsa,USA FriedemannMattern,Switzerland
JohnC.Mitchell,USA MoniNaor,Israel
OscarNierstrasz,Switzerland C.PanduRangan,India
BernhardSteffen,Germany MadhuSudan,USA
DemetriTerzopoulos,USA DougTygar,USA
GerhardWeikum,Germany
Advanced Research in Computing and Software Science
SublineofLecturesNotesinComputerScience
SublineSeriesEditors
GiorgioAusiello,UniversityofRome‘LaSapienza’,Italy
VladimiroSassone,UniversityofSouthampton,UK
SublineAdvisoryBoard
SusanneAlbers,UniversityofFreiburg,Germany
BenjaminC.Pierce,UniversityofPennsylvania,USA
BernhardSteffen,UniversityofDortmund,Germany
MadhuSudan,MicrosoftResearch,Cambridge,MA,USA
DengXiaotie,CityUniversityofHongKong
JeannetteM.Wing,CarnegieMellonUniversity,Pittsburgh,PA,USA
David S. Rosenblum
Gabriele Taentzer (Eds.)
Fundamental Approaches
to Software Engineering
13th International Conference, FASE 2010
Held as Part of the Joint European Conferences
on Theory and Practice of Software, ETAPS 2010
Paphos, Cyprus, March 20-28, 2010. Proceedings
1 3
VolumeEditors
DavidS.Rosenblum
UniversityCollegeLondon
DepartmentofComputerScience
LondonWC1E6BT,UK
E-mail:[email protected]
GabrieleTaentzer
Philipps-UniversitätMarburg
FachbereichMathematikundInformatik
35032Marburg,Germany
E-mail:[email protected]
LibraryofCongressControlNumber:2010921922
CRSubjectClassification(1998):D.2,F.3,D.3,C.2,H.4,C.2.4
LNCSSublibrary:SL1–TheoreticalComputerScienceandGeneralIssues
ISSN 0302-9743
ISBN-10 3-642-12028-8SpringerBerlinHeidelbergNewYork
ISBN-13 978-3-642-12028-2SpringerBerlinHeidelbergNewYork
Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialis
concerned,specificallytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting,
reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.Duplicationofthispublication
orpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965,
initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.Violationsareliable
toprosecutionundertheGermanCopyrightLaw.
springer.com
©Springer-VerlagBerlinHeidelberg2010
PrintedinGermany
Typesetting:Camera-readybyauthor,dataconversionbyScientificPublishingServices,Chennai,India
Printedonacid-freepaper 06/3180 543210
Foreword
ETAPS 2010 was the 13th instance of the European Joint Conferences on The-
oryandPracticeofSoftware.ETAPSisanannualfederatedconferencethatwas
establishedin1998bycombininganumberofexistingandnewconferences.This
yearitcomprisedtheusualfivesisterconferences(CC,ESOP,FASE,FOSSACS,
TACAS), 19 satellite workshops (ACCAT, ARSPA-WITS, Bytecode, CMCS,
COCV, DCC, DICE, FBTC, FESCA, FOSS-AMA, GaLoP, GT-VMT, LDTA,
MBT, PLACES, QAPL, SafeCert, WGT, and WRLA) and seven invited lec-
tures (excluding those that were specific to the satellite events). The five main
conferences this year received497submissions (including 31 tool demonstration
papers), 130 of which were accepted (10 tool demos), giving an overall accep-
tancerateof26%,withmostoftheconferencesataround24%.Congratulations
thereforetoalltheauthorswhomadeittothefinalprogramme!Ihopethatmost
of the other authors will still have found a way of participating in this exciting
event, and that you will all continue submitting to ETAPS and contributing to
make of it the best conference on software science and engineering.
The events that comprise ETAPS address various aspects of the system de-
velopmentprocess,including specification,design,implementation,analysisand
improvement. The languages, methodologies and tools which support these ac-
tivities are all well within its scope. Different blends of theory and practice are
represented,withaninclinationtowardtheorywithapracticalmotivationonthe
one hand and soundly based practice on the other. Many of the issues involved
insoftwaredesignapply to systemsin general,including hardwaresystems,and
the emphasis on software is not intended to be exclusive.
ETAPS is a confederation in which each event retains its own identity, with
a separate Programme Committee and proceedings. Its format is open-ended,
allowing it to grow and evolve as time goes by. Contributed talks and system
demonstrations are in synchronised parallel sessions, with invited lectures in
plenary sessions. Two of the invited lectures are reserved for ‘unifying’ talks on
topics ofinterestto the wholerangeofETAPSattendees.The aimofcramming
all this activity into a single one-week meeting is to create a strong magnet for
academic and industrial researchers working on topics within its scope, giving
them the opportunity to learn about research in related areas, and thereby to
fosternewandexistinglinksbetweenworkinareasthatwereformerlyaddressed
in separate meetings.
ETAPS2010wasorganisedbythe UniversityofCyprusincooperationwith:
(cid:2) European Association for Theoretical Computer Science (EATCS)
(cid:2) European Association for Programming Languages and Systems (EAPLS)
(cid:2) European Association of Software Science and Technology (EASST)
and with support from the Cyprus Tourism Organisation.
VI Foreword
The organising team comprised:
General Chairs: Tiziana Margaria and Anna Philippou
Local Chair: George Papadopoulos
Secretariat: Maria Kittira
Administration: Petros Stratis
Satellite Events:Anna Philippou
Website: Konstantinos Kakousis.
Overall planning for ETAPS conferences is the responsibility of its Steering
Committee, whose current membership is:
Vladimiro Sassone (Southampton, Chair), Parosh Abdulla (Uppsala), Luca
de Alfaro (Santa Cruz), Gilles Barthe (IMDEA-Software), Giuseppe Castagna
(CNRS Paris), Marsha Chechik (Toronto), Sophia Drossopoulou (Imperial
College London), Javier Esparza (TU Munich), Dimitra Giannakopoulou
(CMU/NASA Ames), Andrew D. Gordon (MSR Cambridge), Rajiv Gupta
(UC Riverside), Chris Hankin (Imperial College London), Holger Hermanns
(Saarbru¨cken), Mike Hinchey (Lero, the Irish Software Engineering Research
Centre), Martin Hofmann (LM Munich), Joost-Pieter Katoen (Aachen), Paul
Klint (Amsterdam), Jens Knoop (Vienna), Shriram Krishnamurthi (Brown),
Kim Larsen (Aalborg), Rustan Leino (MSR Redmond), Gerald Luettgen
(Bamberg), Rupak Majumdar (Los Angeles), Tiziana Margaria (Potsdam),
Ugo Montanari (Pisa), Oege de Moor (Oxford), Luke Ong (Oxford), Fer-
nando Orejas (Barcelona) Catuscia Palamidessi (INRIA Paris), George Pa-
padopoulos(Cyprus),DavidRosenblum(UCL),DonSannella(Edinburgh),Joa˜o
Saraiva(Minho),MichaelSchwartzbach(Aarhus),PerditaStevens(Edinburgh),
Gabriele Taentzer (Marburg), and Martin Wirsing (LM Munich).
I would like to express my sincere gratitude to all of these people and
organisations, the Programme Committee Chairs and members of the ETAPS
conferences, the organisers of the satellite events, the speakers themselves, the
many reviewers, all the participants, and Springer for agreeing to publish the
ETAPS proceedings in the ARCoSS subline.
Finally, I would like to thank the organising Chair of ETAPS 2010, George
Papadopoulos, for arranging for us to have ETAPS in the most beautiful sur-
roundings of Paphos.
January 2010 Vladimiro Sassone
Preface
This volume contains the papers accepted for presentation at FASE 2010, the
13th International Conference on Fundamental Approaches to Software Engi-
neering,whichwasheldinPaphos,Cyprus,inMarch2010aspartofthe annual
European Joint Conference on Theory and Practice of Software (ETAPS). As
with previous editions of FASE, this year’s papers present foundational contri-
butionsandresultsonabroadrangeoftopics insoftwareengineering,including
requirementsengineering,softwarearchitectures,model-basedandmodel-driven
development, programanalysis, testing, debugging, verification, and evolution.
Thisyearwereceived103submissions,ofwhich25wereacceptedbythePro-
gram Committee for presentation at the conference, resulting in an acceptance
rate of 24.3%. The submissions comprise 96 research papers and 7 tool demon-
strationpapers,andthe ProgramCommitteeaccepted24oftheresearchpapers
and 1 of the tool demonstration papers. Each paper received a minimum of
three reviews, and acceptance decisions were reached through email discussions
conducted with the Program Committee. We used the free conference manage-
ment system EasyChair to manage the paper submissions, reviews, and email
communication with the authors and ProgramCommittee.
We are also delighted to have welcomed Mark Harman of King’s College
London as the FASE keynote speaker at ETAPS 2010. Mark is well known as
the pioneer ofsearch-based software engineering, whichemploysheuristic search
techniquessuchasgeneticalgorithmstofindefficientsolutionsforawidevariety
ofcomplexproblemsinsoftwareengineering,asdiverseastestsuiteminimization
and software project staffing.
The success ofa conference like FASE 2010depends onthe contributionand
support of many people. First, we thank the authors for continuing to produce
interesting and timely research in software engineering, ensuring that FASE re-
mains a key venue for the most important research results in the field. We also
extend a very warm thanks to our Program Committee, who worked very hard
underatightscheduletoproducethorough,detailedreviewsfortheauthorsand
to achieve consensus on paper acceptance decisions. We thank Marsha Chechik
andVladimiro Sassone,the respectiveChairs ofthe FASE andETAPSSteering
Committees, for providing all the information and support we needed for our
work as Chairs. We thank the sponsors of ETAPS and FASE, namely EACTS
and EASST. We thank Stefan Jurack and Gerd Wierse for their expert help
in assembling this proceedings, and also the staff at Springer for their helpful
collaboration and quick turnaround on the proceedings. Finally, we extend our
best wishes to the chairs ofFASE 2011,Dimitra Giannakopoulouand Fernando
Orejas. We sincerely hope you enjoy these proceedings!
January 2010 David S. Rosenblum
Gabriele Taentzer
Organization
Program Chairs
David S. Rosenblum University College London (UK)
Gabriele Taentzer Philipps-Universita¨t Marburg (Germany)
Program Committee
Don Batory University of Texas at Austin (USA)
Antonia Bertolino ISTI-CNR (Italy)
Vittorio Cortellessa Universit`a dell’Aquila (Italy)
Alexander Egyed Johannes Kepler University Linz (Austria)
Sebastian Elbaum University of Nebraska – Lincoln (USA)
Serge Demeyer University of Antwerp (Belgium)
Jos´e Fiadeiro University of Leicester (UK)
Dimitra Giannakopoulou Carnegie Mellon University and NASA Ames
Research Center (USA)
Holger Giese Hasso Plattner Institute, Potsdam (Germany)
Reiko Heckel University of Leicester (UK)
Paola Inverardi Universita` dell’Aquila (Italy)
Jana Ko¨hler IBM Research Zurich (Switzerland)
Rainer Koschke University of Bremen (Germany)
Juan de Lara Universidad Auto´noma de Madrid (Spain)
Emmanuel Letier University College London (UK)
Tom Maibaum McMaster University (Canada)
Tiziana Margaria Universit¨at Potsdam (Germany)
Gail Murphy University of British Columbia (Canada)
Mauro Pezz`e University of Lugano (Switzerland) and
University of Milan Bicocca (Italy)
Leila Ribeiro Federal University of Rio Grande do Sul
(Brazil)
Franco Raimondi Middlesex University (UK)
Andy Schu¨rr Technische Universita¨t Darmstadt (Germany)
Perdita Stevens University of Edinburgh (UK)
Harald Sto¨rrle Technical University of Denmark (Denmark)
D´aniel Varro´ Budapest University of Technology and
Economics (Hungary)
Heike Wehrheim University of Paderborn (Germany)
X Organization
External Reviewers
Anthony Anjorin Esther Guerra Lucian Patcas
Shay Artzi L´aszl´o Go¨nczy Lars Patzina
Marco Autili Roberto Lopez Herrejon Patrizio Pelliccione
Andra´s Balogh Stephan Hildebrandt Gergely Pint´er
Luca Berardinelli A´kos Horv´ath Matteo Pradella
Ga´bor Bergmann Falk Howar Zvonimir Rakamaric
Domenico Bianculli Niaz Hussein Alexander Reder
D´enes Bisztray Thierry J´eron Sebastian Rose
Filippo Bonchi Sven Jo¨rges Thomas Ruhroth
Henning Bordihn Wolfram Kahl Neha Rungta
Artur Boronat Anne Keller Istv´an Ra´th
Roberto Bruni Tamim Khan Antonino Sabetta
Benedikt Burgstaller Felix Klar Andreas Schaefer
Jordi Cabot Jochen Ku¨ster Andreas Seibel
Jacques Carette Bernard Lambeau Quinten David Soetens
Yoonsik Cheon Ahmed Lamkanfi Monika Solanki
Robert Clariso Marius Lauder Christian Soltenborn
Christophe Damas Sven Lauder Kathryn Stolee
Sylvain Degrandsart Mark Lawford Nils Timm
Giovanni Denaro Leonardo Mariani Massimo Tivoli
Joachim Denil Narciso Marti-Oliet Paolo Torrini
Davide Di Ruscio Maik Merten Catia Trubiani
Zinovy Diskin Bj¨orn Metzler Emilio Tuosto
Adwoa Donyina Gergely Mezei Gergely Varr´o
William Farmer Patrick Mukherjee Jan Vlegels
Marcelo Frias Muhammad Naeem Thomas Vogel
Gregor Gabrysiak Johannes Neubauer Daniel Wonisch
Joris Van Geet Stefan Neumann Pingyu Zhang
Iris Groher Fernando Orejas
Table of Contents
Invited Speaker
Why the Virtual Nature of Software Makes It Ideal for Search Based
Optimization .................................................... 1
Mark Harman
Model Transformation
A Formalisation of Constraint-Aware Model Transformations.......... 13
Adrian Rutle, Alessandro Rossini, Yngve Lamo, and Uwe Wolter
Formal Real-Time Model Transformations in MOMENT2 ............. 29
Artur Boronat and Peter Csaba O¨lveczky
Reusing Model Transformations While Preserving Properties .......... 44
Ethan K. Jackson, Wolfram Schulte, Daniel Balasubramanian, and
Gabor Karsai
Software Evolution
Are Popular Classes More Defect Prone?............................ 59
Alberto Bacchelli, Marco D’Ambros, and Michele Lanza
Operation-Based, Fine-Grained Version Control Model for Tree-Based
Representation .................................................. 74
Tung Thanh Nguyen, Hoan Anh Nguyen, Nam H. Pham, and
Tien N. Nguyen
A Method for Analyzing Code Homology in Genealogy of Evolving
Software ........................................................ 91
Masatomo Hashimoto and Akira Mori
Dynamic Resource Scheduling in Disruption-Prone Software
Development Environments ....................................... 107
Junchao Xiao, Leon J. Osterweil, Qing Wang, and Mingshu Li
Graph Transformation
Incremental Service Composition Based on Partial Matching of Visual
Contracts ....................................................... 123
Muhammad Naeem, Reiko Heckel, Fernando Orejas, and
Frank Hermann