Availability-Driven Architectural Change Propagation Through Bidirectional Model Transformations Between UML and Petri Net Models

2018 ◽  
Author(s):  
Vittorio Cortellessa ◽  
Romina Eramo ◽  
Michele Tucci
Keyword(s):  
Petri Net ◽  
Model Transformations ◽  
Change Propagation ◽  
Architectural Change

scholarly journals Incremental execution of rule-based model transformation

2020 ◽  
Author(s):  
Artur Boronat
Keyword(s):  
Model Transformation ◽  
Source Model ◽  
Model Transformations ◽  
Propagation Mechanism ◽  
Change Propagation ◽  
Computational Costs ◽  
Domain Specific ◽  
Transformation Rules ◽  
Domain Models ◽  
Event Based

Abstract When model transformations are used to implement consistency relations between very large models, incrementality plays a cornerstone role in detecting and resolving inconsistencies efficiently when models are updated. Given a directed consistency relation between two models, the problem studied in this work consists in propagating model changes from a source model to a target model in order to ensure consistency while minimizing computational costs. The mechanism that enforces such consistency is called consistency maintainer and, in this context, its scalability is a required non-functional requirement. State-of-the-art model transformation engines with support for incrementality normally rely on an observer pattern for linking model changes, also known as deltas, to the application of model transformation rules, in so-called dependencies, at run time. These model changes can then be propagated along an already executed model transformation. Only a few approaches to model transformation provide domain-specific languages for representing and storing model changes in order to enable their use in asynchronous, event-based execution environments. The principal contribution of this work is the design of a forward change propagation mechanism for incremental execution of model transformations, which decouples dependency tracking from change propagation using two innovations. First, the observer pattern-based model is replaced with dependency injection, decoupling domain models from consistency maintainers. Second, a standardized representation of model changes is reused, enabling interoperability with EMF-compliant tools, both for defining model changes and for processing them asynchronously. This procedure has been implemented in a model transformation engine, whose performance has been evaluated experimentally using the VIATRA CPS benchmark. In the experiments performed, the new transformation engine shows gains in the form of several orders of magnitude in the initial phase of the incremental execution of the benchmark model transformation and change propagation is performed in real time for those model sizes that are processable by other tools and, in addition, is able to process much larger models.

scholarly journals General Supervised Learning as Change Propagation with Delta Lenses

2020 ◽  
pp. 177-197
Author(s):  
Zinovy Diskin
Keyword(s):  
Supervised Learning ◽  
Model Transformations ◽  
Change Propagation ◽  
Mathematical Framework ◽  
Parallel Composition ◽  
Asymmetric Learning

AbstractDelta lenses are an established mathematical framework for modelling and designing bidirectional model transformations (Bx). Following the recent observations by Fong et al, the paper extends the delta lens framework with a a new ingredient: learning over a parameterized space of model transformations seen as functors. We will define a notion of an asymmetric learning delta lens with amendment (ala-lens), and show how ala-lenses can be organized into a symmetric monoidal (sm) category. We also show that sequential and parallel composition of well-behaved (wb) ala-lenses are also wb so that wb ala-lenses constitute a full sm-subcategory of ala-lenses.

A Time Petri Net Model Based on Uniform Distribution

2010 ◽  
Vol 33 (5) ◽  
pp. 900-907 ◽  
Author(s):  
Li PAN ◽  
Zhi-Jun DING ◽  
Gang CHEN
Keyword(s):  
Uniform Distribution ◽  
Petri Net ◽  
Model Based ◽  
Time Petri Net
Sign in / Sign up

Export Citation Format

Share Document