Modeling- and analysis techniques for Web services and business processes

Abstract

Open distributed systems include in particular Web services and business processes. There is a need of techniques to model such systems formally, and to derive decisive properties from such models. Three such techniques are presented in this paper, exemplified by help of realistic examples, and mutually related w.r.t. their respective expressive power and the availability of analysis techniques. © IFIP International Federation for Information Processing 2005.