Model-Driven Service-Oriented Systems Engineering: Opportunities & Challenges
by Prof. Dr. Holger Giese (Hasso-Plattner-Institut)
Prof. Dr. Holger Giese
Prof. Dr. Holger Giese studied technical computer science at the University Siegen. He received his engineering degree with excellence in October 1995. In February 2001, he received a doctorate in Computer Science at the Institute of Computer Science at the University of Münster with summa cum laude. Until 2006, he was an assistant professor for object-oriented specification of distributed systems in the Software Engineering Group of the University of Paderborn. He became a Full Professor for System Analysis and Modeling at the Hasso Plattner Institute for Software Systems Engineering in February 2008.
His research focuses on model-driven development for software-intensive systems. This includes the model-based specification of flexible systems with collaborations and components, approaches to the formal verification of these models, and approaches to the synthesis of models. He also looks at the transformations of models, code generation concepts for structure and behavior for models and, in general, the problem of the integration of models in model-driven development.
He was one of the PIs of the project B1 for Software Design Techniques of the Collaborative Research Center 614 ''Self-Optimizing Concepts and Structures in Mechanical Engineering'', funded by the Deutsche Forschungsgemeinschaft. The project studied methods and tools for the development of self-optimizing systems and thus combines the two fields Mechatronics and Computer Science by means of a modeling language for real-time systems supporting discrete and continuous behavior and their online reconfiguration, with particular attention to safety and dependability.
Currently he is a member of management board and chair of the working group on foundations of the EU ICT COST Action IC1404 on Multi-Paradigm Modelling for Cyber-Physical Systems approaching Cyber Physical Systems (CPS) that integrate physical, software, and network aspects with Multi-Paradigm Modelling (MPM) that proposes to model every part and aspect of a system explicitly, at the most appropriate level(s) of abstraction, using the most appropriate modelling formalism(s).