| 1. |
- Khelladi, Djamel Eddine, et al.
(författare)
-
Detecting complex changes and refactorings during (Meta)model evolution
- 2016
-
Ingår i: Elsevier - Information Systems. - : Elsevier BV. - 0306-4379. ; 62, s. 220-241
-
Tidskriftsartikel (refereegranskat)abstract
- Evolution of metamodels can be represented at the finest grain by the trace of atomic changes such as add, delete, and update of elements. For many applications, like automatic correction of models when the metamodel evolves, a higher grained trace must be inferred, composed of complex changes, each one aggregating several atomic changes. Complex change detection is a challenging task since multiple sequences of atomic changes may define a single user intention and complex changes may overlap over the atomic change trace. In this paper, we propose a detection engine of complex changes that simultaneously addresses these two challenges of variability and overlap. We introduce three ranking heuristics to help users to decide which overlapping complex changes are likely to be correct. In our approach, we record the trace of atomic changes rather than computing them with the difference between the original and evolved metamodel. Thus, we have a complete and an ordered sequence of atomic changes without hidden changes. Furthermore, we consider the issue of undo operations (i.e. change canceling actions) while recording the sequence of atomic changes, and we illustrate how we cope with it. We validate our approach on 8 real case studies demonstrating its feasibility and its applicability. We observe that a full recall is always reached in all case studies and an average precision of 70.75%. The precision is improved by the heuristics up to 91% and 100% in some cases.
|
|
| 2. |
- Khelladi, Djamel Eddine, et al.
(författare)
-
Metamodel and constraints co-evolution: A semi automatic maintenance of ocl constraints
- 2016
-
Ingår i: International Conference on Software Reuse. - Cham : Springer International Publishing. - 0302-9743 .- 1611-3349. - 9783319351216 ; 9679, s. 333-349
-
Konferensbidrag (refereegranskat)abstract
- Metamodels are core components of modeling languages to define structural aspects of a business domain. As a complement, OCL constraints are used to specify detailed aspects of the business domain, e.g. more than 750 constraints come with the UML metamodel. As the metamodel evolves, its OCL constraints may need to be co-evolved too. Our systematic analysis shows that semantically different resolutions can be applied depending not only on the metamodel changes, but also on the user intent and on the structure of the impacted constraints. In this paper, we investigate the reasons that lead to apply different resolutions. We then propose a co-evolution approach that offers alternative resolutions while allowing the user to choose the best applicable one. We evaluated our approach on the evolution of the UML case study. The results confirm the need of alternative resolutions along with user decision to cope with real co-evolution scenarios. The results show that our approach reaches 80 % of semantically correct co-evolution
|
|
| 3. |
- Khelladi, Djamel Eddine, et al.
(författare)
-
Supporting the Co-adaption of Process Properties
- 2016
-
Ingår i: Proceedings of the International Conference on Software and Systems Process (ICSSP). - New York, NY, USA : Association for Computing Machinery (ACM). - 9781450341882
-
Konferensbidrag (refereegranskat)abstract
- Process verification has become an essential activity to correct and to remove errors before process execution. Typical process verification ecosystems propose to express properties to be verified on the process. When a process is adapted, the existing properties must naturally be re-checked to ensure that no errors have been introduced. However, the properties may become outdated and must be co-adapted w.r.t. the adapted process before to be re-checked. Otherwise, the verification may raise false alarms or may not detect newly introduced errors. In this paper, we propose a co-adaptation approach for control-flow process properties. We systematically studied control-flow process changes to identify those that do impact properties, and for which we propose resolution strategies. Our preliminary evaluation shows that our resolutions strategies allow to support users in correctly co-adapting impacted properties.
|
|
