• Aucun résultat trouvé

18th International Workshop on OCL and Textual Modeling (OCL 2018)

N/A
N/A
Info
Télécharger
Protected

Academic year: 2022

Partager "18th International Workshop on OCL and Textual Modeling (OCL 2018)"

Copied!
2
0
0

Chargement.... (Voir le texte intégral maintenant)

Texte intégral

(1)

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

(2)

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)

Références

Télécharger maintenant ( PDF - 2 Page - 240.40 KB )

Documents relatifs

MASTER UNIVERSITARIO EN Visión por Computador / Computer Vision UNIVERSITAT AUTÒNOMA DE BARCELONA UNIVERSITAT OBERTA DE CATALUNYA UNIVERSITAT POLITÈCNICA DE CATALUNYA UNIVERSITAT POMPEU FABRA

Esta normativa también regula otros aspectos relacionados con la movilidad, como los procedimientos de reconocimiento y de adaptación entre los estudios de primer

Preface

Sergio España Universitat Politècnica de València, Spain Xavier Franch Universitat Politècnica de Catalunya, Spain Ulrich Frank University of Duisburg-Essen, Germany

OCL-Lite: A Decidable (Yet Expressive) Fragment of OCL

Thus, we introduce OCL-Lite, a frag- ment of the full OCL language and prove that reasoning over UML class diagrams with OCL-Lite constraints is in ExpTime by an encoding in

Quality Assurance of Textual Models within Eclipse using OCL and Model Transformations

This paper contributes a flexible quality assurance tool set for textual models supporting quality assurance techniques like model metrics, smells, and refactorings integrated

Preface

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,

Frontmatter

Brucker, The University of Sheffield, UK, a.brucker@sheffield.ac.uk Jordi Cabot, ICREA - Open University of Catalonia, Spain, jordi.cabot@icrea.cat Adolfo Sánchez-Barbudo

A Comparison of Textual Modeling Languages: OCL, Alloy, FOML

Alloy provides its own concepts of signatures, constraints and predicates, and can specify models and data, using these concepts. Alloy client models translate their own concepts

Recent Developments in OCL and Textual Modelling

versions [2, 3] of are based on an extensible “open-world” data model, HOL-OCL 2.0 uses a “closed-world” data model that is implemented using a reflection- based approach..