DOCSLIB.ORG

Engineering the Dynamic Semantics of Domain Specific Languages

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text

Load more

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. Дорогие мама и папа, спасибо вам за вашу поддержку! Я знаю, что что бы я ни делала и где бы ни была, вы со мной и поддержите меня.
Recommended publications
  • Uncovering Dynamic Semantic Networks in the Brain Using Novel Approaches for EEG/MEG Connectome Reconstruction

    Uncovering Dynamic Semantic Networks in the Brain Using Novel Approaches for EEG/MEG Connectome Reconstruction

    Uncovering Dynamic Semantic Networks in the Brain Using Novel Approaches for EEG/MEG Connectome Reconstruction SEYEDEHREZVAN FARAHIBOZORG SELWYN COLLEGE MRC COGNITION AND BRAIN SCIENCES UNIT SCHOOL OF CLINICAL MEDICINE UNIVERSITY OF CAMBRIDGE This dissertation is submitted for the degree of Doctor of Philosophy February 2018 Uncovering Dynamic Semantic Networks in the Brain Using Novel Approaches for EEG/MEG Connectome Reconstruction Seyedehrezvan Farahibozorg The current thesis addresses some of the unresolved predictions of recent models of the semantic brain system, such as the hub-and-spokes model. In particular, we tackle different aspects of the hypothesis that a widespread network of interacting heteromodal (hub(s)) and unimodal (spokes) cortices underlie semantic cognition. For this purpose, we use connectivity analyses, measures of graph theory and permutation-based statistics with source reconstructed Electro- /MagnetoEncephaloGraphy (EEG/MEG) data in order to track dynamic modulations of activity and connectivity within the semantic networks while a concept unfolds in the brain. Moreover, in order to obtain more accurate connectivity estimates of the semantic networks, we propose novel methods for some of the challenges associated with EEG/MEG connectivity analysis in source space. We utilised data-driven analyses of EEG/MEG recordings of visual word recognition paradigms and found that: 1) Bilateral Anterior Temporal Lobes (ATLs) acted as potential processor hubs for higher- level abstract representation of concepts. This was reflected in modulations of activity by multiple contrasts of semantic variables; 2) ATL and Angular Gyrus (AG) acted as potential integrator hubs for integration of information produced in distributed semantic areas. This was observed using Dynamic Causal Modelling of connectivity among the main left-hemispheric candidate hubs and modulations of functional connectivity of ATL and AG to semantic spokes by word concreteness.
  • What Does Semantic Tiling of the Cortex Tell Us About Semantics? MARK ⁎ Lawrence W

    What Does Semantic Tiling of the Cortex Tell Us About Semantics? MARK ⁎ Lawrence W

    Neuropsychologia 105 (2017) 18–38 Contents lists available at ScienceDirect Neuropsychologia journal homepage: www.elsevier.com/locate/neuropsychologia What does semantic tiling of the cortex tell us about semantics? MARK ⁎ Lawrence W. Barsalou University of Glasgow, UK ARTICLE INFO ABSTRACT Keywords: Recent use of voxel-wise modeling in cognitive neuroscience suggests that semantic maps tile the cortex. Semantics Although this impressive research establishes distributed cortical areas active during the conceptual processing Conceptual processing that underlies semantics, it tells us little about the nature of this processing. While mapping concepts between Neural encoding and decoding Marr's computational and implementation levels to support neural encoding and decoding, this approach ignores Multi-voxel pattern analysis Marr's algorithmic level, central for understanding the mechanisms that implement cognition, in general, and Explanatory levels conceptual processing, in particular. Following decades of research in cognitive science and neuroscience, what Cognitive mechanisms do we know so far about the representation and processing mechanisms that implement conceptual abilities? Most basically, much is known about the mechanisms associated with: (1) feature and frame representations, (2) grounded, abstract, and linguistic representations, (3) knowledge-based inference, (4) concept composition, and (5) conceptual flexibility. Rather than explaining these fundamental representation and processing mechanisms, semantic tiles simply provide a trace of their activity over a relatively short time period within a specific learning context. Establishing the mechanisms that implement conceptual processing in the brain will require more than mapping it to cortical (and sub-cortical) activity, with process models from cognitive science likely to play central roles in specifying the intervening mechanisms.
  • Former Associate Professor of Linguistics) T2@Partnerserve.Com Working Version 16.2

    Former Associate Professor of Linguistics) [email protected] Working Version 16.2

    Cognitax Tool Grammar: Re-factoring the Generative Program A pervasive action dimension for linguistic description, theory and models 12 Lawrence R. Smith (Former Associate Professor of Linguistics) [email protected] Working Version 16.2 This is a preliminary and frequently changing dynamic document responsive to reader critique and is likely not the latest version available by contacting the author. (Note the title has changed.3) The later version always supersedes the earlier and typically may include major revisions. Comments and challenges are welcome for future versions. The extended version under development is freely available on request from the author. 1 We are indebted for the incisive comments of readers who suggested constructive improvements even as the ideas presented here were sometimes at considerable variance with their own current working frameworks. We owe special thanks to the following for comments on either parts or the whole of this work: John Hewson, Paul Postal, Vit Bubenik, Pieter Seurens and Willem de Reuse. 2We had considered an alternative title for this paper since it seeks to explain malformation: “A Review of Verbal Misbehavior” 3 From version 12.9 ‘Cognitax’ replaces ‘Pragmatax’ to clarify that Tool Grammar is distinct from pragmatics, as well as separate work that may refer to grammatical tools. Both were absent from the title in an earlier version. 1 Operative Motivating Hypotheses of Tool Grammar 1. There exists an empirically evident necessity for representation of linguistic structural action intent which has been generally overlooked in the theory of language, including centralized configurational syntax in the generative program. 2. Linguistic structural action intent extends the basic Chomskyan focus on linguistic creativity (unbounded generation from finite means) to a new level of representation useful for explaining and constraining the inventive means by which the species- specific features of human language are effected.
  • Chapter 2:Tools Selection

    Chapter 2:Tools Selection

    MODEL-BASED DESIGN & VERFICATION OF EMBEDDED SYTEMS (MODEVES) Tools Selection Report Chapter 2: Tools Selection MODEL-BASED DESIGN & VERFICATION OF EMBEDDED SYTEMS (MODEVES) Tools Selection Report 1. MBSE Tools Investigation Once the researches are classified into different categories, the next step is to identify the tools and frameworks used in selected researches to perform various MBSE activities. It is important to mention here that a tool is used to perform a specific MBSE activity whereas a framework is a complete environment supporting set of tools that can be used to perform various MBSE activities. On the basis of literature review, 39 preliminary MBSE tools have been identified as given in Table VI. Table I: Preliminary tools selection Sr. Name of Tool / Corresponding Relevant Researches # Framework MBSE Activities 1 Topcased [62] Modeling [3][8][9][52] 2 Modelio Editor Modeling [12] [68] 3 Magic Draw Modeling [6][16][20] [131] 4 Eclipse GEF Modeling [17] [89] 5 Rhapsody [132] Modeling [4][19][22][57] 6 PapyrusMDT Modeling [21][44][60] [98] 7 EA MDG [85] Modeling [27] 8 Visual paradigm Modeling [60] [126] 9 MediniQVT Model [2] [121] Transformation 10 ATL [63] Model [3][8][39][44][46][50][59] Transformation 11 Xpand [97] Model [8][20] Transformation 12 Acceleo [67] Model [9][21][42][44] Transformation 13 MODCO [83] Model [13] Transformation 14 MODEASY Model [17] [17] Transformation 15 Apache Model [16][18] Velocity [86] Transformation 16 Eclipse EMF Model [21][41][37] MODEL-BASED DESIGN & VERFICATION OF EMBEDDED SYTEMS (MODEVES)
  • An Agile Approach to Language Modelling and Development

    An Agile Approach to Language Modelling and Development

    ISSE manuscript No. (will be inserted by the editor) An Agile Approach to Language Modelling and Development Adrian Johnstone · Peter D. Mosses · Elizabeth Scott Received: ??? / Accepted: ??? Abstract We have developed novel techniques for 1 Introduction component-based specification of programming languages. In our approach, the semantics of each fundamental We are developing a component-based approach to language programming construct is specified independently, using an modelling. Our models are formal specifications of syntax inherently modular framework such that no reformulation and semantics. is needed when constructs are combined. A language Language designers already use formal specifications specification consists of an unrestricted context-free for syntax; we claim that formal semantics can be useful grammar for the syntax of programs, together with an and worthwhile for them too, provided that the following analysis of each language construct in terms of fundamental features are combined in a single, coherent framework: constructs. An open-ended collection of fundamental – a substantial collection of specification components that constructs is currently being developed. can be used without change; When supported by appropriate tools, our techniques – accessible formalisms and notation; allow a more agile approach to the design, modelling, – tool support for developing and checking specifications; and implementation of programming and domain-specific – tools for generating (at least prototype) implementations languages. In particular, our approach encourages lan- from tentative language specifications; guage designers to proceed incrementally, using prototype – successful case studies involving major languages; and implementations generated from specifications to test – an online repository providing access to all specifica- tentative designs. The components of our specifications tions.
  • Bluemona Jalal: Curriculum Vitae

    Bluemona Jalal: Curriculum Vitae

    Mona Jalal monajalal.com [email protected] AIEM BU IVC Research Interest Computer Vision, Machine Learning, Deep Learning, Vision and Language. Education Computer Science Ph.D. Fellow in Computer Vision Boston University, Boston, MA, USA. Adviser: Professor Margrit Betke GPI: 3.84 out of 4 September 2017-now Double Major M.Sc. in Computer Sciences and Electrical Engineering University of Wisconsin-Madison, Madison, WI, USA. CS GPA: 3.62, CGPA of both degrees: 3.49 out of 4 CS Master's Graduation: May 15th 2016, EE Master's Graduation: August 24th 2014 M.Sc. in Computer Engineering Majored in Computer Architecture Sharif University of Technology, Tehran, Iran. CGPA: 17.71 out of 20 B.Sc. in Computer Engineering Majored in Computer Hardware Shahid Beheshti University, Tehran, Iran. CGPA: 15.32 out of 20 Second best hardware engineering student in batch of 2009 graduates National Organization for Development of Exceptional Talents Karaj, Tehran, Iran Designated for top 5% of the entire high school students in Iran Experience Research Intern NVIDIA Research, North Carolina, Durham Mentor: Dr. Josef Spjut, collaborator: Ben Boudaoud, Manager: Dr. David Luebke June 20-August 31, 2018 R&D Engineer 1 Center for Augmented Cognition, University of California, Berkeley Under supervision of Dr. Allen Y. Yang and mentorship of Joseph Menke May 1-August 15, 2017 Research Intern Computer Vision Group, Medical Sciences Center, University of Wisconsin-Madison Under supervision of Professor Vikas Singh and mentorship of Professor Won Hwa Kim August 1, 2016-May 1, 2017 Graduate Research Assistant Internet of Things Lab, University of Wisconsin-Madison Under supervision of Dr.
  • An Analysis of Metamodeling Practices for MOF and OCL Juan Cadavid, Benoit Combemale, Benoit Baudry

    An Analysis of Metamodeling Practices for MOF and OCL Juan Cadavid, Benoit Combemale, Benoit Baudry

    An Analysis of Metamodeling Practices for MOF and OCL Juan Cadavid, Benoit Combemale, Benoit Baudry To cite this version: Juan Cadavid, Benoit Combemale, Benoit Baudry. An Analysis of Metamodeling Practices for MOF and OCL. Computer Languages, Systems and Structures, Elsevier, 2015, 41, pp.46. 10.1016/j.cl.2015.02.002. hal-01186015 HAL Id: hal-01186015 https://hal.inria.fr/hal-01186015 Submitted on 23 Aug 2015 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Distributed under a Creative Commons Attribution - NonCommercial - NoDerivatives| 4.0 International License An Analysis of Metamodeling Practices for MOF and OCL Juan José Cadavida, Benoît Combemaleb, Benoit Baudryb aCEA, Saclay, France [email protected] bInria Rennes, France {benoit.combemale, benoit.baudry}@inria.fr Abstract The definition of a metamodel that precisely captures domain knowledge for effective know-how capitalization is a challenging task. A major obstacle for domain experts who want to build a metamodel is that they must master two radically different languages: an object-oriented, MOF-compliant, modeling language to capture the domain structure and first order logic (the Object Constraint Language) for the definition of well-formedness rules.
  • WOMEN TECHNOLOGISTS COUNT Recommendations and Best Practices to Retain Women in Computing

    WOMEN TECHNOLOGISTS COUNT Recommendations and Best Practices to Retain Women in Computing

    WOMEN TECHNOLOGISTS COUNT Recommendations and Best Practices to Retain Women in Computing ANITA BORG INSTITUTE SOLUTIONS SERIES TABLE OF CONTENTS Foreword . 1 Introduction . 2 Leadership and Accountability . 5 Corporate Culture Built for Innovation . 7 Support Networks and Communities . 11 Organizational Infrastructure and Policies . 18 Conclusion . 21 Endnotes . 22 FOREWORD ver the past 15 years, as the Anita Borg Institute has worked to improve the representation and advancement of women in computing, we’ve learned how important it is to retain women in the technical Ocareer pipeline . We know from our work with organizations that turnover among women in technology is a significant problem . Companies recognize that they cannot afford to lose valuable talent, but making a tangible impact on attrition levels can be challenging . Attrition begins when some women struggle in the transition from college to their first technical position in industry . For those who stay initially, the mid level is an especially critical “make or break” point . Many mid-level women leave the technical track to become managers . Others switch companies or step away from technology altogether . Those who advance to senior technical roles face many obstacles as they work toward the top tiers of technical leadership . Keeping women in the technical workforce matters . Teams that have a diversity of perspective, including gender, improve innovation and, ultimately, financial performance . It is in the best interest of technology companies to retain women who are committed to inventing technology and making a contribution in their fields . To institute real change in the workplace, employees throughout the organization need to understand that including people with a broad range of perspective, background and gender is a business imperative .
  • Bluemona Jalal: Curriculum Vitae

    Bluemona Jalal: Curriculum Vitae

    Mona Jalal monajalal.com [email protected] BU IVC Research Interests Computer Vision, Machine Learning, Deep Learning, Multimodal Learning, Vision and Language. Education Computer Science Ph.D. Candidate in Computer Vision Boston University (BU), Boston, MA, USA. Adviser: Professor Margrit Betke Ph.D. Candidacy on \3D Human's Shape, Mesh, and Modeling with Applications" Dissertation topic: Pose Estimation and Tracking Capturing video using two thermal FLIR SC8000 cameras and two HSDR devices from rodents. 3D reconstruction and 2D/3D pose estimation and behavior categorization in rodents. Exploring the use of 3D shapes for better estimation of pose. GPI: 3.85/4 September 2017-now Double Major M.Sc. in Computer Sciences and Electrical Engineering University of Wisconsin-Madison (UW), Madison, WI, USA. CS GPA: 3.62, CGPA of both degrees: 3.49 out of 4 CS Master's Graduation: May 15th 2016, EE Master's Graduation: August 24th 2014 M.Sc. in Computer Engineering Majored in Computer Architecture Sharif University of Technology (SUT){Ranked 1st in Iran CGPA: 17.71 out of 20 B.Sc. in Computer Engineering Majored in Computer Hardware Shahid Beheshti University (SBU){Ranked 5th in Iran. CGPA: 15.32 out of 20 Second best hardware engineering student in batch of 2009 graduates National Organization for Development of Exceptional Talents (NODET) Karaj, Tehran, Iran Designated for top 5% of the entire high school students in Iran Experiences Machine Learning Engineering Intern Hateful conduct detection in tweets Twitter Cortex, Cambridge, MA Mentors: Dr. Kristen Sunter and Dr. Eting Yuan, Manager: Dr. Rani Nelken June 3rd-August 30, 2019 Research Intern 3D object pose dataset creation using Unreal Engine 4 NVIDIA Research, Durham, North Carolina Mentor: Dr.
  • Automatic Translation of OCL Meta-Level Constraints Into Java Meta-Programs

    Automatic Translation of OCL Meta-Level Constraints Into Java Meta-Programs

    Automatic Translation of OCL Meta-Level Constraints into Java Meta-programs Sahar Kallel, Chouki Tibermacine, Bastien Tramoni, Christophe Dony and Ahmed Hadj Kacem Abstract In order to make explicit and tangible their design choices, software de- velopers integrate, in their applications’ models, constraints that their models and their implemetations should satisfy. Various environments enable constraint check- ing during the modeling stage, but in most cases they do not generate code that would enable the checking of these constraints during the implementation stage. It turns out that this is possible in a number of cases. Environments that provide this functionality only offer it for functional constraints (related to the states of objects in applications) and not for architectural ones (related to the structure of applications). Considering this limitation, we describe in this paper a system that generates metaprograms starting from architecture constraints, written in OCL at the metamodel level, and associated to a specific UML model of an application. These metaprograms enable the checking of these constraints at runtime. Keywords: Software Architecture, Architecture Constraint, Object Constraint Language, Java Reflect Sahar Kallel Lirmm, Montpellier University, France, e-mail: [email protected] Chouki Tibermacine Lirmm, Montpellier University, Farance e-mail: [email protected] Bastien Tramoni Lirmm, Montpellier University, France e-mail: [email protected] Christophe Dony Lirmm, Montpellier University, France e-mail: [email protected] Ahmed Hadj Kacem ReDCAD, Sfax University, Tunisie e-mail: [email protected] 1 2 Kallel, Tibermacine, Tramoni, Dony and HadjKacem 1 Introduction Software architecture description is one of the main building blocks of an applica- tion’s design [4].
  • Chapter 1 Introduction

    Chapter 1 Introduction

    Chapter Intro duction A language is a systematic means of communicating ideas or feelings among people by the use of conventionalized signs In contrast a programming lan guage can be thought of as a syntactic formalism which provides ameans for the communication of computations among p eople and abstract machines Elements of a programming language are often called programs They are formed according to formal rules which dene the relations between the var ious comp onents of the language Examples of programming languages are conventional languages likePascal or C and also the more the oretical languages such as the calculus or CCS A programming language can b e interpreted on the basis of our intuitive con cept of computation However an informal and vague interpretation of a pro gramming language may cause inconsistency and ambiguity As a consequence dierent implementations maybegiven for the same language p ossibly leading to dierent sets of computations for the same program Had the language in terpretation b een dened in a formal way the implementation could b e proved or disproved correct There are dierent reasons why a formal interpretation of a programming language is desirable to give programmers unambiguous and p erhaps informative answers ab out the language in order to write correct programs to give implementers a precise denition of the language and to develop an abstract but intuitive mo del of the language in order to reason ab out programs and to aid program development from sp ecications Mathematics often emphasizes
  • Modularity and Reuse of Domain-Specific Languages

    Modularity and Reuse of Domain-Specific Languages

    Modularity and reuse of domain-specific languages Citation for published version (APA): Sutii, A. M. (2017). Modularity and reuse of domain-specific languages: an exploration with MetaMod. Technische Universiteit Eindhoven. Document status and date: Published: 07/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.