-
Article
Conflict management techniques for model merging: a systematic map** review
Model merging conflicts occur when different stakeholders aim to integrate their contradicting changes that are applied concurrently to update software models. We conduct an extensive systematic map** study ...
-
Article
Advanced testing and debugging support for reactive executable DSLs
Executable Domain-Specific Languages (xDSLs) allow the definition and the execution of behavioral models. Some behavioral models are reactive, meaning that during their execution, they accept external events a...
-
Article
Advanced prefetching and caching of models with PrefetchML
Caching and prefetching techniques have been used for decades in database engines and file systems to improve the performance of I/O-intensive application. A prefetching algorithm typically benefits from the s...
-
Chapter and Conference Paper
Scalable Queries and Model Transformations with the Mogwaï Tool
Scalability of modeling frameworks has become a major issue hampering MDE adoption in the industry. Specifically, scalable model persistence, as well as efficient query and transformation engines, are two of t...
-
Chapter and Conference Paper
Controlling Cloud-Based Systems for Elasticity Test Reproduction
Systems deployed on elastic infrastructures deal with resource variations by adapting themselves, which is error-prone. Therefore, we must test Cloud-Based Systems (CBS) throughout elasticity. Such tests may b...
-
Chapter and Conference Paper
A WebRTC Extension to Allow Identity Negotiation at Runtime
In this paper we describe our implementation of the WebRTC identity architecture. We adapt OpenID Connect servers to support WebRTC peer to peer authentication and detail the issues and solutions found in the ...
-
Chapter and Conference Paper
Model Consistency for Distributed Collaborative Modeling
Current collaborative modeling tools use a centralized architecture, based on version control system, where models are updated asynchronously. These tools depend on a single server and are not completely adapt...
-
Chapter and Conference Paper
UMLtoGraphDB: Map** Conceptual Schemas to Graph Databases
The need to store and manipulate large volume of (unstructured) data has led to the development of several NoSQL databases for better scalability. Graph databases are a particular kind of NoSQL databases that ...
-
Chapter and Conference Paper
Map-Based Transparent Persistence for Very Large Models
The progressive industrial adoption of Model-Driven Engineering (MDE) is fostering the development of large tool ecosystems like the Eclipse Modeling project. These tools are built on top of a set of base tech...
-
Chapter and Conference Paper
Neo4EMF, A Scalable Persistence Layer for EMF Models
Several industrial contexts require software engineering methods and tools able to handle large-size artifacts. The central idea of abstraction makes model-driven engineering (MDE) a promising approach in such...
-
Chapter and Conference Paper
Partial Test Oracle in Model Transformation Testing
Writing test oracles for model transformations is a difficult task. First, oracles must deal with models which are complex data. Second, the tester cannot always predict the expected value of all the propertie...
-
Chapter and Conference Paper
A Model-Driven Approach for Virtual Machine Image Provisioning in Cloud Computing
The Cloud Computing Infastructure-as-a-Service (IaaS) layer provides a service for on demand virtual machine images deployment. This service provides a flexible platform for cloud users to develop, deploy, and...
-
Article
Testing peer-to-peer systems
Peer-to-peer (P2P) offers good solutions for many applications such as large data sharing and collaboration in social networks. Thus, it appears as a powerful paradigm to develop scalable distributed applicati...
-
Chapter and Conference Paper
Efficient Distributed Test Architectures for Large-Scale Systems
Typical testing architectures for distributed software rely on a centralized test controller, which decomposes test cases in steps and deploy them across distributed testers. The controller also guarantees the...
-
Chapter and Conference Paper
Testing Architectures for Large Scale Systems
Typical distributed testing architectures decompose test cases in actions and dispatch them to different nodes. They use a central test controller to synchronize the action execution sequence. This architectur...
-
Chapter and Conference Paper
OO Analysis Patterns as UML Metalevel Collaborations
A criticism that could be made of the most commonly-used AI development methodologies, in particular that based on the widely-known KADS-CommonKADS expertise model, is the unsuitability of the available techni...
-
Chapter and Conference Paper
Automating Object-Oriented Software Development Methods
Current software projects have generally to deal with producing and managing large and complex software products. It is generally believed that applying software development methods are useful in co** with t...
-
Chapter and Conference Paper
UML Reflections
The UML shares with reflective architectures the idea that self-definition of languages and systems is a key principle for building and maintaining complex systems. The UML is now defined by a four-layer metal...
-
Chapter and Conference Paper
Using UML Action Semantics for Executable Modeling and Beyond
The UMLlac ks precise and formal foundations for several constructs such as transition guards or method bodies, for which it resorts to semantic loopholes in the form of “uninterpreted” expressions. The Action...
-
Chapter and Conference Paper
Refactoring UML Models
Software developers spend most of their time modifying and maintaining existing products. This is because systems, and consequently their design, are in perpetual evolution before they die. Nevertheless, deali...
