Prof. Dr. Katharina Mehner-Heindl

Prof. Dr. Katharina Mehner-Heindl
Hochschule Offenburg
University of Applied Sciences
Fachbereich Medien und Informationswesen
Badstraße 24
77652 Offenburg
Deutschland

E-Mail: Please type the email address.
Internet: http://www.katharina-mehner.de/

CURRICULUM VITAE

since 2010/03: Professor for Computer Science, University of Applied Sciences, Offenburg
2007/01-2010/02: Engineer Software Architecture, Corporate Technology, Siemens AG München
2008/03-2008/12: Siemens Project Lead for EU-FP7-Projekt NEXOF RA - NESSI Open Service Framework Reference Architecture
2004/01-2006/12: Wissenschaftliche Mitarbeiterin, TU Berlin, Prof. Dr. Stefan Jähnichen
2005/05-2006/12: TU Berlin Project Lead BMBF-Projekt TOPPrax - Aspektorientierte Programmierung für die Praxis betrieblicher Softwareentwicklung
1997/10-2003/10: Wissenschaftliche Mitarbeiterin, Universität Paderborn, Prof. Dr. Gregor Engels
2002/08-2002/12: Visiting Researcher, Lancaster University, Great Britain, Dr. Awais Rashid
2005/02/10: Dissertation "Trace-based Debugging and Visualisation of Concurrent Java Programs with UML", Universität Paderborn (Prof. Dr. G. Engels, Prof. Dr. S. Jähnichen)
1990/10-1997/09: Studies in Computer Science, RWTH Aachen
1993/10-1994/06: ERASMUS-Grant, University of Kent, Canterbury, Great Britain
1981/08-1990/05: Couvengymnasium Aachen, Abitur

RESEARCH

EU Project NEXOF RA - NESSI Open Service Framework Reference Architecture (since 2008)
The NESSI consortium aims a developing a reference architecture for interoperable and open service-oriented systems in the project NEXOF RA, integrating results from other NESSI projects.
Analysis of Behavioral Models with Graph Transformations (since 2005)
For model driven development, checking the consistency of models is crucial. Together with Leen Lambers and Gabi Täntzer, we developed an extension to activity diagrams using pre- and post-conditions for each activity. This model is translated into a graph transformation system. A set of rule sequences derived from the activity diagram can then be checked for consistency. We also take into account object flow in activity diagrams. In future, we plan to apply this research to service-oriented models like BPEL. A specialization of this research is the analysis of aspect-oriented model weaving which I exploited together with Mattia Monga and Gabi Täntzer.
BMBF Project TOPPrax (2004-2006)
In this project, initiated and led by Stephan Herrmann, we developed the aspect-oriented language and tool ObjectTeams/Java. We evaluated the technology together with an SME. We developed metrics and also applied the technology to software product lines. Finally, we carried out an experimental case study with students comparing Java to aspect-oriented programming.
Project FASOP (2002)
I was a visiting researcher at Lancaster University, working on a project on foundations of Aspect-Oriented Programming led by Awais Rashid. We came up with some initial dimension of AOP and a model of runtime program inspection.
Project XCool (1998-1999)
At the University of Paderborn, I supervised a one year students project together with Annika Wagner, in which we developed the domain specific aspect-oriented programming language XCOOL for the synchronization of Java threads.

TEACHING/TRAINING

Vorlesung Interaktions-Software, Hochschule Offenburg
Vorlesung Mathematik, Hochschule Furtwangen, Studiengang Wirtschaftsnetze Bachelor
Trainings in Java EE5, JBoss Application Server
Lectures and Classes in UML
Trainings, Lectures, and Classes in Aspect-Oriented Programming
Lectures and Classes in Software Engineering, Databases, Operating Systems
Lectures in Software Metrics and Software Visualization

REVIEWING

2010 ACM SAC Software Engineering Track Program Committee
2009 ASE Expert Reviewer
2003-2008 ACM SAC Software Engineering Track Program Committee
Reviews for Journals: Communications of the ACM Journal of Computing and Information Technology Journal of Systems and Software LNCS Transactions on Aspect-Oriented Development
Co-Reviews for Conferences: DEXA, UML, VL/HCC, SEKE, ICSE, ESEC, SOFSEM, Euromicro, GI-ST, JIT, ASE, GPCE, FASE
Reviews for Workhops

DISSERTATION

Trace-based Debugging and Visualization of Concurrent Java Programs with UML
Doctoral Thesis. Faculty of Electrical Engineering, Computer Science and Mathematics, University of Paderborn, Februar 2005.
Dissertation (English). Abstract (English). Zusammenfassung (deutsch).
I did my PhD Thesis on debugging of multi-threaded Java programs and supervised a bachelor and a diploma thesis. I built a prototype that generates traces, visualizes them in UML, and automatically detects liveness failures and their potentials. The prototype uses the Java Platform Debugger Architecture (JPDI) API of the Java Virtual Machine (JVM). The failure classification is based on the IEEE definition of Std 610.12 for error, mistake, fault and failure. Java is prone to the following failures:
- synchronization deadlock
- wait-induced deadlock
- missed notification
- nested monitor lockout
- circular join
- self join
- join-induced deadlock

PUBLICATIONS

1998-2004

2004-2006

Dissertation

Trace-based Debugging and Visualisation of Concurrent Java Programs with UML.

Conferences

S. Jurack, L. Lambers, K. Mehner, G. Taentzer, G. Wierse.
Object Flow Validation for Refined Activity Diagrams.
Conference on Fundamental Approaches to Software Engineering FASE, ETAPS 2009.
L. Lambers, S. Jurack, K. Mehner, G. Taentzer.
Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams. In Proceedings 11th Int. Conf. on Model Driven Engineering Languages and System MoDELS’08. Volume 5301 of LNCS, 2008.
C. Hundt, K. Mehner, C. Pfeiffer, D. Sokenou.
Improving Alignment of Crosscutting Features with Code in Product Line Engineering. In Proceedings of TOOLS 2007, ETH Zurich, and Journal of Object Technology, vol. 2, no. 2, 2007.
D. Sokenou, K. Mehner, S. Herrmann, H. Sudhof.
Patterns for Re-usable Aspects in Object Teams. In R. Hirschfeld et al (eds.) Proceedings NetObjectDays LNI, 2006.
K. Mehner, M. Monga, G. Taentzer
Interaction Analysis in Aspect-Oriented Models. IEEE International Conference on Requirements Engineering, 2006.
K. Mehner, A. Wagner.
Visualizing the Synchronization of Java-Threads with UML. In Proceedings IEEE Symposium on Visual Languages, Seattle, IEEE Computer Society, 2000.
G. Busatto, G. Engels, K. Mehner, A. Wagner.
A Framework for Adding Packages to Graph Transformation Approaches. In 6th International Workshop on Theory and Application of Graph Transformation, LNCS, 2000.
R. Depke, G. Engels, K. Mehner, St. Sauer, A. Wagner.
Ein Ansatz zur Verbesserung des Entwicklungsprozesses von Multimedia-Anwendungen. In P. Löhr (ed.), Proceedings GI Softwaretechnik 98, Paderborn 1998, GI Softwaretechnik-Trends 18:3, 1998.

Book Chapters

K. Mehner.
JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs.
In S. Diehl (Ed.), Software Visualization, International Seminar Dagstuhl Castle, Germany, May 20-25, 2001. Revised Papers. LNCS 2269, p. 163-175.
R. Depke, G. Engels, K. Mehner.
Angebote der Softwarebegleitgruppe.
In E.-E. Doberkat, G. Engels, M. Grauer, H. L. Grob, U. Kelter, W. Leidhold, V. Nienhaus (eds.), Multimedia in der wirtschaftswissenschaftlichen Lehre (Erfahrungsbericht), Kompetenznetzwerk Universitätsverbund MultiMedia NRW, Verlag LIT, Münster, Germany, April 2000, p. 27-53.
R. Depke, G. Engels, K. Mehner.
Vergleichende Darstellung.
In E.-E. Doberkat, G. Engels, M. Grauer, H. L. Grob, U. Kelter, W. Leidhold, V. Nienhaus (eds.), Multimedia in der wirtschaftswissenschaftlichen Lehre (Erfahrungsbericht), Kompetenznetzwerk Universitätsverbund MultiMedia NRW, Verlag LIT, Münster, Germany, April 2000, p. 277-292.

Journals

L. Lambers, G. Taentzer, S. Jurack, K. Mehner, O. Runge.
Consistent Integration of Activity Diagrams with Object Rules
submitted to Journal on Software and Systems Modeling SoSym, Springer, 2009.
K. Mehner, M. Monga, G. Taentzer.
Analysis of Aspect-Oriented Model Weaving.
LNCS Transactions on Aspect-Oriented Software Development, 2009. (submitted 2007)
R. Depke, G. Engels, K. Mehner, St. Sauer, A. Wagner.
Ein Vorgehensmodell für die Multimedia-Entwicklung mit Autorensystemen.
In Zeitschrift Informatik Forschung und Entwicklung, Springer, 1999.

Magazines

K. Mehner.
Zur Performanz der Überwachung von Methodenaufrufen mit der Java Platform Debugger Architecture.
In M. Stal (ed.), Zeitschrift Java-Spektrum, SIGS Datacom, Ausgabe Nov/Dez 2003.

Funding Reports(Förderberichte)

S. Herrmann, C. Hundt, K. Mehner.
TOPPrax - Aspektorientierte Programmierung für die Praxis betrieblicher Softwareentwicklung: Schlussbericht der Technischen Universität Berlin, Fachgebiet Softwaretechnik.
Technische Informationsbibliothek u. Universitätsbibliothek Online-Ressource (17 S.), Leibniz Universität Hannover, 2007. http://edok01.tib.uni-hannover.de/edoks/e01fb06/520248473.pdf

Workshops

K. Mehner.
On Using Metrics in the Evaluation of Aspect-Oriented Programs and Designs.
In D. Shepherd et al. (eds.), Proceedings AOSD Workshop on Linking Aspect Technology and Evolution, Conference on Aspect-Oriented Software Development AOSD 2006, Technical Report.
K. Mehner, G. Täntzer.
Supporting Aspect-Oriented Modeling with Graph Transformations.
In A. Moreira et al. (eds.), Online-Proceedings AOSD Workshop Early Aspects, Conference on Aspect-Oriented Software Development AOSD 2005.
S. Herrmann, C. Hundt, K. Mehner, and J. Wloka.
Using Guard Predicates for Generalized Control of Aspect Instantiation and Activation.
In Proceedings DAW’05, Conference on Aspect-Oriented Software Development AOSD 2005.
S. Herrmann, C. Hundt, K. Mehner.
Mapping Use Case Level Aspects to ObjectTeams/Java.
In A. Moreira et al. (eds.), Online-Proceedings OOPSLA Workshop Early Aspects, Conference on Object-Oriented Programming, Systems, Languages, and Applications OOPSLA 2004.
K. Mehner, A. Rashid.
GEMA: A Generic Model for AOP. Extended Abstract and Poster.
In Online-Proceedings Belgian/Dutch AOP Workshop, Twente, 2003.
K. Mehner, A. Rashid.
Towards a Standard Interface for Runtime Inspection in AOP Environments.
In Online-Proceedings Workshop on Tools for Aspect-Oriented Software Development, Conference on Object-Oriented Programming, Systems, Languages, and Applications OOPSLA 2002.
T. Schattkowsky, K. Mehner, R. Depke.
Using UML Models for the Description of Concurrent Behavior in Component Interfaces.
In G. Sebastien (ed.), Online-Proceedings Workshop on Concurrency Issues of the UML, International Conference on the Unified Modeling Language UML 2001.
K. Mehner, B. Weymann.
Visualization and Debugging of Concurrent Java Programs with UML.
In Online-Proceedings Workshop Software Visualization, International Conference on Software Engineering ICSE 2001.
R. Depke, K. Mehner.
„Separation of Concerns” mit Rollen, Subjekten und Aspekten.
In K. Mehner, M. Mezini, E. Pulvermüller, A. Speck (eds.), Proceedings Aspektorientierung-Workshop der GI-Fachgruppe OOSE, Technical Report tr-ri-01-223, Universität Paderborn, 2001.
K. Mehner, T. Schattkowsky.
Methodische Aspekte von Modellierungssprachen für nebenläufige Software.
In H. Giese, St. Philippi (eds.), Proceedings 8. GROOM Workshop Visuelle Verhaltensmodellierung verteilter und nebenläufiger Softwaresystemen, Technical Report 24/00 I, Universität Münster, 2000.
K. Mehner, A. Wagner.
Ablaufvisualisierung für nebenläufige Java-Programme mit UML Interaktionsdiagrammen.
In Proceedings GI-Workshop Software Visualisierung, Dagstuhl, Technical Report A/01/2000, Universität Saarbrücken, 2000.
K. Mehner, A. Wagner.
Visualisierung der Synchronisation von Java-Threads mit UML.
In Proceedings GI-Workshop Modellierung, Modelle und Modellierungssprachen der Informatik und Wirtschaftsinformatik,Verlag Fölbach, 2000.
K. Mehner, A. Wagner.
An Assessment of Aspect Language Design.
In Online-Proceedings Young Researchers Workshop on Generative and Component-based Software Engineering, International Symposium on Generative and Component-based Engineering GCSE’99.
K. Mehner, A. Wagner.
On the Role of Method Families in Aspect-Oriented programming.
In C. Lopez, G. Kiczales (eds.), Online-Proceedings Workshop on Aspect-Oriented Programming, European Conference on Object-Oriented Programming ECOOP’98.

Editor of Workshop-Proceedings

R. Filman, M. Haupt, K. Mehner (eds.). Proceedings 1st Workshop on Dynamic Aspects DAW, International Conference on Aspect-Oriented Software Development AOSD 2004. Nasa Aimes RIACS Technical Report 04.01.
R. Filman, M. Haupt, K. Mehner (eds.). Online-Proceedings 1st Workshop on Advancing the State-of-the-Art in Runtime Inspection, European Conference on Object-oriented Programming ECOOP, 2003.
M. Clauss, S. Hanenberg, I. John, K. Mehner, R. van der Straeten (eds.). Proceedings 4th European Young Researchers Workshop on Generative and Component-based Software Engineering, Net.ObjectDays, Erfurt, Technical Report Fraunhofer IESE 053.02/E, 2002.
P. Costanza, G. Kniesel, K. Mehner, E. Pulvermüller, A. Speck (eds.). Second Workshop on Aspect-Oriented Software Development of the GI- SIG OOSE, February, 2001, Bonn, Germany. Technical Report IAI-TR-2002-1, University of Bonn, 2002.
K. Böllert, D. Streitferdt, D. Heuzeroth, K. Mehner, S. Hanenberg (eds.). Online-Proceedings 3rd Young Researchers Workshop on Generative and Component-based Software Engineering, Net.ObjectDays, Erfurt, 2001.
K. Mehner, M. Mezini, E. Pulvermüller, A. Speck (eds.). Aspektorientierung - Workshop der GI-Fachgruppe OOSE, May, 2001, Paderborn. Technical Report tr-ri-01-223, Universität Paderborn, 2001.

Technical Reports

L. Lambers, S. Jurack, K. Mehner, O. Runge, G. Taentzer.
Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams: Long Version.
Technical Report 2008/11, Technische Universität Berlin, 2008.
S. Herrmann, C. Hundt, K. Mehner.
Translation Polymorphism in Object Teams.
Technical Report 2004/05, Fak. IV, Technische Universität Berlin, 2004.
K. Mehner, A. Rashid.
Towards a Generic Model for AOP (GEMA).
Technical Report CSEG/1/03, Computing Department, Lancaster University, United Kingdom, 2003.
K. Mehner, A. Wagner, J. Hausmann, T. Schattkowsky, R. Spielmann, B. Weymann.
Abschlußbericht der Projektgruppe Aspektorientierte Entwicklung nebenläufiger Systeme.
Interner Bericht, Universität Paderborn, 1999.

MISCELLANEOUS

[Home]