K
Karsten Wolf
Researcher at University of Rostock
Publications - 75
Citations - 1873
Karsten Wolf is an academic researcher from University of Rostock. The author has contributed to research in topics: Petri net & Model checking. The author has an hindex of 21, co-authored 70 publications receiving 1795 citations.
Papers
More filters
Book ChapterDOI
Instantaneous Soundness Checking of Industrial Business Process Models
Dirk Fahland,Cédric Favre,Barbara Jobstmann,Jana Koehler,Niels Lohmann,Hagen Völzer,Karsten Wolf +6 more
TL;DR: The results show that industrial business process models can be checked in a few milliseconds, which enables tight integration of modeling with control-flow analysis, and evaluates the various techniques used by these approaches in terms of their ability of accelerating the check.
Journal ArticleDOI
Analysis on demand: Instantaneous soundness checking of industrial business process models
TL;DR: The results show that industrial business process models can be checked in a few milliseconds, which enables tight integration of modeling with control-flow analysis and reports some first insights from industrial applications.
Journal ArticleDOI
Multiparty Contracts
Wil M. P. van der Aalst,Niels Lohmann,Peter Massuthe,Peter Massuthe,Christian Stahl,Christian Stahl,Karsten Wolf +6 more
TL;DR: A formal notion for process-oriented contracts is proposed and a criterion for accordance between a private view and its public view is given and the overall implemented process is guaranteed to be deadlock-free and it is always possible to terminate properly.
Book ChapterDOI
Service Interaction: Patterns, Formalization, and Analysis
TL;DR: A set of service interaction patterns is given to illustrate the challenges in this domain and key results are given for three of these challenges: how to expose a service, how to replace and refine services, and how to generate service adapters.
Book ChapterDOI
Operating guidelines for finite-state services
TL;DR: The concept of an operating guideline is introduced, generalizing the work of [1,2] which was restricted to acyclic services and giving complete information about how to properly interact with an oWFN N.