Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings PDF
Preview Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings
Robert M. Hierons Mercedes G. Merayo Mario Bravetti (Eds.) 7 3 Software Engineering 1 8 S C and Formal Methods N L 11th International Conference, SEFM 2013 Madrid, Spain, September 2013 Proceedings 123 Lecture Notes in Computer Science 8137 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 Robert M. Hierons Mercedes G. Merayo Mario Bravetti (Eds.) Software Engineering and Formal Methods 11th International Conference, SEFM 2013 Madrid, Spain, September 25-27, 2013 Proceedings 1 3 VolumeEditors RobertM.Hierons BrunelUniversity SchoolofInformationSystems,ComputingandMathematics Uxbridge,Middlesex,UB83PH,UK E-mail:[email protected] MercedesG.Merayo UniversidadComplutensedeMadrid DepartamentodeSistemasInformáticosyComputación 28040Madrid,Spain E-mail:[email protected] MarioBravetti UniversitàdiBologna DipartimentodiScienzedell’Informazione 40127Bologna,Italy E-mail:[email protected] ISSN0302-9743 e-ISSN1611-3349 ISBN978-3-642-40560-0 e-ISBN978-3-642-40561-7 DOI10.1007/978-3-642-40561-7 SpringerHeidelbergNewYorkDordrechtLondon LibraryofCongressControlNumber:2013946018 CRSubjectClassification(1998):D.2.4,D.2,F.3,D.3,D.2.4,D.1.5,C.2,C.2.4,F.4.1 LNCSSublibrary:SL2–ProgrammingandSoftwareEngineering ©Springer-VerlagBerlinHeidelberg2013 Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartof thematerialisconcerned,specificallytherightsoftranslation,reprinting,reuseofillustrations,recitation, broadcasting,reproductiononmicrofilmsorinanyotherphysicalway,andtransmissionorinformation storageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodology nowknownorhereafterdeveloped.Exemptedfromthislegalreservationarebriefexcerptsinconnection withreviewsorscholarlyanalysisormaterialsuppliedspecificallyforthepurposeofbeingenteredand executedonacomputersystem,forexclusiveusebythepurchaserofthework.Duplicationofthispublication orpartsthereofispermittedonlyundertheprovisionsoftheCopyrightLawofthePublisher’slocation, initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.Permissionsforuse maybeobtainedthroughRightsLinkattheCopyrightClearanceCenter.Violationsareliabletoprosecution undertherespectiveCopyrightLaw. Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant protectivelawsandregulationsandthereforefreeforgeneraluse. Whiletheadviceandinformationinthisbookarebelievedtobetrueandaccurateatthedateofpublication, neithertheauthorsnortheeditorsnorthepublishercanacceptanylegalresponsibilityforanyerrorsor omissionsthatmaybemade.Thepublishermakesnowarranty,expressorimplied,withrespecttothe materialcontainedherein. Typesetting:Camera-readybyauthor,dataconversionbyScientificPublishingServices,Chennai,India Printedonacid-freepaper SpringerispartofSpringerScience+BusinessMedia(www.springer.com) Preface This volume contains the proceedings of the 11th International Conference on SoftwareEngineeringandFormalMethods,SEFM2013.Theconferencewasheld in Madrid, Spain, during September 25–27, 2013. The purpose of the SEFM conference is to bring together practitioners and researchers from academia, industry and government to advance the state of the art in formal methods, to facilitatetheiruptakeinthesoftwareindustryandtoencouragetheirintegration with practical engineering methods. We received 58 submissions. After a careful reviewing process, the Program Committee accepted 21 regular papers. Therefore, the acceptance rate of the conference stayed close to 36%. The conference program was enriched by the keynotesofThomasA.Henzinger,onBehavioral SoftwareMetrics,andWolfram Schulte, on Building Billions of Software Artifacts. In addition, Marius Bozga, one of the recipients of the 10 first editions of SEFM most influential paper award, gave an invited talk on Modeling Heterogeneous Real-Time Components in BIP. Several people contributed to the success of SEFM 2013. We are grateful to theSteeringCommitteeforitssupport.ItsChair,Prof.AntonioCerone,deserves a special mention for his guidance and valuable advice. We would like to thank the general chair Manuel Nu´n˜ez, the Program Committee, and the additional reviewers, for their work on selecting the papers. The process of reviewing and selecting papers was significantly simplified using EasyChair. We would like to thanktheorganisersofthecollocatedworkshopsfortheircommitmenttoSEFM 2013.Finally,the proceedingshavebeenpublishedthroughSpringer-Verlagand wearegratefulfortheassistanceprovidedbyAlfredHofmannandAnnaKramer. On behalf of the SEFM organisers, we welcome all attendants to the con- ference and hope that you find the conference’s programuseful, interesting and challenging. September 2013 Robert M. Hierons Mercedes G. Merayo Mario Bravetti Organization Program Committee Wolfgang Ahrendt Chalmers University of Technology, Sweden Bernhard K. Aichernig TU Graz, Austria Jesu´s Almendros Jim´enez Universidad de Almer´ıa, Spain Ade Azurat Fasilkom UI, Indonesia Luis Barbosa Universidade do Minho, Potugal Jonathan P. Bowen Museophile Limited, UK Mario Bravetti Universita` di Bologna, Italy Ana Cavalcanti University of York, UK Antonio Cerone United Nations University, Macao Benoˆıt Combemale Universit´e de Rennes, France Steve Counsell Brunel University, UK Hung Dang Van UET, Vietnam National University, Vietnam George Eleftherakis CITY College of Thessaloniki, Greece Jos´e Luiz Fiadeiro University of London, UK Martin Fr¨anzle Carl von Ossietzky Universit¨at Oldenburg, Germany Mercedes G. Merayo Universidad Complutense de Madrid, Spain Dimitra Giannakopoulou NASA Ames, USA Stefania Gnesi ISTI-CNR, Italy Klaus Havelund Jet PropulsionLaboratory, California Institute of Technology, USA Rob Hierons Brunel University, UK Mike Hinchey Lero-the Irish Software Engineering Research Centre, Republic of Ireland Florentin Ipate University of Pitesti, Romania Einar Broch Johnsen University of Oslo, Norway Panagiotis Katsaros Aristotle University of Thessaloniki, Greece Joseph Kiniry Technical University of Denmark, Denmark Martin Leucker University of Lu¨beck, Germany Peter Lindsay The University of Queensland, Australia Zhiming Liu United Nations University, Macao Ant´onia Lopes University of Lisbon, Portugal Tiziana Margaria Universit¨at Potsdam, Germany Stephan Merz INRIA Lorraine, France Manuel Nu´n˜ez Universidad Complutense de Madrid, Spain Mizuhito Ogawa Japan Advanced Institute of Science and Technology, Japan VIII Organization Fernando Orejas Universitat Polit`ecnica de Catalunya, Spain Olaf Owe Universitity of Oslo, Norway Gordon Pace University of Malta, Malta Anna Philippou University of Cyprus, Cyprus Mario Piattini University of Castilla-La Mancha, Spain Sanjiva Prasad Indian Institute of Technology Delhi, India Anders Ravn Aalborg University, Denmark Jakob Rehof Fraunhofer ISST and Technical University of Dortmund, Germany Wolfgang Reisig Humboldt-Universit¨at zu Berlin, Germany Leila Ribeiro Universidade Federal do Rio Grande do Sul, Brazil Bernhard Rumpe RWTH Aachen University, Germany Augusto Sampaio Federal University of Pernambuco, Brazil Ina Schaefer Technische Universita¨t Braunschweig, Germany Gerardo Schneider University of Gothenburg, Sweden Steve Schneider University of Surrey, UK Massimo Tivoli University of L’Aquila, Italy Viktor Vafeiadis MPI-SWS, Germany Additional Reviewers Arlt, Stephan Ju¨rjens, Jan Mu¨ller, Richard Bousse, Erwan Keiren, Jeroen J.A. Oehlerking, Jens Breuer, Peter Kolassa, Carsten Olsen, Petur Bøgholm, Thomas Korsholm, Stephan Petri, Gustavo Carvalho, Gustavo Ku¨hn, Franziska Petrocchi, Marinella Cavallaro, Luca Le Guilly, Thibaut Qamar, Nafees Clariso´, Robert Legay, Axel Scha¨f, Martin Colombo, Christian Li, Guoqiang Scho¨nfelder, Ren´e Du¨dder, Boris Mahdi, Ahmed Su¨rmeli, Jan Ferrari, Alessio Markin, Grigory Techaveerapong, Pakorn Furia, Carlo A. Marques, Eduardo R.B. Thoma, Daniel Gierds, Christian Martens, Moritz To, Van Khanh Golas, Ulrike Massoni, Tiago Trefler, Richard Greifenberg, Timo Mazzanti, Franco Truong, Hoang Habel, Annegret Micallef, Mark Yatapanage, Nisansala Hildebrandt, Thomas Mir Seyed Nazari, Zavattaro, Gianluigi Hoelldobler, Katrin Pedram Hu, Zhenjian Moelle, Andre Abstracts of Keynote Speeches Behavioral Software Metrics Thomas A. Henzinger Instituteof Science and Technology Austria In this talk I show how the classical satisfactionrelation between programsand requirements can be replaced by quantitative preference metrics that measure the fit between programsand requirements. Depending on the application, such fitness measures may include aspects of function, performance, reliability, and robustness. Building Billions of Software Artifacts Wolfram Schulte Microsoft Corporation Everydaysoftwaredevelopersalloverthe worldbuild hundredsofthousandsof softwareartifacts,rangingfromexecutables,vialibraries,todocumentation,and websites. Build tools are thus one of the most important enablers for software developers.Consequentially,thelast30yearshaveseenaplethoraofapproaches to build languages and engines, ranging from dependency based builds using Make, via task based ones using Ant or MSBuild, to IDE integrated ones using EclipseorVisualStudio,toembeddedDSLslikeSCons,Rake,Shakeandothers. But despite these efforts, many build systems still suffer from being unreliable, since dependencies are missing, not saleable, since they were designed for single machines only, ineffective, since builds are often unnecessarily sequentialized, andnotmulti tenancy capable,since manybuild systemsandtoolsassume that they execute in particular locations. During the past year my team has developed a new build system leverag- ing earlier work on dependency based builds, combining it with the benefits of DSLs, and hosting it in the Cloud. Conceptually, in our new system every soft- ware artifact is build from scratch. However by using proper design choices, we enable many optimizations to build things quickly or not at all, like parallel, cached, staged, incremental, distributed and multitenant builds. The system is meanwhile deployed for our first major customer. In this talk I will present insights and highlight of our journey of creating a new build system for Microsoft, and I will give a glimpse of the results. I will describethechallengeswefacedandtheopportunitiesthatlieahead.Andbeing at a formal methods conference, I will show that a little build theory can help in the design and for the promotion of a new technology, too! Joint work with Adrian Bonar, Chandra Prasad, Danny van Velzen, Davide Massarenti, Dmitry Goncharenko, John Erickson and Seva Titov.
The list of books you might like
