A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
Filters
Supporting automatic model inconsistency fixing
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
Preserved Fulltext
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
2014
2014 23rd Australian Software Engineering Conference
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2008
2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
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
2013
2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
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
2011
2011 IEEE 15th International Enterprise Distributed Object Computing Conference Workshops
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2014
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2011
Proceeding of the 33rd international conference on Software engineering - ICSE '11
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2011
2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2012
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems - VaMoS '12
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
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
2017
Journal of Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2012
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
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
2013
Journal of Software and Systems Modeling
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
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
2010
2010 IEEE International Conference on Software Maintenance
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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