Local consistency restoration methods for triple graph grammars

L Fritsche - 2022 - tuprints.ulb.tu-darmstadt.de
Modern software systems are becoming increasingly complex and are created by different
stakeholders that commit to one vision. Yet, these stakeholders differ in their requirements …

Formal foundations for information-preserving model synchronization processes based on triple graph grammars

J Kosiol - 2022 - archiv.ub.uni-marburg.de
Restoring consistency between different information-sharing artifacts after one of them has
been changed is an important problem that arises in several areas of computer science. In …

Virtual network embedding: ensuring correctness and optimality by construction using model transformation and integer linear programming techniques

S Tomaszek, R Speith, A Schürr - Software and systems modeling, 2021 - Springer
Virtualization technology allows service providers to operate data centers in a cost-effective
and scalable manner. The data center network (substrate network) and the applications …

Virtual network embedding: reducing the search space by model transformation techniques

S Tomaszek, E Leblebici, L Wang, A Schürr - International Conference on …, 2018 - Springer
Virtualization is a promising technology to enhance the scalability and utilization of data
centers for managing, develo**, and operating network functions. Furthermore, it allows to …

[PDF][PDF] Dynamic Virtual Network Embedding: Using Incremental Model Transformation and Integer Linear Programming Techniques.

S Tomaszek, L Fritsche, A Schürr - J. Object Technol., 2020 - jot.fm
Network virtualization enables flexible placement, migration, and execution of virtual
networks and machines on physical hardware. This results in an NP-hard optimization …

[PDF][PDF] Modellbasierte Einbettung von virtuellen Netzwerken in Rechenzentren

S Tomaszek - 2021 - tuprints.ulb.tu-darmstadt.de
Die Virtualisierung von Netzwerkumgebungen stellt für Rechenzentren eine
Kerntechnologie zum kostengünstigen und skalierbaren Betrieb der Hardware dar und …

Graph-Based Specification and Automated Construction of ILP Problems

S Ehmes, M Kratz, A Schürr - arxiv preprint arxiv:2212.11629, 2022 - arxiv.org
In the Model-Driven Software Engineering (MDSE) community, the combination of
techniques operating on graph-based models (eg, Pattern Matching (PM) and Graph …

A Data-centric Model Transformation Approach using Model2GraphFrame Transformations

LC Camargo, MD Del Fabro - Journal of Software …, 2021 - journals-sol.sbc.org.br
Data-centric (Dc) approaches are being used for data processing in several application
domains, such as distributed systems, natural language processing, and others. There are …

A survey of approaches for QoS guarantee measurement of virtual machines in cloud computing environment

J HAO, B ZHANG, K YUE - Journal of Yunnan University: Natural …, 2018 - yndxxb.ynu.edu.cn
Cloud computing is a pay-as-you-go resource usage schema. It provides the quality of
service (QoS) guaranteed computing, storage and the network resources via the …

云计算环境下虚拟机服务质量保证和评估方法: 研究综述

郝佳, 张彬彬, 岳昆 - 云南大学学报 (自然科学版), 2018 - yndxxb.ynu.edu.cn
云计算是一种按需付费的资源使用模式. 它通过虚拟化技术, 向用户提供具有服务质量保证的
计算, 存储以及网络资源. 然而, 与物理服务器相比, 虚拟化环境的特点使得虚拟机的服务质量 …