Guest lecture Reiko Heckel: Service-oriented Software Engineering using Visual Contracts

Class and activity models defining respectively the data and processes of an application are complemented by Visual Contracts (VCs)  to specify the functional behaviour of activities in terms of pre- and postconditions. Formally based on graph transformation rules and equipped with an operational semantics, VCs provide an intuitive and executable model, supported by theory, analysis techniques and tools, to help with many of the activities of model-based software engineering of service-oriented applications.

We will discuss the use of visual contracts at different levels. As means to specify high-level requirements, they can be analysed for conflicts and dependencies. When used to describe individual services, they support discovery and matching of required by provided services. At implementation level they can be used to generate test cases, or aid programme understanding through visualising the effects of a service's operation in a reverse engineering approach.

We conclude with a perspective of smart contracts and dApps as service-oriented systems and discuss how visual contracts could support their development.

Short CV

Reiko joined the University of Leicester in 2004 as Reader and was appointed Professor in Software Engineering in 2007 and Head of Department in 2014. Before, he 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.

Publisert 12. juni 2019 11:24 - Sist endret 12. juni 2019 11:24