Abstract: Modern software embedded systems are usually composed of many autonomous components. Conceptually, each component is equipped with an interface, and composition is defined along the components’ interfaces. Such systems are nowadays implemented from informal specifications, mostly formulated in natural language, without much of a theoretical foundation. We discuss some fundamental aspects and requirements to model such systems more or less formally, to discuss such systems’ decisive properties on the basis of models, and to derive implementations from models. We suggest some principles to systematically develop “good” models, and criteria that guarantee “correctness by construction”.

Short Bio of Professor Wolfgang Reisig: Wolfgang Reisig is a full professor at the Computer Science Institute of Humboldt-Universität zu Berlin, Germany. He served as a research assistant and assistant professor at the University of Bonn and at RWTH Aachen, a visiting professor at Hamburg University, a project manager at Gesellschaft fuer Mathematik und Datenverarbeitung (GMD), now part of Fraunhofer, and a professor at Technical University of Munich.

Prof. Reisig was a senior researcher at the International Computer Science Institute (ICSI) at UC Berkeley, California in 1997, got the Lady Davis Visiting Professorship at the Technion, Haifa (Israel), the Beta Chair of Technical University of Eindhoven, and twice received an IBM Faculty Award for his contribution to Cross-organizational Business Processes and the Analysis of Service Models. He has been the speaker of a PhD School on Service Oriented Architectures, 2010 - 2017.

Prof. Reisig is a member of the European Academy of Sciences, Academia Europaea. He published and edited numerous books and articles on Petri Net Theory and Their Applications.