Niels Lohmann
Niels Lohmann
Email verificata su uni-rostock.de - Home page
TitoloCitata daAnno
A feature-complete Petri net semantics for WS-BPEL 2.0
N Lohmann
International Workshop on Web Services and Formal Methods, 77-91, 2007
2412007
Petri net transformations for business processes–a survey
N Lohmann, E Verbeek, R Dijkman
Transactions on petri nets and other models of concurrency II, 46-63, 2009
2172009
Analyzing interacting BPEL processes
N Lohmann, P Massuthe, C Stahl, D Weinberg
International Conference on Business Process Management, 17-32, 2006
1782006
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
1632010
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
1622008
Instantaneous soundness checking of industrial business process models
D Fahland, C Favre, B Jobstmann, J Koehler, N Lohmann, H Völzer, ...
International Conference on Business Process Management, 278-293, 2009
1572009
Operating guidelines for finite-state services
N Lohmann, P Massuthe, K Wolf
International Conference on Application and Theory of Petri Nets, 321-341, 2007
1532007
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
1502011
From public views to private views–correctness-by-design for services
WMP Van Der Aalst, N Lohmann, P Massuthe, C Stahl, K Wolf
International Workshop on Web Services and Formal Methods, 139-153, 2007
912007
Diagnosing and repairing data anomalies in process models
A Awad, G Decker, N Lohmann
International Conference on Business Process Management, 5-16, 2009
842009
Fully-automatic Translation of Open Workflow Net Models into Simple Abstract BPEL Processes.
N Lohmann, J Kleine
Modellierung 12, 14, 2008
722008
Correcting deadlocking service choreographies using a simulation-based graph edit distance
N Lohmann
International Conference on Business Process Management, 132-147, 2008
672008
Analyzing BPEL4Chor: Verification and participant synthesis
N Lohmann, O Kopp, F Leymann, W Reisig
International Workshop on Web Services and Formal Methods, 46-60, 2007
662007
Comparing and evaluating Petri net semantics for BPEL
N Lohmann, E Verbeek, C Ouyang, C Stahl, WMP van der Aalst
International Journal of Business Process Integration and Management 4 (1), 60, 2009
642009
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
622008
Correctness ensuring process configuration: An approach based on partner synthesis
W Van Der Aalst, N Lohmann, M La Rosa, J Xu
International Conference on Business Process Management, 95-111, 2010
582010
Ensuring correctness during process configuration via partner synthesis
WMP van der Aalst, N Lohmann, M La Rosa
Information Systems 37 (6), 574-592, 2012
572012
Compliance by design for artifact-centric business processes
N Lohmann
Information Systems 38 (4), 606-618, 2013
562013
Realizability is controllability
N Lohmann, K Wolf
International Workshop on Web Services and Formal Methods, 110-127, 2009
512009
Behavioral constraints for services
N Lohmann, P Massuthe, K Wolf
International Conference on Business Process Management, 271-287, 2007
482007
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20