No abstract

Incremental pattern matching is a key challenge for many tool integration, model synchronization and (discrete-event) model simulation tasks. An incremental pattern matching engine explicitly stores existing matches, while these matches are maintained incrementally with respect to the changes of the underlying model. In the current paper, we present an adaptation of RETE networks [6] in order to provide incremental support for the transformation language of the VIATRA2 framework. We evaluate the performance of the incremental engine on a benchmark problem assessing the speedup of incremental processing in the case of as-long-as-possible type of rule applications.

No abstract

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 the abstract and concrete syntax using mapping models. However, state-of-the-art DSM frameworks impose severe restrictions on traceability links between elements of the abstract syntax and the concrete syntax. In the current paper, we propose a mapping model which allows to define arbitrarily complex mappings between elements of the abstract and concrete syntax. Moreover, we demonstrate how live model transformations can complement mapping models in providing bidirectional synchronization and implicit traceability between models of the abstract and the concrete syntax. In addition, we introduce a novel architecture for DSM environments which enables these concepts, and provide an overview of the tool support.