Volume 24: The Pragmatics of OCL and Other Textual Specification Languages 2009

DOI: http://dx.doi.org/10.14279/tuj.eceasst.24

Table of Contents

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

Articles

Specifying OCL Constraints on Process Instantiations
Peter Killisperger, Markus Stumptner, Georg Peters, Thomas Stückl
PDF
A MOP Based DSL for Testing Java Programs using OCL
Tony Clark
PDF
Generation of Formal Model Metrics for MOF based Domain Specific Languages
Christian Hein, Marcus Engelhardt, Tom Ritter, Michael Wagner
PDF
Checking Unsatisfiability for OCL Constraints
Manuel Clavel, Marina Egea, Miguel Angel García de Dios
PDF
Requirements Analysis for an Integrated OCL Development Environment
Joanna Dobroslawa Chimiak-Opoka, Birgit Demuth, Darius Silingas, Nicolas F. Rouquette
PDF
OCL contracts for the verification of model transformations
Eric Cariou, Nicolas Belloir, Franck Barbier, Nidal Djemam
PDF
Declarative Models for Business Processes and UI Generation using OCL
Jens Brüning, Andreas Wolff
PDF