Petra Kaufmann | BIG TU Wien

Petra Kaufmann

Mag.a rer.soc.oec. Dr.in rer.soc.oec.

Projects
Publications

Mail: kaufmann@big.tuwien.ac.at
Location: HB0210

Petra Kaufmann studied Business Informatics at the Vienna University of Technology where she received her PhD degree for her thesis on conflict resolution in model versioning. Currently she is a post doctoral researcher at the Business Informatics Group, where she is working on the project FAME (Formalizing and Managing Evolution in Model-Driven Engineering). Her research is focused on model-driven engineering with special emphasis on model evolution, model versioning, and model transformation.

Interests

model engineering
model evolution
model versioning
model transformation
web engineering

Projects

Creating a Data Mart for Floating Car Data

by Petra Kaufmann, Gerti Kappel

With the number of vehicles, both private and commercial, in urban areas steadily increasing, accurate traffic information becomes an increasingly important commodity A change in transport policy, e.g., increased use of public transport and efficient inter-modal transport, will only have a medium to long-term effect on improving the traffic situations in inner-city areas.

Formalizing and Managing Evolution in Model-Driven Engineering

by Martina Seidl, Sebastian Gabmeyer, Petra Kaufmann, Gerti Kappel

Like traditional program code, software models are not resistant to change, but evolve over time by undergoing continuous extensions, corrections, and modifications. In model-driven engineering (MDE), evolution is multidimensional leading to the model management tasks of synchronization, versioning, and co-evolution.

Adaptable Model Versioning

by Konrad Wieland, Martina Seidl, Petra Kaufmann, Philip Langer, Manuel Wimmer, Gerti Kappel

The development of complex software systems requires appropriate abstraction mechanisms in terms of model-driven engineering techniques (MDE) and proper support for allowing developers to work in parallel in terms of version control systems (VCS).

Publications

Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl, Martin Gogolla, Gerti Kappel (2019). A Feature-Based Classification of Formal Verification Techniques for Software Models.

Software and Systems Modeling, 18 (2019), 1; 473 - 498.

Marion Scholz, Petra Kaufmann, Martina Seidl (2013). Making UML "hip": A First Experience Report on Using Modern Teaching Tools for Object-Oriented Modelling.

Talk: MODELS 2013 Educators Symposium, Miami, USA; 09-30-2013; in: “Proceedings of the Educators’ Symposium co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013)", CEUR Workshop Proceedings, Vol-1134 (2013), ISSN: 1613-0073; 1 - 8.

Philip Langer, Manuel Wimmer, Petra Kaufmann, Markus Herrmannsdoerfer, Martina Seidl, Konrad Wieland, Gerti Kappel (2013). A Posteriori Operation Detection in Evolving Software Models.

Journal of Systems and Software, 86 (2013), 2; 551 - 566.

Magdalena Widl, Armin Biere, Petra Kaufmann, Uwe Egly, Marijn Heule, Gerti Kappel, Martina Seidl, Hans Tompits (2013). Guided Merging of Sequence Diagrams.

in: “Software Language Engineering”, Lecture Notes in Computer Science Volume 7745, Springer, 2013, ISSN: 0302-9743, 164 - 183.

Magdalena Widl, Armin Biere, Petra Kaufmann, Uwe Egly, Marijn Heule, Gerti Kappel, Martina Seidl, Hans Tompits (2012). Guided Merging of Sequence Diagrams.

Talk: 5th International Conference on Software Language Engineering, Dresden; 09-26-2012 - 09-28-2012; in: “SLE 2012 - Pre-proceedings”, K. Czarnecki, G. Hedin (ed.); Dresden (2012), 163 - 182.

Petra Kaufmann, Philip Langer, Martina Seidl, Manuel Wimmer, Gerti Kappel (2012). Generic vs. Language-Specific Model Versioning - Adaptability to the Rescue.

Talk: International Workshop on Comparison and Versioning of Software Models (CVSM 2012), Essen, Germany; 09-03-2012; in: “Softwaretechnik- Trends”, Gesellschaft für Informatik, 32 / 4 (2012), ISSN: 0720-8928.

Petra Kaufmann, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl (2012). On Formalizing EMF Modeling Operations with Graph Transformations.

Talk: UML and FM 2012, Paris; 08-27-2012; in: “ACM SIGSOFT Software Engineering Notes”, W. Tracz (ed.); ACM, Volume 37 Issue 4 (2012), ISSN: 0163-5948; 8 pages.

Petra Kaufmann, Gerti Kappel, Philip Langer, Martina Seidl, Konrad Wieland, Manuel Wimmer (2012). An Introduction to Model Versioning.

Talk: International School on Formal Methods for the Design of Computer, Communcation, and Software Systems, Bertinoro, Italy (invited); 06-18-2012 - 06-23-2012; in: “Formal Methods for Model-Driven Engineering”, M. Bernardo, V. Cortellessa, A. Pierantonio (ed.); Springer, LNCS 7320 (2012), ISSN: 0302-9743; 336 - 398.

Petra Kaufmann, Uwe Egly, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl, Hans Tompits, Magdalena Widl, Manuel Wimmer (2012). Towards Scenario-Based Testing of UML Diagrams.

Talk: 6th International Conference on Tests and Proofs (TAP 2012), Prague, Czech Republic; 05-31-2012 - 06-01-2012; in: “Proceedings of the 6th International Conference on Tests and Proofs (TAP 2012)", Springer, LNCS 7305 (2012), ISBN: 978-3-642-30472-9; 149 - 155.

Petra Kaufmann, Martina Seidl, Manuel Wimmer, Gerti Kappel (2012). Conflict Visualization for Evolving UML Models.

Journal of Object Technology, 11 (2012), 3; 1 - 30.

Petra Kaufmann, Uwe Egly, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl, Hans Tompits, Magdalena Widl, Manuel Wimmer (2012). Towards Semantics-Aware Merge Support in Optimistic Model Versioning.

in: “Models in Software Engineering - Workshops and Symposia at MODELS 2011, Reports and Revised Selected Papers”, Springer LNCS, Berlin-Heidelberg, 2012, ISSN: 0302-9743, 246 - 256.

Petra Kaufmann, Uwe Egly, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl, Hans Tompits, Magdalena Widl, Manuel Wimmer (2011). Towards Semantics-Aware Merge Support in Optimistic Model Versioning.

Talk: Models & Evolution Workshop @ ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems, New Zealand; 10-18-2011; in: “Proceedings of the Models and Evolution Workshop @ MoDELS'11”, (2011), 10 pages.

Petra Kaufmann, Horst Kargl, Philip Langer, Martina Seidl, Konrad Wieland, Manuel Wimmer, Gerti Kappel (2011). Conflicts as First-Class Entities: A UML Profile for Model Versioning.

in: “Models in Software Engineering - Workshops and Symposia at MODELS 2010, Reports and Revised Selected Papers”, Lecture Notes in Computer Science Volume 6627, Springer, 2011, ISBN: 978-3-642-21209-3, 184 - 193.

Petra Kaufmann, Philip Langer, Martina Seidl, Konrad Wieland, Manuel Wimmer, Gerti Kappel (2011). The Past, Present, and Future of Model Versioning.

in: “Emerging Technologies for the Evolution and Maintenance of Software Models”, IGI Global, 2011, ISBN: 9781613504383, 410 - 443.

Petra Kaufmann, Martina Seidl, Gerti Kappel (2010). A Recommender for Conflict Resolution Support in Optimistic Model Versioning.

Talk: Onward! 2010, Reno/Tahoe, Nevada, USA; 10-17-2010 - 10-21-2010; in: “SPLASH ‘10: Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion”, ACM, (2010), ISBN: 978-1-4503-0240-1; 43 - 50.

Petra Kaufmann, Konrad Wieland, Gerti Kappel (2010). Conflict Resolution in Model Versioning.

Poster: 1st International Master Class on Model-Driven Engineering, Oslo, Norwegen; 09-30-2010 - 10-02-2010; in: “1st International Master Class on Model-Driven Engineering, Poster Session Companion”, (2010), 17 - 18.

Petra Kaufmann, Gerti Kappel, Martina Seidl, Konrad Wieland, Manuel Wimmer, Horst Kargl, Philip Langer (2010). Adaptable Model Versioning in Action.

Talk: Modellierung 2010, Klagenfurt; 03-24-2010 - 03-26-2010; in: “Modellierung 2010”, GI, LNI 161 (2010), ISBN: 978-3-88579-255-0; 221 - 236.

Petra Kaufmann, Philip Langer, Martina Seidl, Konrad Wieland, Manuel Wimmer, Gerti Kappel (2010). Concurrent Modeling in Early Phases of the Software Development Life Cycle.

in: “Proceedings of the 16th Collaboration Researchers’ International Working Group Conference on Collaboration and Technology (CRIWG 2010)", Springer, 2010, ISBN: 978-3-642-15713-4, 129 - 144.

Petra Kaufmann, Horst Kargl, Philip Langer, Martina Seidl, Konrad Wieland, Manuel Wimmer, Gerti Kappel (2010). Representation and Visualization of Merge Conflicts with UML Profiles.

in: “Proceedings of the International Workshop on Models and Evolution (ME 2010) @ MoDELS 2010”, Online Publication, 2010, 53 - 62.

Petra Kaufmann, Gerti Kappel, Martina Seidl, Manuel Wimmer (2009). Teaching Model Engineering in the Large.

Talk: Educators’ Symposium @ Models 2009, Denver, USA; 10-06-2009; in: “Educators’ Symposium @ Models 2009”, (2009).

Petra Kaufmann, Philip Langer, Martina Seidl, Konrad Wieland, Manuel Wimmer, Gerti Kappel, Werner Retschitzegger, Wieland Schwinger (2009). An Example Is Worth a Thousand Words: Composite Operation Modeling By-Example.

Talk: 12th International Conference on Model Driven Engineering Languages and Systems (MoDELS'09), Denver, USA; 10-04-2009 - 10-09-2009; in: “Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MoDELS'09)", Springer, LNCS 5795 (2009), ISBN: 978-3-642-04424-3; 271 - 285.

Kerstin Altmanninger, Petra Kaufmann, Gerti Kappel, Philip Langer, Martina Seidl, Konrad Wieland, Manuel Wimmer (2009). Why Model Versioning Research is Needed!? An Experience Report.

Talk: Joint MoDSE-MCCM 2009 Workshop - Models and Evolution, Denver, USA; 10-04-2009; in: “Proceedings of the Joint MoDSE-MCCM 2009 Workshop”, (2009), Paper ID 8, 12 pages.

Manuel Wimmer, Martina Seidl, Petra Kaufmann, Horst Kargl, Gerti Kappel (2009). On Realizing a Framework for Self-tuning Mappings.

Keynote Lecture: 47th International Conference, TOOLS EUROPE 2009, June 29-July 3, 2009., Zurich, Switzerland; 06-29-2009 - 07-03-2009; in: “Objects, Components, Models and Patterns - Proceedings of the 47th International Conference TOOLS EUROPE 2009”, Springer, LNBIP 33 (2009), ISSN: 1865-1348; 1 - 16.