Sciweavers

ECEASST
2010
12 years 11 months ago
A Feature Model for an IDE4OCL
An Integrated OCL Development Environment (IDE4OCL) can significantly improve the pragmatics and practice of OCL. Therefore we started a comprehensive requirement analysis with the...
Joanna Dobroslawa Chimiak-Opoka, Birgit Demuth
ECEASST
2010
12 years 11 months ago
Support for Bidirectional Model-to-Text Transformations
In recent years, model-driven approaches and processes have1 established themselves as pragmatic and feasible solutions with tangible2 advantages. Transformations play a central ro...
Anthony Anjorin, Marius Paul Lauder, Michael Schle...
ECEASST
2010
12 years 11 months ago
Re-engineering Eclipse MDT/OCL for Xtext
The current tooling used for the Eclipse OCL project uses an LALR parser generator. Enhancing the tooling to support editing motivated a migration to exploit the inherently model-d...
Edward D. Willink
ECEASST
2010
12 years 11 months ago
MySQL4OCL: A Stored Procedure-Based MySQL Code Generator for OCL
In this paper we introduce a MySQL code generator for a significant subset of OCL expressions which is based on the use of stored procedures for mapping OCL iterators. Our code gen...
Marina Egea, Carolina Dania, Manuel Clavel
ECEASST
2010
12 years 11 months ago
Towards a Conceptual Framework Supporting Model Compilability
The ever-growing use of modeling languages today is largely due to a maturation of model-based development technologies. However, there is enough room for improving language specif...
Dan Ioan Chiorean, Vladiela Petrascu
ECEASST
2010
12 years 11 months ago
Navigating Across Non-Navigable Ecore References via OCL
The Eclipse Modeling Framework (EMF) and its meta-meta model Ecore support uni-directional and bi-directional references. It is quite common that references are defined uni-directi...
Martin Hanysz, Tobias Hoppe, Axel Uhl, Andreas Sei...
ECEASST
2010
12 years 11 months ago
Verified Visualisation of Textual Modelling Languages
Abstract. Many modelling languages have both a textual and a graphical form. The relationship between these two forms ought to be clear and concrete, but is instead commonly unders...
Fintan Fairmichael, Joseph Kiniry
ECEASST
2010
12 years 11 months ago
Incremental Pattern Matching in Graph-Based State Space Exploration
AmirHossein Ghamarian, Arash Jalali, Arend Rensink
ECEASST
2010
12 years 11 months ago
Distributed Graph-Based State Space Generation
Stefan Blom, Gijs Kant, Arend Rensink
ECEASST
2010
12 years 11 months ago
Security Evaluation and Hardening of Free and Open Source Software (FOSS)
Abstract: Recently, Free and Open Source Software (FOSS) has emerged as an alternative to Commercial-Off-The-Shelf (COTS) software. Now, FOSS is perceived as a viable long-term sol...
Robert Charpentier, Mourad Debbabi, Dima Alhadidi,...