Tool

Towards Scalable Views on Heterogeneous Model Resources

Author(s): 
Hugo Bruneliere^1, Florent Marchand de Kerchove^1, Gwendal Daniel^2, Jordi Cabot^3
Organization(s): 
1 IMT Atlantique - LS2N (CNRS) & ARMINES, 2 IN3 - UOC, 3 ICREA & UOC
Modeling Languages/Notations: 

Downloads

Artifact Development Contexts: 
Artifact Types: 
Required Tool(s): 
Eclipse Modeling Tools (4.7), CDO (4.6), Xtext (2.13), Epsilon (1.4.0), ATL (3.8)
Programming/Modeling Languages: 
Java, EMF, ATL, Xtext
Artifact Description: 

This artifact regroups all the tools used or created for the MODELS 2018 paper Towards Scalable Views on Heterogeneous Model Resources.

Our contribution is the ability to create views combining very large models from heterogeneous resources (e.g., in-memory or from NeoEMF- or CDO-managed databases). These views can be navigated and queried like regular models.

Revision Summary: 
No revisions submitted.

Expressing Confidence in Model and Model Transformation Elements

Author(s): 
Loli Burgueño
Organization(s): 
Universidad de Málaga
Lifecycle Phases: 
System/Software Domains: 
Artifact Development Contexts: 

Downloads

Required Tool(s): 
Eclipse IDE (tested with Oxigen.2) Java 8
Programming/Modeling Languages: 
Java
Artifact Description: 

This artifact contains the source code of the LinTra transformation engine as well as several case studies that incorporate models and models transformations taking into account the confidence of their elements.

Revision Summary: 
No revisions submitted.

thingml-diversifier

Author(s): 
Brice Morin, Jakob Høgenes
Organization(s): 
SINTEF Digital

Downloads

Keywords: 
Artifact Types: 
Artifact Development Contexts: 
Programming/Modeling Languages: 
ThingML Java
Revision Summary: 
No revisions submitted.

Artifact to paper 'Partial Evaluation of OCL Expressions', to appear in Proceedings of MODELS'17

Author(s): 
Bastian Ulke^1, Friedrich Steimann^1 and Ralf Lämmel^2
Organization(s): 
1 FernUniversitat in Hagen; 2 Universitat Koblenz-Landau
Modeling Languages/Notations: 
Artifact Types: 
Artifact Development Contexts: 
Required Tool(s): 
see README files.
Programming/Modeling Languages: 
Ecore, Java, OCL
Artifact Description: 

Partial Evaluation of OCL Expressions
Bastian Ulke, Friedrich Steimann and Ralf Lämmel

Abstract (taken from the paper) -- In the academic literature, many uses of the Object Constraint Language (OCL) have been proposed. By contrast, the utilization of OCL in contemporary modelling tools lags behind, suggesting that leverage of OCL remains limited in practice. We consider this undeserved, and present a scheme for partially evaluating OCL expressions that allows one to capitalize on given OCL specifications for a wide array of purposes using a single implementation: a partial evaluator of OCL.

In this context, our artifact delivers the following contributions:

  1. it presents a Java-based partial evaluator for OCL invariants. The partial evaluator evaluates OCL subexpressions where their value is fix and translates them to a constraint on variables where they are not (the genrated constraints can be solved by a constraint solver to find value assignments satisfying the invariants, thus repairing or completing a model instance; refer to section II for more details).
  2. The artifact comprises a text-based user interface to illustrate the constraint generation based on a user-specified set of dynamic and fix properties.
  3. The same interface can be used to reproduce the results of the implementation evaluation (please refer to section IX of our paper for further details).
  4. Our artifact also publishes the models and OCL invariants that were used for the evaluation.

The artifact consists consists of three parts:

  1. The metamodel for Java/JPA programs and 14 instances, constructed from Open Source projects, as well as the 77 OCL expressions reflecting JPA's rules of well-formedness.
    (Paper65_Models.zip)
  2. A Java SE-based setup of our Java-based OCL partial evaluator. This application can be used to reproduce evaluation results presented in our paper and to get an impression of the complexity reduction achieved by partially evaluating OCL expressions.
    (Paper65_PartEval.zip)
  3. A virtual machine, comprising a preconfigured Eclipse workspace to inspect the implementation of our partial evaluator for OCL. (Depending on your system configuration, you may want to ensure that the VM is set up to run an "Ubuntu (64 bit)" operating system.)
    (URL: https://figshare.com/s/0d0ec7567d12ac45c253)

All three parts contain own README files with further details on their usage.

Terms of use
In case you use parts of this artifact for your own research, please cite our publication in your work.

Revision Summary: 
No revisions submitted.

Bridging Engineering and Formal Modeling: WebGME and Formula Integration

Author(s): 
Tamas Kecskes, Qishen Zhang, Janos Sztipanovits
Organization(s): 
Vanderbilt University
Artifact Types: 
System/Software Domains: 
Artifact Development Contexts: 
Required Tool(s): 
See the readme of the repository for necessary tools and installation information.
Programming/Modeling Languages: 
WebGME Formula
Artifact Description: 

The linked repository houses the WebGME Formula integration project.
After installation the user can try out this web-based tool on her/his own machine or even remotely if the installation was done in the cloud.

Revision Summary: 
No revisions submitted.

ALE Compiler and Benchmarks

Author(s): 
Manuel Leduc^1, Thomas Degueule^2, Benoit Combemale^1, Tijs van der Storm^2^3, Olivier Barais^1
Organization(s): 
1 University of Rennes 1, 2 CWI, 3 University of Groningen
Modeling Languages/Notations: 
Artifact Types: 
Artifact Development Contexts: 
Required Tool(s): 
Eclipse DSL
Programming/Modeling Languages: 
Java, Xtend, Eclipse Modeling Framework, Xtext
Artifact Description: 

The Revisitor pattern is a language implementation pattern that enables independent extensibility of the syntax and semantics of metamodel-based DSLs, with incremental compilation and without anticipation. It is inspired by the Object Algebra design pattern and adapted to the specificities of metamodeling.

On top of the Revisitor pattern, we introduce ALE, a high-level language for semantics specification of metamodels that compiles to Revisitors to support separate compilation of language modules.

ALE is tightly integrated with the Eclipse Modeling Framework (EMF) and relies on the Ecore meta-language for the definition of the abstract syntax of DSLs. Operational semantics is defined with ALE using an open-class-like mechanism. ALE is bundled a set of Eclipse plug-ins.

Revision Summary: 
No revisions submitted.

Aspect-Oriented Modeling for Performance Evaluation with UML+MARTE, LQN, and CSM

Author(s): 
Mohammad Alhaj, Dorina Petriu
Organization(s): 
Carleton University
System/Software Domains: 
Keywords: 
Artifact Development Contexts: 
Artifact Description: 

The paper proposes a multi-paradigm modeling approach which aims to derive performance models from software models of enterprise SOA systems, in order to evaluate their run-time performance from the early development phases. This helps to choose between different architecture, design, and configuration alternatives in order to meet the performance requirements. The source models of the proposed transformation are the platform independent model of the service oriented system, the deployment diagram and the platform aspect models. The Performance completion feature model describes the variability in the service platform that may affect the system’s performance. It provides the choice to select between multiple platform alternatives based on the business requirements. Aspect-oriented modeling techniques are used to produce a platform-dependent model by weaving aspect models of platform operations into the platform-independent model. The platform-dependent model thus obtained represents the source models for the transformation into a performance model. The UML profile MARTE is used to annotate models with performance information.

Revision Summary: 
No revisions submitted.

DT4BP to TimedCaaFWrk model transformation

Author(s): 
Alfredo Capozucca
Organization(s): 
University of Luxembourg
Lifecycle Phases: 
Artifact Types: 
System/Software Domains: 
Artifact Development Contexts: 
Required Tool(s): 
Eclipse Modeling Tools
Programming/Modeling Languages: 
ATL
Artifact Description: 

Model-to-Model transformation. This transformation allows a DT4BP complaint model to be translated to a Timed-CaaFWrk complaint model. The model transformation is used as translational semantics to defined part of the DT4BP modeling language

Revision Summary: 
No revisions submitted.