You are here

Repository - My Submissions

86 results found
Title Description Categories Author(s) Updated
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

Academia, cloud, collaboration, concurrency, Domain Analysis, environment, Feature Model, Model, model-driven development, multi-user, Research Project 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

Academia, Ecore, Metamodel, Model, Research Project, Tool 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.

Constraint Programming, DSML, Formula, Model transformation, Research Project, Tool, WebGME, Internet/Web-based/Cloud Software 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:

Academia, BPMN, BPMN, Case study, class diagram, Deployment diagram, Enterprise Systems, Model transformation, Model transformation, Research Project, Security, Socio-Technical-Systems, Software Architecture, software development phases, Systems Engineering/Business Process Engineering, Transformation, UML, Validation/Verification/Analysis 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

Academia, Ecore, Tool 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:

automation, cloud, coordination, development, DSL, Ecore, IaaS, Implementation/Deployment, Industry, MDE, Metamodel, Model Driven Service Engineering MDSE, model-based, provisioning, SaaS, service topology, Software Development process, Internet/Web-based/Cloud Software Ta’id Holmes Thu, 05/26/2016 - 23:28
OpenCompare case study

Metamodels used in the development of OpenCompare project (

Academia, Case study, Ecore, Frictional forces, Metamodel, Metamodeling, Product Comparison Matrices 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.

Academia, activity diagram, Case study, class diagram, Domain Analysis, Model, Model transformation, Requirements, sequence diagram, Use Case Modeling; Analysis Model; UML; Class Diagram; Sequence Diagram; Activity Diagram; Transformation; Traceability; Automation, Use Cases Tao Yue Thu, 05/26/2016 - 23:34
Renarrating Metalanguage Integration

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

Diagram, Domain Analysis, Implementation, lexical analysis, megamodelling, Methodology/Technique/Process, Model transformation, parsing, Research Project, semiparsing, syntactic analysis, System Software 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

class diagram, macromodels, MEGAF, MegaL, megamodels, Metamodel, Model transformation, Model transformation, Research Project, technology models, Validation/Verification/Analysis 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

activity diagram, Case study, class diagram, fUML, fUML virtual machine, MDE, Model, model execution, Research Project, Runtime/Operational, software library, System, Validation/Verification/Analysis, Workshop/Focus Group, System Software Patrick Neubauer Thu, 05/26/2016 - 23:44

UML profiles generated from annotation-based Java libraries / frameworks

Annotation, Annotation Mechanism, class diagram, Enterprise Systems, Java Annotations, Migration, Profile, profiles, Research Project, Software Development process, Stereotype, UML Profiles, Internet/Web-based/Cloud Software Alexander Bergmayr Mon, 03/31/2014 - 23:57
OpenStack Model

Class diagram of OpenStack

class diagram, Model, Program Design, Research Project, Internet/Web-based/Cloud Software Lukman Rahim Sun, 05/29/2016 - 13:15
Class diagram of OpenNebula

A class diagram showing the design of OpenNebula

class diagram, Model, Program Design, Research Project, Internet/Web-based/Cloud Software Lukman Rahim Sun, 05/29/2016 - 13:14
How Could Ancient Romans Know About UML Statecharts?

How Could Ancient Romans Know About UML Statecharts?

Academia, Case study, class diagram, statemachine diagram 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

Academia, Case study, class diagram, CMA@MODELS2013, Crisis Management System, Cyber Physical Systems, Model, Package, Profile, Research Project, System, Template, UML Class Diagram 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

Academia, bCMS product line, Case study, CMA@MODELS2013, Component Family Model, component family model, Crisis Management Systems, Feature Model, feature model, Methodology/Technique/Process, Model, Software Product Line, UML, UML, Validation/Verification/Analysis, Workshop/Focus Group 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

CMA@MODELS2013, Crisis Management System, Crisis Management System, Distributed System, Industry, Model, Requirements, Research Project, Restricted Use Case Modeling, Restricted Use Case Modeling, Restriction Rules, Use Case Template Gong Zhang^1, Tao Yue^2, Shaukat Ali^2 Sun, 11/03/2013 - 20:23
Modeling Car Crash Management with KAOS Case study, CMA@RE2013, Domain Analysis, KAOS, Requirements, System, Workshop/Focus Group 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

Academia, adaptive systems, CMA@RE2013, KAOS, Methodology/Technique/Process, Non-functional properties, Requirements, Requirements elicitation, Self-adaptive systems, SysML, System Software Jean-Michel Bruel Thu, 09/05/2013 - 06:09
CMA@RE SysMLKaosVersionRemodd.pdf Case study, CMA@RE2013, Requirements, Requirements Document, Research Project 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.

CMA@RE2013, coloured petri nets, executable, Model, Petri nets (Coloured), Real-time embedded systems, Requirements, Requirements, System, verification, Workshop/Focus Group, System Software 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.

Academia, Behavior as-is, Behavior to-be, Case study, Challenge Problem/Competition, CMA@RE2013, Domain Analysis, Enterprise Systems, Goal-Belief, Model, Requirements, Research Project, SEAM, SEAM model, System, Workshop/Focus Group George Popescu Tue, 09/03/2013 - 07:03

This artifact is two-fold: 1.

Academia, Challenge Problem/Competition, CMA@RE2013, Domain Analysis, Familiar, Model, Reactive System, Requirements, Software Product Line, Validation/Verification/Analysis, Workshop/Focus Group Philippe Collet Tue, 09/17/2013 - 11:41
Requirements Modeling in SEAM: The Example of a Car Crash Management System

Requirements Modeling in SEAM: The Example of a Car Crash Management System - CMA@RE paper

Academia, Assessment, car crash, Case study, Domain Analysis, Enterprise Systems, Methodology/Technique/Process, Model, Requirements, Requirements engineering, Research Project, SEAM, SEAM, System, Workshop/Focus Group George Popescu Sat, 05/28/2016 - 18:14