Mining domain-specific edit operations from model repositories with applications to semantic lifting of model differences and change profiling
Abstract Model transformations are central to model-driven software development.
Applications of model transformations include creating models, handling model co …
Applications of model transformations include creating models, handling model co …
Towards Automatic Support of Software Model Evolution with Large Language~ Models
Modeling structure and behavior of software systems plays a crucial role, in various areas of
software engineering. As with other software engineering artifacts, software models are …
software engineering. As with other software engineering artifacts, software models are …
Automatic inference of rule-based specifications of complex in-place model transformations
Optimal support for continuous evolution in model-based software development requires
tool environments to be customisable to domain-specific modelling languages. An important …
tool environments to be customisable to domain-specific modelling languages. An important …
Learning domain-specific edit operations from model repositories with frequent subgraph mining
Model transformations play a fundamental role in model-driven software development. They
can be used to solve or support central tasks, such as creating models, handling model co …
can be used to solve or support central tasks, such as creating models, handling model co …
From Unstructured Product Descriptions to Structured Data for Industry 4.0 with ChatGPT
The digital transformation of manufacturing-Industry 4.0-has sparked interest in digital twins,
which are virtual replicas of physical assets. One popular structure for these digital twins is …
which are virtual replicas of physical assets. One popular structure for these digital twins is …
From DevOps to BizOps: Economic sustainability for scalable cloud applications
Virtualization of resources in cloud computing has enabled developers to commission and
recommission resources at will and on demand. This virtualization is a coin with two sides …
recommission resources at will and on demand. This virtualization is a coin with two sides …
Visual contract extractor: a tool for reverse engineering visual contracts using dynamic analysis
Visual contracts model the operations of classes, components or services by pre-and post-
conditions formalised as graph transformation rules. They provide a precise but intuitive …
conditions formalised as graph transformation rules. They provide a precise but intuitive …
Towards process mining with graph transformation systems
HJS Bruggink - … : 7th International Conference, ICGT 2014, Held as Part …, 2014 - Springer
This paper is about process mining with graph transformation systems (gts s). Given a set of
observed transition sequences, the goal is to find a gts–that is a finite set of graph …
observed transition sequences, the goal is to find a gts–that is a finite set of graph …
Towards dynamic reverse engineering visual contracts from java
A Alshanqiti, R Heckel - Electronic Communications of the EASST, 2014 - eceasst.org
Visual contracts provide a concise and intuitive representation of preand postconditions for
operations in object-oriented or component-based systems, which can be used for …
operations in object-oriented or component-based systems, which can be used for …
Extracting Visual Contracts from Java Programs (T)
A Alshanqiti, R Heckel - 2015 30th IEEE/ACM International …, 2015 - ieeexplore.ieee.org
Visual contracts model the operations of components or services by pre-and post-conditions
formalised as graph transformation rules. They provide a precise intuitive notation to support …
formalised as graph transformation rules. They provide a precise intuitive notation to support …