Filters








143,375 Hits in 2.3 sec

Supporting automatic model inconsistency fixing

Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Hui Song, Masato Takeichi, Hong Mei
2009 Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium - ESEC/FSE '09  
When users update some parts of the model and cause inconsistency, a fixing procedure dynamically propagates the update to other parts to fix the inconsistency.  ...  Modern development environments often involve models with complex consistency relations. Some of the relations can be automatically established through "fixing procedures".  ...  RELATED WORK Many approaches provide support for automatic inconsistency resolution from logic perspective.  ... 
doi:10.1145/1595696.1595757 dblp:conf/sigsoft/XiongHZSTM09 fatcat:outgjuhidbfltpb62admmn37xy

Inconsistency Management between Architectural Decisions and Designs Using Constraints and Model Fixes

Ioanna Lytra, Uwe Zdun
2014 2014 23rd Australian Software Engineering Conference  
These constraints apply on the C&C models and their invalidation is resolved by software architects either 1) by executing automatically suggested model fixes on the C&C models, or 2) by reconsidering  ...  We propose to alleviate this problem by providing semi-automated support for detecting and handling these inconsistencies.  ...  ACKNOWLEDGMENT This work was partially supported by the EU FP7 project INDENICA (http://www.indenica.eu), grant no. 257483.  ... 
doi:10.1109/aswec.2014.33 dblp:conf/aswec/LytraZ14 fatcat:wapfafou3ffann56aqssmuwp4e

Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models

Alexander Egyed, Emmanuel Letier, Anthony Finkelstein
2008 2008 23rd IEEE/ACM International Conference on Automated Software Engineering  
Our objective is to provide automated support for assisting designers in fixing inconsistencies in UML models.  ...  This paper extends previous work by describing a technique for automatically generating a set of concrete changes for fixing inconsistencies and providing information about the impact of each change on  ...  to note that we do not decide automatically on what fix to choose.  ... 
doi:10.1109/ase.2008.20 dblp:conf/kbse/EgyedLF08 fatcat:oqnqu53mwbflpibo6pouovgy4q

Model repair and transformation with Echo

Nuno Macedo, Tiago Guimaraes, Alcino Cunha
2013 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE)  
Consistency between different models can be specified by bidirectional model transformations, and is guaranteed to be recovered by minimal updates on the inconsistent models.  ...  The tool is freely available as an Eclipse plugin, developed on top of the popular EMF framework, and supports constraints and transformations specified in the OMG standard languages OCL and QVT-R, respectively  ...  This is achieved by applying every candidate fix to the inconsistent model and detecting and counting the inconsistencies in the resulting model.  ... 
doi:10.1109/ase.2013.6693135 dblp:conf/kbse/MacedoGC13 fatcat:s4qcl4de7rezhlnwlazaykhyj4

Semantically-Driven Workflow Generation Using Declarative Modeling for Processes in Software Engineering

Gregor Grambow, Roy Oberhauser, Manfred Reichert
2011 2011 IEEE 15th International Enterprise Distributed Object Computing Conference Workshops  
Keywords-declarative workflow modeling; semantic technology; workflow management; process modeling; situational method engineering; evolutionary process support; software engineering workflows I.  ...  Thus, automated process guidance in dynamic environments is facilitated while retaining correctness properties, simplifying modeling, and fostering reuse.  ...  The reasoner can automatically classify workflows and their contained BuildingBlocks as consistent or inconsistent.  ... 
doi:10.1109/edocw.2011.54 dblp:conf/edoc/GrambowOR11 fatcat:u2d4wwx5jvh5bo2z2dm4ku43ka

Towards rational and minimal change propagation in model evolution [article]

Hoa Khanh Dam, Aditya Ghose
2014 arXiv   pre-print
In practice, there are many ways of propagating changes to fix a given inconsistency, and how to justify and automate the selection between such change options remains a critical challenge.  ...  are needed to maintain consistency within the model, and between the model and other models in the system?  ...  [14] proposes a mechanism for fixing inconsistencies in UML design models by automatically generating a set of concrete changes.  ... 
arXiv:1402.6046v1 fatcat:5nc3fzvfsrbudodsfb2cfiw7i4

Positive effects of utilizing relationships between inconsistencies for more effective inconsistency resolution

Alexander Nöhrer, Alexander Reder, Alexander Egyed
2011 Proceeding of the 33rd international conference on Software engineering - ICSE '11  
During software modeling, engineers are prone to making mistakes. State-of-the-art tool support can help detect these mistakes and point to inconsistencies in the model.  ...  They even can generate fixing actions for these inconsistencies.  ...  To choose one of those fixing actions for each individual inconsistency automatically is not reasonable as all are viable.  ... 
doi:10.1145/1985793.1985927 dblp:conf/icse/NohrerRE11 fatcat:jg7db3ipdbe3jjx55ogq6zy2j4

Fixing Configuration Inconsistencies across File Type Boundaries

Christoph Elsner, Daniel Lohmann, Wolfgang Schroder-Preikschat
2011 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications  
A tool-supported process for applying the fixes provides user guidance and integrates additional semantic validity checks on serialized configuration files of complex types (e.g., feature models).  ...  One fixing mechanism extends previous work by combining automatic detection of correct fix locations with a marker mechanism that reduces the number of locations.  ...  Overall, we say that the evaluation gives evidence that automatic support for fixing inconsistencies by encoding configuration knowledge as constraints and fixes, as provided by our process, can achieve  ... 
doi:10.1109/seaa.2011.26 dblp:conf/euromicro/ElsnerLS11 fatcat:e3og2pykrbh6damgtgtj34rvqi

A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models [chapter]

Bo Wang, Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Wei Zhang, Hong Mei
2010 Lecture Notes in Computer Science  
Several approaches have been proposed to detect inconsistencies, but few focus on the problem of fixing inconsistent feature models.  ...  In feature models' construction, one basic task is to ensure the consistency of feature models, which often involves detecting and fixing of inconsistencies in feature models.  ...  The authors would like to thank Shin Nakajima (NII, Japan) and Lu Zhang (Peking University, China) for discussing with us on model inconsistency detection and fixing, and to Hiroshi Hosobe (NII, Japan)  ... 
doi:10.1007/978-3-642-16145-2_13 fatcat:2ng4nbncpvbopl2qcidlseruza

Managing SAT inconsistencies with HUMUS

Alexander Nöhrer, Armin Biere, Alexander Egyed
2012 Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems - VaMoS '12  
In Product Line Engineering, as in any other modeling domain, designers and end users are prone to making inconsistent assumptions (errors) because of complexity and lack of system knowledge.  ...  We focus mainly on tolerating inconsistencies during product configuration, to make it possible to resolve inconsistencies later without misguiding the human user along the way.  ...  Tolerating inconsistencies thus fixes defects automatically in many situations.  ... 
doi:10.1145/2110147.2110157 dblp:conf/vamos/NohrerBE12 fatcat:yp6qgpzpebaebfyxwzxlhjsvjm

Managing Inconsistencies in UML Models: A Systematic Literature Review

Driss Allaki, Mohamed Dahchour, Abdeslam En-nouaary
2017 Journal of Software  
Software systems are often modeled as a set of related UML diagrams.  ...  Thus, it is of utmost importance to detect, analyze and fix these inconsistencies before implementing the system. In this paper, we elaborate a transverse view of the aforementioned activities.  ...  -Feature 7: Allowing actions for fixing inconsistencies A CCP has to provide the modeler with the possibility to fix inconsistencies encountered in the model.  ... 
doi:10.17706/jsw.12.6.454-471 fatcat:f3npojmj2fer7gmjz2uqavnuee

Towards Automated Inconsistency Handling in Design Models [chapter]

Marcos Aurélio Almeida da Silva, Alix Mougenot, Xavier Blanc, Reda Bendraou
2010 Lecture Notes in Computer Science  
to actually fixing them.  ...  We propose a method for the generation of repair plans for an inconsistent model.  ...  This prototype has been extended in order to support the generation of repair plans. In particular, the Model Fixing Agent component has been integrated within Praxis.  ... 
doi:10.1007/978-3-642-13094-6_28 fatcat:6gzz7yl3ozbfxgnhzz26qrmyu4

Constraint-Driven Modeling through Transformation [chapter]

Andreas Demuth, Roberto E. Lopez-Herrejon, Alexander Egyed
2012 Lecture Notes in Computer Science  
In model-driven software engineering, model transformations play a key role since they are used to automatically generate and update models from existing information.  ...  In this paper, we propose a vision of Constraint-driven Modeling in which transformation is used to automate the generation of model constraints instead of generating entire models.  ...  However, there is currently considerable progress in automatically suggesting repairs to inconsistencies in design models.  ... 
doi:10.1007/978-3-642-30476-7_17 fatcat:hwyrc7bz25hc7ehe7cv4td2d4i

Constraint-driven modeling through transformation

Andreas Demuth, Roberto Erick Lopez-Herrejon, Alexander Egyed
2013 Journal of Software and Systems Modeling  
In model-driven software engineering, model transformations play a key role since they are used to automatically generate and update models from existing information.  ...  In this paper, we propose a vision of Constraint-driven Modeling in which transformation is used to automate the generation of model constraints instead of generating entire models.  ...  However, there is currently considerable progress in automatically suggesting repairs to inconsistencies in design models.  ... 
doi:10.1007/s10270-013-0363-3 fatcat:lc2u2ysybvarvhz4oaz2or4dfa

Supporting change propagation in UML models

Hoa Khanh Dam, Michael Winikoff
2010 2010 IEEE International Conference on Software Maintenance  
In this paper, we propose how this approach is applied to support change propagation within UML design models.  ...  In this paper, we propose how this approach is applied to support change propagation within UML design models.  ...  Current modelling environments provide some support for fixing inconsistencies in a design model.  ... 
doi:10.1109/icsm.2010.5609712 dblp:conf/icsm/DamW10 fatcat:x7mzuyik3vesvdh534tfr2xdrq
« Previous Showing results 1 — 15 out of 143,375 results