Engineering the Dynamic Semantics of Domain Specific Languages

Engineering the Dynamic Semantics of Domain Specific Languages

Engineering the dynamic semantics of domain specific languages Citation for published version (APA): Tikhonova, U. (2017). Engineering the dynamic semantics of domain specific languages. Technische Universiteit Eindhoven. Document status and date: Published: 21/11/2017 Document Version: Publisher’s PDF, also known as Version of Record (includes final page, issue and volume numbers) Please check the document version of this publication: • A submitted manuscript is the version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website. • The final author version and the galley proof are versions of the publication after peer review. • The final published version features the final layout of the paper including the volume, issue and page numbers. Link to publication General rights Copyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright owners and it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights. • Users may download and print one copy of any publication from the public portal for the purpose of private study or research. • You may not further distribute the material or use it for any profit-making activity or commercial gain • You may freely distribute the URL identifying the publication in the public portal. If the publication is distributed under the terms of Article 25fa of the Dutch Copyright Act, indicated by the “Taverne” license above, please follow below link for the End User Agreement: www.tue.nl/taverne Take down policy If you believe that this document breaches copyright please contact us at: [email protected] providing details and we will investigate your claim. Download date: 04. Oct. 2021 Engineering the Dynamic Semantics of Domain Specific Languages PROEFSCHRIFT ter verkrijging van de graad van doctor aan de Technische Universiteit Eindhoven, op gezag van de rector magnificus, prof.dr.ir. F.P.T. Baaijens, voor een commissie aangewezen door het College voor Promoties in het openbaar te verdedigen op dinsdag 21 november 2017 om 16.00 uur door Ulyana Tikhonova geboren te Leningrad, Rusland Dit proefschrift is goedgekeurd door de promotoren en de samenstelling van de promotiecom- missie is als volgt: voorzitter: prof.dr. M.A. Peletier promotor: prof.dr. M.G.J. van den Brand copromotoren: dr.ir. T.A.C. Willemse dr.ir. R.R.H. Schiffelers leden: prof.dr. J.J. Vinju prof.dr. M. Butler (University of Southampton) prof.dr. B. Combemale (University of Toulouse) prof.dr.ir. M. Aksit (University of Twente) Het onderzoek of ontwerp dat in dit proefschrift wordt beschreven is uitgevoerd in overeenstem- ming met de TU/e Gedragscode Wetenschapsbeoefening. Engineering the Dynamic Semantics of Domain Specific Languages Ulyana Tikhonova Promotor: prof.dr. M.G.J. van den Brand (Eindhoven University of Technology) Copromotoren: dr.ir. T.A.C. Willemse (Eindhoven University of Technology) dr.ir. R.R.H. Schiffelers (ASML) Additional members of the core committee: prof.dr. J.J. Vinju (Eindhoven University of Technology) prof.dr. M. Butler (University of Southampton) prof.dr. B. Combemale (University of Toulouse) prof.dr.ir. M. Aksit (University of Twente) The work in this thesis has been carried out under the auspices of the research school IPA (Insti- tute for Programming research and Algorithmics). IPA dissertation series 2017-10 The work in this thesis has been carried out as part of the COREF project (Common Reference Framework for Executable Domain Specific Languages) with ASML as the industrial partner. The COREF project (PNU 10C19) is part of the Point-One University-Industry Interaction pro- gram. A catalogue record is available from the Eindhoven University of Technology Library ISBN: 978-90-386-4381-6 Cover design: Karina Vasileva (Melanistic Kitsune) Printed by: Ipskamp Printing, Enschede, The Netherlands c U. Tikhonova, 2017. Acknowledgements It is many miles and many years that have brought me here. Tenzing Norgay, Tiger of the Snows The journey towards this PhD thesis was long and was influenced by a lot of people. First of all, I thank Mark van den Brand, my promoter and supervisor, for inviting me to participate in the COREF project and for providing me with his full support through these years. The topic of my PhD project perfectly fitted the object of my curiosity. Moreover, Mark gave me the freedom to choose directions of the research and to pursue my ideas. Mark, thank you for your trust and for all honest discussions we had! Any freedom implies responsibility and pursuing your own ideas can be a very lonely and painful experience. I thank my daily supervisor, Tim Willemse, for guiding me through these consequences of freedom and for ensuring the best outcome out of this experience – both for my work and for me. I always could burst into his office with another crazy idea, eureka moment, or a desperate problem. Tim, thank you for making time for me, for your thorough discussions and reviews, and for your attention to every detail! Your contribution made this work what it is. My PhD study was conducted as part of the COREF project, in collaboration between TU/e and ASML. I thank everybody actively participating in the COREF project or related to it: Tom Verhoeff for discovering with me the odds and evens of formal specifications; Suzana Andova for being my daily supervisor and a friend in the beginning of the project; Wilbert Alberts, Ra- mon Schiffelers, Rogier Wester, Istvan Nagy for helping and guiding on the industry side; Marc Hamilton for sharing his expertise, insights, and ideas about the world of industrial DSLs. My special thanks go to my COREF buddy, Maarten Manders. I could always rely on his company and back-up when working at ASML, preparing for conferences and schools, and discovering local life and cuisine in various locations we had attended. From the beginning of my PhD project I was inspired by the Event-B community, by the welcoming atmosphere of their workshops and by how keen they are to share knowledge and provide support. I would like to especially mention Michael Butler, Colin Snook, Thai Son Hoang, and Lukas Ladenberger. During my PhD research, I was fortunate to team up and collaborate with some of my col- leagues and students. I am grateful to Rimco Boudewijns for carrying out his master project with me. His work nicely complemented my research and provided an important support for presen- tations and demonstrations of Constelle. I thank Anton Wijs for experimenting with Constelle, ii despite all its clumsiness, and providing me with interesting insights into my own work. I am very grateful to Alexander Serebrenik for providing his help and advice on various questions in all these years, and especially for guiding me through the topics of empirical methods in software engineering. Alexander, your help with setting up an empirical study greatly contributed to my research and this thesis. I thank members of my defense committee: Ramon Schiffelers, Michael Butler, Benoit Combemale, Mehmet Aksit, and Jurgen Vinju. It is an honor for me to have my work reviewed and assessed by you! I also express my gratitude to Mark Peletier for chairing the defense cere- mony. One of the joys of being a PhD student is to be in the company of other PhD students. I was happy to share my office hours, breaks, lunches, and after work drinks with Yanja Dajsuren, Mar- cel van Amstel, Luc Engelen, Zvezdan Protic, Arjan van der Meer, Bogdan Vasilescu, Aminah Zawedde, John Businge, Maarten Manders, Neda Noroozi, Ana-Maria Sutii, Dan Zhang, Luna Luo, Sjoerd Cranen, Maciek Gazda, Sarmen Keshishzadeh, Mahmood Talebi, Onder Babur, Sander de Putter, Josh Mengerink, Weslley Torres, Felipe Ebert, Thomas Neele, and others. I am especially grateful for all the fun times we had with fellow PhDs during various schools that I attended: numerous IPA spring and fall days, GTTSE, SFM/MDE, and, of course, Maktober- dorf. As a nice distraction from my research, I had enjoyed setting up and running the M&CS PhD Council - together with Jaron Sanders, Serban Badila, Sarah Gaaf, Jorn van der Pol, Arthur van Goethem, and Alok Lele. The journey to this thesis started some years before I came to Eindhoven, when my Russian supervisor Fedor A. Novikov introduced me to the field of domain specific language engineering. Фёдор Александрович, спасибо Вам за байки про программистов, за умение видеть вглубь и вширь и быть не таким как все. I am grateful to my senior colleagues from In- stitute of Applied Astronomy who inspired me with their romantic vision of research work, its curiosity and beauty. Скрипниченко Владимир Ильич, Нецветаева ГалинаАнатольевна, Свешников Михаил Леонидович, спасибо вам за вашу романтику, за любовь к своей работе и за рассказы про созвездия. Finally, I thank my friends both in Netherlands and in St. Petersburg, for not caring much about my PhD and all this research; Gar Oome for consulting me about mechanics of LEGO cars; my closest friends Yanja and Sibrecht for being my paranymphs. I thank my wise husband Geert and my beautiful daughter Vasja, for special joys and challenges they always have for me and for the place I call my home. I thank my parents, who always support me, whatever I do and wherever I go. To them I devote this book. Дорогие мама и папа, спасибо вам за вашу поддержку! Я знаю, что что бы я ни делала и где бы ни была, вы со мной и поддержите меня.

View Full Text

Details

  • File Type
    pdf
  • Upload Time
    -
  • Content Languages
    English
  • Upload User
    Anonymous/Not logged-in
  • File Pages
    211 Page
  • File Size
    -

Download

Channel Download Status
Express Download Enable

Copyright

We respect the copyrights and intellectual property rights of all users. All uploaded documents are either original works of the uploader or authorized works of the rightful owners.

  • Not to be reproduced or distributed without explicit permission.
  • Not used for commercial purposes outside of approved use cases.
  • Not used to infringe on the rights of the original creators.
  • If you believe any content infringes your copyright, please contact us immediately.

Support

For help with questions, suggestions, or problems, please contact us