Volume 15: OCL Concepts and Tools 2008

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

Table of Contents

Preface

Preface to the Proceedings of the 2008 OCL Workshop
Jordi Cabot, Martin Gogolla, Pieter van Gorp
PDF

Articles

Observations for Assertion-based Scenarios in the context of Model Validation
Emine G Aydal, Richard F Paige, Jim Woodstock
PDF
Problems and Enhancements of the Embedding of OCL into QVT ImperativeOCL
Fabian Büttner, Mirco Kuhlmann
PDF
Building an Efficient Component for OCL Evaluation
Manuel Clavel, Egea Marina, Garcia de Dios Miguel Angel
PDF
Deriving OCL Optimization Patterns from Benchmarks
Jesús Sánchez Cuadrado, Frédéric Jouault, Jesús Garcí­a-Molina, Jean Bézivin
PDF
How My Favorite Tool Supporting OCL Must Look Like
Dan Ioan Chiorean, Vladiela Petrascu, Dragos Petrascu
PDF
Executing Underspecified OCL Operation Contracts with a SAT Solver
Matthias P. Krieger, Alexander Knapp
PDF
Implementing Advanced RBAC Administration Functionality with USE
Tanveer Mustafa, Karsten Sohr, Duc-Hanh Dang, Michael Drouineaud, Stefan Kowski
PDF
Static Source Code Analysis using OCL
Mirko Seifert, Roland Samlaus
PDF
An Incremental OCL Compiler for Modeling Environments
Tamas Vajk, Gergely Mezei, Tihamer Levendovszky
PDF