The goal of the Informal and Formal Artifacts Linker (InFormALin) project is to connect informal artifacts like architecture documentation and formal (dt. formell) artifacts like models. With this links, tasks like consistency checking can be performed.
In this project, a general framework is established that can be instantiated to look at specific artifacts and to perform certain tasks. One implementation is realized within the ArDoCo project.
Master's Theses
2023
Automatisierte Gewinnung von Nachverfolgbarkeitsverbindungen zwischen Softwarearchitektur und Quelltext. master’s thesis
Telge, T.
2023, March 17. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000157372
Telge, T.
2023, March 17. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000157372
Hierarchical Classification of Design Decisions using pre-trained Language Models. master’s thesis
Speit, J.
2023, February 15. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000157373
Speit, J.
2023, February 15. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000157373
2020
Linking Software Architecture Documentation and Models. master’s thesis
Schulz, S.
2020, October 5. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000126194
Schulz, S.
2020, October 5. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000126194
Bachelor's Theses
2023
Entity Recognition in Software Documentation Using Trace Links to Informal Diagrams. bachelor’s thesis
Reinbold, F.
2023, October 5. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000165275
Reinbold, F.
2023, October 5. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000165275
Using Large Language Models To Analyze Software Architecture Documentation. bachelor’s thesis
Schöppner, R.
2023, September 29. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000165891
Schöppner, R.
2023, September 29. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000165891
Traceability Link Recovery und Inkonsistenzerkennung zwischen Modellen und informellen Diagrammen mithilfe struktureller Eigenschaften. bachelor’s thesis
Mathes, J. P.
2023. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000167656
Mathes, J. P.
2023. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000167656
Traceability Link Recovery for Relations in Natural Language Software Architecture Documentation and Software Architecture Models. bachelor’s thesis
Ye, J.
2023. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000167655
Ye, J.
2023. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000167655
Ein Ansatz zur Traceability Link Recovery für natürlichsprachliche Software-Dokumentation und Quelltext. bachelor’s thesis
Steinbuch, D.
2023. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000167654
Steinbuch, D.
2023. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000167654
2022
Entity Linking für Softwarearchitektur Dokumentation. bachelor’s thesis
Klaus, P. D.
2022, October 10. doi:10.5445/IR/1000152122
Klaus, P. D.
2022, October 10. doi:10.5445/IR/1000152122
Assessing Word Similarity Metrics For Traceability Link Recovery. bachelor’s thesis
Werber, K.
2022. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000148261
Werber, K.
2022. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000148261
2021
Komposition von Trace Link Recovery Ansätzen. bachelor’s thesis
Winter, I.
2021, October 15. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000139680
Winter, I.
2021, October 15. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000139680
Analyse von Entwurfsentscheidungen in natürlichsprachiger Softwarearchitekturdokumentation. bachelor’s thesis
Sauer, B.
2021, October 7. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000139681
Sauer, B.
2021, October 7. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000139681
2019
Verknüpfung von Text- und Modellentitäten von Softwarearchitektur-Modellen mithilfe von Wortvektoren. bachelor’s thesis
Schulz, R. R.
2019. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000105870
Schulz, R. R.
2019. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000105870
Verknüpfung von Textelementen zu Softwarearchitektur-Modellen mit Hilfe von Synsets. bachelor’s thesis
Heine, T.
2019. doi:10.5445/IR/1000105437
Heine, T.
2019. doi:10.5445/IR/1000105437
Student Research Projects
2024
Retrieval-Augmented Large Language Models. student research project
Tewes, S.
2024. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000170392
Tewes, S.
2024. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000170392
Conference Papers
2025
Enabling Architecture Traceability by LLM-based Architecture Component Name Extraction
Fuchß, D.; Liu, H.; Hey, T.; Keim, J.; Koziolek, A.
2025. 2025 IEEE 22nd International Conference on Software Architecture (ICSA), Institute of Electrical and Electronics Engineers (IEEE)
Fuchß, D.; Liu, H.; Hey, T.; Keim, J.; Koziolek, A.
2025. 2025 IEEE 22nd International Conference on Software Architecture (ICSA), Institute of Electrical and Electronics Engineers (IEEE)
2024
Recovering Trace Links Between Software Documentation And Code
Keim, J.; Corallo, S.; Fuchß, D.; Hey, T.; Telge, T.; Koziolek, A.
2024. ICSE ’24: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering. Ed.: A. Paiva, Art.-Nr.: 215, Association for Computing Machinery (ACM). doi:10.1145/3597503.3639130
Keim, J.; Corallo, S.; Fuchß, D.; Hey, T.; Telge, T.; Koziolek, A.
2024. ICSE ’24: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering. Ed.: A. Paiva, Art.-Nr.: 215, Association for Computing Machinery (ACM). doi:10.1145/3597503.3639130
2023
Detecting Inconsistencies in Software Architecture Documentation Using Traceability Link Recovery
Keim, J.; Corallo, S.; Fuchß, D.; Koziolek, A.
2023. 20th IEEE International Conference on Software Architecture (ICSA), 141–152, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSA56044.2023.00021
Keim, J.; Corallo, S.; Fuchß, D.; Koziolek, A.
2023. 20th IEEE International Conference on Software Architecture (ICSA), 141–152, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSA56044.2023.00021
A Taxonomy for Design Decisions in Software Architecture Documentation
Keim, J.; Hey, T.; Sauer, B.; Koziolek, A.
2023. Software Architecture. ECSA 2022 Tracks and Workshops – Prague, Czech Republic, September 19–23, 2022, Revised Selected Papers. Ed.: T. Batista, 439–454, Springer International Publishing. doi:10.1007/978-3-031-36889-9_29
Keim, J.; Hey, T.; Sauer, B.; Koziolek, A.
2023. Software Architecture. ECSA 2022 Tracks and Workshops – Prague, Czech Republic, September 19–23, 2022, Revised Selected Papers. Ed.: T. Batista, 439–454, Springer International Publishing. doi:10.1007/978-3-031-36889-9_29
Establishing a Benchmark Dataset for Traceability Link Recovery Between Software Architecture Documentation and Models
Fuchß, D.; Corallo, S.; Keim, J.; Speit, J.; Koziolek, A.
2023. Software Architecture. ECSA 2022 Tracks and Workshops, Prague, Czech Republic, September 19–23, 2022, Revised Selected Papers. Ed.: T. Batista, 455–464, Springer International Publishing. doi:10.1007/978-3-031-36889-9_30
Fuchß, D.; Corallo, S.; Keim, J.; Speit, J.; Koziolek, A.
2023. Software Architecture. ECSA 2022 Tracks and Workshops, Prague, Czech Republic, September 19–23, 2022, Revised Selected Papers. Ed.: T. Batista, 455–464, Springer International Publishing. doi:10.1007/978-3-031-36889-9_30
2021
Sketches and Natural Language in Agile Modeling
Fuchß, D.
2021. 15th European Conference on Software Architecture - Companion (ECSA-C 2021), Virtual online (originally: Växjö, Sweden), September, 13-17, 2021. Ed.: R. Heinrich, Paper-ID: 94
Fuchß, D.
2021. 15th European Conference on Software Architecture - Companion (ECSA-C 2021), Virtual online (originally: Växjö, Sweden), September, 13-17, 2021. Ed.: R. Heinrich, Paper-ID: 94
Trace Link Recovery for Software Architecture Documentation
Keim, J.; Schulz, S.; Fuchß, D.; Kocher, C.; Speit, J.; Koziolek, A.
2021. Software Architecture. Ed.: S. Biffl, 101–116, Springer-Verlag. doi:10.1007/978-3-030-86044-8_7
Keim, J.; Schulz, S.; Fuchß, D.; Kocher, C.; Speit, J.; Koziolek, A.
2021. Software Architecture. Ed.: S. Biffl, 101–116, Springer-Verlag. doi:10.1007/978-3-030-86044-8_7
2019
Towards Consistency Checking Between Software Architecture and Informal Documentation
Keim, J.; Koziolek, A.
2019. IEEE International Conference on Software Architecture Companion (ICSA-C), Hamburg, 25.-29. März 2019, 250–253, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSA-C.2019.00052
Keim, J.; Koziolek, A.
2019. IEEE International Conference on Software Architecture Companion (ICSA-C), Hamburg, 25.-29. März 2019, 250–253, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSA-C.2019.00052
Towards Consistency Analysis Between Formal and Informal Software Architecture Artefacts
Keim, J.; Schneider, Y.; Koziolek, A.
2019. Proceedings of the 2nd International Workshop on Establishing a Community-Wide Infrastructure for Architecture-Based Software Engineering, 6–12, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ECASE.2019.00010
Keim, J.; Schneider, Y.; Koziolek, A.
2019. Proceedings of the 2nd International Workshop on Establishing a Community-Wide Infrastructure for Architecture-Based Software Engineering, 6–12, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ECASE.2019.00010
Reports/Preprints
2023
An Expert Survey on the Use of Informal Models in the Automotive Industry
Fuchß, D.; Kühn, T.; Wortmann, A.; Pfeiffer, J.; Koziolek, A.
2023. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000162389
Fuchß, D.; Kühn, T.; Wortmann, A.; Pfeiffer, J.; Koziolek, A.
2023. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000162389
2022
Establishing a Benchmark Dataset for Traceability Link Recovery between Software Architecture Documentation and Models
Fuchß, D.; Corallo, S.; Keim, J.; Speit, J.; Koziolek, A.
2022. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000151962
Fuchß, D.; Corallo, S.; Keim, J.; Speit, J.; Koziolek, A.
2022. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000151962
A Taxonomy for Design Decisions in Software Architecture Documentation
Keim, J.; Hey, T.; Sauer, B.; Koziolek, A.
2022. doi:10.5445/IR/1000149966
Keim, J.; Hey, T.; Sauer, B.; Koziolek, A.
2022. doi:10.5445/IR/1000149966
Research Data
2024
Replication Package: Enabling Architecture Traceability by LLM-based Architecture Component Name Extraction
Fuchß, D.; Liu, H.; Hey, T.; Keim, J.; Koziolek, A.
2024. doi:10.5281/zenodo.14506935
Fuchß, D.; Liu, H.; Hey, T.; Keim, J.; Koziolek, A.
2024. doi:10.5281/zenodo.14506935
Replication Package for ICSE24 paper "Recovering Trace Links Between Software Documentation And Code"
Keim, J.; Corallo, S.; Fuchß, D.; Hey, T.; Telge, T.; Koziolek, A.
2024. doi:10.5281/zenodo.10411853
Keim, J.; Corallo, S.; Fuchß, D.; Hey, T.; Telge, T.; Koziolek, A.
2024. doi:10.5281/zenodo.10411853
2023
Replication Package: An Expert Survey on the Use of Informal Models in the Automotive Industry
Fuchß, D.; Kühn, T.; Pfeiffer, J.; Wortmann, A.; Koziolek, A.
2023. doi:10.5281/zenodo.8199850
Fuchß, D.; Kühn, T.; Pfeiffer, J.; Wortmann, A.; Koziolek, A.
2023. doi:10.5281/zenodo.8199850
2022