16 Hits in 1.4 sec

Consistent change propagation within models

Roland Kretschmer, Djamel Eddine Khelladi, Roberto Erick Lopez-Herrejon, Alexander Egyed
2020 Journal of Software and Systems Modeling  
Furthermore, Khelladi et al. propose an approach to rank repairs for a single inconsistency based on their side effects on the model, and analyze possible cycles of negative side effect [20] .  ...  Fig. 4 4 Overview of our approach Fig. 5 5 Initial model state tree for a developer change Reder et al., Kretschmer et al. and Khelladi et al. do not consider developer changes and multiple model states  ... 
doi:10.1007/s10270-020-00823-4 pmid:34720801 pmcid:PMC8550261 fatcat:v2lnhdn2unfd7bdvjgzt5spvja

Approaches to Co-Evolution of Metamodels and Models: A Survey

Regina Hebig, Djamel Eddine Khelladi, Reda Bendraou
2017 IEEE Transactions on Software Engineering  
Khelladi any modification in the metamodel may impact all the other artifacts i.e. editors, code generators, transformation rules, consistency constraints, etc. [8] .  ... 
doi:10.1109/tse.2016.2610424 fatcat:kpaib4eii5ambf6ugw4vyrro7a

On Lightweight Metamodel Extension to Support Modeling Tools Agility [chapter]

Hugo Bruneliere, Jokin Garcia, Philippe Desfray, Djamel Eddine Khelladi, Regina Hebig, Reda Bendraou, Jordi Cabot
2015 Lecture Notes in Computer Science  
Modeling in real industrial projects implies dealing with different models, metamodels and supporting tools. They continuously have to be adapted to changing requirements, involving (often costly) problems in terms of traceability, coherence or interoperability. To this intent, solutions ensuring a better adaptability and flexibility of modeling tools are needed. As metamodels are cornerstones in such tools, metamodel extension capabilities are fundamental. However, current modeling frameworks
more » ... re not flexible or dynamic enough. Thus, following the ongoing OMG MOF Extension Facility (MEF) RFP, this paper proposes a generic lightweight metamodel extension mechanism developed as part of the MoNoGe collaborative project. A base list of metamodel extension operators as well as a DSL for easily using them are introduced. Two different implementations of this extension mechanism (including a model-level support when (un)applying metamodel extensions) are also described, respectively based on Eclipse/EMF and the Modelio modeling environment.
doi:10.1007/978-3-319-21151-0_5 fatcat:ktdt2jtajfcr5ouei36dazjb7q

Detecting and exploring side effects when repairing model inconsistencies

Djamel Eddine Khelladi, Roland Kretschmer, Alexander Egyed
2019 Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering - SLE 2019  
When software models change, developers often fail in keeping them consistent. Automated support in repairing inconsistencies is widely addressed. Yet, merely enumerating repairs for developers is not enough. A repair can as a side effect cause new unexpected inconsistencies (negative) or even fix other inconsistencies as well (positive). To make matters worse, repairing negative side effects can in turn cause further side effects. Current approaches do not detect and track such side effects in
more » ... depth, which can increase developers' effort and time spent in repairing inconsistencies. This paper presents an automated approach for detecting and tracking the consequences of repairs, i.e. side effects. It recursively explores in depth positive and negative side effects and identifies paths and cycles of repairs. This paper further ranks repairs based on side effect knowledge so that developers may quickly find the relevant ones. Our approach and its tool implementation have been empirically assessed on 14 case studies from industry, academia, and GitHub. Results show that both positive and negative side effects occur frequently. A comparison with three versioned models showed the usefulness of our ranking strategy based on side effects. It showed that our approach's top prioritized repairs are those that developers would indeed choose. A controlled experiment with 24 participants further highlights the significant influence of side effects and of our ranking of repairs on developers. Developers who received side effect knowledge chose far more repairs with positive side effects and far less with negative side effects, while being 12.3% faster, in contrast to developers who did not receive side effect knowledge. CCS Concepts • Software and its engineering → Model-driven software engineering; Software maintenance tools.
doi:10.1145/3357766.3359546 dblp:conf/sle/KhelladiKE19 fatcat:l3jkb72zmna2rf2yktekhlyqnm

Supporting A Flexible Grouping Mechanism for Collaborating Engineering Teams

Georgios Kanakis, Stefan Fischer, Djamel Eddine Khelladi, Alexander Egyed
2019 2019 ACM/IEEE 14th International Conference on Global Software Engineering (ICGSE)  
doi:10.1109/icgse.2019.00033 dblp:conf/icgse/Kanakis0KE19 fatcat:ah33ztaeibg5haq7fhu6lm7ofm

Metamodel and Constraints Co-evolution: A Semi Automatic Maintenance of OCL Constraints [chapter]

Djamel Eddine Khelladi, Regina Hebig, Reda Bendraou, Jacques Robin, Marie-Pierre Gervais
2016 Lecture Notes in Computer Science  
doi:10.1007/978-3-319-35122-3_22 fatcat:4nmhy6p3hnap3b3omofdppklry

Towards a User-Guided Difference-Based Detection of Atomic Changes

Djamel Eddine Khelladi, Reda Bendraou, Marie-Pierre Gervais
2016 2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS)  
Detecting metamodel atomic changes during evolution is prerequisite for co-evolution of models, constraints, and transformations. They are also essential to detect complex changes over the sequence of atomic ones. However when detecting atomic changes with a difference-based technique, the applied order of the atomic changes is not recovered and some hidden changes are undetected. Thus, the quality of the detected atomic change trace is reduced which could be harmful to both coevolution and
more » ... ction of complex changes. This paper proposes to identify potential hidden changes in order to add them to the trace of atomic changes, and also to order the atomic changes with ordering heuristics.
doi:10.1109/iceccs.2016.036 dblp:conf/iceccs/KhelladiBG16 fatcat:ufsedywelvad5hnr75e3rguhh4

An Empirical Study on the Impact of Inconsistency Feedback during Model and Code Co-changing

Georgios Kanakis, Djamel Eddine Khelladi, Stefan Fischer, Alexander Egyed
2019 Journal of Object Technology  
doi:10.5381/jot.2019.18.2.a10 fatcat:ii6wdfhkizbz5p5gwihqbbkjc4

A semi-automatic maintenance and co-evolution of OCL constraints with (meta)model evolution

Djamel Eddine Khelladi, Reda Bendraou, Regina Hebig, Marie-Pierre Gervais
2017 Journal of Systems and Software  
Metamodels are core components of modeling languages to dene 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 dierent resolutions can be applied depending not only on the metamodel changes, but also on the user intent and on the
more » ... structure of the impacted constraints. In this paper, we rst investigate the syntactical reasons that lead to apply dierent resolutions. We then propose a co-evolution approach that oers alternative resolutions while allowing the user to choose the best applicable one. We evaluated our approach on six case studies of metamodel evolution and their OCL constraints co-evolution. The results show the usefulness of alternative resolutions along with user decision to cope with real co-evolution scenarios. Within our six case studies our approach led to an average of 92% (syntactically) and 93% (semantically) matching co-evolution w.r.t. the user intent.
doi:10.1016/j.jss.2017.09.010 fatcat:ffmc77xoxveudgkrggkif6rffa

SAC-OCL: A Tool for A Semi Automatic Co-evolution of OCL Constraints

Djamel Eddine Khelladi, Reda Bendraou, Marie-Pierre Gervais
2016 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
Object-Oriented Models (OOM) are widely used in Model-Driven Engineering (MDE). As a complement, OCL constraints are used to specify business rules and detailed aspects of the business domain. Automatically co-evolving OCL constraints w.r.t. the evolved OOM is challenging since alternative resolutions can be applied but also a resolution cannot be applied to any arbitrary constraint. In this paper, we present SAC-OCL an Eclipse-based tool to semi automatically co-evolve OCL constraints when an
more » ... OM evolves. In contrast to existing tools, SAC-OCL proposes alternative resolutions for an impacted OCL constraint and proposes only the appropriate resolutions that can be applied on the impacted constraint. Our evaluation on six case studies shows an average correct co-evolution rate of 92%.
dblp:conf/models/KhelladiBG16 fatcat:7v6avaqmmfgubkflfd7muus224

Change Propagation-based and Composition-based Co-evolution of Transformations with Evolving Metamodels

Djamel Eddine Khelladi, Roland Kretschmer, Alexander Egyed
2018 Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems - MODELS '18  
Transformations constitute significant key components of an automated model-driven engineering solution. As metamodels evolve, model transformations may need to be co-evolved accordingly. A conducted experiment on transformations' co-evolution highlighted the existing gap in the literature where only limited few co-evolution scenarios are covered without supporting alternatives that occur in practice. To make matters worse, when a developer needs to drift apart from the proposed co-evolution,
more » ... automatic support is provided to the developer. This paper first proposes a change propagation-based co-evolution of transformations. The premise is that knowledge of the metamodel evolution can be propagated by means of resolutions to drive the transformation coevolution. To deal with particular cases where developers must drift from the proposed resolutions, we introduce a compositionbased mechanism that allows developers to compose resolutions meeting their needs. Our work is evaluated on 14 case studies consisting in original and evolved metamodels and ETL Epsilon transformations. A comparison of our co-evolved transformations with the 14 versioned ones showed the usefulness of our approach that reached an average 96% of correct co-evolution. On three other case studies, our composition-based co-evolution showed to be useful to eight developers in selecting resolutions that best meet their needs. Among the applied resolutions, four developers applied six resolutions that were the direct result of a composition.
doi:10.1145/3239372.3239380 dblp:conf/models/KhelladiKE18 fatcat:xdycshqi5ncyvbtkraqtbvilru

MoDDiT 2021: 1st International Workshop on Model-Driven Engineering for Digital Twins

Francis Bordeleau, Loek Cleophas, Benoit Combemale, Romina Eramo, Mark Van Den Brand, Manuel Wimmer, Andreas Wortmann
2021 2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)  
• Shaukat Ali (Simula Research Lab, Norway) • Johann Bourcier (University of Rennes 1, France) • Jeff Gray (University of Alabama, USA) • Georg Grossmann (UniSA STEM, Australia) • Djamel Eddine Khelladi  ... 
doi:10.1109/models-c53483.2021.00036 fatcat:lzjjbq44bnh5zlcnqftw3pm6ne

Reflections on the standardization of SysML 2

Jeff Gray, Bernhard Rumpe
2021 Journal of Software and Systems Modeling  
Pelayo • "Consistent change propagation within models" by Roland Kretschmer, Djamel Eddine Khelladi, Roberto Lopez-Herrejon, and Alexander Egyed • SoSyM First Paper at MODELS 2020: "Specification and automated  ... 
doi:10.1007/s10270-021-00881-2 fatcat:57so2zynqzb55hotnt3hhkrssy

Adaptation patterns for service based inter-organizational workflows

Saida Boukhedouma, Mourad Oussalah, Zaia Alimazighi, Dalila Tamzalit
2013 IEEE 7th International Conference on Research Challenges in Information Science (RCIS)  
ACKNOWLEDGMENT We would like to thank our students Djamel-Eddine Khelladi and Younes Asma for their participation in the implementation of the framework.  ... 
doi:10.1109/rcis.2013.6577722 dblp:conf/rcis/BoukhedoumaOAT13 fatcat:nxqhz7lcfjcdzg6mr3idsomyym

Cooperation Patterns and Adaptation Patterns for Service-Based Inter-Organizational Workflows [chapter]

Boukhedouma Saida, Oussalah Mourad, Alimazighi Zaia, Tamzalit Dalila
Advances in Business Information Systems and Analytics  
ACKNOWLEDGMENT We would like to thank our students Djamel-Eddine Khelladi, Younes Asma, Ait Belkacem Lyes and Si-Mohamed Mehdi for their participation in the implementation of the frameworks.  ... 
doi:10.4018/978-1-4666-4667-4.ch010 fatcat:l7jyh4uvkrgwfb64npt5yzg57q
« Previous Showing results 1 — 15 out of 16 results