Change Propagation due to Uncertainty Change

Salay, Rick; Gorzny, Jan; Chećhik, Marsha

doi:10.1007/978-3-642-37057-1_3

Cited by 12 publications

(5 citation statements)

References 20 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Nevertheless, the work in [10] proposes a technique for adapting existing model transformations in order to deal with models containing uncertainty. [18] discusses the problem of uncertainty change propagation and provides generic algorithms and tooling for computing uncertainty change propagations parameterized by a modeling language. Concerning the multiplicity of solutions in bidirectional transformations, most of the existing languages are deterministic.…”

Section: Related Workmentioning

confidence: 99%

Uncertainty in bidirectional transformations

Eramo

Pierantonio

Rosa

2014

Proceedings of the 6th International Workshop on Modeling in Software Engineering

View full text Add to dashboard Cite

In Model-Driven Engineering, models are primary artifact manipulated by means of automated transformations. Recently, a notion of uncertainty has been introduced in models permitting modelers to postpone design decisions in case of lack of information. Interestingly, other forms of model uncertainty are induced by bidirectional transformations. In fact, in certain situations more than one admissible solution is in principle possible, despite most of the current languages generate only one model at time, possibly not the desired one.In this paper, the uncertainty due to the solution multiplicity in bidirectional transformations is discussed. In particular, we propose to represent the models in the solution space as concretizations of an uncertain model because there are cases where the responsibility of identifying the solution must be left to the modeler. The problem is illustrated by a round-tripping scenario realized with the JTL transformation language.

show abstract

Section: Related Workmentioning

confidence: 99%

Uncertainty in bidirectional transformations

Eramo

Pierantonio

Rosa

2014

Proceedings of the 6th International Workshop on Modeling in Software Engineering

View full text Add to dashboard Cite

show abstract

“…Most papers that address this type of uncertainty use variability models to describe the possible design alternatives, using different approaches, such as partial models or design space exploration techniques. Partial models are used in general [31,33,34,83,84] or applied to particular domains where uncertainty is unavoidable, such as requirements engineering [85], model evolution [86], software product lines [10,23,32], Web engineering [9], or collaborative modeling [28]. Design space exploration techniques are more common Fig.…”

Section: Types Of Uncertainty Addressedmentioning

confidence: 99%

Uncertainty representation in software models: a survey

et al. 2021

View full text Add to dashboard Cite

This paper provides a comprehensive overview and analysis of research work on how uncertainty is currently represented in software models. The survey presents the definitions and current research status of different proposals for addressing uncertainty modeling, and introduces a classification framework that allows to compare and classify existing proposals, analyse their current status and identify new trends. In addition, we discuss possible future research directions, opportunities and challenges.A fundamental characteristic of software models is their ability to represent the relevant characteristics of the system under study, at the appropriate level of abstraction. Software models were initially conceived to design and develop general Information Technology (IT) systems, such as financial applications, enterprise databases or component-based systems, and have proven to be excellent artefacts for representing the basic structure and

show abstract

“…Changes are propagated back by a delta-based backward transformation using a logic solver (Alloy Analyser) to derive change candidates to be selected by the designer. When dealing with model uncertainty, intended as the set of possible admissible models, [30] describes how the problem of change propagation arises when changes in the level of uncertainty result in further model changes. The authors formally define the mechanism of change propagation and present two change propagation algorithms based on an SMT solver.…”

Section: Related Workmentioning

confidence: 99%

Model-driven round-trip software dependability engineering

Tucci

2018

Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedi

View full text Add to dashboard Cite

Supporting changes in software models is becoming increasingly important. Some of these changes are induced by non-functional analysis that is usually conducted on different models and tools. Therefore, it becomes crucial to develop methods that allow automated transformations between these two families of models throughout the development cycle. To this extent, in the last decade, a number of approaches have been introduced to generate nonfunctional analysis models from software models. However, when analysis models are modified to meet non-functional requirements, changes are not propagated to update the software model. Automating the identification and propagation of changes would better support a round-trip analysis process. In this PhD program, we aim at introducing automation in the model-driven assessment of dependability, and we propose to leverage bidirectional model transformations to: (i) generate dependability analysis models from software models, and (ii) automatically propagate changes, driven by dependability requirements satisfaction, from analysis models back to software models. In particular, we intend to extend JTL, that is a bidirectional model transformations framework designed for model synchronization and change propagation, to handle problems that may arise from the application of bidirectional transformations in the context of dependability assessment. CCS CONCEPTS• Software and its engineering → Extra-functional properties; Model-driven software engineering; KEYWORDS software refactoring, dependability, change propagation, modeldriven engineering, bidirectional model transformations ACKNOWLEDGMENTS

show abstract

Change Propagation due to Uncertainty Change

Cited by 12 publications

References 20 publications

Uncertainty in bidirectional transformations

Uncertainty in bidirectional transformations

Uncertainty representation in software models: a survey

Model-driven round-trip software dependability engineering

Contact Info

Product

Resources

About