Konsistenzprüfung für unterschiedliche Entwicklungsansichten
Multi-View Consistency Checking
Wissenschaftsdisziplinen
Informatik (100%)
Keywords
-
Design,
Consistency,
Change,
UML,
Software Artifacts,
Inconsistency Management
Softwareentwicklung ist eine kooperative Aktivität, an der viele Interessensgruppen beteiligt sind. Trozdem ist die tägliche Arbeit auf die Bedürfnisse einzelner Entwickler ausgerichtet. Komplexe und multidisziplinäre Probleme werden auf Aufgaben aufgeteilt, die einzelne Entwickler mit den ihnen zur Verfügung stehenden Werkzeugen und Methoden lösen können. Dabei ist es üblich, dass Unternehmen eine vielzahl von Werkzeugen einsetzen - zum Beispiel verwenden Softwareentwickler Werkzeuge für die Erfassung von Anforderungen, Spezifikation, Design / Architektur, Programmierung oder Tests. Diese Werkzeuge unterscheiden sich aber grundlegend von jenen, die in anderen Ingeneursdisziplinen verwendet werden (mechanische Ingenieure, elektrische Ingenieure, Luftfahrt- oder Systemingenieuren). Aber nicht nur die Werkzeuge unterscheiden sich, sondern auch das Wissen, das Entwickler in diesen Werkzeugen erfassen und pflegen. Wir sprechen von Artefakten. Beispiele für solche Artefakte sind Anforderungen, Modellelemente, Codeklassen / Methoden, Hardwarekomponenten, Berechnungen, Anwendungsfälle und vieles mehr. Während Artefakte in Werkzeugen unterschiedlich erfasst werden, sind sie abhängig von einander. Zusammen beschreiben diese Artefakte das technische Problem, den Prozess und die Lösung; und es können Inkonsistenzen entstehen wenn Entwickler gleichzeitig mit diesen Artifakten arbeiten. Konsistenzprüfmechanismen sind Stand der Technik. Es gibt jedoch wenig Unterstützung für das Erkennen von Inkonsistenzen in einer Umgebung wo es werkzeugbedingt viele unterschiedliche Ansichten gibt. Unsere Arbeit wird eine neuartige Methode zur Erkennung von Multi-Ansichten- Inkonsistenzen entwickeln die funktioniert auch wenn Artefakte von verschiedenen Entwicklner gleichzeitig oder zu unterschiedlichen Zeiten bearbeitet werden - und auch wenn Entwicklner nur bereit sind, diese Artefakte mit machen zu teilen aber nicht mit allen. Wir beschreiben eine Reihe von möglichen Ansichten, die während der Entwicklung entstehen können. Weiters beschreiben wir wie diese Ansichten das Konsistenzprüfen beeinflussen. Diese Ansichten können einzelne Werkzeuge umfassen (Werkzeugansichten), die von Entwicklern kombiniert werden können, um mehrere Werkzeuge abzudecken (Entwickleransichten) oder die eine beliebige Gruppierungen von Werkzeugen abdecken, die ein Entwicklerteam verwendet (Gruppenansichten). Unsere Arbeit hat das Ziel in skalierbarer Form Inkonsistenzen für alle diese Ansichten gleichzeitig bereitzustellen und dass während Entwickler kontinuierlich mit ihren jeweiligen Werkzeugen weiterarbeiten und dabei Artifakte erstellen, modifizieren und löschen. Empirische Evaluationen und Fallstudien werden die Skalierbarkeit und Nützlichkeit der vorgeschlagenen Arbeit demonstrieren. Letztendlich ist es das Hauptziel dieser Arbeit, Entwicklern mehr Freiheit zu geben, ob, wann, wie und wie viel Inkonsistenz- Feedback sie erhalten wollen.
Ingenieurwesen ist Teamarbeit, aber die tägliche Arbeit konzentriert sich auf das Lösen einzelner Aufgaben. Ingenieure zerlegen komplexe Probleme in kleinere Aufgaben und nutzen dafür spezialisierte Werkzeuge, die je nach Fachgebiet unterschiedlich sind - Software-Ingenieure verwenden beispielsweise Tools für Programmierung und Tests, während Maschinenbau- oder Elektroingenieure andere Werkzeuge einsetzen. Diese Werkzeuge speichern wichtige Informationen, sogenannte Artefakte, wie Anforderungen, Entwürfe, Code, Hardwarekomponenten und Berechnungen. Obwohl diese Artefakte unterschiedlich sind, stehen sie in Verbindung zueinander, und Änderungen an einem können andere beeinflussen. Wenn Ingenieure sie getrennt voneinander bearbeiten, können Inkonsistenzen entstehen. Diese Arbeit stellt eine neue Methode vor, um Inkonsistenzen über verschiedene Werkzeuge und Sichtweisen hinweg zu erkennen - selbst wenn mehrere Ingenieure zu unterschiedlichen Zeiten oder mit eingeschränktem Zugriff an den Artefakten arbeiten. Der Ansatz bietet in Echtzeit skalierbares Feedback zu Inkonsistenzen und hilft, Konflikte zu managen, die bei der Zusammenarbeit unvermeidlich sind. Fallstudien haben die Wirksamkeit gezeigt und ermöglichen Ingenieuren letztlich mehr Kontrolle darüber, wann und wie sie auf Inkonsistenzen hingewiesen werden möchten.
- Universität Linz - 100%
Research Output
- 374 Zitationen
- 62 Publikationen
- 5 Policies
- 1 Methoden & Materialien
- 6 Datasets & Models
- 1 Software
- 6 Wissenschaftliche Auszeichnungen
- 1 Weitere Förderungen
-
2025
Titel Contemporary Software Modernization: Strategies, Driving Forces, and Research Opportunities DOI 10.1145/3708527 Typ Journal Article Autor Assunção W Journal ACM Transactions on Software Engineering and Methodology Seiten 1-35 -
2025
Titel Generating Quality Assurance Constraints From Natural Language With LLMs DOI 10.1002/smr.70062 Typ Journal Article Autor Mayr-Dorn C Journal Journal of Software: Evolution and Process Link Publikation -
2020
Titel Consistent change propagation within models DOI 10.1007/s10270-020-00823-4 Typ Journal Article Autor Kretschmer R Journal Software and Systems Modeling Seiten 539-555 Link Publikation -
2020
Titel Ensuring safe and consistent coengineering of cyber-physical production systems: A case study DOI 10.1002/smr.2308 Typ Journal Article Autor Tröls M Journal Journal of Software: Evolution and Process -
2019
Titel Collaboratively enhanced consistency checking in a cloud-based engineering environment DOI 10.1145/3319499.3328232 Typ Conference Proceeding Abstract Autor Tröls M Seiten 1-6 -
2019
Titel Comparison-Based Feature Location in ArgoUML Variants DOI 10.1145/3336294.3342360 Typ Conference Proceeding Abstract Autor Michelon G Seiten 93-97 -
2021
Titel TraceRefiner: An Automated Technique for Refining Coarse-Grained Requirement-to-Class Traces DOI 10.1109/apsec53868.2021.00009 Typ Conference Proceeding Abstract Autor Hammoudi M Seiten 12-21 -
2021
Titel Instant Distribution of Consistency-relevant Change Information in a Hierarchical Multi-Developer Engineering Environment Typ PhD Thesis Autor Michael Tröls -
2020
Titel Automated test reuse for highly configurable software DOI 10.1007/s10664-020-09884-x Typ Journal Article Autor Fischer S Journal Empirical Software Engineering Seiten 5295-5332 -
2024
Titel Ranking guidance actions to support engineers in fulfilling process constraints DOI 10.1002/smr.2729 Typ Journal Article Autor Bilal A Journal Journal of Software: Evolution and Process Link Publikation -
2024
Titel TRIAD: Automated Traceability Recovery based on Biterm-enhanced Deduction of Transitive Links among Artifacts DOI 10.1145/3597503.3639164 Typ Conference Proceeding Abstract Autor Gao H Seiten 1-13 Link Publikation -
2024
Titel Actionable light-weight process guidance DOI 10.1016/j.jss.2024.112064 Typ Journal Article Autor Mayr-Dorn C Journal Journal of Systems and Software Seiten 112064 Link Publikation -
2024
Titel An extensive replication study of the ABLoTS approach for bug localization DOI 10.1007/s10664-024-10537-6 Typ Journal Article Autor Niu F Journal Empirical Software Engineering Seiten 143 -
2024
Titel Using reactive links to propagate changes across engineering models DOI 10.1007/s10270-024-01186-w Typ Journal Article Autor Ratiu C Journal Software and Systems Modeling Seiten 1213-1239 Link Publikation -
2024
Titel "Don’t Touch my Model!" Towards Managing Model History and Versions during Metamodel Evolution DOI 10.1145/3639476.3639758 Typ Conference Proceeding Abstract Autor Homolka M Seiten 77-81 Link Publikation -
2024
Titel Supporting Engineering Process Compliance via Generation of Detailed Guidance Actions DOI 10.1145/3666015.3666019 Typ Conference Proceeding Abstract Autor Bilal A Seiten 87-97 Link Publikation -
2024
Titel Exploring Dependencies Among Inconsistencies to Enhance the Consistency Maintenance of Models DOI 10.1109/saner60148.2024.00023 Typ Conference Proceeding Abstract Autor Marchezan L Seiten 147-158 -
2024
Titel “What Happened to my Models?” History-Aware Co-Existence and Co-Evolution of Metamodels and Models DOI 10.1109/icsme58944.2024.00027 Typ Conference Proceeding Abstract Autor Homolka M Seiten 187-198 -
2024
Titel A Tool for Collaborative Consistency Checking During Modeling DOI 10.1145/3652620.3688558 Typ Conference Proceeding Abstract Autor Marchezan L Seiten 655-659 -
2023
Titel Fulfilling Industrial Needs for Consistency Among Engineering Artifacts DOI 10.1109/icse-seip58684.2023.00028 Typ Conference Proceeding Abstract Autor Marchezan L Seiten 246-257 -
2023
Titel A flexible operation-based infrastructure for collaborative model-driven engineering. DOI 10.5381/jot.2023.22.2.a5 Typ Journal Article Autor Herac E Journal The Journal of Object Technology Seiten 2:1 Link Publikation -
2023
Titel RAT: A Refactoring-Aware Traceability Model for Bug Localization DOI 10.1109/icse48619.2023.00028 Typ Conference Proceeding Abstract Autor Niu F Seiten 196-207 -
2023
Titel Do Developers Benefit from Recommendations when Repairing Inconsistent Design Models? a Controlled Experiment DOI 10.1145/3593434.3593482 Typ Conference Proceeding Abstract Autor Marchezan L Seiten 131-140 -
2023
Titel Taming Cross-Tool Traceability in the Wild DOI 10.1109/re57278.2023.00031 Typ Conference Proceeding Abstract Autor Ratiu C Seiten 233-243 -
2023
Titel Designing a Test Model for a Configurable System: An Exploratory Study of Preprocessor Directives and Feature Toggles DOI 10.1145/3571788.3571795 Typ Conference Proceeding Abstract Autor Fischer S Seiten 31-39 Link Publikation -
2019
Titel Multifaceted Consistency Checking of Collaborative Engineering Artifacts DOI 10.1109/models-c.2019.00044 Typ Conference Proceeding Abstract Autor Tröls M Seiten 278-287 -
2022
Titel Using Consensual Biterms from Text Structures of Requirements and Code to Improve IR-Based Traceability Recovery DOI 10.1145/3551349.3556948 Typ Conference Proceeding Abstract Autor Gao H Seiten 1-1 Link Publikation -
2023
Titel Improving Consistency Maintenance for Collaborative Software Systems Engineering Typ PhD Thesis Autor Luciano Marchezan -
2021
Titel Managing systems evolving in space and time DOI 10.1145/3461001.3461660 Typ Conference Proceeding Abstract Autor Michelon G Seiten 75-80 -
2024
Titel Toward Improved Deep Learning-based Vulnerability Detection DOI 10.1145/3597503.3608141 Typ Conference Proceeding Abstract Autor Sejfia A Seiten 1-12 Link Publikation -
2024
Titel Towards Leveraging Fine-Grained Dependencies to Check Requirements Traceability Correctness DOI 10.1145/3639478.3643091 Typ Conference Proceeding Abstract Autor Preda A Seiten 292-293 Link Publikation -
2024
Titel Supporting High-Level to Low-Level Requirements Coverage Reviewing with Large Language Models DOI 10.1145/3643991.3644922 Typ Conference Proceeding Abstract Autor Preda A Seiten 242-253 -
2024
Titel Variability debt in opportunistic reuse: A multi-project field study DOI 10.1016/j.jss.2024.111969 Typ Journal Article Autor Wolfart D Journal Journal of Systems and Software Seiten 111969 -
2024
Titel Supporting Implicit and Explicit Coordination in Software-Intensive Systems Engineering Typ Postdoctoral Thesis Autor Dr. Christoph Mayr-Dorn -
2023
Titel The ABLoTS Approach for Bug Localization: is it replicable and generalizable? DOI 10.1109/msr59073.2023.00083 Typ Conference Proceeding Abstract Autor Niu F Seiten 576-587 -
2019
Titel Detecting and exploring side effects when repairing model inconsistencies DOI 10.1145/3357766.3359546 Typ Conference Proceeding Abstract Autor Khelladi D Seiten 113-126 -
2022
Titel Instant and global consistency checking during collaborative engineering DOI 10.1007/s10270-022-00984-4 Typ Journal Article Autor Marchezan L Journal Software and Systems Modeling -
2022
Titel Refactoring Product Lines by Replaying Version Histories DOI 10.1145/3510466.3510484 Typ Conference Proceeding Abstract Autor Ratzenböck M Seiten 1-10 Link Publikation -
2022
Titel Propagating frugal user feedback through closeness of code dependencies to improve IR-based traceability recovery DOI 10.1007/s10664-021-10091-5 Typ Journal Article Autor Gao H Journal Empirical Software Engineering Seiten 41 -
2023
Titel Analysis and Propagation of Feature Revisions in Preprocessor-based Software Product Lines DOI 10.1109/saner56733.2023.00035 Typ Conference Proceeding Abstract Autor Michelon G Seiten 284-295 -
2022
Titel Generating repairs for inconsistent models DOI 10.1007/s10270-022-00996-0 Typ Journal Article Autor Marchezan L Journal Software and Systems Modeling Seiten 297-329 Link Publikation -
2020
Titel Consistent Change Propagation within Software Models Typ PhD Thesis Autor Roland Kretschmer -
2020
Titel Locating feature revisions in software systems evolving in space and time DOI 10.1145/3382025.3414954 Typ Conference Proceeding Abstract Autor Michelon G Seiten 1-11 -
2023
Titel Spectrum-based feature localization for families of systems DOI 10.1016/j.jss.2022.111532 Typ Journal Article Autor Michelon G Journal Journal of Systems and Software Seiten 111532 Link Publikation -
2023
Titel ProCon: An automated process-centric quality constraints checking framework DOI 10.1016/j.jss.2023.111727 Typ Journal Article Autor Mayr-Dorn C Journal Journal of Systems and Software Seiten 111727 Link Publikation -
2023
Titel Teaching Engineering of AI-Intensive Systems DOI 10.1109/ms.2023.3346996 Typ Journal Article Autor Mashkoor A Journal IEEE Software Seiten 30-35 Link Publikation -
2023
Titel Model-based Testing for a Family of Mobile Applications DOI 10.1145/3579027.3608996 Typ Conference Proceeding Abstract Autor Fischer S Seiten 242-253 -
2021
Titel Do Communities in Developer Interaction Networks align with Subsystem Developer Teams? An Empirical Study of Open Source Systems DOI 10.1109/icssp-icgse52873.2021.00016 Typ Conference Proceeding Abstract Autor Ashraf U Seiten 61-71 Link Publikation -
2021
Titel Guiding engineers with the Passive Process Engine Environment DOI 10.1109/icse-companion52605.2021.00033 Typ Conference Proceeding Abstract Autor Mayr-Dorn C Seiten 49-52 -
2021
Titel Team-oriented Consistency Checking of Heterogeneous Engineering Artifacts DOI 10.1109/icse-companion52605.2021.00116 Typ Conference Proceeding Abstract Autor Tröls M Seiten 250-251 Link Publikation -
2021
Titel Inconsistency-tolerating guidance for software engineering processes DOI 10.1109/icse-nier52604.2021.00010 Typ Conference Proceeding Abstract Autor Mayr-Dorn C Seiten 6-10 -
2021
Titel Supporting Quality Assurance with Automated Process-Centric Quality Constraints Checking DOI 10.1109/icse43902.2021.00118 Typ Conference Proceeding Abstract Autor Mayr-Dorn C Seiten 1298-1310 -
2021
Titel Hierarchical Distribution of Consistency-relevant Changes in a Collaborative Engineering Environment DOI 10.1109/icssp-icgse52873.2021.00018 Typ Conference Proceeding Abstract Autor Tröls M Seiten 83-93 -
2021
Titel Timestamp-based Consistency Checking of Collaboratively Developed Engineering Artifacts DOI 10.1109/icssp-icgse52873.2021.00017 Typ Conference Proceeding Abstract Autor Tröls M Seiten 72-82 -
2021
Titel On the effect of incompleteness to check requirement-to-method traces DOI 10.1145/3412841.3442021 Typ Conference Proceeding Abstract Autor Hammoudi M Seiten 1465-1474 Link Publikation -
2021
Titel Instant distribution of consistency-relevant change information in a hierarchical multi-developer engineering environment DOI 10.1145/3412841.3442127 Typ Conference Proceeding Abstract Autor Tröls M Seiten 1572-1575 Link Publikation -
2021
Titel A Traceability Dataset for Open Source Systems DOI 10.1109/msr52588.2021.00073 Typ Conference Proceeding Abstract Autor Hammoudi M Seiten 555-559 -
2021
Titel Transforming abstract to concrete repairs with a generative approach of repair values DOI 10.1016/j.jss.2020.110889 Typ Journal Article Autor Kretschmer R Journal Journal of Systems and Software Seiten 110889 Link Publikation -
2022
Titel Code smell analysis in cloned Java variants DOI 10.1145/3546932.3547015 Typ Conference Proceeding Abstract Autor Marchezan L Seiten 250-254 -
2022
Titel Evolving software system families in space and time with feature revisions DOI 10.1007/s10664-021-10108-z Typ Journal Article Autor Michelon G Journal Empirical Software Engineering Seiten 112 Link Publikation -
2022
Titel Change-Oriented Repair Propagation DOI 10.1145/3529320.3529330 Typ Conference Proceeding Abstract Autor Marchezan L Seiten 82-92 Link Publikation -
2022
Titel Reactive links across multi-domain engineering models DOI 10.1145/3550355.3552446 Typ Conference Proceeding Abstract Autor Ratiu C Seiten 76-86 Link Publikation
-
2024
Link
Titel A Refactoring-Aware Traceability DOI 10.1109/smc54092.2024.10831060 Typ Citation in systematic reviews Link Link -
2024
Link
Titel Instant and global consistency checking DOI 10.1145/3652620.3688557 Typ Citation in systematic reviews Link Link -
2023
Link
Titel Consistency checking papers DOI 10.1007/s10270-022-01050-9 Typ Citation in systematic reviews Link Link -
2022
Link
Titel cyber-physical production case study DOI 10.1016/j.jss.2021.111081 Typ Citation in systematic reviews Link Link -
2022
Link
Titel Quality Assurance with Automated Process-Centric Quality Constraints DOI 10.1002/smr.2440 Typ Citation in systematic reviews Link Link
-
2024
Link
Titel Contemporary Software Modernization: Strategies, Driving Forces, and Research Opportunities - Supplementary Material DOI 10.5281/zenodo.13866356 Typ Database/Collection of data Öffentlich zugänglich Link Link -
2024
Link
Titel Conflict-based Change Awareness for Collaborative Model-driven Software Engineering (Evaluation Data) DOI 10.5281/zenodo.10699447 Typ Database/Collection of data Öffentlich zugänglich Link Link -
2024
Link
Titel A Tool for Collaborative Consistency Checking During Modeling (dataset) DOI 10.5281/zenodo.12729675 Typ Database/Collection of data Öffentlich zugänglich Link Link -
2023
Link
Titel A flexible operation-based infrastructure for collaborative model-driven engineering (Evaluation Data) DOI 10.5281/zenodo.7198117 Typ Database/Collection of data Öffentlich zugänglich Link Link -
2022
Link
Titel Fulfilling Industrial Needs for Consistency Among Engineering Artifacts - Evaluation Data DOI 10.5281/zenodo.7197600 Typ Database/Collection of data Öffentlich zugänglich Link Link -
2022
Link
Titel Applying an Inconsistency Repair Mechanism for clone-and-own Code Smell Analysis: the Apo-games Case Study (Evaluation Data) DOI 10.5281/zenodo.6617601 Typ Database/Collection of data Öffentlich zugänglich Link Link
-
2024
Titel Distinguished Paper Award for "Exploring Dependencies Among Inconsistencies to Enhance the Consistency Maintenance of Models.'' Typ Research prize Bekanntheitsgrad Continental/International -
2023
Titel ACM SIGSOFT Distinguished Paper Award Typ Research prize Bekanntheitsgrad Continental/International -
2022
Titel Best Paper Award for "Change-Oriented Repair Propagation'' Typ Research prize Bekanntheitsgrad Continental/International -
2022
Titel Best Paper Award for "Reactive Links Across Multi-Domain Engineering Models'' Typ Research prize Bekanntheitsgrad Continental/International -
2021
Titel Collaborative Model-Driven Development Typ Personally asked as a key note speaker to a conference Bekanntheitsgrad Continental/International -
2021
Titel ACM SIGSOFT Distinguished Paper Award for "Timestamp-based Consistency Checking of Collaboratively Developed Engineering Artifacts'' Typ Research prize Bekanntheitsgrad Continental/International
-
2022
Titel CEPS - Cognitive Engineering Process Support Typ Research grant (including intramural programme) Förderbeginn 2022