Software Language Engineering: 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings

396 Pages·2013·8.183 MB·

by  Don Batory, Rui Gonçalves, Bryan Marker, Janet Siegmund (auth.), Martin Erwig, Richard F. Paige, Eric Van Wyk (eds.)

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