Fine-Tuning Model Transformation: Change Propagation in Context of Consistency, Completeness, and Human Guidance

Author(s):  
Alexander Egyed ◽  
Andreas Demuth ◽  
Achraf Ghabi ◽  
Roberto Lopez-Herrejon ◽  
Patrick Mäder ◽  
...  
Author(s):  
Artur Boronat

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.


Author(s):  
Lars Fritsche ◽  
Jens Kosiol ◽  
Andy Schürr ◽  
Gabriele Taentzer

Abstract Model synchronization, i.e., the task of restoring consistency between two interrelated models after a model change, is a challenging task. Triple graph grammars (TGGs) specify model consistency by means of rules that describe how to create consistent pairs of models. These rules can be used to automatically derive further rules, which describe how to propagate changes from one model to the other or how to change one model in such a way that propagation is guaranteed to be possible. Restricting model synchronization to these derived rules, however, may lead to unnecessary deletion and recreation of model elements during change propagation. This is inefficient and may cause unnecessary information loss, i.e., when deleted elements contain information that is not represented in the second model, this information cannot be recovered easily. Short-cut rules have recently been developed to avoid unnecessary information loss by reusing existing model elements. In this paper, we show how to automatically derive (short-cut) repair rules from short-cut rules to propagate changes such that information loss is avoided and model synchronization is accelerated. The key ingredients of our rule-based model synchronization process are these repair rules and an incremental pattern matcher informing about suitable applications of them. We prove the termination and the correctness of this synchronization process and discuss its completeness. As a proof of concept, we have implemented this synchronization process in eMoflon, a state-of-the-art model transformation tool with inherent support of bidirectionality. Our evaluation shows that repair processes based on (short-cut) repair rules have considerably decreased information loss and improved performance compared to former model synchronization processes based on TGGs.


ASHA Leader ◽  
2017 ◽  
Vol 22 (6) ◽  
Author(s):  
Christi Miller
Keyword(s):  

2012 ◽  
Vol 82 (3) ◽  
pp. 216-222 ◽  
Author(s):  
Venkatesh Iyengar ◽  
Ibrahim Elmadfa

The food safety security (FSS) concept is perceived as an early warning system for minimizing food safety (FS) breaches, and it functions in conjunction with existing FS measures. Essentially, the function of FS and FSS measures can be visualized in two parts: (i) the FS preventive measures as actions taken at the stem level, and (ii) the FSS interventions as actions taken at the root level, to enhance the impact of the implemented safety steps. In practice, along with FS, FSS also draws its support from (i) legislative directives and regulatory measures for enforcing verifiable, timely, and effective compliance; (ii) measurement systems in place for sustained quality assurance; and (iii) shared responsibility to ensure cohesion among all the stakeholders namely, policy makers, regulators, food producers, processors and distributors, and consumers. However, the functional framework of FSS differs from that of FS by way of: (i) retooling the vulnerable segments of the preventive features of existing FS measures; (ii) fine-tuning response systems to efficiently preempt the FS breaches; (iii) building a long-term nutrient and toxicant surveillance network based on validated measurement systems functioning in real time; (iv) focusing on crisp, clear, and correct communication that resonates among all the stakeholders; and (v) developing inter-disciplinary human resources to meet ever-increasing FS challenges. Important determinants of FSS include: (i) strengthening international dialogue for refining regulatory reforms and addressing emerging risks; (ii) developing innovative and strategic action points for intervention {in addition to Hazard Analysis and Critical Control Points (HACCP) procedures]; and (iii) introducing additional science-based tools such as metrology-based measurement systems.


2015 ◽  
Vol 10 (12) ◽  
pp. 1186 ◽  
Author(s):  
Yassine Rhazali ◽  
Y. Hadi ◽  
A. Mouloudi
Keyword(s):  

2017 ◽  
Vol 9 (3) ◽  
pp. 17-30
Author(s):  
Kelly James Clark

In Branden Thornhill-Miller and Peter Millican’s challenging and provocative essay, we hear a considerably longer, more scholarly and less melodic rendition of John Lennon’s catchy tune—without religion, or at least without first-order supernaturalisms (the kinds of religion we find in the world), there’d be significantly less intra-group violence. First-order supernaturalist beliefs, as defined by Thornhill-Miller and Peter Millican (hereafter M&M), are “beliefs that claim unique authority for some particular religious tradition in preference to all others” (3). According to M&M, first-order supernaturalist beliefs are exclusivist, dogmatic, empirically unsupported, and irrational. Moreover, again according to M&M, we have perfectly natural explanations of the causes that underlie such beliefs (they seem to conceive of such natural explanations as debunking explanations). They then make a case for second-order supernaturalism, “which maintains that the universe in general, and the religious sensitivities of humanity in particular, have been formed by supernatural powers working through natural processes” (3). Second-order supernaturalism is a kind of theism, more closely akin to deism than, say, Christianity or Buddhism. It is, as such, universal (according to contemporary psychology of religion), empirically supported (according to philosophy in the form of the Fine-Tuning Argument), and beneficial (and so justified pragmatically). With respect to its pragmatic value, second-order supernaturalism, according to M&M, gets the good(s) of religion (cooperation, trust, etc) without its bad(s) (conflict and violence). Second-order supernaturalism is thus rational (and possibly true) and inconducive to violence. In this paper, I will examine just one small but important part of M&M’s argument: the claim that (first-order) religion is a primary motivator of violence and that its elimination would eliminate or curtail a great deal of violence in the world. Imagine, they say, no religion, too.Janusz Salamon offers a friendly extension or clarification of M&M’s second-order theism, one that I think, with emendations, has promise. He argues that the core of first-order religions, the belief that Ultimate Reality is the Ultimate Good (agatheism), is rational (agreeing that their particular claims are not) and, if widely conceded and endorsed by adherents of first-order religions, would reduce conflict in the world.While I favor the virtue of intellectual humility endorsed in both papers, I will argue contra M&M that (a) belief in first-order religion is not a primary motivator of conflict and violence (and so eliminating first-order religion won’t reduce violence). Second, partly contra Salamon, who I think is half right (but not half wrong), I will argue that (b) the religious resources for compassion can and should come from within both the particular (often exclusivist) and the universal (agatheistic) aspects of religious beliefs. Finally, I will argue that (c) both are guilty, as I am, of the philosopher’s obsession with belief. 


Sign in / Sign up

Export Citation Format

Share Document