=Paper= {{Paper |id=Vol-2245/ocl_intro |storemode=property |title=None |pdfUrl=https://ceur-ws.org/Vol-2245/ocl_intro.pdf |volume=Vol-2245 }} ==None== https://ceur-ws.org/Vol-2245/ocl_intro.pdf
      18th International Workshop on OCL and
            Textual Modeling (OCL 2018)

              Achim D. Brucker1 , Robert Clarisó2 , and Hao Wu3
                    1
                       The University of Sheffield, Sheffield, UK
                            a.brucker@sheffield.ac.uk
                     2
                       Universitat Oberta de Catalunya, Spain
                                rclariso@uoc.edu
                          3
                             Maynooth University, Ireland
                                haowu@cs.nuim.ie



Preface

In software development, modeling is often associated with the use of graphical
notations such as UML and its precursors. Such visual representations enable
direct intuitive capturing of reality, but they have weaknesses: for example, de-
tailed visual representations bear the risk of becoming overcrowded faster than
textual models and some of the visual features lack the level of precision re-
quired to create complete and unambiguous specifications. These weaknesses
of graphical notations encouraged the development of text-based modeling lan-
guages that either integrate with or replace graphical notations for modeling.
Typical examples of such languages are OCL, textual MOF, Epsilon, and Alloy.
Textual modeling languages have their roots in formal language paradigms like
logic, programming and databases.
    The main goal of this workshop is to create a forum where researchers and
practitioners interested in building models using OCL or other kinds of textual
languages can directly interact, report advances, share results, identify tools for
language development, and discuss appropriate standards.
    This year, nine papers (seven full papers and two short papers0 haven been
accepted for presentations at the workshop. Each submitted paper was reviewed
by at least three members of the program committee. The accepted papers range
from improving the evaluation and validation of (textual) models to enhancing
the expressiveness of (textual) modeling languages to advancing the state of
visual representation of complex constraints.



August 2018                      Achim D. Brucker, Robert Clarisó, and Hao Wu
Organizers

Achim D. Brucker                The University of Sheffield (UK)
Robert Clarisó                  Universitat Oberta de Catalunya (Spain)
Hwo Wu                          Maynooth University (Ireland)


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)
Robert Bill                    Vienna University of Technology (Austria)
Achim D. Brucker               The University of Sheffield (UK)
Jordi Cabot                    Inria - Open University of Catalonia (Spain)
Dan Chiorean                   Babes - Bolyai University (Romania)
Robert Clarisó                 Universitat Oberta de Catalunya (Spain)
Tony Clark                     Sheffield Hallam University (UK)
Manuel Clavel                  IMDEA Software Institute (Spain)
Birgit Demuth                  Technische Universitat Dresden (Germany)
Martin Gogolla                 University of Bremen (Germany)
Adolfo Sanchez-Barbudo Herrera University of York (UK)
Istvan Rath                    Budapest University (Hungary)
Jan Oliver Ringert             Tel Aviv University (Israel)
Bernhard Rumpe                 RWTH Aachen (Germany)
Frederic Tuong                 Nanyang Technological University (Singapore)
Edward Willink                 Willink Transformations Ltd . (UK)
Hao Wu                         Maynooth University (Ireland)
Burkhart Wolff                 Univ. Paris-Sud (France)
Steffen Zschaler               King ’s College (UK)


Additional Reviewers

Manuela Dalibor                 RWTH Aachen (Germany)
Khanh-Hoang Doan                University of Bremen (Germany)
Lukas Netz                      RWTH Aachen (Germany)