Martin-Luther-Universität Halle-Wittenberg

Thomas Kühn (Symbolbild)

Weiteres

Login für Redakteure

Projects

Research Projects

  • Reference Implementations for the formal Compartment Role Object Model (CROM)
    As a supplement to the published Combined Formal Model for Relational Context-Dependent Roles   , Max Leuthäuser and I have developed two reference implementations for the presented formalism. One – formalCROM    – is implemented in Python and one – ScalaFormalCROM    – in Scala and both are publicly available on GitHub.
  • Generator for the Family of Metamodels for Role-based Modeling and Programming Languages
    This generator is a proof of concept implementation, which can generate  metamodels for the various role-based modeling and programming  languages. It employs both the FeatureIDE and DeltaEcore, which in turn are based on the Eclipse Modeling Framework.
  • A Modular Graphical Editor Product Line for the Family of Role-based Modeling Languages
    This Eclipse-based Editor is a ful-fledged modeling editor for the  Family of CROM languages, which permits users to dynamically reconfigure  the language variant. It employs Graphiti, Epsilon, FeatureIDE and  various own contributions and is publicly available on GitHub   .

Open Source Projects

ProjectDescription

plantuml-petrinets   

"You love PlantUML and Petri Nets, and you want to draw Petri Nets in PlantUML? This is for you ❤️" This is a small includable plantuml library for defining Petri Nets    in PlantUML   .

Software Architecture Research   

This repository is for the ongoing investigation of Software Architecture Research using the SLR-Toolkit    as submitted to ICSA2022   .

Abstraction Quality   

Tool to determining an abstractions generality and appropriateness by  computing the laconicity, lucidity, completeness and soundness of an  abstraction wrt. to tools and mappings.

RoSI CROM   

   
Generator for the Family of Metamodels for Role-based Modeling and Programming Languages. (more   )

formalCROM   

   
The first reference implementation of the formal CROM. (more   )

ScalaFormalCROM   

   
The second reference implementation of the formal CROM featuring generic types for all entity kinds. (more   )

TBA

Zum Seitenanfang