Irrelevant or indispensable? MDE, formal methods and current computing trends

By: Juergen Dingel

Abstract

Interested in MDE and formal modeling, but too busy to keep up with current computing trends? Looking for ideas for your PhD thesis or your next grant application? This talk is for you!

We will first review some of the core strengths and weaknesses of MDE and formal modeling. Then, some recent societal and technological trends will be examined to identify possible novel application and research opportunities and challenges. Buzzwords likely to be dropped include: Chord, silos, Minecraft, complexity, synthesis, liability, API economy, provenance, standards, DevOps, machine learning, robotics, and abstraction. However, buzzwords unlikely to be dropped include: linear logic, Donald Trump, and cloud computing.

Biography

Juergen is Associate Professor in the School of Computing at Queen's University in Kingston, Canada. He received an M.Sc. in Computer Science from Berlin University of Technology in 1992, an M.Sc. in Pure and Applied Logic in 1994 and a Ph.D. in Computer Science in 1999 from Carnegie Mellon University. He is vice chair of the MODELS Steering Committee, and a member of the editorial board of the Springer journal Software and Systems Modeling (SoSyM). He was PC Co-chair of the ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MODELS'14) in Valencia and of the IFIP International Conference on Formal Techniques for Distributed Systems (FMOODS-FORTE'11) in Reykjavik. At Queen's, he leads the Modeling and Analysis in Software Engineering Group (MASE). His research interests revolve around the definition and use of rigorous notations and techniques for the development and analysis of software artifacts and he has published extensively on these topics. He has collaborated with a range of industrial partners including IBM, GM, and Ericsson.

Keynote slides available below: