Rewriting Logic and Its Applications: 14th International Workshop, WRLA 2022, Munich, Germany, April 2–3, 2022, Revised Selected Papers (Lecture Notes in Computer Science, 13252) PDF
Preview Rewriting Logic and Its Applications: 14th International Workshop, WRLA 2022, Munich, Germany, April 2–3, 2022, Revised Selected Papers (Lecture Notes in Computer Science, 13252)
Kyungmin Bae (Ed.) 2 5 Rewriting Logic 2 3 1 S and Its Applications C N L 14th International Workshop, WRLA 2022 Munich, Germany, April 2–3, 2022 Revised Selected Papers Lecture Notes in Computer Science 13252 FoundingEditors GerhardGoos KarlsruheInstituteofTechnology,Karlsruhe,Germany JurisHartmanis CornellUniversity,Ithaca,NY,USA EditorialBoardMembers ElisaBertino PurdueUniversity,WestLafayette,IN,USA WenGao PekingUniversity,Beijing,China BernhardSteffen TUDortmundUniversity,Dortmund,Germany MotiYung ColumbiaUniversity,NewYork,NY,USA Moreinformationaboutthisseriesat https://link.springer.com/bookseries/558 Kyungmin Bae (Ed.) Rewriting Logic and Its Applications 14th International Workshop, WRLA 2022 Munich, Germany, April 2–3, 2022 Revised Selected Papers Editor KyungminBae DepartmentofComputerScienceandEngineering PohangUniversityofScienceandTechnology Pohang,Korea(Republicof) ISSN 0302-9743 ISSN 1611-3349 (electronic) LectureNotesinComputerScience ISBN 978-3-031-12440-2 ISBN 978-3-031-12441-9 (eBook) https://doi.org/10.1007/978-3-031-12441-9 ©SpringerNatureSwitzerlandAG2022 Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartofthe material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodologynow knownorhereafterdeveloped. Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant protectivelawsandregulationsandthereforefreeforgeneraluse. Thepublisher,theauthors,andtheeditorsaresafetoassumethattheadviceandinformationinthisbookare believedtobetrueandaccurateatthedateofpublication.Neitherthepublishernortheauthorsortheeditors give a warranty, expressed or implied, with respect to the material contained herein or for any errors or omissionsthatmayhavebeenmade.Thepublisherremainsneutralwithregardtojurisdictionalclaimsin publishedmapsandinstitutionalaffiliations. ThisSpringerimprintispublishedbytheregisteredcompanySpringerNatureSwitzerlandAG Theregisteredcompanyaddressis:Gewerbestrasse11,6330Cham,Switzerland Preface This volume contains the formal proceedings of the 14th International Workshop on Rewriting Logic and its Applications (WRLA 2022), held as a satellite event of the European Joint Conferences on Theory and Practice of Software (ETAPS 2022) in Munich,Germany,duringApril2–3,2022. Rewriting logic is a natural model of computation and an expressive semantic frameworkforconcurrency,parallelism,communication,andinteraction.Itcanbeused for specifying a wide range of systems and languages in various application fields. It alsohasgoodpropertiesasametalogicalframeworkforrepresentinglogics.Overthe years,severallanguagesbasedonrewritinglogichavebeendesignedandimplemented. The aim of the workshop is to bring together researchers with a common interest in rewriting logic and its applications and to give them the opportunity to present their recentworks,discussfutureresearchdirections,andexchangeideas. ThepreviousmeetingswereheldinAsilomar,USA(1996),Pont-a-Mousson,France (1998),Kanazawa,Japan(2000),Pisa,Italy(2002),Barcelona,Spain(2004),Vienna, Austria (2006), Budapest, Hungary (2008), Paphos, Cyprus (2010), Tallinn, Estonia (2012), Grenoble, France (2014), Eindhoven, the Netherlands (2016), Thessaloniki, Greece(2018),andonlineasavirtualevent(2020). Thisyear,wereceived13submissions.EachwasreviewedbyatleastthreeProgram Committee members. After extensive discussions, the Program Committee decided to accept 11 papers for presentation at the workshop and nine papers for inclusion in theseproceedings.ThisvolumealsoincludestwoinvitedpapersbyGwenSalaünand SebastianMödersheim,twoinvitedtutorialsbySantiagoEscobarandRubénRubio,and aninvitedexperiencereportbyPeterCsabaÖlveczky. We sincerely thank all the authors of papers submitted to the workshop, and the invitedspeakersforkindlyacceptingtocontributetoWRLA2022.Wearegratefulto themembersoftheProgramCommitteeandthesubreviewersfortheircarefulworkin the review process. We also thank the members of the WRLA steering committee for theirvaluablesuggestions.Finally,weexpressourgratitudetoallmembersofthelocal organizationteamofETAPS2022,whoseworkmadetheworkshoppossible. June2022 KyungminBae Organization ProgramCommittee ErikaAbraham RWTHAachenUniversity,Germany MaríaAlpuente UniversitatPolitècnicadeValència,Spain KyungminBae(Chair) PohangUniversityofScienceandTechnology, SouthKorea RobertoBruni UniversitàdiPisa,Italy FranciscoDurán UniversityofMálaga,Spain SantiagoEscobar UniversitatPolitècnicadeValència,Spain MaribelFernandez King’sCollegeLondon,UK MarkHills EastCarolinaUniversity,USA NaoHirokawa JAIST,Japan AlexanderKnapp UniversitätAugsburg,Germany TemurKutsia JohannesKeplerUniversityLinz,Austria AlbertoLluchLafuente TechnicalUniversityofDenmark,Denmark DorelLucanu AlexandruIoanCuzaUniversity,Romania SalvadorLucas UniversitatPolitècnicadeValència,Spain NarcisoMartí-Oliet UniversidadComplutensedeMadrid,Spain JoséMeseguer UniversityofIllinoisatUrbana-Champaign,USA AartMiddeldorp UniversityofInnsbruck,Austria VivekNigam FederalUniversityofParaíba,Brazil KazuhiroOgata JAIST,Japan PeterCsabaÖlveczky UniversityofOslo,Norway AdriánRiesco UniversidadComplutensedeMadrid,Spain ChristopheRingeissen Inria,France CamiloRocha PontificiaUniversidadJaverianaCali,Colombia VladRusu Inria,France TraianFlorinSerbanuta UniversityofBucharest,Romania CarolynTalcott SRIInternational,USA AdditionalReviewers Aoto,Takahito Chiang,James Fernet,Laouen Sapiña,Julia Contents InvitedPapers FromStatictoDynamicAnalysisandAllocationofResourcesforBPMN Processes ............................................................. 3 FranciscoDurán, YlièsFalcone, CamiloRocha, GwenSalaün, andAhangZuo RewritingPrivacy ..................................................... 22 SebastianMödersheim InvitedTutorialsandExperienceReport CanonicalNarrowingwithIrreducibilityandSMTConstraintsasaGeneric SymbolicProtocolAnalysisMethod ..................................... 45 RaúlLópez-RuedaandSantiagoEscobar AnOverviewoftheMaudeStrategyLanguageanditsApplications ........... 65 RubénRubio TeachingFormalMethodstoUndergraduateStudentsUsingMaude .......... 85 PeterCsabaÖlveczky RegularPapers BusinessProcessesAnalysiswithResource-AwareMachineLearning SchedulinginRewritingLogic .......................................... 113 FranciscoDurán,DanielaMartínez,andCamiloRocha Modeling,AlgorithmSynthesis,andInstrumentationforCo-simulation inMaude ............................................................. 130 SimonThraneHansenandPeterCsabaÖlveczky AnEfficientCanonicalNarrowingImplementationforProtocolAnalysis ...... 151 RaúlLópez-Rueda,SantiagoEscobar,andJoséMeseguer CheckingSufficientCompletenessbyInductiveTheoremProving ............ 171 JoséMeseguer viii Contents OnGroundConvergenceandCompletenessofConditionalEquational ProgramHierarchies ................................................... 191 JoséMeseguerandStephenSkeirik AutomatingSafetyProofsAboutCyber-PhysicalSystemsUsingRewriting ModuloSMT ......................................................... 212 VivekNigamandCarolynTalcott ExecutableSemanticsandTypeCheckingforSession-BasedConcurrency inMaude ............................................................. 230 CarlosAlbertoRamírezRestrepoandJorgeA.Pérez ToolPapers ParallelMaude-NPAforCryptographicProtocolAnalysis ................... 253 CanhMinhDo,AdriánRiesco,SantiagoEscobar,andKazuhiroOgata MaudeasaLibrary:AnEfficientAll-PurposeProgrammingInterface ......... 274 RubénRubio AuthorIndex ......................................................... 295 Invited Papers
The list of books you might like
