Folgen
Niels Lohmann
Niels Lohmann
Universität Rostock
Bestätigte E-Mail-Adresse bei uni-rostock.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
A feature-complete Petri net semantics for WS-BPEL 2.0
N Lohmann
Web Services and Formal Methods: 4th International Workshop, WS-FM 2007 …, 2008
2742008
Petri net transformations for business processes–a survey
N Lohmann, E Verbeek, R Dijkman
Transactions on Petri Nets and Other Models of Concurrency II: Special Issue …, 2009
2482009
Analyzing interacting BPEL processes
N Lohmann, P Massuthe, C Stahl, D Weinberg
Business Process Management: 4th International Conference, BPM 2006, Vienna …, 2006
1942006
Multiparty contracts: Agreeing and implementing interorganizational processes
WMP Van Der Aalst, N Lohmann, P Massuthe, C Stahl, K Wolf
The Computer Journal 53 (1), 90-106, 2010
1822010
Instantaneous soundness checking of industrial business process models
D Fahland, C Favre, B Jobstmann, J Koehler, N Lohmann, H Völzer, ...
Business Process Management: 7th International Conference, BPM 2009, Ulm …, 2009
1822009
Analysis on demand: Instantaneous soundness checking of industrial business process models
D Fahland, C Favre, J Koehler, N Lohmann, H Völzer, K Wolf
Data & knowledge engineering 70 (5), 448-466, 2011
1712011
Analyzing interacting WS-BPEL processes using flexible model generation
N Lohmann, P Massuthe, C Stahl, D Weinberg
Data & Knowledge Engineering 64 (1), 38-54, 2008
1702008
Operating guidelines for finite-state services
N Lohmann, P Massuthe, K Wolf
Petri Nets and Other Models of Concurrency–ICATPN 2007: 28th International …, 2007
1612007
Compliance by design for artifact-centric business processes
N Lohmann
Information Systems 38 (4), 606-618, 2013
1162013
Diagnosing and repairing data anomalies in process models
A Awad, G Decker, N Lohmann
Business Process Management Workshops: BPM 2009 International Workshops, Ulm …, 2010
1112010
From public views to private views–correctness-by-design for services
WMP Van Der Aalst, N Lohmann, P Massuthe, C Stahl, K Wolf
Web Services and Formal Methods: 4th International Workshop, WS-FM 2007 …, 2008
1082008
Fully-automatic Translation of Open Workflow Net Models into Simple Abstract BPEL Processes.
N Lohmann, J Kleine
Modellierung 12, 14, 2008
772008
Correcting deadlocking service choreographies using a simulation-based graph edit distance
N Lohmann
Business Process Management: 6th International Conference, BPM 2008, Milan …, 2008
722008
Comparing and evaluating Petri net semantics for BPEL
N Lohmann, E Verbeek, C Ouyang, C Stahl
International Journal of Business Process Integration and Management 4 (1 …, 2009
712009
Extending the compatibility notion for abstract WS-BPEL processes
D König, N Lohmann, S Moser, C Stahl, K Wolf
Proceedings of the 17th international conference on World Wide Web, 785-794, 2008
712008
Analyzing BPEL4Chor: Verification and participant synthesis
N Lohmann, O Kopp, F Leymann, W Reisig
Web Services and Formal Methods: 4th International Workshop, WS-FM 2007 …, 2008
692008
Ensuring correctness during process configuration via partner synthesis
WMP van der Aalst, N Lohmann, M La Rosa
Information Systems 37 (6), 574-592, 2012
662012
Correctness ensuring process configuration: An approach based on partner synthesis
W van der Aalst, N Lohmann, M La Rosa, J Xu
Business Process Management: 8th International Conference, BPM 2010, Hoboken …, 2010
622010
Realizability is controllability
N Lohmann, K Wolf
Web Services and Formal Methods: 6th International Workshop, WS-FM 2009 …, 2010
582010
Artifact-centric choreographies
N Lohmann, K Wolf
Service-Oriented Computing: 8th International Conference, ICSOC 2010, San …, 2010
572010
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20