Sciweavers

ECEASST
2010
13 years 6 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
13 years 6 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
13 years 6 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
13 years 6 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
13 years 6 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
13 years 6 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
13 years 6 months ago
Incremental Pattern Matching in Graph-Based State Space Exploration
AmirHossein Ghamarian, Arash Jalali, Arend Rensink
ECEASST
2010
13 years 6 months ago
Distributed Graph-Based State Space Generation
Stefan Blom, Gijs Kant, Arend Rensink
ECEASST
2010
13 years 6 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,...
ECEASST
2010
13 years 6 months ago
Parallelism and Concurrency Theorems for Rules with Nested Application Conditions
Abstract. We present Local Church-Rosser, Parallelism, and Concurrency Theorems for rules with nested application conditions in the framework of weak adhesive HLR categories includ...
Hartmut Ehrig, Annegret Habel, Leen Lambers