You are here

Repository - My Submissions

87 results found
Title Description Author(s) Updated
Case Studies for Validation of a UML/OCL Approach for Service-Oriented Applications

The case studies have been developed in order to explain and validate an approach for service-oriented applications.

Loli Burgueno, Martin Gogolla, Antonio Vallecillo Mon, 01/15/2018 - 10:34
Collaborative modeling environment features

There has been a growing trend toward collaborative environments especially those utilizing browser-based interfaces which can be seen in modeling

Constantin Masson, Jonathan Corley, Eugene Syriani Mon, 08/14/2017 - 14:29
Artifact to paper 'Partial Evaluation of OCL Expressions', to appear in Proceedings of MODELS'17

Partial Evaluation of OCL Expressions

Bastian Ulke^1, Friedrich Steimann^1 and Ralf Lämmel^2 Mon, 07/24/2017 - 10:57
Bridging Engineering and Formal Modeling: WebGME and Formula Integration

The linked repository houses the WebGME Formula integration project.

Tamas Kecskes, Qishen Zhang, Janos Sztipanovits Sat, 07/15/2017 - 22:15
MODELS2017-BPMN2UML Artifacts

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

Qusai Ramadan^1, Mattia Salnitriy^2, Daniel Strüber^1, Jan Jürjens^1 and Paolo Giorginiy^2 Thu, 07/20/2017 - 03:40
ALE Compiler and Benchmarks

The Revisitor pattern is a language implementation pattern that enables independent extensibility of the syntax and semantics of metamodel-based DS

Manuel Leduc^1, Thomas Degueule^2, Benoit Combemale^1, Tijs van der Storm^2^3, Olivier Barais^1 Wed, 07/19/2017 - 09:36
Automated Provisioning of Customized Cloud Service Stacks

related publications:

Ta’id Holmes Thu, 05/26/2016 - 23:28
OpenCompare case study

Metamodels used in the development of OpenCompare project (

Guillaume Bécan^1, Mathieu Acher^1, Benoit Combemale^1, Nicolas Sannier^2 Wed, 06/07/2017 - 21:14
UML Models Generated and Derived for Evaluating aToucan

It contains the models derived by the participants of two controlled experiments conducted to evaluate aToucan.

Tao Yue Wed, 04/11/2018 - 22:39
Renarrating Metalanguage Integration

An example of use for the "parsing in a broad sense" megamodel that we are presenting this

Vadim Zaytsev Thu, 05/26/2016 - 23:37
Toward a Megamodeling Approaches Overview

This is an attempt to collect technology models (commonly referred to as megamodels or macromodels) used in recent academic peer-reviewed publicati

Ralf Lämmel^1, Vadim Zaytsev^2 Thu, 05/26/2016 - 23:38
Integrating modeling and programming languages - The case of Java and fUML (case study models)

- UML class models representing the reverse engineered Java libraries

Patrick Neubauer Thu, 05/26/2016 - 23:44

UML profiles generated from annotation-based Java libraries / frameworks

Alexander Bergmayr Mon, 03/31/2014 - 23:57
OpenStack Model

Class diagram of OpenStack

Lukman Rahim Sun, 05/29/2016 - 13:15
Class diagram of OpenNebula

A class diagram showing the design of OpenNebula

Lukman Rahim Sun, 05/29/2016 - 13:14
How Could Ancient Romans Know About UML Statecharts?

How Could Ancient Romans Know About UML Statecharts?

Martin Gogolla Sun, 05/29/2016 - 13:18
Modeling the Architecture and Design of the Crisis Management System Product Line Using SimPL

The artifact is an emx file containing a model capturing the system architecture and design, and variabilities of an extended crisis management sys

Kunming Nie^1, Tao Yue^2, Shaukat Ali^2 Tue, 11/12/2013 - 13:26
Modeling Specification for bCMS Product Line using Feature Model, Component Family Model and UML

This document presents the whole models for bCMS product line, i.e., UML behavioral model repository, Feature Model for bCMS product line and Compo

Shuai Wang, Shaukat Ali Mon, 10/28/2013 - 01:12
Modeling Crisis Management System with the Restricted Use Case Modeling Approach

In this work, we modeled the Crisis Management System (CMS) case study using a new use case modeling approach, named as Restricted Use Case Modelin

Gong Zhang^1, Tao Yue^2, Shaukat Ali^2 Sun, 11/03/2013 - 20:23
Modeling Car Crash Management with KAOS Antoine Cailliau, Christophe Damas, Bernard Lambeau, and Axel van Lamsweerde Thu, 09/12/2013 - 00:19

The purpose of the artefact is to divide requirements into invariant and relaxed requirements and then using the correspondance rules b/w Relax and

Jean-Michel Bruel Thu, 09/05/2013 - 06:09
CMA@RE SysMLKaosVersionRemodd.pdf Christophe Gnaho^1, Régine Laleau^1, Farida Semmak^1, Jean-Michel Bruel^2 Sat, 05/28/2016 - 18:12
Coloured Petri Net Model of the bCMS system using CPN Tools

The presented model was constructed as a high-level specification of the bCMS system using CPN Tools.

Isabel Sofia Sousa Brito, João Paulo Barros Tue, 09/03/2013 - 13:29
Behavior as-is and to-be and Goal-Belief models

Complete SEAM models: Behavior as-is, Behavior to-be, Witness Goal-Belief, Complete Goal-Belief.

George Popescu Tue, 09/03/2013 - 07:03

This artifact is two-fold: 1.

Philippe Collet Tue, 09/17/2013 - 11:41