Petra Kaufmann

Mag.rer.soc.oec. Dr.rer.soc.oec.

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

.js-id-Finished

Creating a Data Mart for Floating Car Data

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.

Read more

Formalizing and Managing Evolution in Model-Driven Engineering

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.

Read more

Adaptable Model Versioning

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).

Read more

Publications

(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.

DB

(2013). A Posteriori Operation Detection in Evolving Software Models.

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

PDF DB

(2013). Guided Merging of Sequence Diagrams.

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

DB

(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.

DB

(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.

DB

(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.

PDF DB

(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.

PDF DB

(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.

PDF DB

(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.

PDF DB

(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.

PDF DB

(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.

PDF DB

(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.

PDF DB

(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.

PDF DB

(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.

PDF DB

(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.

DB

(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.

PDF DB

(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.

PDF DB

(2009). Teaching Model Engineering in the Large.

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

PDF DB

(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.

PDF DB

(2009). Why Model Versioning Research is Needed!? An Experience Report.

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

PDF DB

(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.

PDF DB