Deutsch Intern
    Chair of Computer Science II - Software Engineering

    DML Tooling

    The DML Bench is a set of tools that have been developed to work with the Descartes Modeling Language (DML). DML Bench consists of the following parts:

    • DML Editors: Textual and graphical editors to simplify the creation and editing of DML models.
    • DML Solvers: Solving tools to conduct performance analyses based on DML models.
    • S/T/A Adaptation Framework: Domain specific modeling language to describe adaptation processes.

    DML provides performance model abstractions for component-based software systems specifically designed for online use. DML Bench provides modeling and prediction facilities that enable online performance prediction during system operation. Performance questions can be answered on the model level, i.e., analyses about the impact of workload changes or system reconfigurations can be conducted without executing expensive performance tests. 

    DML Editors

    The metamodels are specified using EMF Ecore. To simplify the editing of DML models, textual as well as graphical DML editors are provided. For the textual editors, we use the XText framework. For the graphical editors, we use the Graphiti framework.

    DML Solvers

    For the analysis of DML models, i.e., to conduct performance predictions based on DML models, we provide DML Solvers. The DML Solvers are triggered using performance queries formulated with the Descartes Query Language (DQL). Based on a given performance query, the implemented performance prediction process selects a suitable model solving technique and abstraction level, and returns the requested performance metrics. The currently available DML Solvers use Bounds Analysis and a transformation to Queueing Petri Nets (QPNs) that are then solved with SimQPN which is part of QPME.

    S/T/A Adaptation Language and Framework

    The adaptation language S/T/A is a domain specific language to describe adaptation processes in dynamic environments (e.g., modern virtualized data centers) based on architecture-level performance models. It is also specified in EMF Ecore. More information about the technical details and how to install and execute our tools can be found in the User manual.


    Lehrstuhl für Informatik II (Software Engineering)
    Am Hubland
    97074 Würzburg

    Phone: +49 931 31-86601

    Find Contact

    Hubland Süd, Geb. M2