Academia

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.

Extending CEP to Graph-structured information

Author(s): 
Gala Barquero, Loli Burgueño, Javier Troya, Antonio Vallecillo
Organization(s): 
Universidad de Málaga

Downloads

Artifact Development Contexts: 
System/Software Domains: 
Required Tool(s): 
Eclipse Maven Spring
Programming/Modeling Languages: 
Scala Java
Revision Summary: 
No revisions submitted.

Towards Sound, Optimal and Flexible Building from Megamodels

Author(s): 
Perdita Stevens
Organization(s): 
University of Edinburgh

Downloads

Artifact Development Contexts: 
Required Tool(s): 
pluto, maven, java, junit - see pom.xml
Programming/Modeling Languages: 
Java
Artifact Description: 

This project contains an early-stage demonstration of building on top of the pluto build system to enable sound, flexible and optimal building from megamodels. It demonstrates the examples from the paper

Towards Sound, Optimal and Flexible Building from Megamodels by me, Perdita Stevens, in MODELS'18,

See the paper, and the READMEs and comments in the various directories, for more information.

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.

Case Studies for Validation of a UML/OCL Approach for Service-Oriented Applications

Author(s): 
Loli Burgueno, Martin Gogolla, Antonio Vallecillo
Organization(s): 
University of Malaga, University of Bremen, University of Malaga
System/Software Domains: 
Modeling Languages/Notations: 
Required Tool(s): 
USE (UML-based Specification Environment) https://sourceforge.net/projects/useocl/; YEd (yet another graph Editor) https://www.yworks.com/products/yed
Programming/Modeling Languages: 
UML OCL SOIL
Artifact Description: 

The case studies have been developed in order to explain and validate an approach for service-oriented applications. Research papers explaining the approach are available from the authors.

Revision Summary: 
No revisions submitted.

Collaborative modeling environment features

Author(s): 
Constantin Masson, Jonathan Corley, Eugene Syriani
Organization(s): 
Université de Montréal, University of West Georgia
Modeling Languages/Notations: 
Lifecycle Phases: 
Artifact Types: 
Artifact Development Contexts: 
Required Tool(s): 
Image viewer
Programming/Modeling Languages: 
Feature Modeling
Artifact Description: 

There has been a growing trend toward collaborative environments especially those utilizing browser-based interfaces which can be seen in modeling tools such as AToMPM and WebGME. In response to the growing interest in collaborative modeling, we explored existing systems and potential solutions to identify the various features relevant to collaborative modeling systems. In this paper, we detail the feature diagram resulting from our exploration of collaborative modeling systems. We also detail the features of an existing collaborative system both to illustrate the use of the diagram and further explore the features. Through this feature diagram we identify key areas for collaborative modeling systems. We hope the feature diagram will be used to guide development, analysis, and discussion around collaborative modeling systems.

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.

MODELS2017-BPMN2UML Artifacts

Author(s): 
Qusai Ramadan^1, Mattia Salnitriy^2, Daniel Strüber^1, Jan Jürjens^1 and Paolo Giorginiy^2
Organization(s): 
1 University of Koblenz-Landau, 2 University of Trento
Modeling Languages/Notations: 
System/Software Domains: 
Artifact Development Contexts: 
Required Tool(s): 
We recommend using Eclipse Neon, Modeling Tools distribution (https://www.eclipse.org/downloads/packages/eclipse-modeling-tools/neonr), with installed Henshin(https://www.eclipse.org/henshin/) and CARiSMA (https://rgse.uni-koblenz.de/carisma/) plug-ins. These plug-ins can be installed either using online update sites, or the mirrored update sites provided as part of the artifact. More details about how to install these softwares are provided in the README file.
Programming/Modeling Languages: 
For people who are interested in viewing the SecBPMN2 Models or UMLsec models, we recommended the use of the following tools. However, this is not an obligation, our project still can be executed without having these tools. For viewing the SecBPMN2 models, please install STS-Tool. For viewing the UMLsec models, please install Papyrus on your Eclipse. More details about how to install these software are provided in the README file.
Artifact Description: 

The Eclipse project package *myexample.zip* has the following contents:
src/my.example* directory:

  • Externalservices1.bpmn, Externalservices2.bpmn, Flightplan.bpmn, Landing.bpmn: Input models from the ATM case study
  • example1.bpmn: Small input model for testing purposes
  • .henshin files: Henshin modules implementing the transformation
  • BpmnToUml.java: Java class for executing the transformation via orchestration of Henshin modules
  • BpmnToUmlMetricsPrinter.java: Java class for computing metric values for input and output models

Testing directory: Additional test input models

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.

Pages