Gerti Kappel
O.Univ.Prof.in Dipl.-Ing.in
Mag.a Dr.in techn.
Gerti Kappel
- Email: gertrude.kappel@tuwien.ac.at
- Phone: +43-1-58801-18870
- Office: FB0109 (1040 Wien, Erzherzog-Johann-Platz 1)
- About:
Gerti Kappel is full professor at the Institute of Information Systems Engineering at TU Wien, in the Business Informatics Group. Prior to that, from 1993 to 2001, she was a full professor of computer science (database systems) and head of the Department of Information Systems at the Johannes Kepler University Linz.
From 2016 to 2019, she was a member of the dean’s team of the Faculty of Informatics responsible for research, diversity, and financial affairs. Since the beginning of 2020 she acts as the dean of the Faculty of Informatics at TU Wien.
Her current research interests include Model Engineering, Web Engineering, and Process Engineering, with a special emphasis on cyber-physical production systems. Striving for the unity of research and teaching, she co-authored and co-edited among others „UML@Work“ (dpunkt.verlag, 3rd ed, 2005), „UML@Classroom“ (Springer, 2015), and „Web Engineering“ (Wiley, 2006).
- Orcid: 0000-0002-4758-9436
- Keywords: Process Engineering, Data Engineering, Services Engineering, UML and XML, Business Process Management (BPM), Model Engineering, Workflow Management Systems (WFMS), Web Engineering, Object Orientation, Software Engineering
- Roles: Head of Services, Full Professor
Publications
A Framework for Testing UML Activities Based on fUML
Stefan MijatovPhilip LangerTanja MayerhoferKeywords:
Astract: In model-driven engineering (MDE), models constitute the main development artifacts. As a consequence, their quality significantly affects the quality of the final product. Thus, adequate techniques are required for ensuring the quality of models. We present a testing framework, comprising a test specification language and an interpreter, for validating the functional correctness of UML activities. For this purpose, we utilize the executability of a subset of UML provided by the fUML standard. As UML activities are employed for different purposes, from high-level process specifications to low-level object manipulations, the proposed testing framework not only allows to validate the correctness in terms of input/output relations, but also supports testing intermediate results, as well as the execution order of activity nodes. First experiments indicate that the proposed testing framework is useful for ensuring the correct behavior of fUML activities.
Mijatov, S., Langer, P., Mayerhofer, T., & Kappel, G. (2013). A Framework for Testing UML Activities Based on fUML. In Proceedings of the 10th International Workshop on Model Driven Engineering, Verification and Validation co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013) (pp. 1–10). CEUR. http://hdl.handle.net/20.500.12708/54725
Mayerhofer, T., Langer, P., Wimmer, M., & Kappel, G. (2013). xMOF: Executable DSMLs Based on fUML. In Software Language Engineering (pp. 56–75). Springer. https://doi.org/10.1007/978-3-319-02654-1_4
TETRABox - A Generic White-Box Testing Framework for Model Transformations
Johannes SchönböckManuel WimmerAngelika KuselWerner RetschitzeggerWieland Schwinger
Schönböck, J., Kappel, G., Wimmer, M., Kusel, A., Retschitzegger, W., & Schwinger, W. (2013). TETRABox - A Generic White-Box Testing Framework for Model Transformations. In 2013 20th Asia-Pacific Software Engineering Conference (APSEC). 20th Asia-Pacific Software Engineering Conference (APSEC), Bangkok, Thailand. IEEE. https://doi.org/10.1109/apsec.2013.21
Automated verification of model transformations based on visual contracts
Esther GuerraJuan de LaraManuel WimmerAngelika KuselWerner RetschitzeggerJohannes SchönböckWieland SchwingerKeywords:
Astract: Model-Driven Engineering promotes the use of models to conduct the different phases of the software development. In this way, models are transformed between different languages and notations until code is generated for the final application. Hence, the construction of correct Model-to-Model (M2M) transformations becomes a crucial aspect in this approach.
Even though many languages and tools have been proposed to build and execute M2M transformations, there is scarce support to specify correctness requirements for such transformations in an implementation-independent way, i.e., irrespective of the actual transformation language used.
In this paper we fill this gap by proposing a declarative language for the specification of visual contracts, enabling the verification of transformations defined with any transformation language. The verification is performed by compiling the contracts into QVT to detect disconformities of transformation results with respect to the contracts. As a proof of concept, we also report on a graphical modeling environment for the specification of contracts, and on its use for the verification of transformations in several case studies.
Guerra, E., de Lara, J., Wimmer, M., Kappel, G., Kusel, A., Retschitzegger, W., Schönböck, J., & Schwinger, W. (2012). Automated verification of model transformations based on visual contracts. Automated Software Engineering, 20(1), 5–46. https://doi.org/10.1007/s10515-012-0102-y
Surveying Rule Inheritance in Model-to-Model Transformation Languages
Manuel WimmerAngelika KuselWerner RetschitzeggerJohannes SchönböckWerner SchwingerDimitris KolovosRichard PaigeMarius LauderAndy SchürrDennis Wagelaar
Wimmer, M., Kappel, G., Kusel, A., Retschitzegger, W., Schönböck, J., Schwinger, W., Kolovos, D., Paige, R., Lauder, M., Schürr, A., & Wagelaar, D. (2012). Surveying Rule Inheritance in Model-to-Model Transformation Languages. The Journal of Object Technology, 11(2), 3:1. https://doi.org/10.5381/jot.2012.11.2.a3
Teaching
Project in Computer Science 1
Semester: 2026S; Nr: 194.145; Type: PR; Hours: 4.0; Language: if required in English; View on TISSAdvanced Model Engineering
Semester: 2026S; Nr: 194.195; Type: VU; Hours: 4.0; Language: English; View on TISSSeminar for Master Students in Business Informatics
Semester: 2025W; Nr: 180.779; Type: SE; Hours: 1.0; Language: English; View on TISSResearch Seminar
Semester: 2025W; Nr: 188.446; Type: SE; Hours: 2.0; Language: if required in English; View on TISSLiterature Seminar for PhD Students
Semester: 2025W; Nr: 188.512; Type: SE; Hours: 2.0; Language: German; View on TISSBachelor Thesis for Informatics and Business Informatics
Semester: 2025W; Nr: 188.926; Type: PR; Hours: 5.0; Language: if required in English; View on TISSScientific Research and Writing
Semester: 2025W; Nr: 193.052; Type: SE; Hours: 2.0; Language: German; View on TISSProject in Computer Science 1
Semester: 2025W; Nr: 194.145; Type: PR; Hours: 4.0; Language: if required in English; View on TISSSustainability in Computer Science
Semester: 2025W; Nr: 194.155; Type: VU; Hours: 2.0; Language: English; View on TISSSeminar in Computer Science (Model Engineering)
Semester: 2025W; Nr: 194.198; Type: SE; Hours: 2.0; Language: German; View on TISSProjects
Digitale Kompetenzen @ Parlament
Name: DKP; Title: Digitale Kompetenzen @ Parlament; Begins On: 2021-04-01; Ends On: 2021-09-30; Context: Parlamentsdirektion; View Project WebsiteIFC-Roundtrip und Plangrafiken
Name: IFC-Roundtrip und Plangrafiken; Title: IFC-Roundtrip und Plangrafiken; Begins On: 2019-01-01; Ends On: 2020-06-30; Context: tbw solutions ZT GesmbH; View Project WebsiteVienna Informatics Living Lab
Name: Vienna Informatics Living Lab; Title: Vienna Informatics Living Lab; Begins On: 2018-08-01; Ends On: 2019-07-31; Context: Vienna Business Agency (WAW); View Project WebsiteMulti-Paradigm Modelling for Cyber-Physical Systems (MPM4CPS)
Name: MPM4CPS; Title: Multi-Paradigm Modelling for Cyber-Physical Systems (MPM4CPS); Begins On: 2014-10-01; Ends On: 2019-05-31; Context: European Cooperation in Science and Technology (COST); View Project WebsiteCOSIMO: Collaborative Configuration Systems Integration and Modeling
Name: COSIMO; Title: COSIMO: Collaborative Configuration Systems Integration and Modeling; Begins On: 2014-01-01; Ends On: 2017-05-30; Context: Vienna Business Agency (WAW); View Project WebsiteARTIST: Advanced software-based seRvice provisioning and migraTIon of legacy Software
Name: ARTIST; Title: ARTIST: Advanced software-based seRvice provisioning and migraTIon of legacy Software; Begins On: 2012-10-01; Ends On: 2015-09-30; Context: European Commission; View Project WebsiteDARWIN - Model-driven Development and Evolution of Semantic Infrastructures
Name: DARWIN; Title: DARWIN - Model-driven Development and Evolution of Semantic Infrastructures; Begins On: 2012-03-01; Ends On: 2015-02-28; Context: Austrian Research Promotion Agency (FFG); View Project WebsiteTROPIC: A Framework for Model Transformations on Petri Nets in Color
Name: TROPIC; Title: TROPIC: A Framework for Model Transformations on Petri Nets in Color; Begins On: 2009-03-01; Ends On: 2012-08-31; Context: Austrian Science Fund (FWF); View Project WebsiteAMOR: Adaptable Model Versioning
Name: AMOR; Title: AMOR: Adaptable Model Versioning; Begins On: 2009-02-01; Ends On: 2011-09-30; Context: SparxSystems Software GmbH; View Project WebsiteDevelopment of a WEB-based database for the global administration of CAN-Data
Name: Rosenbauer-DB; Title: Development of a WEB-based database for the global administration of CAN-Data; Begins On: 2008-09-01; Ends On: 2009-04-30; Context: Rosenbauer; View Project WebsiteModel-Driven Web Engineering net
Name: MDWEnet; Title: Model-Driven Web Engineering net; Begins On: 2006-12-01; Ends On: 2010-12-31; Context: Johannes Kepler Universität Linz; View Project WebsiteTRACK and TRADE: Creating a Data Mart for Floating Car Data
Name: TRACK™ Title: TRACK and TRADE: Creating a Data Mart for Floating Car Data; Begins On: 2006-10-01; Ends On: 2008-09-30; Context: European Commission; View Project WebsiteModelCVS: A Semantic Infrastructure for Model-based Tool Integration
Name: ModelCVS; Title: ModelCVS: A Semantic Infrastructure for Model-based Tool Integration; Begins On: 2006-01-01; Ends On: 2007-12-31; Context: ARIKAN Productivity Group GesmbH; View Project WebsiteZELESSA: An Enabler for Real-time Business Intelligence
Name: ZELESSA; Title: ZELESSA: An Enabler for Real-time Business Intelligence; Begins On: 2006-01-01; Ends On: 2007-06-30; Context: Österr. Nationalbibliothek; View Project WebsiteAdmina.at goes Austria
Name: Admina.at; Title: Admina.at goes Austria; Begins On: 2005-12-01; Ends On: 2007-09-30; Context: Federal Ministry of Science and Research (bm:wf); View Project WebsiteWomen's Postgraduate College for Internet Technologies
Name: WIT; Title: Women's Postgraduate College for Internet Technologies; Begins On: 2003-01-01; Ends On: 2007-12-31; Context: European Commission; View Project WebsiteTeam
Business Informatics Group, TU Wien
Professors
Christian Huemer
Ao.Univ.Prof. Mag.rer.soc.oec.Dr.rer.soc.oec.
Dominik Bork
Associate Prof. Dipl.-Wirtsch.Inf.Univ.Dr.rer.pol.
Gerti Kappel
O.Univ.Prof.in Dipl.-Ing.inMag.a Dr.in techn.
Henderik Proper
Univ.Prof. PhD
Researchers
Aleksandar Gavric
Univ.Ass. M.Eng. M.Sc. B.Eng.Charlotte Roos R. Verbruggen
Univ.Ass. PhD
Marco Huymajer
Senior Lecturer Dipl.-Ing. BSc
Marianne Schnellmann
Univ.Ass. MScMarion Murzek
Senior Lecturer Mag.a rer.soc.oec.Dr.in rer.soc.oec.
Marion Scholz
Senior Lecturer Dipl.-Ing.inMag.a rer.soc.oec.
Miki Zehetner
Univ.Ass. DI Bakk.rer.soc.oec. MSc