Research Project

Expressive and Efficient Model Transformation with an Internal DSL of Xtend (Software Artifacts)

Author(s): 
Artur Boronat
Organization(s): 
University of Leicester
Modeling Languages/Notations: 

Downloads

Artifact Development Contexts: 
Required Tool(s): 
Eclipse, Gradle Builldship, CPS benchmark domain models, Xtext SDK
Programming/Modeling Languages: 
Xtend, Java
Artifact Description: 

Software artifacts related to the publication

Artur Boronat. Expressive and Efficient Model Transformation with an Internal DSL of Xtend. MoDELS'18.

This is a snapshot of the GitHub repositories:
https://github.com/yamtl/viatra-cps-batch-benchmark
and
https://github.com/yamtl/examples

Revision Summary: 
No revisions submitted.

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.

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.

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.

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.

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.

Renarrating Metalanguage Integration

Author(s): 
Vadim Zaytsev
Organization(s): 
Universiteit van Amsterdam
System/Software Domains: 
Modeling Languages/Notations: 
Artifact Development Contexts: 
Required Tool(s): 
Adobe Reader
Programming/Modeling Languages: 
Ad hoc categorical-style diagram
Artifact Description: 

An example of use for the "parsing in a broad sense" megamodel that we are presenting this year at MoDELS: four technology-specifc renarrations.

Revision Summary: 
No revisions submitted.

Pages