Vol. 24 (2009): The Pragmatics of OCL and Other Textual Specification Languages 2009

DOI: https://doi.org/10.14279/tuj.eceasst.24

Published: 2010-04-12

Articles

Declarative Models for Business Processes and UI Generation using OCL

Jens Brüning, Andreas Wolff
- PDF
Requirements Analysis for an Integrated OCL Development Environment

Joanna Chimiak-Opoka, Birgit Demuth, Darius Silingas, Nicolas Rouquette
- PDF
Generation of Formal Model Metrics for MOF based Domain Specific Languages

Christian Hein, Marcus Engelhardt, Tom Ritter, Michael Wagner
- PDF
Specifying OCL Constraints on Process Instantiations

Peter Killisperger, Markus Stumptner, Georg Peters, Thomas Stückl
- PDF
OCL contracts for the verification of model transformations

Eric Cariou, Nicolas Belloir, Franck Barbier, Nidal Djemam
- PDF
Checking Unsatisfiability for OCL Constraints

Manuel Clavel, Marina Egea, Miguel Angel García de Dios
- PDF
A MOP Based DSL for Testing Java Programs using OCL

Tony Clark
- PDF

Preface

Preface to Workshop The Pragmatics of OCL and Other Textual Specification Languages at MoDELS 2009

Jordi Cabot, Joanna Chimiak-Opoka, Martin Gogolla, Frederic Jouault, Alexander Knapp
- PDF