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 PDF
Preview 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
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
The list of books you might like
