Sciweavers

Share
ECEASST
2010
8 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
8 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
8 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
8 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
8 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
8 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
8 years 6 months ago
Incremental Pattern Matching in Graph-Based State Space Exploration
AmirHossein Ghamarian, Arash Jalali, Arend Rensink
ECEASST
2010
8 years 6 months ago
Distributed Graph-Based State Space Generation
Stefan Blom, Gijs Kant, Arend Rensink
ECEASST
2010
8 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
8 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
books