Blar i HVL Open på forfatter "Stünkel, Patrick"

Viser treff 1-7 av 7

    • Comprehensive systems: a formal foundation for multi-model consistency management 

      Stünkel, Patrick; König, Harald; Lamo, Yngve; Rutle, Adrian (Peer reviewed; Journal article, 2021)
      Model management is a central activity in Software Engineering. The most challenging aspect of model management is to keep inter-related models consistent with each other while they evolve. As a consequence, there is a lot ...

    • A framework for multi-model consistency management 

      Stünkel, Patrick (Doctoral thesis, 2022)
      Software systems have become crucial for society and the economy to function. Constantly they are permeating more and more application domains. Also, they are getting increasingly integrated with already existing systems. ...

    • GraphQL Federation: A Model-Based Approach 

      Stünkel, Patrick; von Bargen, Ole; Rutle, Adrian; Lamo, Yngve (Peer reviewed; Journal article, 2020)
      The Graph Query Language (GraphQL) is a framework for de- veloping Web Services, which works on the domain model level rather than the functions. While the declarative nature of this framework has already attracted the ...

    • Intelligent Tracing and Process Improvement of Pathology Workflows using Character Recognition 

      Hatlem, Markus; Rabbi, Fazle; Stünkel, Patrick; Leh, Friedemann (Peer reviewed; Journal article, 2023)
      A pathology laboratory processes various types of tissue and cell specimens and plays a vital role in the diagnostic process. However, pathology departments are currently facing a significant challenge due to the steady ...

    • Multi-Model Evolution through Model Repair 

      Stünkel, Patrick; König, Harald; Rutle, Adrian; Lamo, Yngve (Journal article; Peer reviewed, 2021)
      Design and development of complex software systems usually comprises multiple inter-related models, i.e. abstract representations of certain aspects of the underlying system. The relations between these models induce global ...

    • Single pushout rewriting in comprehensive systems of graph-like structures 

      Stünkel, Patrick; König, Harald (Peer reviewed; Journal article, 2021)
      The elegance of the single-pushout (SPO) approach to graph transformations arises from substituting total morphisms by partial ones in the underlying category. SPO's applicability depends on the durability of pushouts after ...

    • Towards multiple model synchronization with comprehensive systems 

      Stünkel, Patrick; König, Harald; Lamo, Yngve; Rutle, Adrian (Peer reviewed; Journal article, 2020)
      Model management is a central activity in Software Engineering. The most challenging aspect of model management is to keep models consistent with each other while they evolve. As a consequence, there has been increasing ...