Wolfgang Reisig

Service Oriented Computing: Forthcoming challenges

Service-oriented Computing has established itself as a core paradigm of modern software architectures. Nevertheless, some obstacles prevent even more widespread use of service oriented architectures (SOAs). To overcome those obstacles, in particular the following questions have to be addressed:

SOAs are more and more implemented in the cloud. To what extent are the stakeholders affected by this change of technology?
It turned out useful to conceive not only software components, but also humans and technical systems as service providers and service requesters. How can a unified approach to SOA cope with this?
Basic notions such as correctness and equivalence are clear cut and undisputed for classical programs. Are there corresponding generally acceptable and manageable such notions for SOAs?
Quick assignment of needed data, software and hardware to services is inevitable for smoothly running SoAs. How can a small, flexible infrastructure guarantee this kind of elasticity?

Those questions cannot seriously be answered on an intuitive, informal level. It is inevitable to model services in a formal framework, with the decisive properties of the services be represented as properties of their formal models. The above questions are then addressed and faithfully solved in the framework of the formal models. To this end we suggest methods and principles of formally modeling and analyzing SOAs.

Short CV

Wolfgang Reisig is a full professor at the Computer Science Institute of Humboldt- Universitaet zu Berlin, Germany. He studied Physics and Computer Science in Karlsruhe and Bonn, where he graduated with a masters degree in 1974. He served as a research assistant and assistant professor at the University of Bonn and at RWTH Aachen, where he received his PhD in 1979. He was a visiting professor at Hamburg University 1983/1984, and a project manager at Gesellschaft fuer Mathematik und Datenverarbeitung (GMD) at St. Augustin. He received his Habilitation from the University of Bonn in 1987 and hold the position of a professor at Technical University of Munich, 1988-1993. Since 1993 he is a full professor at Humboldt-Universitaet zu Berlin. He twice kept the position of the manager of the institute (1994-1996 and 2002-2004) and was the Dean of the faculty of Natural Sciences II, 1996- 1998.

Prof. Reisig was a senior research at the International Computer Science Institute (ICSI) in Berkeley, California in 1997, and got the "Lady Davis Visiting Professorship" at the Technion, Haifa (Israel) in 2000/2001. In the years 2002 and 2005 he received an IBM Faculty Award for his contribution to Cross-organizational Business Processes and the Analysis of Service Models. In 2006, he held the Beta Chair of Technical University of Eindhoven. Prof. Reisig has been a scientific visitor at Microsoft Research in Redmond WA for several months in 2007 and 2009. He is the speaker of the PhD school Service-oriented Architectures for the Integration of Software-based Processes, exemplified by Health Care Systems and Medical Technology (SOAMED) since 2010.

Prof. Reisig is a member of a member of the European Academy of Sciences, Academia Europaea. He published and edited numerous books and articles on Petri Net Theory and Applications. He is a Member of the Petri Net Conference Steering Committee since 1982 and a co-editor of the journal "Software and Systems Modeling".