Tanja Mayerhofer

Dipl.-Ing. Dr.rer.soc.oec.

Tanja Mayerhofer is a post doctoral research at the Business Informatics Group. She has studied Business Informatics at the Vienna University of Technology and received her PhD in 2014. Her PhD thesis is concerned with the development of executable modeling languages. The current research interests of Tanja are model-driven software engineering, language engineering, model execution, model analysis, model comparison, and model-driven reverse engineering. She has been involved in nationally and internationally funded research projects and leads the open source project moliz.

More information can be found in her CV.

Interests

  • model-driven software development
  • language engineering, domain-specific languages
  • model execution
  • model analysis (debugging, testing, comparison, non-functional property analysis, dynamic analysis)
  • model-driven reverse engineering

Open Source Projects

Projects

.js-id-Ongoing

Model Execution based on fUML

Topic In model-driven development models are considered as the key artifacts and, as a result, the success of the whole development process relies on these models and their quality. Consequently, there is an urgent need for adequate methods to ensure high quality of models.

Read more

Multi-Paradigm Modelling for Cyber-Physical Systems

Topic Truly complex, designed systems, known as Cyber Physical Systems (CPS), are emerging that integrate physical, software, and network aspects. To date, no unifying theory nor systematic design methods, techniques and tools exist for such systems.

Read more

Language Engineering for Analyzable Executable DSMLs

Topic The project LEA-xDSML (Language Engineering for Analyzable Executable Domain-Specific Modeling Languages) resides in the context of Model-Driven Engineering (MDE), which proposes the use of domain-specific modeling languages (DSMLs) to reduce the complexity associated with the development of complex software-intensive systems, as, for instance, found in the automation domain, production domain, and automotive domain.

Read more

InteGra 4.0 - Horizontal and Vertical Interface Integration 4.0

Topic InteGra 4.0 focuses on the horizontal integration throughout value chains as well as on the vertical integration of networked production systems as identified by the German working committee for Industrie 4.

Read more

Doctoral College “Adaptive Distributed Systems”

Topic The Doctoral College „Adaptive Distributed Systems“ intends to work on the challenging questions of today’s distributed computer systems by bringing together experts from various fields of computer science, mathematics and statistics, thus, fostering a multidisciplinary approach.

Read more

Model-driven Development and Evolution of Semantic Infrastructures

Topic The main goal of DARWIN is to provide an extensible framework based on well-established conceptual modeling languages and model-driven engineering techniques enabling developers to entirely develop and evolve SIs at an appropriate level of abstraction.

Read more

Business Semantics on top of Process Technology

Topic The BSopt project will deliver an integrated methodology for inter-organizational systems spanning from business models over business process models to their execution in a service-oriented architecture (SOA). Integrating business processes into a SOA is certainly a hot topic.

Read more

Advanced software-based seRvice provisioning and migraTIon of legacy SofTware

Topic Successful software has to evolve to keep it compatible and up to date. Up to 90% of software cost is spent on maintenance and of this 75% is spent on the development of new features for staying competitive.

Read more

Towards Systematic and Efficient Language Engineering for xDSMLs

Topic Domain-specific modeling languages are increasingly being developed to continuously leverage the domain-specific expertise of the various stakeholders involved in the development of complex software-intensive system as, for instance, found in the automation, production, and automotive domains.

Read more

CPS/IoT Ecosystem

Topic CPS/IoT Ecosystem is a joint initiative under „Hochschulraum-Strukturmittel (HRSM)“ national funding platform administered by Austrian Federal Ministry of Science, Research and Economy. Cyber-physical systems (CPS) is a concept that unifies all computer driven systems interacting closely with their physical environment.

Read more

Publications

(2015). Testing Functional Requirements in UML Activity Diagrams.

Talk: 9th International Conference on Tests and Proofs (TAP´15), L’Aquila; 07-22-2015 - 07-24-2015; in: “Proceedings of the 9th International Conference on Tests and Proofs (TAP´15)", Springer, volume 9154 of Lecture Notes in Computer Science (2015), ISBN: 978-3-319-21214-2; 173 - 190.

PDF Publik

(2015). Semantic Model Differencing Based on Execution Traces.

Talk: Multikonferenz Software Engineering & Management, Dresden; 03-17-2015 - 03-20-2015; in: “Proceedings of Software Engineering & Management 2015”, GI, volume 239 of Lecture Notes in Informatics (2015), ISBN: 978-3-88579-633-6; 78 - 79.

PDF Publik

(2014). Towards Integrating Modeling and Programming Languages: The Case of UML and Java.

Talk: 2nd International Workshop on The Globalization of Modeling Languages, Valencia, Spain; 11-28-2014; in: “Proceedings of the 2nd International Workshop on The Globalization of Modeling Languages”, CEUR, Vol-1236 (2014), ISSN: 1613-0073; 23 - 32.

PDF Publik

(2014). A Generic Framework for Realizing Semantic Model Differencing Operators.

Talk: MODELS 2014 Poster Session, Valencia, Spain; 10-01-2014 - 10-02-2014; in: “Joint Proceedings of MODELS 2014 Poster Session and the ACM Student Research Competition (SRC) co-located with the 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014)", CEUR, 1258 (2014), 16 - 20.

PDF Publik

(2014). Semantic Model Differencing Utilizing Behavioral Semantics Specifications.

Talk: 17th International Conference on Model-Driven Engineering Languages and Systems, MODELS2014, Valencia, Spain; 09-28-2014 - 10-03-2014; in: “Proceedings of the 17th International Conference on Model-Driven Engineering Languages and Systems (MODELS 2014)", Springer, LNCS 8767 (2014), ISBN: 978-3-319-11652-5; 116 - 132.

PDF Publik

(2014). On the Usage of UML: Initial Results of Analyzing Open UML Models.

Talk: Modellierung 2014, Wien; 03-19-2014 - 03-21-2014; in: “Sammelband der Modellierung 2014”, GI, LNI 225 (2014), ISSN: 1617-5468; 289 - 304.

PDF Publik

(2013). xMOF: Executable DSMLs based on fUML.

Talk: 6th International Conference on Software Language Engineering (SLE), Indianapolis; 10-27-2013 - 10-28-2013; in: “Proceedings of the 6th International Conference on Software Language Engineering (SLE)", Springer, LNCS 8225 (2013), ISBN: 978-3-319-02653-4; 1 - 20.

PDF Publik

(2013). A Framework for Testing UML Activities Based on fUML.

Talk: 10th International Workshop on Model Driven Engineering, Verification and Validation, Miami; 10-01-2013; 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)", CEUR, Vol-1069 (2013), ISSN: 1613-0073; 1 - 10.

PDF Publik

(2012). A Runtime Model for fUML.

Talk: 7th International Workshop on Models@run.time (MRT 2012), Innsbruck; 10-02-2012; in: “Proceedings of the 7th International Workshop on Models@run.time (MRT 2012)", ACM, New York, NY, USA (2012), ISBN: 978-1-4503-1802-0; 53 - 58.

PDF Publik

(2012). Replacing Traditional Classroom Lectures with Lecture Videos - An Experience Report.

Talk: Educators’ Symposium @ MODELS 2012, Innsbruck; 09-30-2012 - 10-05-2012; in: “Proceedings of the 8th Educators’ Symposium @ MODELS 2012: Software Modeling in Education (EduSymp'12)", ACM Digital Library, (2012), 21 - 27.

PDF Publik