Change Management in Multi-Viewpoint System Using ASP

Eramo, Romina; Pierantonio, Alfonso; Romero, José Raúl; Vallecillo, Antonio

doi:10.1109/edocw.2008.22

Cited by 24 publications

(30 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Each randomly generated model was generated in eCore 4 and then translated to SMTLib 5 using Python as input to Z3. All tests were run on a laptop with an Intel Core i7 2.8GHz processor and 8GB of RAM.…”

Section: Methodsmentioning

confidence: 99%

See 1 more Smart Citation

Change Propagation due to Uncertainty Change

Salay

Gorzny

Chećhik

2013

Fundamental Approaches to Software Engineering

View full text Add to dashboard Cite

Abstract. Uncertainty is ubiquitous in software engineering; however, it has been typically handled in adhoc and informal ways within software models. Automated change propagation is recognized as a key tool for managing the accidental complexity that comes with multiple interrelated models. In this paper, we address change propagation in the context of model uncertainty and consider the case where changes in the level of uncertainty in a model can be propagated to related models. We define such uncertainty change propagation using our earlier formalization and develop automated propagation algorithms using an SMT solver. A preliminary evaluation shows that the approach is feasible.

show abstract

Section: Methodsmentioning

confidence: 99%

“…For example, [4] expresses the consistency constraints declaratively using Answer Set Programming (ASP) and then finds possible modifications to reinstate consistency using an ASP solver. Analysis of feature models often uses constraint solvers as well, e.g., [1].…”

Section: Related Workmentioning

confidence: 99%

Change Propagation due to Uncertainty Change

Salay

Gorzny

Chećhik

2013

Fundamental Approaches to Software Engineering

View full text Add to dashboard Cite

show abstract

“…This idea influenced later efforts on model synchronization frameworks in general [19,20] and in particular bi-directional model transformations [33,37]. Other approaches use so-called correspondence rules for synchronizing models in the contexts of RM-ODP and MDWE [3,10,32]. More theoretical works propose to use different kind of lenses [8,9,12,15].…”

Section: Related Workmentioning

confidence: 99%

“…[7,10,32,37]). Due to the low-level of detail at which model changes are identified, represented, and handled by them, in terms of fine-grained atomic changes, most of these approaches become quite unnatural to system modelers, who think of model evolution in terms of coarse-grained high-level changes.…”

Section: Introductionmentioning

confidence: 99%

Viewpoint Co-evolution through Coarse-Grained Changes and Coupled Transformations

Wimmer

Moreno

Vallecillo

2012

Objects, Models, Components, Patterns

View full text Add to dashboard Cite

Abstract. Multi-viewpoint modeling is an effective technique to deal with the ever-growing complexity of large-scale systems. The evolution of multi-viewpoint system specifications is currently accomplished in terms of fine-grained atomic changes. Apart from being a very low-level and cumbersome strategy, it is also quite unnatural to system modelers, who think of model evolution in terms of coarse-grained high-level changes. In order to bridge this gap, we propose an approach to formally express and manipulate viewpoint changes in a high-level fashion, by structuring atomic changes into coarse-grained composite ones. These can also be used to formally define reconciling operations to adapt dependent views, using coupled transformations. We introduce a modeling language based on graph transformations and Maude for expressing both, the coarse-grained changes and the coupled transformations that propagate them to reestablish global consistency. We demonstrate the applicability of the approach by its application in the context of RM-ODP.

show abstract

“…Our efforts are currently focused on the development of a generic framework and a set of tools to represent viewpoints, views and correspondences, which are able to manage and maintain viewpoint synchronization in evolution scenarios, as reported in [21], and that can be used with the most popular existing EAFs.…”

Section: Viewpoint Integration and Consistencymentioning

confidence: 99%

Behavior, Time and Viewpoint Consistency: Three Challenges for MDE

Rivera

Romero

Vallecillo

2009

Models in Software Engineering

View full text Add to dashboard Cite

Abstract. Although Model Driven Software Development (MDSD) is achieving significant progress, it is still far from becoming a real Engineering discipline. In fact, many of the difficult problems of the engineering of complex software systems are still unresolved, or simplistically addressed by many of the current MDSD approaches. In this position paper we outline three of the outstanding problems that we think MDSD should tackle in order to be useful in industrial environments.

show abstract

Change Management in Multi-Viewpoint System Using ASP

Cited by 24 publications

References 14 publications

Change Propagation due to Uncertainty Change

Change Propagation due to Uncertainty Change

Viewpoint Co-evolution through Coarse-Grained Changes and Coupled Transformations

Behavior, Time and Viewpoint Consistency: Three Challenges for MDE

Contact Info

Product

Resources

About