Login / Signup
OCL@MoDELS
2012
2015
2019
2012
2019
Keyphrases
Publications
2019
Victor Ortiz
,
Loli Burgueño
,
Antonio Vallecillo
,
Martin Gogolla
Native Support for UML and OCL Primitive Datatypes Enriched with Uncertainty in USE.
OCL@MoDELS
(2019)
Manuel Clavel
,
Hoang Nguyen Phuoc Bao
Mapping OCL into SQL: Challenges and Opportunities Ahead.
OCL@MoDELS
(2019)
Robert Clarisó
,
Martin Gogolla
A Feasibility Study on Using Classifying Terms in Alloy.
OCL@MoDELS
(2019)
Edward D. Willink
OCL Visualization - A Reality Check.
OCL@MoDELS
(2019)
Achim D. Brucker
,
Gwendal Daniel
,
Martin Gogolla
,
Frédéric Jouault
,
Christophe Ponsard
,
Valéry Ramon
,
Edward D. Willink
Emerging Topics in Textual Modelling.
OCL@MoDELS
(2019)
Daniel Calegari
,
Marcos Viera
Experimenting with Functional Features of the Object Constraint Language.
OCL@MoDELS
(2019)
Paula Muñoz
,
Loli Burgueño
,
Martin Gogolla
,
Antonio Vallecillo
Automatic Generation of Valid Behavioral Scripts from UML Sequence Diagrams.
OCL@MoDELS
(2019)
Patrick Neubauer
,
Robert Bill
,
Dimitris S. Kolovos
,
Richard F. Paige
,
Manuel Wimmer
Reusable Textual Notations for Domain-Specific Languages.
OCL@MoDELS
(2019)
volume 2513, 2019
19th International Workshop in OCL and Textual Modeling (OCL 2019) co-located with IEEE/ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS 2019), Munich, Germany, September 16, 2019.
OCL@MoDELS
2513 (2019)
2016
Antonio García-Domínguez
,
Dimitris S. Kolovos
Models from Code, or Code as Models?
OCL@MoDELS
(2016)
Sina Madani
,
Dimitris S. Kolovos
Re-Implementing Apache Thrift using Model-Driven Engineering Technologies: An Experience Report.
OCL@MoDELS
(2016)
Lars Hamann
,
Martin Gogolla
,
Nisha Desai
On the Support of Qualified Associations in OCL.
OCL@MoDELS
(2016)
Horacio Hoyos Rodriguez
,
Dimitrios S. Kolovos
Declarative Model Transformation Execution Planning.
OCL@MoDELS
(2016)
Mira Balaban
,
Phillipa Bennett
,
Khanh-Hoang Doan
,
Geri Georg
,
Martin Gogolla
,
Igal Khitron
,
Michael Kifer
A Comparison of Textual Modeling Languages: OCL, Alloy, FOML.
OCL@MoDELS
(2016)
Frank Hilken
,
Marcel Schuster
,
Karsten Sohr
,
Martin Gogolla
Integrating UML/OCL Derived Properties into Validation and Verification Processes.
OCL@MoDELS
(2016)
Achim D. Brucker
,
Jordi Cabot
,
Gwendal Daniel
,
Martin Gogolla
,
Adolfo Sánchez-Barbudo Herrera
,
Frank Hilken
,
Frédéric Tuong
,
Edward D. Willink
,
Burkhart Wolff
Recent Developments in OCL and Textual Modelling.
OCL@MoDELS
(2016)
Frédéric Jouault
,
Olivier Beaudoux
Efficient OCL-based Incremental Transformations.
OCL@MoDELS
(2016)
Vincent Bertram
,
Bernhard Rumpe
,
Michael von Wenckstern
Encapsulation, Operator Overloading, and Error Class Mechanisms in OCL.
OCL@MoDELS
(2016)
Daniel Calegari
,
Marcos Viera
On the Functional Interpretation of OCL.
OCL@MoDELS
(2016)
Vincent Bertram
,
Alexander Roth
,
Bernhard Rumpe
,
Michael von Wenckstern
Extendable Toolchain for Automatic Compatibility Checks.
OCL@MoDELS
(2016)
Peiyuan Sun
,
Zinovy Diskin
,
Michal Antkiewicz
,
Krzysztof Czarnecki
Modeling and Reasoning with Multirelations, and their encoding in Alloy.
OCL@MoDELS
(2016)
volume 1756, 2016
Proceedings of the 16th International Workshop on OCL and Textual Modelling co-located with 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), Saint-Malo, France, October 2, 2016.
OCL@MoDELS
1756 (2016)
2015
Colin Atkinson
,
Ralph Gerbig
,
Thomas Kühne
Opportunities and Challenges for Deep Constraint Languages.
OCL@MoDELS
(2015)
Massimo Tisi
,
Rémi Douence
,
Dennis Wagelaar
Lazy Evaluation for OCL.
OCL@MoDELS
(2015)
Frédéric Jouault
,
Olivier Beaudoux
On the Use of Active Operations for Incremental Bidirectional Evaluation of OCL.
OCL@MoDELS
(2015)
Edward D. Willink
Safe Navigation in OCL.
OCL@MoDELS
(2015)
Arnaud Dieumegard
,
Marc Pantel
,
Guillaume Babin
,
Martin Carton
Tool Paper: A Lightweight Formal Encoding of a Constraint Language for DSMLs.
OCL@MoDELS
(2015)
Timo Kehrer
,
Christopher Pietsch
,
Udo Kelter
,
Daniel Strüber
,
Steffen Vaupel
An Adaptable Tool Environment for High-level Differencing of Textual Models.
OCL@MoDELS
(2015)
Adolfo Sánchez-Barbudo Herrera
,
Edward D. Willink
,
Richard F. Paige
An OCL-based Bridge from Concrete to Abstract Syntax.
OCL@MoDELS
(2015)
Jesús Sánchez Cuadrado
Recursion and Iteration Support in USE Validator with AnATLyzer.
OCL@MoDELS
(2015)
Ed Seidewitz
,
Jérémie Tatibouet
Tool Paper: Combining Alf and UML in Modeling Tools - An Example with Papyrus -.
OCL@MoDELS
(2015)
volume 1512, 2015
Proceedings of the 15th International Workshop on OCL and Textual Modeling co-located with 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September 28, 2015.
OCL@MoDELS
1512 (2015)
2014
Ahmed Ahmed
,
Paola Vallejo
,
Mickaël Kerboeuf
,
Jean-Philippe Babau
CdmCL, a Specific Textual Constraint Language for Common Data Model.
OCL@MoDELS
(2014)
Alexander Kraas
Realizing Model Simplifications with QVT Operational Mappings.
OCL@MoDELS
(2014)
Achim D. Brucker
,
Tony Clark
,
Carolina Dania
,
Geri Georg
,
Martin Gogolla
,
Frédéric Jouault
,
Ernest Teniente
,
Burkhart Wolff
Panel Discussion: Proposals for Improving OCL.
OCL@MoDELS
(2014)
Delphine Longuet
,
Frédéric Tuong
,
Burkhart Wolff
Towards a Tool for Featherweight OCL: A Case Study On Semantic Reflection.
OCL@MoDELS
(2014)
Xabier De Carlos
,
Goiuria Sagardui
,
Salvador Trujillo
MQT, an Approach for Run-Time Query Translation: From EOL to SQL.
OCL@MoDELS
(2014)
Xavier Oriol
,
Ernest Teniente
Incremental Checking of OCL Constraints through SQL Queries.
OCL@MoDELS
(2014)
Marcos Arjona
,
Carolina Dania
,
Marina Egea
,
Antonio Maña
Validation of a Security Metamodel for the Development of Cloud Applications.
OCL@MoDELS
(2014)
Frédéric Jouault
,
Jérôme Delatour
Towards Fixing Sketchy UML Models by Leveraging Textual Notations: Application to Real-Time Embedded Systems.
OCL@MoDELS
(2014)
Gergely Dévai
,
Gábor Ferenc Kovács
,
Ádám An
Textual, Executable, Translatable UML.
OCL@MoDELS
(2014)
volume 1285, 2014
Proceedings of the 14th International Workshop on OCL and Textual Modelling co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Valencia, Spain, September 30, 2014.
OCL@MoDELS
1285 (2014)
2013
Bastian Ulke
,
Friedrich Steimann
OCL as a Constraint Generation Language.
OCL@MoDELS
(2013)
Achim D. Brucker
,
Dan Chiorean
,
Tony Clark
,
Birgit Demuth
,
Martin Gogolla
,
Dimitri Plotnikov
,
Bernhard Rumpe
,
Edward D. Willink
,
Burkhart Wolff
Report on the Aachen OCL Meeting.
OCL@MoDELS
(2013)
Thorsten Arendt
,
Gabriele Taentzer
,
Alexander Weber
Quality Assurance of Textual Models within Eclipse using OCL and Model Transformations.
OCL@MoDELS
(2013)
Valerio Cosentino
,
Salvador Martínez Perez
Extracting UML/OCL Integrity Constraints and Derived Types from Relational Databases.
OCL@MoDELS
(2013)
Achim D. Brucker
,
Delphine Longuet
,
Frédéric Tuong
,
Burkhart Wolff
On the Semantics of Object-Oriented Data Structures and Path Expressions.
OCL@MoDELS
(2013)
Geri Georg
,
Lucy J. Troup
Experiences Developing a Requirements Language Based on the Psychological Framework Activity Theory.
OCL@MoDELS
(2013)
Harald Störrle
Improving the Usability of OCL as an Ad-hoc Model Querying Language.
OCL@MoDELS
(2013)
volume 1092, 2013
Proceedings of the MODELS 2013 OCL Workshop co-located with the 16th International ACM/IEEE Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, USA, September 30, 2013.
OCL@MoDELS
1092 (2013)