University of Leicester

informatics

STAFF — Reiko Heckel, Dr.-Ing. (TU Berlin, 1998), habil. (Univ. of Paderborn, 2003)

Professor in Software Engineering
G11 Informatics Building
Department of Informatics,
University of Leicester,
University Road,
Leicester,
LE1 7RH.

T: +44 (0)116 252 3406
F: +44 (0)116 252 3915
E: firstname at mcs le ac uk

Availability

If I'm in and not otherwise occupied you can see me without appointment. At other times, the quickest way is by email. I use the institutional Outlook calendar. You are welcome to suggest a time for a meeting by sending me an invite.

Short CV

Reiko Heckel

Reiko joined the University of Leicester in 2004 as Reader, was appointed Professor in Software Engineering in 2007 and served as Head of Department 2014-2018. He is the Director of Postgraduate Teaching and Data Analytics Lead of the Leicester Innovation Hub, the university's shop window to local industry. Before coming to Leicester, Reiko held academic positions in Paderborn and Dortmund. He studied Computer Science at the Technical Universities of Dresden and Berlin and received his PhD (Dr.-Ing.) from the TU Berlin in 1998.

Reiko is known for his work on model-based development, reengineering and testing, model transformations and the semantics of modelling languages. He published extensively on graph transformation, its concurrency theory, timed and stochastic variants, modularity and refinement.

Reiko is chair of the Steering Committee the International Conference on Graph Transformation (ICGT) and president of the European Association for Software Science and Technology (EASST). He was co-chair of FASE 2006, ICGT 2008 as well as CALCO 2013. He is a member of the IFIP WG 1.3 - Foundations of System Specification.

Textbook "Graph Transformation for Software Engineers" published with Springer

GT4SE

The book on "Graph Transformation for Software Engineers" co-authored with Gabriele Taentzer at Philipps-Universität Marburg appeared at Springer this spring. It is the first textbook that explains the most commonly used concepts, notations, techniques and applications of graph transformation in general, broadly accessible terms, without focusing on one particular mathematical representation or implementation approach.

Graphs consist of nodes and connections; they are used to model various kinds of networks and structures such as molecules in chemistry, social, economic and computer networks, software architectures, etc. In software engineering, graph-based models are used to specify, for example, component structures, data structures and processes. Graph transformations specify changes of graphs, such as chemical reactions, the rafactoring of software systems, architectural nd network dynamics. Specifying them in a rule-based, visual notation, such transformations also have a formal smenatics and can be analysed for interesting properties such as conflicts dependencies, reachability and safety properties, etc.

The first part of the book covers the fundamentals in a precise, yet largely informal way. Besides serving as a prerequisite for describing the applications in the second part, it also provides a comprehensive and systematic survey of the concepts, notations and techniques of graph transformation. The second part presents and discusses a range of applications to both model-based software engineering and domain-specific language engineering. The variety of these applications demonstrate how broadly graphs and graph transformations can be used to model, analyse and implement complex software systems and languages.

The formal published version of the book is available to buy from Springer both as Springer Online Edition and hardcover.

Further information and resources are available on our author site.

Teaching

CO7214: Service-Oriented Architectures

This module is offered in the 2nd semester of our MSc courses. It covers the principles of SOA, their implementation by Web service technology, and the model-driven development of services.

Research

Interests

  • Graph transformation theory
    • modularity and refinement
    • categorical and (co-)algebraic models
    • logics and verification
    • stochastic modelling and analysis
  • Their application to
    • semantics of visual modelling languages
    • model-transformation and model-driven development
    • biological systems
  • Model-driven software evolution and re-engineering
  • Software architectures for service-oriented and P2P systems

Publications

My ORCHID ID is https://orcid.org/0000-0003-4719-0772.

A quite comprehensive list is in my Google Scholar profile.

DBLP has reliable bibliography data.

Projects

PhD Students

Author: Reiko Heckel, Dr.-Ing. (TU Berlin, 1998), habil. (Univ. of Paderborn, 2003) (firstname at mcs le ac uk), T: +44 (0)116 252 3406.
© University of Leicester 06/2020. Last modified: 22nd June 2020, 16:00:17
Informatics Web Maintainer. Any opinions expressed on this page are those of the author.