IEEE/ACM 22nd International Conference on Model Driven Engineering Languages and Systems September 15 – September 20, 2019 ˙Munich (Germany) OCL 2019 – 19th International Workshop on OCL and Textual Modeling Workshop Proceedings Achim D. Brucker, Gwendal Daniel, and Frédédric Jouault (Eds.) Published on Dec 2019 v1.0 © 2019 for the individual papers by the papers’ authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0). Editors’ addresses: Achim D. Brucker, University of Exeter, UK, a.brucker@exeter.ac.uk Gwendal Daniel, Universitat Oberta de Catalunya, Spain, gdaniel@uoc.edu Frédéric Jouault, Groupe ESEO, France, frederic.jouault@eseo.fr Organizers Achim D. Brucker University of Exeter (UK) Gwendal Daniel Universitat Oberta de Catalunya (Spain) Frédéric Jouault Groupe ESEO (France) Program Committee Thomas Baar HTW Berlin (Germany) Mira Balaban Ben-Gurion University of the Negev (Israel) Tricia Balfe Nomos Software (Ireland) Domenico Bianculli University of Luxembourg (Luxembourg) Achim D. Brucker University of Exeter (UK) Jordi Cabot ICREA – Open University of Catalonia (Spain) Dan Chiorean Babes-Bolyai University (Romania) Robert Clariso Universitat Oberta de Catalunya (Spain) Tony Clark Aston University (UK) Manuel Clavel Vietnamese-German University (Vietnam) Birgit Demuth Technische Universitat Dresden (Germany) Martin Gogolla University of Bremen (Germany) Adolfo Sánchez-Barbudo Herrera University of York (UK) Istvan Rath Budapest University of Technology and Economics (Hungary) Jan Oliver Ringert Tel Aviv University (Israel) Bernhard Rumpe RWTH Aachen (Germany) Frédéric Tuong Université Paris-Saclay - LRI (France) Edward Willink Willink Transformations Ltd. (UK) Hao Wu Maynooth University (Ireland) Steffen Zschaler King’s College London (UK) Additional Reviewers Nisha Desai Khanh-Hoang Doan Judith Michael Lukas Netz Louis Wachtmeister Table of Contents Preface . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 Mapping OCL into SQL: Challenges and Opportunities Ahead . . . . . . . . . . . . . 3 Manuel Clavel and Hoàng Nguyễn Phước Bảo OCL Visualization – A Reality Check . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 Edward D. Willink Experimenting with Functional Features of the Object Constraint Language 31 Daniel Calegari and Marcos Viera A Feasibility Study on Using Classifying Terms in Alloy . . . . . . . . . . . . . . . . . . . . 45 Robert Clarisó and Martin Gogolla Native Support for UML and OCL Primitive Datatypes Enriched with Uncer- 59 tainty in USE Víctor Ortiz, Loli Burgueño, Antonio Vallecillo, and Martin Gogolla Reusable Textual Notations for Domain-Specific Languages . . . . . . . . . . . . . . . . . 67 Patrick Neubauer, Robert Bill, Dimitris Kolovos, Richard F. Paige, and Manuel Wimmer Automatic Generation of Valid Behavioral Scripts from UML Sequence Dia- 81 grams Paula Muñoz, Loli Burgueño, Martin Gogolla, and Antonio Vallecillo Emerging Topics in Textual Modelling . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91 Achim D. Brucker, Gwendal Daniel, Martin Gogolla, Frédéric Jouault, Christophe Ponsard, Valéry Ramon, and Edward D. Willink