Fundamental Approaches to Software Engineering: 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings

531 Pages·2012·8.774 MB·English

by  Wil M. P. van der Aalst (auth.), Juan de Lara, Andrea Zisman (eds.)

Lecture Notes in Computer Science 7212
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
Juan de Lara Andrea Zisman (Eds.)
FundamentalApproaches
to Software Engineering
15th International Conference, FASE 2012
Held as Part of the European Joint Conferences
onTheoryandPracticeofSoftware,ETAPS2012
Tallinn, Estonia, March 24 – April 1, 2012
Proceedings
1 3
VolumeEditors
JuandeLara
UniversidadAutónomadeMadrid
SchoolofComputerScience
CampusCantoblanco
28049Madrid,Spain
E-mail:[email protected]
AndreaZisman
CityUniversity
SchoolofInformatics
NorthamptonSquare
LondonEC1V0HB,UK
E-mail:[email protected]
ISSN0302-9743 e-ISSN1611-3349
ISBN978-3-642-28871-5 e-ISBN978-3-642-28872-2
DOI10.1007/978-3-642-28872-2
SpringerHeidelbergDordrechtLondonNewYork
LibraryofCongressControlNumber:2012932857
CRSubjectClassification(1998):D.2.4,D.2,F.3,D.3,C.2,H.4,C.2.4
LNCSSublibrary:SL1–TheoreticalComputerScienceandGeneralIssues
©Springer-VerlagBerlinHeidelberg2012
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)
Foreword
ETAPS 2012 is the fifteenth instance of the European Joint Conferences on
TheoryandPracticeofSoftware.ETAPSisanannualfederatedconferencethat
wasestablishedin1998bycombininganumberofexistingandnewconferences.
This year it comprised six sister conferences (CC, ESOP, FASE, FOSSACS,
POST, TACAS), 21 satellite workshops (ACCAT, AIPA, BX, BYTECODE,
CMCS, DICE, FESCA, FICS, FIT, GRAPHITE, GT-VMT, HAS, IWIGP,
LDTA, LINEARITY, MBT, MSFP, PLACES, QAPL, VSSE and WRLA), and
eight invited lectures (excluding those specific to the satellite events).
The six main conferences received this year 606 submissions (including 21
tool demonstration papers), 159 of which were accepted (6 tool demos), giving
an overall acceptance rate just above 26%. Congratulations therefore to all the
authors who made it to the final programme! I hope that most of the other
authorswillstillhavefoundawaytoparticipateinthis excitingevent,andthat
you will all continue to submit to ETAPS and contribute to making 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, analysis,se-
curity and improvement. The languages, methodologies and tools that support
these activitiesare allwellwithinits scope.Differentblends oftheoryandprac-
tice are represented, with an inclination towards theory with a practical moti-
vation on the one hand and soundly based practice on the other. Many of the
issuesinvolvedinsoftwaredesignapplytosystemsingeneral,includinghardware
systems, 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.
This year, ETAPS welcomes a new main conference, Principles of Security
andTrust,asacandidatetobecomeapermanentmemberconferenceofETAPS.
POST is the first addition to our main programme since 1998, when the orig-
inal five conferences met in Lisbon for the first ETAPS event. It combines the
practically important subject matter of security and trust with strong technical
connections to traditional ETAPS areas.
VI Foreword
AsteptowardstheconsolidationofETAPSanditsinstitutionalactivitieshas
been undertaken by the Steering Committee with the establishment of ETAPS
e.V., a non-profit association under German law. ETAPS e.V. was founded on
April 1st, 2011 in Saarbru¨cken, and we are currently in the process of defining
its structure, scope and strategy.
ETAPS 2012 was organised by the Institute of Cybernetics at Tallinn Uni-
versity of Technology, in cooperation with
(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 following sponsors, which we gratefully thank:
InstituteofCyberneticsatTUT;TallinnUniversityofTech-
nology (TUT); Estonian Centre of Excellence in Computer
Science (EXCS) funded by the European Regional Develop-
ment Fund (ERDF); Estonian Convention Bureau; and Mi-
crosoft Research.
The organising team comprised:
General Chair: Tarmo Uustalu
Satellite Events: Keiko Nakata
Organising Committee:James Chapman, Juhan Ernits, Tiina Laasma,
Monika Perkmann and their colleagues in the
Logic and Semantics group and administration
of the Institute of Cybernetics
TheETAPSportalathttp://www.etaps.orgismaintainedbyRWTHAachen
University.
Overall planning for ETAPS conferences is the responsibility of its Steering
Committee, whose current membership is:
Vladimiro Sassone (Southampton, Chair), Roberto Amadio (Paris 7), Gilles
Barthe (IMDEA-Software),David Basin (Zu¨rich), Lars Birkedal(Copenhagen),
Michael O’Boyle (Edinburgh), Giuseppe Castagna (CNRS Paris), Vittorio
Cortellessa (L’Aquila), Koen De Bosschere (Gent), Pierpaolo Degano (Pisa),
MatthiasFelleisen(Boston),BerndFinkbeiner(Saarbru¨cken),CormacFlanagan
(Santa Cruz), Philippa Gardner (Imperial College London), Andrew D. Gordon
(MSR Cambridge and Edinburgh), Daniele Gorla (Rome), Joshua Guttman
(Worcester USA), Holger Hermanns (Saarbru¨cken), Mike Hinchey (Lero,
the Irish Software Engineering Research Centre), Ranjit Jhala (San Diego),
Joost-Pieter Katoen (Aachen), Paul Klint (Amsterdam), Jens Knoop (Vienna),
BarbaraK¨onig(Duisburg),Juande Lara(Madrid),GeraldLu¨ttgen(Bamberg),
Tiziana Margaria(Potsdam),Fabio Martinelli(Pisa),JohnMitchell (Stanford),
Catuscia Palamidessi (INRIA Paris), Frank Pfenning (Pittsburgh), Nir
Piterman (Leicester), Don Sannella (Edinburgh), Helmut Seidl (TU Munich),
Foreword VII
Scott Smolka (Stony Brook), Gabriele Taentzer (Marburg), Tarmo Uustalu
(Tallinn),Da´nielVarro´(Budapest),Andrea Zisman(London),andLenoreZuck
(Chicago).
I would like to express my sincere gratitude to all of these people and or-
ganisations,the ProgrammeCommittee ChairsandPC members ofthe ETAPS
conferences, the organisers of the satellite events, the speakers themselves, the
manyreviewers,alltheparticipants,andSpringer-Verlagforagreeingtopublish
the ETAPS proceedings in the ARCoSS subline.
Finally, I would like to thank the Organising Chair of ETAPS 2012, Tarmo
Uustalu, and his Organising Committee, for arranging to have ETAPS in the
most beautiful surroundings of Tallinn.
January 2012 Vladimiro Sassone
ETAPS SC Chair
Preface
ThisvolumecontainsthepapersacceptedforFASE2012,the15thInternational
Conference on Fundamental Approaches to Software Engineering, which was
held in Tallinn, Estonia, in March 2012 as part of the annual European Joint
Conference on Theory and Practice of Software (ETAPS). FASE is concerned
with the foundations onwhichsoftwareengineeringis built. It focussesonnovel
techniques and the way in which they contribute to make software engineering
a more mature and soundly based discipline.
This year we solicited two kinds of contributions: research papers and tool
demonstration papers. We received 134 submissions from 39 countries around
the world, of which 5 were tool demonstrations. After a rigorous selection pro-
cess, the Programme Committee accepted 33 submissions (2 of which were tool
demonstrations), corresponding to an acceptance rate of approximately 24.6%.
Each paper received at least three reviews, and four in some cases. The accep-
tancedecisionsweremade afterexhaustiveandcarefulonline discussionsby the
members of the Programme Committee.
The accepted papers cover severalaspects of software engineering, including
verification,slicingandrefactoring,testing,modeltransformations,components,
software architecture, product lines, and empirical aspects of the development
process. We believe that the accepted papers made a scientifically strong and
exciting programme, which triggered interesting discussions and exchange of
ideas among the FASE participants.
This year, we were honoured to host an invited talk by Wil van der Aalst
from Eindhoven University of Technology (The Netherlands) and Queensland
UniversityofTechnology(Australia)entitled“DistributedProcessDiscoveryand
ConformanceChecking”.ProfessorvanderAalstisinternationallyrecognisedby
his pioneering work on workflow management, process mining, and Petri nets.
The presentation discussed the challenges for distributed process mining in the
context of both procedural and declarative process models.
We wouldlike to thank allauthorswho submitted their work to FASE 2012.
Without their excellent contributions we would not have managed to prepare
a strong programme. We would also like to thank the Programme Committee
membersandexternalreviewersfortheirhigh-qualityreviewsandtheeffortand
time they dedicated to the review and discussion processes. Finally, we wish to
express our sincere gratitude to the Organizing and Steering Committees for
their continuous support. The logistics of our job as Programme Chairs were
facilitated by the EasyChair system, and supported by Andrei Voronkov.
We sincerely hope that you will enjoy reading these proceedings.
January 2012 Juan de Lara
Andrea Zisman
Organization
Programme Committee
Luciano Baresi Politecnico di Milano, Italy
Don Batory University of Texas at Austin, USA
Artur Boronat University of Leicester, UK
Paolo Bottoni University of Rome, Italy
Marsha Chechik University of Toronto,Canada
Shing-Chi Cheung Hong Kong University of Science and
Technology, Hong Kong, SAR China
Luca De Alfaro University of California, Santa Cruz, USA
Jurgen Dingel Queen’s University, Canada
Gregor Engels University of Paderborn,Germany
Claudia Ermel Technische Universit¨at Berlin, Germany
Dimitra Giannakopoulou CarnegieMellonUniversity/NASAAmes,USA
Holger Giese Hasso Plattner Institute, Germany
Esther Guerra Universidad Auto´noma de Madrid, Spain
Reiko Heckel University of Leicester, UK
John Hosking University of Auckland, New Zealand
Christos Kloukinas City University London, UK
Alexander Knapp University of Augsburg, Germany
Jeff Kramer Imperial College London, UK
Luis Lamb FederalUniversityofRioGrandedoSul,Brazil
Yngve Lamo Bergen University College, Norway
Tiziana Margaria University of Potsdam, Germany
Fernando Orejas Universidad Polit´ecnica Catalunya, Spain
Richard Paige The University of York, UK
Alfonso Pierantonio Universita` degli Studi dell’Aquila, Italy
Andy Schu¨rr Technische Universit¨at Darmstadt, Germany
George Spanoudakis City University London, UK
Jesu´s Sa´nchez Cuadrado Universidad Auto´noma de Madrid, Spain
Gabriele Taentzer Philipps-Universit¨atMarburg, Germany
Daniel Varro Budapest University of Technology and
Economics, Hungary
Additional Reviewers
Albarghouthi, Aws Anjorin, Anthony Apel, Sven
Ardagna, Danilo Arendt, Thorsten Arifulina, Svetlana
Bals, Jan-Christopher Bapodra, Mayur Becker,Basil
Berger, Thorsten Bergmann, G´abor Bianculli, Domenico
XII Organization
Biermann, Enrico Bisztray,Denes Bordihn, Henning
Borges, Rafael Braatz, Benjamin Brooke,Phil
Bruch, Marcel Bucchiarone,Antonio Christ, Fabian
Cicchetti, Antonio Cichos, Harald Cota, Erika
Di Ruscio, Davide Diaz, Oscar Doedt, Markus
Duarte, Lucio Mauro Ehrig, Hartmut Fazal-Baqaie,Masud
Foster, Howard Franch, Xavier Gabriel, Karsten
Gabrysiak, Gregor Galloway,Andy Garcez, Artur
Geisen, Silke Gerth, Christian Golas, Ulrike
Guinea, Sam Gurfinkel, Arie G¨onczy, L´aszl´o
Gu¨ldali, Baris Haneberg, Dominik Hebig, Regina
Hegedu¨s, A´bel Hermann, Frank Hildebrandt, Stephan
Horva´th, A´kos Huang, Jeff Khan, Tamim A.
Kincaid, Zachary Kocsis, Imre Kovi, Andras
Krause, Christian Lambers, Leen Lauder, Marius
Liebig, J¨org Liu, Yepang Luckey, Markus
Machado, Rodrigo Mahbub, Khaled Mantz, Florian
Matragkas, Nikos Mezei, Gergely Monga, Mattia
Morasca, Sandro Moreira,Alvaro Mu¨hlberger, Heribert
Naeem, Muhammad Nagel, Benjamin Nejati, Shiva
Neumann, Stefan Ortega,Alfonso Oster, Sebastian
Patzina, Lars Patzina, Sven Pelliccione, Patrizio
Polack, Fiona Posse,Ernesto Qayum, Fawad
Radjenovic, Alek Rakamaric, Zvonimir Raman, Vishwanath
Rose, Louis Rossi, Matteo Rubin, Julia
Rungta, Neha Rutle, Adrian Ra´th, Istva´n
Ru¨thing, Oliver Sabetzadeh, Mehrdad Salay, Rick
Saller, Karsten Schaefer, Ina Soltenborn, Christian
Spijkerman, Michael Steffen, Bernhard TavakoliKolagari,Ramin
Thomas, Stephen Tkachuk, Oksana Varro, Gergely
Vazquez-Salceda, Javier Vogel, Thomas Waez, Md Tawhid Bin
Wagner, Christian Wahl, Thomas Wang, Xiaoliang
Wang, Xinming Wieber, Martin Williams, James
Wimmer, Manuel Wonisch, Daniel W¨atzoldt, Sebastian
Ye, Chunyang Zhang, Zhenyu Zurowska,Karolina