Internet/Web-based/Cloud Software

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.

Automated Provisioning of Customized Cloud Service Stacks

Author(s): 
Ta’id Holmes
Organization(s): 
Deutsche Telekom AG
Modeling Languages/Notations: 
System/Software Domains: 
Artifact Development Contexts: 
Required Tool(s): 
Eclipse Modeling Framework (EMF)
Programming/Modeling Languages: 
Ecore 2.10.1
Artifact Description: 

related publications:

  • Holmes, T.
    Facilitating Migration of Cloud Infrastructure Services — A Model-Based Approach
    CloudMDE, 2015
    [pdf] [bib]
  • Holmes, T.
    Facilitating Agile Prototyping of Cloud Applications — A Model-Based Approach
    MODELS Posters & Demonstrations, 2015
    [pdf] [bib]
  • Holmes, T.
    Automated Provisioning of Customized Cloud Service Stacks using Domain-Specific Languages
    CloudMDE, 2014
    [pdf] [bib]
  • Holmes, T.
    Facilitating Development and Provisioning of Service Topologies through Domain-Specific Languages
    EDOC Demonstrations, 2014
    [pdf] [bib]

uml-profile-store

Author(s): 
Alexander Bergmayr
Organization(s): 
Vienna University of Technology
Modeling Languages/Notations: 
Artifact Development Contexts: 
Artifact Types: 
Required Tool(s): 
Modeling Tool with UML2 support including UML Profiles
Programming/Modeling Languages: 
UML2
Artifact Description: 

UML profiles generated from annotation-based Java libraries / frameworks

Revision Summary: 
No revisions submitted.

OpenStack Model

Author(s): 
Lukman Rahim
Organization(s): 
Unviersiti Teknologi PETRONAS
Lifecycle Phases: 
System/Software Domains: 
Artifact Types: 
Modeling Languages/Notations: 
Artifact Development Contexts: 
Required Tool(s): 
StarUML 5.0.2.1570
Programming/Modeling Languages: 
UML
Artifact Description: 

Class diagram of OpenStack

Revision Summary: 
No revisions submitted.

Class diagram of OpenNebula

Author(s): 
Lukman Rahim
Organization(s): 
Unviersiti Teknologi PETRONAS
Lifecycle Phases: 
System/Software Domains: 
Artifact Types: 
Modeling Languages/Notations: 
Artifact Development Contexts: 
Required Tool(s): 
ArgoUML
Programming/Modeling Languages: 
UML
Artifact Description: 

A class diagram showing the design of OpenNebula

Revision Summary: 
No revisions submitted.

Webmail MTS model

Author(s): 
Marsha Chechik
Organization(s): 
University of Toronto
Lifecycle Phases: 
System/Software Domains: 
Modeling Languages/Notations: 
Artifact Types: 
Artifact Development Contexts: 
Artifact Description: 

An MTS synthesized to represent the Webmail example specification

Revision Summary: 
No revisions submitted.

Webmail Example Specification

Author(s): 
Marsha Chechik
Organization(s): 
University of Toronto
Lifecycle Phases: 
System/Software Domains: 
Modeling Languages/Notations: 
Artifact Types: 
Artifact Development Contexts: 
Artifact Description: 

The artifact describes the specification of webmail application example.

Revision Summary: 
No revisions submitted.

SensApp DSML composition case study: From Sensors to Visualization Dashboards

Author(s): 
Sébastien Mosser, Ivan Logre, Nicolas Ferry, Philippe Collet
Organization(s): 
Université Nice - Sophia Antipolis, I3S, SINTEF
Artifact Types: 
System/Software Domains: 
Artifact Development Contexts: 
Artifact Description: 

This file shows several models used in the SensApp case study, using 11 different formalisms. This case study is described in a paper submitted to the GEMOC'2013 workshop, entitled "From Sensors to Visualization Dashboards: Challenges in Languages Composition".

Revision Summary: 
No revisions submitted.

Examples: Online shopping, web-services, cloud software