Philip Langer

Univ.Lektor Dipl.-Ing. Dr.techn.

Philip Langer is postdoctoral researcher in the Business Informatics Group at the Vienna University of Technology. Before that, he was researcher at the Department of Telecooperation at the Johannes Kepler University Linz and received a PhD degree in computer science from the Vienna University of Technology in 2011 for his thesis on model versioning and model transformation by demonstration. His current research is focused on model evolution, model transformations, and model execution in the context of model-driven engineering.

Interests

  • model engineering
  • model transformations
  • model execution
  • model evolution
  • language engineering
  • programming languages

Open Source Projects

  • EMF Profiles
    An adaptation of the UML profile concept to DSMLs specified in EMF.
  • Moliz
    Model execution based on fUML.
  • EMF Modeling Operations
    EMF-based tool for specifying and executing composite modeling operations such as refactorings for every Ecore based modeling language.
  • AMOR Conflict Detection
    Conflict detection functionality of AMOR for atomic operation conflicts and composite operation conflicts (refactorings) among concurrent operations to EMF-based models.
  • Ecore Mutator
    EMF-based framework to randomly mutate models conforming to a metamodel specified by an Ecore metamodel.
  • Model Versioning Benchmark
    An automated benchmark to test the precision and recall as well as the performance of conflict detection implementations in the context of model versioning.

Offered Topics

Web IDEs & Language Server Protocol (LSP) – in collaboration with EclipseSource

There is currently a large hype surrounding Web IDEs and the language server protocol (LSP). LSP provides a very flexible and well-proven architecture for implementing textual editors. It allows to reuse editor implementations for different languages by decoupling editor implementations from language implementations in so-called language servers.

Projects

.js-id-Ongoing

Model Execution based on fUML

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

Collaborative Configuration Systems Integration and Modeling

The goal of the project COSIMO is to build up a portfolio configurator platform for leveraging tool integration for railway automation systems and, in general, for production systems at Siemens. The core of this framework comprehensively bases on model-driven concepts and semantic system’s techniques.

Read more

Model-driven Development and Evolution of Semantic Infrastructures

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

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

Advanced software-based seRvice provisioning and migraTIon of legacy SofTware

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

Hybrid Domain-specific Language User EXperience

HybriDLUX entwickelt neuartige Techniken und Werkzeuge zur hybriden, kollaborativen Modellierung und zum modellbasierten Debugging in hybriden Modellen, zwei Techniken, die als kritisch für die Einführung von modellbasierter Softwareentwicklung identifiziert wurden. Diese Techniken und Werkzeuge werden außerdem speziell für domänenspezifische Softwaresprachen, die von AVL im Anwendungsgebiet der Fahrzeugmess- und – prüftechnik evaluiert werden, implementiert und anhand einer erweiterten und verbesserten Version des im vorangegangenen DLUX Projekts entwickelten Evaluierungsrahmenwerks hinsichtlich Benutzerfreundlichkeit evaluiert.

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 DB

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

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

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

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

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

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

(2013). Towards Living Inter-Organizational Processes.

Talk: CBI 2013 - 2013 IEEE International Conference on Business Informatics, Wien; 07-15-2013 - 07-18-2013; in: “CBI 2013 - 2013 IEEE International Conference on Business Informatics”, B. Hofreiter, K. Lin, C. Huemer, E. Proper, J. Sanz (ed.); (2013), 4 pages.

DB

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

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

PDF DB

(2013). Turning Conflicts into Collaboration - Concurrent Modeling in the Early Phases of Software Development.

Computer Supported Cooperative Work: The Journal of Collaborative Computing, 22 (2013), 2-3; 181 - 240.

PDF DB

(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 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). 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). Language-Specific Model Versioning Based on Signifiers.

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

PDF DB

(2012). Model Transformation By-Example: A Survey of the First Wave.

in: “Conceptual Modelling and Its Theoretical Foundations”, A. Düsterhöft, M. Klettke, K. Schewe (ed.); Springer LNCS, Berlin / Heidelberg, 2012, (invited), ISBN: 978-3-642-28278-2, 197 - 215.

PDF DB

(2011). A WYSIWYG Approach to Support Layout Configuration in Model Evolution.

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

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). 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). Model-to-Model Transformations By Demonstration.

in: “Proc. of the 3rd International Conference on Model Transformation (ICMT 2010)", Springer, LNCS 6142, 2010, ISBN: 978-3-642-13687-0, 153 - 167.

DB

(2010). Registry Support for Core Component Evolution.

in: “Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications (SOCA 2010)", IEEE Computer Society, 2010, 1 - 9.

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