About
73
Publications
13,202
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
1,708
Citations
Introduction
Skills and Expertise
Publications
Publications (73)
In the era of document‐centric systems engineering, large organizations developing complex systems had practical methods of associating drawings, specifications, requirements and other information with each other. Mostly these evolved methods involved part numbers and drawing numbers, although sometimes the methods included mundane techniques such...
div class="section abstract"> The IncQuery AUTOSAR-UML Bridge is an innovative solution for Assisted Documentation Creation and Automated Handover, aiming at driving a paradigm shift in integrated digital engineering in the automotive domain. The AUTOSAR-UML Bridge is addressing a well-known gap in the engineering ecosystem of automotive design, wh...
In recent years, Model‐Based Systems Engineering (MBSE) practices have been applied in various industries to design, simulate and verify complex systems. The verification and validation (V&V) of such systems engineering models are crucial to develop high‐quality systems. However, this is a challenging problem due to the complexity of the models and...
Large-scale model-driven system engineering projects are carried out collaboratively. Engineering artefacts stored in model repositories are developed in either offline (checkout–modify–commit) or online (GoogleDoc-style) scenarios. Complex systems frequently integrate models and components developed by different teams, vendors and suppliers. Thus,...
The article “Enforcing fine-grained access control for secure collaborative modelling using bidirectional transformations”, written by Csaba Debreceni, Gábor Bergmann, István Ráth, Dániel Varró, was originally published electronically on the publisher’s internet portal (https://link.springer.com/journal/10270) on [11/21/2017 6:24:42 AM] without ope...
Large-scale cyber-physical systems are co-engineered, especially in safety-critical industries, by various specialists within an organization and, increasingly, across organizations. The collaborative aspect of the process is facilitated by hosting engineering artifacts in model repositories. In order to validate the adherence to design rules, perf...
In model-driven development of safety-critical systems (like automotive, avionics or railways), well-formedness of models is repeatedly validated in order to detect design flaws as early as possible. In many industrial tools, validation rules are still often implemented by a large amount of imperative model traversal code which makes those rule imp...
Model-based systems engineering necessitates effective collaboration between different collaborators, teams, and stakeholders. Traditional approaches used for managing concurrent code-based development don't naturally extend to collaborative modeling, which implies novel challenges. This article presents a collaborative-modeling framework that prov...
We present MoDeS3, a complex research demonstrator illustrating the combined use of model-driven development, formal verification, safety engineering and IoT technologies for smart and safe cyber-physical systems. MoDeS3 represents a smart transportation system-of-systems composed of a model railway and a crane which may automatically load and unlo...
Streaming model transformations represent a novel class of transformations to manipulate models whose elements are continuously produced or modified in high volume and with rapid rate of change. Executing streaming transformations requires efficient techniques to recognize activated transformation rules over a live model and a potentially infinite...
Model-based systems engineering of critical cyber-physical systems necessitates effective collaboration between different stakeholders while still providing secure protection of intellectual properties of all involved parties. While engineering artifacts are frequently stored in version control repositories, secure access control is limited to file...
Large-scale model-driven system engineering projects are carried out collaboratively. Engineering artifacts stored in model repositories are developed in either offline (checkout-modify-commit) or online (GoogleDoc-style) scenarios. Complex systems frequently integrate models and components developed by different teams, vendors and suppliers. Thus...
The current release of VIATRA provides open-source tool support for an event-driven, reactive model transformation engine built on top of highly scalable incremental graph queries for models with millions of elements and advanced features such as rule-based design space
exploration complex event processing or model obfuscation. However, the history...
Industrial applications of model-driven engineering to develop large and complex systems resulted in an increasing demand for collaboration features. However, use cases such as model differencing and merging have turned out to be a difficult challenge, due to (i) the graph-like nature of models, and (ii) the complexity of certain operations (e.g. h...
Achieving scalability in modelling and MDE involves being able to construct large models and domain-specific languages in a systematic manner, enabling teams of modellers to construct and refine large models in collaboration, advancing the state of the art in model querying and transformations tools so that they can cope with large models (of the s...
The relational syntax used by Rete rule engines is cumbersome when traversing paths compared to hierarchical or Object-Oriented languages like XPath or Java. Searching the join space for references has performance implications. This paper proposes reactive rule engine enhancements to support both relational and graph reasoning, with improvements at...
Model-driven tools frequently rely on advanced technologies to support model queries, view maintenance, design rule validation, model transformations or design space exploration. Some of these features are initiated explicitly by domain engineers (batch execution) while others are executed automatically when certain trigger events are detected (liv...
Achieving scalability in modelling and MDE involves being able to construct large models and domain-specific languages in a systematic manner, enabling teams of modellers to construct and refine large models in collaboration, advancing the state of the art in model querying and transformations tools so that they can cope with large models (of the s...
The proceedings contain 7 papers. The topics discussed include: generation of large random models for benchmarking; approach to define highly scalable metamodels based on JSON; scalable model exploration through abstraction and fragmentation strategies; an efficient computation strategy for alllnstances; decentralized model persistence for distribu...
Queries are the foundations of data intensive applications. In model-driven software engineering (MDE), model queries are core technologies of tools and transformations. As software models are rapidly increasing in size and complexity, traditional tools exhibit scalability issues that decrease productivity and increase costs [17]. While scalability...
Streaming model transformations represent a novel class of transformations dealing with models whose elements are continuously produced or modified by a background process [1]. Executing streaming transformations requires efficient techniques to recognize the activated transformation rules on a potentially infinite input stream. Detecting a series...
With the growing size and complexity of systems under design, industry needs a generation of Model-Driven Engineering (MDE) tools, especially model query and transformation, with the proven capability to handle large-scale scenarios. While researchers are proposing several technical solutions in this sense, the community lacks a set of shared scala...
Views are key concepts of domain-specific modeling in order to provide specific focus of the designers by abstracting from unnecessary details of the underlying abstract model. Usually, these views are represented as models themselves (view models), computed from the source model. However, the efficient maintenance of views when the source model ch...
As model management platforms are gaining industrial attention, the importance of automated model querying techniques is also increasing. Several important engineering tasks supported by model-based tools – such as well-formedness constraint validation or model transformations – rely on efficiently evaluating model queries. If the models change rap...
Model repositories play a central role in the model driven development of complex software-intensive systems by offering means to persist and manipulate models obtained from heterogeneous languages and tools. Complex models can be assembled by interconnecting model fragments by hard links, i.e., regular references, where the target end points to ex...
Processing models efficiently is an important productivity factor in Model-Driven Engineering (MDE) processes. In order to optimize a toolchain to meet scalability requirements of complex MDE scenarios, reliable performance measures of different tools are key enablers that can help selecting the best tool for a given workload. To enable systematic...
The paper presents a solution for the Petri-Net to Statecharts case study of
the Transformation Tool Contest 2013, using EMF-IncQuery and Xtend for
implementing the model transformation.
Queries are the foundations of data intensive applications. In model-driven software engineering (MDSE), model queries are core technologies of tools and transformations. As software models are rapidly increasing in size and complexity, most MDSE tools frequently exhibit scalability issues that decrease developer productivity and increase costs. As...
As Model-Driven Engineering (MDE) is increasingly applied to larger and more complex systems, the current generation of modelling and model management technologies are being pushed to their limits in terms of capacity and efficiency. Additional research and development is imperative in order to enable MDE to remain relevant with industrial practice...
Queries are the foundations of data intensive applications. In model-driven software engineering (MDE), model queries are core technologies of tools and transformations. As software models are rapidly increasing in size and complexity, traditional MDE tools frequently exhibit scalability issues that decrease productivity and increase costs. While s...
Several important tasks performed by model driven development tools --- such as well-formedness constraint validation or model transformations --- rely on evaluating model queries. If the model changes rapidly or frequently, it is beneficial to provide live queries that automatically propagate these model changes into the query results. To ease the...
Ontologies provide high-level means for capturing requirements of systems with precise semantics and automated meta-level reasoning techniques to identify specification flaws early in the design even if certain parts of the system is underspecified. Domain-specific modeling environments effectively support domain engineers for designing the system...
Model repositories based on the Eclipse Modeling Framework (EMF) play a central role in the model-driven development of complex software-intensive systems by offering means to persist and manipulate models obtained from heterogeneous languages and tools. Complex EMF models can be assembled by interconnecting model fragments by hard links, i.e. regu...
Pattern matching plays a central role in graph transformations as a key technology for computing local contexts in which transformation rules are to be applied. Incremental matching techniques offer a performance advantage over the search-based approach, in a number of scenarios including on-the-fly model synchronization, model simulation, view mai...
When designing complex domain-specific languages, metamodels are frequently enriched with derived features that correspond to attribute values or references (edges) representing computed information in the model. In the popular Eclipse Modeling Framework, these are typically implemented as imperative Java code.
In the paper, we propose to integrate...
In this paper, we investigate change-driven model transformations, a novel class of transformations, which are directly triggered by complex model changes carried out by arbitrary transactions
on the model (e.g. editing operation, transformation, etc). After a classification of relevant change scenarios, we identify
challenges for change-driven tra...
Model-driven development tools built on industry standard platforms, such as the Eclipse Modeling Framework (EMF), heavily use model queries in various use cases, such as model transformation, well-formedness constraint validation and domain-specific model execution. As these queries are executed rather frequently in interactive modeling applicatio...
Back-end analysis tools aiming to carry out model-based verification and validation of dynamic behavioral models frequently produce sequences of simulation steps (called execution traces) as their output. In order to support back-annotation of such traces, we need to store and replay them within a modeling environment (outside the analysis tool). I...
Design space exploration (DSE) aims at searching through various models representing different design candidates to support activities like configuration design of critical systems or automated maintenance of IT systems. In model-driven engineering, DSE is applied to find instance models that are (i) reachable from an initial model with a sequence...
Model-driven development tools built on industry standard platforms, such as the Eclipse Modeling Framework (EMF), heavily use model queries in various use cases, such as model transformation, well-formedness constraint validation and domain-specific model execution. As these queries are executed rather frequently in interactive modeling applicatio...
Developing service-oriented software involves dealing with multiple languages, platforms, artefacts, and tools. The tasks
carried out during development are varied as well; ranging from modeling to implementation, from analysis to testing. For
many of these tasks, the Sensoria project has provided tools aiding developers in their work – with a spec...
Model transformations are a core technology of today’s model-driven software development processes. Graph transformations provide a state-of-the-art formalism to specify and execute such transformations in practice. This was the case in the Sensoria project, where graph transformations have been used as enabling technology in a number of applicatio...
Domain-specific modeling languages (DSML) proved to be an important asset in creating powerful design tools for domain experts. Although these tools are capable of preserving the syntax-correctness of models even during free-hand editing, they often lack the ability of maintaining model consistency for complex language-specific constraints. Hence,...
Model driven development platforms such as the industry leader Eclipse Modeling Framework (EMF) greatly benefit from pattern
matching, as it supports various usecases including model validation, model transformation, code generation and domain specific
behaviour simulation. Pattern matching is a search for model elements conforming to a given patte...
System development processes are typically supported by dozens of different tools that assist the designer in various phases
of development like modeling, verification, source code generation, testing. Tool-chains can be formed by the integration
of tools that are related to the subsequent steps of the process. In this paper, we present a service-o...
Traceability models are often used to describe the correspondence between source and target models of model transformations. Although the visual representation of such models are important for transformation development and application, mostly ad-hoc solutions are present in industrial environments. In this paper we present a user interface compone...
Model-driven development tools built on industry standard platforms, such as the EclipseModeling Framework (EMF), heavily utilize model queries in model transformation, well-formedness constraint validation and domain-specific model execution. As these queries are executed rather frequently in interactive modeling applications, they have a signific...
Modern domain-specific modeling (DSM) frameworks provide refined techniques for developing new languages based on the clear
separation of conceptual elements of the language (called abstract syntax) and their graphical visual representation (called concrete syntax). This separation is usually achieved by recording traceability information between t...
Model-driven analysis aims at detecting design flaws early in high-level design models by automatically deriving mathematical models. These analysis models are subsequently investigated by formal verification and validation (V&V) tools, which may retrieve traces violating a certain requirement. Back-annotation aims at mapping back the results of V&...
As recent tool contests demonstrated graph transformation tools scale up to handle very large models for model transformations,
thanks to recent advances in graph pattern matching techniques. In this paper, we assess the performance and capabilities
of the Viatra2 model transformation framework by implementing the AntWorld case study of the GraBats...
P2P systems are characterised by large-scale distribution and high degree of architectural dynamics caused by their lack of
central coordination. In such an environment, it is notoriously hard to guarantee a good quality of service. Simulation can
help to validate network designs and protocols, but most existing simulation approaches cannot cope wi...
in the result and so allow to verify soft performance targets in large-scale systems. We present a tool called GraSS, for Graph-based Stochastic Simulation, to enable the analysis of such processes. The tool is developed in Java-Eclipse, extending the VIATRA model transformation plugin with a control based on the SSJ library for Stochastic Simulati...
Traceability models are often used to describe the correspondence between source and target models of model transformations. Although the visual representation of such models are important for transformation development and application, mostly ad-hoc solutions are present in industrial environments. In this paper we present a user interface compone...
Graph transformation can be used to implement stochastic simulation of dynamic systems based on semi-Markov processes, extending the standard approach based on Markov chains. The result is a discrete event system, where states are graphs, and events are rule matches associated to general distributions, rather than just exponential ones. We present...
The design of safety-critical systems and business-critical services necessitates to coordinate between a large variety of
tools used in different phases of the development process. As certification frequently prescribes to achieve justified compliance
with regulations of authorities, integrated tool chain should strictly adhere to the development...
Nowadays, evolving models are prime artefacts of model-driven software engineering. In tool integration scenarios, a multitude of tools and modeling languages are used where complex model transformations need to incrementally synchronize various models residing within different external tools. In the paper, we investigate a novel class of transform...
Graph transformation based on incremental pattern matching explicitly stores all occurrences of patterns (left-hand side of rules) and updates this result cache upon model changes. This allows instantaneous pattern queries at the expense of costlier model manipulation and higher memory consumption. Up to now, this incremental approach has considere...
Recent advances in graph pattern matching techniques have demonstrated at various tool contests that graph transformation
tools can scale up to handle very large models in model transformation problems. In case of local-search based techniques, pattern matching is driven by a search plan, which provides an optimal ordering for traversing and match...
In graph transformation, the most cost-intensive phase of a transfor- mation execution is pattern matching, where those subgraphs of a model graph are identified and matched which satisfy constraints prescribed by graph patterns. Incremental pattern matching aims to improve the efficiency of this critical step by storing the set of matches of a gra...
In this paper, we present a general purpose discrete event simulation framework for domain-specific visual languages describing system behavior. In our framework, the dynamic semantics of the language is captured by a combination of graph transformation and abstract state machine rules as provided by the model transformation language of VIATRA2, wh...
In the current paper, we introduce a live model transformation framework, which continuously maintains a transformation context
such that model changes to source inputs can be readily identified, and their effects can be incrementally propagated. Our
framework builds upon an incremental pattern matcher engine, which keeps track of matches of comple...
Incremental pattern matching is a key challenge for many tool inte-gration, model synchronization and (discrete-event) model simula-tion tasks. An incremental pattern matching engine explicitly stores existing matches, while these matches are maintained incremen-tally with respect to the changes of the underlying model. In the current paper, we pre...
I would like to thank Dr. Dániel Varró for his continued support, friendly advice, and enthusiasm. I am also very thankful to my friends and colleagues, Dávid Vágó and András Schmidt, without whose work my research would have been impossible. I would also like to thank all other colleagues and friends who participated in the VIATRA2 project by prov...
While model queries are important components in model-driven tool chains, they are still frequently implemented using traditional
programming languages, despite the availability of model query languages due to performance and expressiveness issues. In
the current paper, we propose EMF-IncQuery as a novel, graph-based query language for EMF models b...
In this paper, we identify main challenges for domain specific modeling frameworks. Arbitrary abstract to concrete syntax mapping enables the toolsmith to create visual representation to complex logical models with the possibility to determine what detail to show and what to hide in a flexible way. Interactive model simulation based on a model tran...
A cikkben bemutatjuk egy új, a VIATRA2 Error! Reference source not found. modelltranszformációs keretrendszer szolgáltatásaira épülő szakterület- specifikus modellezési környezet alapjait. Megközelítésünk fő újdonsága, hogy a modelltranszformációs alapszolgáltatások szoros integrációjával magas szintű támogatást biztosítunk fontos nyelvtervezési as...