Software Language Engineering: 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings PDF
Preview Software Language Engineering: 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings
Martin Erwig Richard F. Paige Eric Van Wyk (Eds.) 5 Software Language 2 2 8 S Engineering C N L 6th International Conference, SLE 2013 Indianapolis, IN, USA, October 2013 Proceedings 123 Lecture Notes in Computer Science 8225 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 Martin Erwig Richard F. Paige Eric Van Wyk (Eds.) Software Language Engineering 6th International Conference, SLE 2013 Indianapolis, IN, USA, October 26-28, 2013 Proceedings 1 3 VolumeEditors MartinErwig OregonStateUniversity SchoolofElectricalEngineeringandComputerScience Corvallis,OR97331-5501,USA E-mail:[email protected] RichardF.Paige UniversityofYork DepartmentofComputerScience DeramoreLane,YorkYO105GH,UK E-mail:[email protected] EricVanWyk UniversityofMinnesota DepartmentofComputerScienceandEngineering 200SEUnionStreet,Minneapolis,MN55455,USA E-mail:[email protected] ISSN0302-9743 e-ISSN1611-3349 ISBN978-3-319-02653-4 e-ISBN978-3-319-02654-1 DOI10.1007/978-3-319-02654-1 SpringerChamHeidelbergNewYorkDordrechtLondon LibraryofCongressControlNumber:2013949676 CRSubjectClassification(1998): D.3.2-4,D.2.1-2,D.2.11-13,F.4.2,I.2.4,I.6.5,K.6.3 LNCSSublibrary:SL2–ProgrammingandSoftwareEngineering ©SpringerInternationalPublishingSwitzerland2013 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 We are pleased to present the proceedings of the 6th International Conference of Software Language Engineering (SLE 2013). The conference was held in In- dianapolis, USA, during October 26–28, 2013. It was co-located with the 12th InternationalConferenceonGenerativeProgrammingandComponentEngineer- ing (GPCE 2013), the 4th Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH 2013,which includes OOP- SLA), the Dynamic Languages Symposium, the 5th International Workshop on Feature-Oriented Software Development, and three SLE workshops: the Indus- tryTrackofSoftwareLanguageEngineering,theSystemsBiologyandLanguage Engineering, and the Parsing@SLE Workshop. The SLE conference series is devoted to a wide range of topics related to artificial languages in software engineering. SLE is an international research fo- rum that brings together researchers and practitioners from both industry and academia to expand the frontiers of software language engineering. SLE’s fore- most mission is to encourage, synthesize, and organize communication between communities that have traditionally lookedat software languagesfrom different and yet complementary perspectives. Supporting these communities in learning fromeachother,andtransferringknowledge,is the guidingprinciple behindthe organizationof SLE. The conference program included a keynote presentation, 17 technical pa- per presentations, 2 tool papers, and a number of poster presentations (which are not included in these proceedings, but in a complementary volume). The invited keynote speaker was Don Batory (University of Texas at Austin, USA), who spoke provocatively about “Dark Knowledge and Graph Grammars in Au- tomated Software Design”. We received 56 full submissions from 63 abstract submissions. From these submissions, the Program Committee (PC) selected 19 papers: 17 full papers and 2 tool demonstration papers, resulting in an acceptance rate of 34%. Each submitted paper was reviewed by at least three PC members and discussed in detail during the electronic PC meeting. SLE 2013 would not have been possible without the significant contribu- tions of many individuals and organizations. We are grateful to the SPLASH 2013generalchairsandlocalorganizingchairs,particularlyAntonyHoskingand Patrick Eugster, for taking care of logisticalmatters and hosting the conference inIndianapolis.TheSLESteeringCommitteeprovidedinvaluableassistanceand VI Preface guidance. We are also grateful to the PC members and the additional review- ers for their dedication in reviewing the submissions. We thank the authors for their effortsin writingandthen revisingtheir papersandaddressingthe recom- mendations of the referees in a constructive manner. Our final thanks go to the sponsoring and cooperating institutions for their generous support. August 2013 Martin Erwig Richard F. Paige Organization General Chair Eric Van Wyk University of Minnesota, USA Program Co-chairs Martin Erwig Oregon State University, USA Richard F. Paige University of York, UK Steering Committee Mark van den Brand Eindhoven University of Technology, The Netherlands James Cordy Queen’s University, Canada Jean-Marie Favre University of Grenoble, France Dragan Gašević Athabasca University, Canada Görel Hedin Lund University, Sweden Eric Van Wyk University of Minnesota, USA Jurgen Vinju CWI, The Netherlands Kim Mens Catholic University of Louvain, Belgium Program Committee Emilie Balland Inria, France Olaf Chitil University of Kent, UK James R. Cordy School of Computing, Queen’s University, Canada Davide Di Ruscio Università degli Studi dell’Aquila, Italy Iavor Diatchki Galois Inc., USA Anne Etien LIFL - University of Lille 1, France Jean-Marie Favre University of Grenoble, France Dragan Gašević Athabasca University, Canada Jeremy Gibbons University of Oxford, UK Andy Gill University of Kansas, USA Jeff Gray University of Alabama, USA VIII Organization Giancarlo Guizzardi Federal University of Espirito Santo, Brazil Görel Hedin Lund University, Sweden Markus Herrmannsdörfer Technische Universität München, Germany Zhenjiang Hu NII, Japan Oleg Kiselyov USA Paul Klint CWI, The Netherlands Thomas Kühne VictoriaUniversityofWellington,NewZealand Kim Mens Université Catholoque Louvain, Belgium Pierre-Etienne Moreau Ecole des Mines de Nancy, France Klaus Ostermann University of Marburg, Germany Arnd Poetzsch-Heffter University of Kaiserslautern,Germany Fiona Polack University of York, UK Lukas Renggli University of Bern, Switzerland Bernhard Rumpe RWTH Aachen, Germany João Saraiva Universidade do Minho, Portugal Friedrich Steimann FernUniversität in Hagen, Germany Gabriele Täntzer Philipps-Universität Marburg, Germany Mark Van Den Brand TU Eindhoven, The Netherlands Jurgen Vinju CWI, The Netherlands Additional Reviewers Alalfi, Manar Jacob, Ferosh Arendt, Thorsten Kelter, Udo Asadi, Mohsen Kolassa,Carsten Bach, Jean-Christophe Kurnia, Ilham Bieniusa, Annette Kurpick, Thomas Boskovic,Marko Martins, Pedro Bosnacki, Dragan Michel, Patrick Brunnlieb, Malte Pollet, Damien Chen, Sheng Ressia, Jorge Cho, Hyun Ringert, Jan Oliver Corley, Jonathan Serebrenik, Alexander Cunha, Jácome Smeltzer, Karl Dean, Thomas Stephan, Matthew Feller, Christoph Stevenson, Andrew Fontaine, Pascal Sun, Yu Fort, Karën van Amstel, Marcel Greifenberg, Timo van der Meer, Arjan Groener, Gerd Verhoeff, Tom Hermerschmidt, Lars Weber, Mathias Horst, Andreas Table of Contents Invited Talk Dark Knowledge and Graph Grammars in Automated Software Design.......................................................... 1 Don Batory, Rui Gonçalves, Bryan Marker, and Janet Siegmund Domain-Specific Languages DevelopingaDomain-SpecificLanguageforSchedulinginthe European Energy Sector ................................................... 19 Stefan Sobernig, Mark Strembeck, and Andreas Beck Micro-Machinations:A DSL for Game Economies .................... 36 Paul Klint and Riemer van Rozen xMOF: Executable DSMLs Based on fUML ......................... 56 Tanja Mayerhofer, Philip Langer, Manuel Wimmer, and Gerti Kappel Language Patterns and Evolution Variability Support in Domain-Specific Language Development ........ 76 Edoardo Vacchi, Walter Cazzola, Suresh Pillay, and Benoît Combemale Software Evolution to Domain-Specific Languages.................... 96 Stefan Fehrenbach, Sebastian Erdweg, and Klaus Ostermann Micropatterns in Grammars ....................................... 117 Vadim Zaytsev Grammars Safe Specification of Operator Precedence Rules ..................... 137 Ali Afroozeh, Mark van den Brand, Adrian Johnstone, Elizabeth Scott, and Jurgen Vinju Detecting Ambiguity in Programming Language Grammars ........... 157 Naveneetha Vasudevan and Laurence Tratt A Pretty Good Formatting Pipeline ................................ 177 Anya Helene Bagge and Tero Hasu X Table of Contents Tools The State of the Art in Language Workbenches: Conclusions from the Language Workbench Challenge ........................... 197 Sebastian Erdweg, Tijs van der Storm, Markus Völter, Meinte Boersma, Remi Bosman, William R. Cook, Albert Gerritsen, Angelo Hulshout, Steven Kelly, Alex Loh, Gabriël D.P. Konat, Pedro J. Molina, Martin Palatnik, Risto Pohjonen, Eugen Schindler, Klemens Schindler, Riccardo Solmi, Vlad A. Vergu, Eelco Visser, Kevin van der Vlist, Guido H. Wachsmuth, and Jimi van der Woning A Model-Driven Approach to Enhance Tool Interoperability Using the Theory of Models of Computation .............................. 218 Papa Issa Diallo, Joël Champeau, and Loïc Lagadec Whiley: A Platform for Research in Software Verification ............. 238 David J. Pearce and Lindsay Groves Method and Tool Support for Classifying Software Languages with Wikipedia................................................... 249 Ralf Lämmel, Dominik Mosen, and Andrei Varanovich Language Analysis A Language Independent Task Engine for Incremental Name and Type Analysis ........................................................ 260 Guido H. Wachsmuth, Gabriël D.P. Konat, Vlad A. Vergu, Danny M. Groenewegen, and Eelco Visser A Generic Framework for Symbolic Execution ....................... 281 Andrei Arusoaie, Dorel Lucanu, and Vlad Rusu Circular Higher-Order Reference Attribute Grammars ................ 302 Emma Söderberg and Görel Hedin Meta- and Megamodelling Mapping-Aware Megamodeling: Design Patterns and Laws ............ 322 Zinovy Diskin, Sahar Kokaly, and Tom Maibaum Partial Instances via Subclassing................................... 344 Kacper Bąk, Zinovy Diskin, Michał Antkiewicz, Krzysztof Czarnecki, and Andrzej Wąsowski
The list of books you might like
